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) | 5804843 | 3600.76 | 3560.17 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_4.opb |
| MD5SUM | 7079e2ef0385c9f74a24551721d50a52 |
| 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 | 3971977 |
| Best CPU time to get the best result obtained on this benchmark | 338.862 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 119095488 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 53595180278 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 119095488 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 53595180278 |
| Number of bits of the biggest sum of numbers | 36 |
| 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.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.11 c See www.sat4j.org for details. 0.14/0.12 c version CUSTOM.v20240707 0.14/0.13 c java.runtime.name OpenJDK Runtime Environment 0.14/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.13 c java.vm.version 22.0.1+8-16 0.14/0.13 c java.vm.vendor Oracle Corporation 0.14/0.13 c sun.arch.data.model 64 0.14/0.13 c java.version 22.0.1 0.14/0.13 c os.name Linux 0.14/0.13 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.13 c os.arch amd64 0.14/0.14 c Free memory 2115194816 0.14/0.14 c Max memory 16282288128 0.14/0.14 c Total memory 2122317824 0.14/0.14 c Number of processors 2 0.14/0.20 --- Begin Solver configuration --- 0.14/0.20 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.20 Learn all clauses as in MiniSAT 0.14/0.20 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.20 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.20 No reason simplification 0.14/0.20 Glucose 2.1 dynamic restart strategy 0.14/0.20 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.20 timeout=2147483s 0.14/0.20 DB Simplification allowed=false 0.14/0.20 Listener: none 0.14/0.20 --- End Solver configuration --- 0.14/0.20 c Pseudo Boolean Optimization by upper bound 0.14/0.20 c --- Begin Solver configuration --- 0.14/0.20 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.20 c Learn all clauses as in MiniSAT 0.14/0.20 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.20 c No reason simplification 0.14/0.20 c Glucose 2.1 dynamic restart strategy 0.14/0.20 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.20 c timeout=2147483s 0.14/0.20 c DB Simplification allowed=false 0.14/0.20 c Listener: none 0.14/0.20 c --- End Solver configuration --- 0.14/0.20 c solving HOME/instance-4432462-1721138469.opb 0.14/0.20 c reading problem ... 0.14/0.20 c objective function found 0.89/0.54 c ... done. Wall clock time 0.339s. 0.89/0.54 c declared #vars 5100 0.89/0.54 c #constraints 12512 0.89/0.54 c constraints type 0.89/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 0.89/0.55 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.89/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 0.89/0.55 c org.sat4j.specs.Constr$1 => 2 0.89/0.55 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.89/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 0.89/0.55 c 12512 constraints processed. 0.89/0.56 c objective function length is 4950 literals 1.22/0.79 c SATISFIABLE 1.22/0.79 c OPTIMIZING... 1.22/0.79 c Got one! Elapsed wall clock time (in seconds):0.596 1.22/0.79 o 7591279 3.06/1.85 c cleaning 2591 clauses out of 5198 with flag 11829/5199 4.14/2.75 c cleaning 4293 clauses out of 8612 with flag 23879/11204 5.17/3.72 c cleaning 5644 clauses out of 11316 with flag 37900/18201 6.43/5.00 c cleaning 6824 clauses out of 13669 with flag 53963/26198 7.54/6.02 c cleaning 7915 clauses out of 15845 with flag 72045/35198 8.71/7.19 c cleaning 8955 clauses out of 17931 with flag 92153/45199 10.32/8.58 c cleaning 9977 clauses out of 19979 with flag 114276/56202 11.93/10.18 c cleaning 10992 clauses out of 22002 with flag 138379/68202 13.78/11.98 c cleaning 11993 clauses out of 24006 with flag 164465/81198 15.83/13.90 c cleaning 12992 clauses out of 26014 with flag 192593/95199 17.42/15.56 c cleaning 13996 clauses out of 28021 with flag 222751/110198 19.81/17.90 c cleaning 15000 clauses out of 30027 with flag 254891/126200 22.17/20.08 c cleaning 16000 clauses out of 32025 with flag 289020/143198 24.33/22.16 c cleaning 17001 clauses out of 34026 with flag 325228/161199 26.51/24.29 c cleaning 17995 clauses out of 36024 with flag 363464/180198 28.24/25.97 c cleaning 19006 clauses out of 38029 with flag 407303/200198 30.53/27.76 c cleaning 20000 clauses out of 40002 with flag 455590/221200 32.18/29.29 c cleaning 21000 clauses out of 42000 with flag 503791/243198 34.14/31.18 c cleaning 22000 clauses out of 44000 with flag 555030/266198 35.92/32.93 c cleaning 22997 clauses out of 46001 with flag 608165/290199 37.62/34.69 c cleaning 24001 clauses out of 48003 with flag 661501/315198 39.60/36.58 c cleaning 24998 clauses out of 50002 with flag 718324/341198 41.69/38.67 c cleaning 26000 clauses out of 52005 with flag 776017/368199 43.88/40.81 c cleaning 26999 clauses out of 54004 with flag 835333/396198 46.47/43.34 c cleaning 28003 clauses out of 56005 with flag 896853/425198 48.96/45.88 c cleaning 29000 clauses out of 58003 with flag 961994/455199 51.84/48.68 c cleaning 29991 clauses out of 60002 with flag 1032251/486198 54.14/51.00 c cleaning 30995 clauses out of 62012 with flag 1103224/518199 56.63/53.39 c cleaning 32000 clauses out of 64016 with flag 1174655/551198 61.73/58.21 c cleaning 32990 clauses out of 65997 with flag 1287507/585198 65.50/61.96 c cleaning 34001 clauses out of 68008 with flag 1380842/620199 68.61/64.95 c cleaning 34996 clauses out of 70007 with flag 1453136/656199 73.77/70.00 c cleaning 36001 clauses out of 72010 with flag 1571781/693198 79.13/75.17 c cleaning 37004 clauses out of 74010 with flag 1695113/731199 84.37/80.26 c cleaning 37997 clauses out of 76006 with flag 1799599/770199 89.52/85.23 c cleaning 39002 clauses out of 78009 with flag 1928212/810199 93.98/89.08 c cleaning 39996 clauses out of 80006 with flag 2023617/851198 97.67/92.76 c cleaning 41002 clauses out of 82010 with flag 2123332/893198 101.21/96.15 c cleaning 42002 clauses out of 84009 with flag 2220351/936199 104.59/99.50 c cleaning 42999 clauses out of 86007 with flag 2322620/980199 108.05/103.01 c cleaning 44003 clauses out of 88007 with flag 2424293/1025198 111.98/106.71 c cleaning 45001 clauses out of 90005 with flag 2527352/1071199 115.91/110.58 c cleaning 45996 clauses out of 92003 with flag 2632619/1118198 119.71/114.32 c cleaning 47004 clauses out of 94008 with flag 2743044/1166199 123.84/118.40 c cleaning 47998 clauses out of 96003 with flag 2855113/1215198 127.85/122.37 c cleaning 49003 clauses out of 98006 with flag 2972498/1265199 132.04/126.49 c cleaning 49997 clauses out of 100002 with flag 3093528/1316198 136.60/130.87 c cleaning 51000 clauses out of 102006 with flag 3215929/1368199 140.80/135.08 c cleaning 52001 clauses out of 104006 with flag 3342736/1421199 145.28/139.47 c cleaning 53002 clauses out of 106004 with flag 3468399/1475198 149.25/143.38 c Got one! Elapsed wall clock time (in seconds):143.183 149.25/143.38 o 7584203 150.02/143.87 c cleaning 42288 clauses out of 84581 with flag 10728/1506795 150.42/144.27 c cleaning 24140 clauses out of 48293 with flag 22753/1512795 150.92/144.72 c cleaning 15567 clauses out of 31153 with flag 36788/1519795 151.42/145.22 c cleaning 11780 clauses out of 23587 with flag 52813/1527796 151.91/145.79 c cleaning 10393 clauses out of 20806 with flag 70879/1536795 152.61/146.41 c cleaning 10199 clauses out of 20413 with flag 90937/1546795 153.38/147.19 c cleaning 10601 clauses out of 21214 with flag 112974/1557795 154.16/147.96 c cleaning 11304 clauses out of 22613 with flag 137059/1569795 155.06/148.80 c cleaning 12148 clauses out of 24310 with flag 163157/1582796 155.96/149.71 c cleaning 13081 clauses out of 26162 with flag 191241/1596796 156.86/150.69 c cleaning 14040 clauses out of 28081 with flag 221317/1611796 157.96/151.74 c cleaning 15020 clauses out of 30040 with flag 253417/1627795 159.06/152.88 c cleaning 16009 clauses out of 32020 with flag 287532/1644795 160.27/154.07 c cleaning 17006 clauses out of 34011 with flag 323638/1662795 161.73/155.43 c cleaning 17997 clauses out of 36005 with flag 361737/1681795 163.03/156.76 c cleaning 19003 clauses out of 38009 with flag 401832/1701796 164.44/158.17 c cleaning 20000 clauses out of 40005 with flag 443970/1722795 165.92/159.66 c cleaning 21000 clauses out of 42006 with flag 488143/1744796 167.52/161.26 c cleaning 21996 clauses out of 44006 with flag 534305/1767796 169.22/162.92 c cleaning 23000 clauses out of 46010 with flag 582413/1791796 171.10/164.76 c cleaning 24002 clauses out of 48009 with flag 632575/1816795 172.89/166.53 c cleaning 24997 clauses out of 50007 with flag 684734/1842795 174.69/168.38 c cleaning 26006 clauses out of 52011 with flag 738923/1869796 176.69/170.35 c cleaning 26997 clauses out of 54004 with flag 795019/1897795 178.68/172.36 c cleaning 28000 clauses out of 56008 with flag 853162/1926796 180.78/174.47 c cleaning 29001 clauses out of 58008 with flag 913367/1956796 183.18/176.76 c cleaning 30001 clauses out of 60007 with flag 975538/1987796 185.49/179.02 c cleaning 31001 clauses out of 62006 with flag 1039868/2019796 187.87/181.42 c cleaning 31999 clauses out of 64004 with flag 1106429/2052795 190.37/183.93 c cleaning 32995 clauses out of 66006 with flag 1175147/2086796 193.37/186.64 c cleaning 34001 clauses out of 68010 with flag 1246274/2121795 195.97/189.29 c cleaning 35004 clauses out of 70011 with flag 1318915/2157797 199.78/193.04 c cleaning 35996 clauses out of 72006 with flag 1405835/2194796 203.65/196.99 c cleaning 36998 clauses out of 73998 with flag 1504503/2232795 206.65/199.98 c cleaning 38000 clauses out of 76000 with flag 1594496/2271795 209.95/203.22 c cleaning 39000 clauses out of 78001 with flag 1682936/2311796 212.94/206.27 c cleaning 39994 clauses out of 80000 with flag 1769238/2352795 216.34/209.67 c cleaning 41002 clauses out of 82007 with flag 1858017/2394796 219.52/212.85 c cleaning 41996 clauses out of 84005 with flag 1950939/2437796 222.92/216.24 c cleaning 42998 clauses out of 86008 with flag 2053829/2481795 226.22/219.59 c cleaning 44000 clauses out of 88011 with flag 2161521/2526796 229.72/223.02 c cleaning 44994 clauses out of 90011 with flag 2269282/2572796 233.20/226.58 c cleaning 46001 clauses out of 92016 with flag 2380368/2619795 236.81/230.17 c cleaning 47003 clauses out of 94015 with flag 2492748/2667795 240.59/233.92 c cleaning 48003 clauses out of 96012 with flag 2609475/2716795 244.28/237.60 c cleaning 49000 clauses out of 98009 with flag 2722674/2766795 248.08/241.44 c cleaning 50001 clauses out of 100010 with flag 2837406/2817796 251.97/245.39 c cleaning 51002 clauses out of 102009 with flag 2962135/2869796 256.05/249.40 c cleaning 52002 clauses out of 104007 with flag 3084718/2922796 260.05/253.44 c cleaning 52996 clauses out of 106005 with flag 3209176/2976796 265.52/258.36 c cleaning 53991 clauses out of 107993 with flag 3334769/3031796 270.51/262.71 c cleaning 54994 clauses out of 110002 with flag 3455186/3087796 275.77/267.47 c cleaning 56001 clauses out of 112008 with flag 3575038/3144796 280.38/272.04 c cleaning 56994 clauses out of 114007 with flag 3702415/3202796 285.06/276.70 c cleaning 57992 clauses out of 116012 with flag 3832660/3261795 290.54/281.88 c cleaning 59000 clauses out of 118021 with flag 3965075/3321796 295.63/287.00 c cleaning 60001 clauses out of 120020 with flag 4101091/3382795 302.84/293.88 c cleaning 61000 clauses out of 122020 with flag 4237774/3444796 308.44/299.44 c cleaning 62004 clauses out of 124019 with flag 4374336/3507795 313.62/304.65 c cleaning 63003 clauses out of 126015 with flag 4510579/3571795 319.22/310.04 c cleaning 63996 clauses out of 128013 with flag 4644646/3636796 324.94/315.67 c cleaning 65002 clauses out of 130016 with flag 4779330/3702795 330.14/320.86 c cleaning 66001 clauses out of 132014 with flag 4916096/3769795 336.20/326.83 c cleaning 66999 clauses out of 134014 with flag 5054911/3837796 342.40/332.82 c cleaning 67997 clauses out of 136016 with flag 5195907/3906797 348.00/338.43 c cleaning 69000 clauses out of 138018 with flag 5338582/3976796 353.85/344.28 c cleaning 69999 clauses out of 140018 with flag 5483379/4047796 359.84/350.22 c cleaning 71000 clauses out of 142020 with flag 5630071/4119797 366.02/356.34 c cleaning 71997 clauses out of 144018 with flag 5778818/4192795 371.83/362.19 c cleaning 73001 clauses out of 146021 with flag 5929599/4266795 378.59/368.80 c cleaning 74002 clauses out of 148020 with flag 6082524/4341795 384.97/375.21 c cleaning 75001 clauses out of 150018 with flag 6237287/4417795 391.85/381.95 c cleaning 75999 clauses out of 152017 with flag 6394237/4494795 398.54/388.64 c cleaning 76999 clauses out of 154019 with flag 6552780/4572796 405.66/395.68 c cleaning 78004 clauses out of 156019 with flag 6713696/4651795 413.84/403.69 c cleaning 79004 clauses out of 158015 with flag 6876124/4731795 420.88/410.74 c cleaning 80001 clauses out of 160013 with flag 7040748/4812797 428.46/418.29 c cleaning 80998 clauses out of 162011 with flag 7207297/4894796 435.90/425.58 c cleaning 81998 clauses out of 164012 with flag 7375921/4977795 443.83/433.52 c cleaning 83002 clauses out of 166015 with flag 7546442/5061796 452.74/441.39 c cleaning 83996 clauses out of 168013 with flag 7719339/5146796 460.67/449.23 c cleaning 84999 clauses out of 170016 with flag 7894225/5232795 468.75/457.20 c cleaning 85998 clauses out of 172017 with flag 8071052/5319795 476.30/464.86 c cleaning 87001 clauses out of 174019 with flag 8250034/5407795 483.97/472.51 c cleaning 88001 clauses out of 176019 with flag 8430775/5496796 492.46/480.94 c cleaning 88990 clauses out of 178017 with flag 8613540/5586795 500.32/488.78 c cleaning 90002 clauses out of 180028 with flag 8798415/5677796 508.77/497.19 c cleaning 91001 clauses out of 182025 with flag 8985290/5769795 518.35/506.67 c cleaning 91999 clauses out of 184025 with flag 9174375/5862796 527.77/515.94 c cleaning 93003 clauses out of 186025 with flag 9365279/5956795 536.04/524.28 c cleaning 94006 clauses out of 188023 with flag 9558325/6051796 545.28/533.41 c cleaning 94997 clauses out of 190016 with flag 9753325/6147795 554.56/542.51 c cleaning 95999 clauses out of 192020 with flag 9950522/6244796 563.16/551.12 c cleaning 97001 clauses out of 194022 with flag 10149676/6342797 572.10/560.10 c cleaning 98001 clauses out of 196019 with flag 10352689/6441795 581.28/569.23 c cleaning 99009 clauses out of 198019 with flag 10555875/6541796 592.18/579.90 c cleaning 99986 clauses out of 199987 with flag 10775091/6642795 602.91/590.59 c cleaning 100997 clauses out of 202001 with flag 10984752/6744795 614.41/601.85 c cleaning 101997 clauses out of 204004 with flag 11196666/6847795 626.15/613.49 c cleaning 103001 clauses out of 206007 with flag 11410348/6951795 638.54/625.84 c cleaning 103999 clauses out of 208006 with flag 11625711/7056795 650.29/637.55 c cleaning 104998 clauses out of 210008 with flag 11843506/7162796 662.55/649.70 c cleaning 106000 clauses out of 212009 with flag 12063168/7269795 674.29/661.43 c cleaning 107004 clauses out of 214009 with flag 12284803/7377795 686.86/673.90 c cleaning 107986 clauses out of 215986 with flag 12509875/7486795 698.43/683.97 c cleaning 108994 clauses out of 218000 with flag 12734803/7596795 708.96/694.37 c cleaning 109992 clauses out of 220007 with flag 12968596/7707796 719.20/704.43 c cleaning 111004 clauses out of 222015 with flag 13215677/7819796 728.39/713.63 c cleaning 112005 clauses out of 224010 with flag 13456552/7932796 739.23/724.49 c cleaning 112992 clauses out of 226005 with flag 13697746/8046796 750.83/736.01 c cleaning 114000 clauses out of 228012 with flag 13943575/8161795 763.09/748.10 c cleaning 115002 clauses out of 230013 with flag 14189557/8277796 774.78/759.67 c cleaning 116002 clauses out of 232010 with flag 14440267/8394795 786.78/771.57 c cleaning 116995 clauses out of 234009 with flag 14690934/8512796 798.32/782.98 c cleaning 117997 clauses out of 236013 with flag 14946162/8631795 810.28/794.74 c cleaning 118999 clauses out of 238017 with flag 15201985/8751796 822.28/806.66 c cleaning 120004 clauses out of 240017 with flag 15461934/8872795 835.94/820.18 c cleaning 121008 clauses out of 242016 with flag 15735501/8994798 854.63/838.57 c cleaning 121998 clauses out of 244005 with flag 16088751/9117795 871.38/855.00 c cleaning 122996 clauses out of 246000 with flag 16415743/9241798 886.52/869.92 c cleaning 123994 clauses out of 248001 with flag 16693394/9366795 893.93/877.26 c Got one! Elapsed wall clock time (in seconds):877.067 893.93/877.26 o 5808015 895.21/878.45 c cleaning 92691 clauses out of 185394 with flag 14488/9428189 895.92/879.16 c cleaning 49344 clauses out of 98703 with flag 29437/9434189 896.41/879.67 c cleaning 28172 clauses out of 56359 with flag 46729/9441189 897.01/880.23 c cleaning 18086 clauses out of 36188 with flag 64972/9449190 897.86/880.94 c cleaning 13543 clauses out of 27101 with flag 85448/9458189 898.56/881.60 c cleaning 11771 clauses out of 23559 with flag 107540/9468190 899.25/882.33 c cleaning 11384 clauses out of 22788 with flag 129749/9479190 900.07/883.15 c cleaning 11701 clauses out of 23403 with flag 154743/9491189 900.97/884.04 c cleaning 12348 clauses out of 24699 with flag 183461/9504189 901.97/885.06 c cleaning 13166 clauses out of 26347 with flag 214592/9518189 902.97/886.08 c cleaning 14083 clauses out of 28181 with flag 247539/9533189 904.35/887.42 c cleaning 15039 clauses out of 30098 with flag 284748/9549189 905.65/888.76 c Got one! Elapsed wall clock time (in seconds):888.565 905.65/888.76 o 5804843 906.01/889.11 c cleaning 14987 clauses out of 29984 with flag 10340/9564124 906.40/889.46 c cleaning 10492 clauses out of 20997 with flag 22354/9570124 906.79/889.88 c cleaning 8747 clauses out of 17505 with flag 36377/9577124 907.43/890.42 c cleaning 8368 clauses out of 16757 with flag 52407/9585123 907.93/890.96 c cleaning 8688 clauses out of 17390 with flag 70459/9594124 908.53/891.58 c cleaning 9340 clauses out of 18701 with flag 90488/9604123 909.23/892.25 c cleaning 10170 clauses out of 20362 with flag 112527/9615124 909.93/893.01 c cleaning 11090 clauses out of 22192 with flag 136553/9627124 910.83/893.83 c cleaning 12039 clauses out of 24101 with flag 162603/9640123 911.72/894.72 c cleaning 13020 clauses out of 26062 with flag 190646/9654123 912.62/895.67 c cleaning 14008 clauses out of 28042 with flag 220695/9669123 913.72/896.75 c cleaning 15011 clauses out of 30035 with flag 253681/9685124 914.92/897.95 c cleaning 16002 clauses out of 32023 with flag 290171/9702123 916.13/899.17 c cleaning 17003 clauses out of 34022 with flag 326868/9720124 917.41/900.40 c cleaning 18002 clauses out of 36018 with flag 365283/9739123 918.85/901.86 c cleaning 19004 clauses out of 38016 with flag 406171/9759123 920.35/903.37 c cleaning 20004 clauses out of 40013 with flag 448865/9780124 921.86/904.89 c cleaning 21003 clauses out of 42008 with flag 493004/9802123 923.55/906.51 c cleaning 21997 clauses out of 44005 with flag 540928/9825123 925.16/908.12 c cleaning 22995 clauses out of 46008 with flag 589658/9849123 926.85/909.83 c cleaning 24005 clauses out of 48014 with flag 640785/9874124 928.91/911.84 c cleaning 24998 clauses out of 50009 with flag 696074/9900124 930.80/913.74 c cleaning 26002 clauses out of 52010 with flag 750900/9927123 932.90/915.81 c cleaning 26997 clauses out of 54008 with flag 811274/9955123 934.90/917.89 c cleaning 28000 clauses out of 56011 with flag 871604/9984123 937.10/920.01 c cleaning 29001 clauses out of 58011 with flag 932147/10014123 939.29/922.29 c cleaning 29996 clauses out of 60010 with flag 997457/10045123 941.96/924.85 c cleaning 31001 clauses out of 62014 with flag 1065381/10077123 944.56/927.41 c cleaning 31999 clauses out of 64013 with flag 1135949/10110123 946.96/929.82 c cleaning 33006 clauses out of 66015 with flag 1204881/10144124 949.45/932.34 c cleaning 33998 clauses out of 68009 with flag 1276293/10179124 952.05/934.97 c cleaning 34999 clauses out of 70010 with flag 1350429/10215123 954.86/937.65 c cleaning 36004 clauses out of 72012 with flag 1426950/10252124 957.65/940.41 c cleaning 36994 clauses out of 74007 with flag 1504411/10290123 960.56/943.30 c cleaning 37995 clauses out of 76014 with flag 1586328/10329124 963.45/946.25 c cleaning 38998 clauses out of 78019 with flag 1667105/10369124 966.54/949.31 c cleaning 40001 clauses out of 80020 with flag 1752712/10410123 969.93/952.63 c cleaning 41000 clauses out of 82016 with flag 1845060/10452124 973.24/955.92 c cleaning 42005 clauses out of 84016 with flag 1937526/10495124 976.53/959.28 c cleaning 43000 clauses out of 86010 with flag 2031037/10539123 979.92/962.63 c cleaning 44001 clauses out of 88010 with flag 2130340/10584123 983.76/966.37 c cleaning 45003 clauses out of 90009 with flag 2236644/10630123 987.36/969.97 c cleaning 46003 clauses out of 92006 with flag 2344265/10677123 991.05/973.64 c cleaning 47002 clauses out of 94003 with flag 2454689/10725123 994.85/977.49 c cleaning 47994 clauses out of 96001 with flag 2568881/10774123 998.64/981.22 c cleaning 49003 clauses out of 98008 with flag 2679582/10824124 1003.64/985.31 c cleaning 49998 clauses out of 100004 with flag 2793402/10875123 1007.63/989.31 c cleaning 50999 clauses out of 102007 with flag 2911951/10927124 1011.53/993.28 c cleaning 51997 clauses out of 104008 with flag 3021064/10980124 1016.21/997.82 c cleaning 53001 clauses out of 106011 with flag 3135865/11034124 1020.41/1002.10 c cleaning 54001 clauses out of 108010 with flag 3262668/11089124 1024.89/1006.58 c cleaning 55000 clauses out of 110009 with flag 3391112/11145124 1029.28/1010.92 c cleaning 56001 clauses out of 112009 with flag 3515405/11202124 1034.06/1015.53 c cleaning 57004 clauses out of 114008 with flag 3632710/11260124 1038.66/1020.15 c cleaning 57997 clauses out of 116003 with flag 3751389/11319123 1043.47/1024.93 c cleaning 58997 clauses out of 118007 with flag 3871886/11379124 1048.26/1029.78 c cleaning 60004 clauses out of 120010 with flag 3995035/11440124 1053.40/1034.77 c cleaning 61000 clauses out of 122006 with flag 4129577/11502124 1058.50/1039.88 c cleaning 61996 clauses out of 124006 with flag 4264173/11565124 1063.59/1044.96 c cleaning 63000 clauses out of 126009 with flag 4405372/11629123 1069.12/1050.39 c cleaning 64000 clauses out of 128010 with flag 4553589/11694124 1074.41/1055.63 c cleaning 64996 clauses out of 130009 with flag 4686172/11760123 1079.71/1061.00 c cleaning 66002 clauses out of 132014 with flag 4836010/11827124 1085.49/1066.67 c cleaning 67004 clauses out of 134011 with flag 4985952/11895123 1091.38/1072.57 c cleaning 68001 clauses out of 136007 with flag 5143830/11964123 1097.27/1078.42 c cleaning 69002 clauses out of 138006 with flag 5303961/12034123 1103.14/1084.28 c cleaning 69995 clauses out of 140004 with flag 5465962/12105123 1108.94/1090.07 c cleaning 70997 clauses out of 142010 with flag 5628506/12177124 1115.15/1096.14 c cleaning 72004 clauses out of 144013 with flag 5793757/12250124 1121.52/1102.54 c cleaning 73000 clauses out of 146008 with flag 5962059/12324124 1127.71/1108.79 c cleaning 73996 clauses out of 148008 with flag 6116735/12399124 1133.89/1114.84 c cleaning 75002 clauses out of 150011 with flag 6272694/12475123 1139.98/1120.98 c cleaning 75998 clauses out of 152010 with flag 6428205/12552124 1146.18/1127.16 c cleaning 77000 clauses out of 154011 with flag 6586158/12630123 1152.84/1133.62 c cleaning 78001 clauses out of 156012 with flag 6746199/12709124 1159.35/1140.13 c cleaning 79002 clauses out of 158010 with flag 6907202/12789123 1166.21/1146.87 c cleaning 80002 clauses out of 160009 with flag 7072956/12870124 1172.80/1153.41 c cleaning 80993 clauses out of 162006 with flag 7240908/12952123 1179.82/1160.32 c cleaning 81999 clauses out of 164013 with flag 7414320/13035123 1186.63/1167.19 c cleaning 83002 clauses out of 166014 with flag 7586056/13119123 1193.51/1173.98 c cleaning 84000 clauses out of 168013 with flag 7760797/13204124 1200.71/1181.19 c cleaning 85004 clauses out of 170012 with flag 7943426/13290123 1207.95/1188.26 c cleaning 85998 clauses out of 172008 with flag 8125747/13377123 1215.24/1195.52 c cleaning 86996 clauses out of 174010 with flag 8310042/13465123 1222.59/1202.74 c cleaning 88004 clauses out of 176015 with flag 8493378/13554124 1230.08/1210.20 c cleaning 88996 clauses out of 178010 with flag 8677662/13644123 1238.00/1218.03 c cleaning 90003 clauses out of 180014 with flag 8867834/13735123 1245.48/1225.58 c cleaning 91001 clauses out of 182011 with flag 9053378/13827123 1253.50/1233.49 c cleaning 92000 clauses out of 184011 with flag 9242659/13920124 1261.29/1241.23 c cleaning 92998 clauses out of 186010 with flag 9432301/14014123 1269.41/1249.28 c cleaning 93999 clauses out of 188012 with flag 9624410/14109123 1277.11/1256.93 c cleaning 94997 clauses out of 190014 with flag 9822687/14205124 1285.10/1264.97 c cleaning 96004 clauses out of 192017 with flag 10021450/14302124 1293.45/1273.28 c cleaning 96999 clauses out of 194012 with flag 10219210/14400123 1301.53/1281.35 c cleaning 98003 clauses out of 196014 with flag 10419896/14499124 1309.96/1289.65 c cleaning 98992 clauses out of 198011 with flag 10630678/14599124 1318.54/1298.24 c cleaning 100002 clauses out of 200018 with flag 10842622/14700123 1327.28/1306.88 c cleaning 101004 clauses out of 202017 with flag 11053989/14802124 1335.97/1315.58 c cleaning 102005 clauses out of 204013 with flag 11266059/14905124 1345.01/1324.41 c cleaning 102998 clauses out of 206007 with flag 11480290/15009123 1353.40/1332.83 c cleaning 103995 clauses out of 208010 with flag 11695345/15114124 1362.01/1341.33 c cleaning 104999 clauses out of 210015 with flag 11909699/15220124 1370.82/1350.13 c cleaning 105996 clauses out of 212015 with flag 12134856/15327123 1379.70/1359.06 c cleaning 107008 clauses out of 214020 with flag 12358121/15435124 1388.94/1368.25 c cleaning 107999 clauses out of 216012 with flag 12586544/15544124 1397.85/1377.19 c cleaning 108995 clauses out of 218013 with flag 12819000/15654124 1407.50/1386.60 c cleaning 110003 clauses out of 220018 with flag 13057148/15765124 1416.79/1396.00 c cleaning 111003 clauses out of 222015 with flag 13296411/15877124 1426.44/1405.51 c cleaning 112004 clauses out of 224012 with flag 13530547/15990124 1436.05/1415.02 c cleaning 113001 clauses out of 226008 with flag 13771293/16104124 1446.04/1425.02 c cleaning 113997 clauses out of 228006 with flag 14006910/16219123 1455.65/1434.66 c cleaning 115003 clauses out of 230010 with flag 14246616/16335124 1464.93/1443.96 c cleaning 115993 clauses out of 232007 with flag 14485859/16452124 1474.64/1453.62 c cleaning 117000 clauses out of 234013 with flag 14727276/16570123 1484.23/1463.23 c cleaning 118001 clauses out of 236013 with flag 14978843/16689123 1494.52/1473.45 c cleaning 119003 clauses out of 238013 with flag 15230363/16809124 1504.91/1483.88 c cleaning 120001 clauses out of 240010 with flag 15478243/16930124 1516.26/1493.89 c cleaning 120999 clauses out of 242009 with flag 15726648/17052124 1526.78/1504.27 c cleaning 122003 clauses out of 244010 with flag 15983005/17175124 1537.68/1515.13 c cleaning 123003 clauses out of 246006 with flag 16234140/17299123 1548.74/1526.04 c cleaning 123995 clauses out of 248004 with flag 16487214/17424124 1559.61/1536.99 c cleaning 124999 clauses out of 250009 with flag 16740776/17550124 1571.04/1548.27 c cleaning 126005 clauses out of 252009 with flag 16996614/17677123 1582.18/1559.26 c cleaning 126997 clauses out of 254005 with flag 17284267/17805124 1592.76/1569.89 c cleaning 127997 clauses out of 256007 with flag 17585979/17934123 1603.54/1580.52 c cleaning 129004 clauses out of 258011 with flag 17854033/18064124 1614.24/1591.06 c cleaning 130000 clauses out of 260006 with flag 18116268/18195123 1624.92/1601.70 c cleaning 131000 clauses out of 262007 with flag 18382167/18327124 1636.92/1613.63 c cleaning 131998 clauses out of 264006 with flag 18649250/18460123 1648.08/1624.71 c cleaning 132995 clauses out of 266006 with flag 18935799/18594123 1658.87/1635.32 c cleaning 133997 clauses out of 268011 with flag 19230697/18729123 1672.08/1648.31 c cleaning 135000 clauses out of 270014 with flag 19529736/18865123 1684.53/1660.62 c cleaning 136001 clauses out of 272015 with flag 19825857/19002124 1696.88/1672.85 c cleaning 137001 clauses out of 274013 with flag 20126398/19140123 1709.22/1685.05 c cleaning 138001 clauses out of 276012 with flag 20428067/19279123 1721.84/1697.57 c cleaning 138995 clauses out of 278011 with flag 20726140/19419123 1734.16/1709.77 c cleaning 140004 clauses out of 280016 with flag 21009314/19560123 1746.37/1721.80 c cleaning 140999 clauses out of 282012 with flag 21295509/19702123 1758.35/1733.60 c cleaning 142001 clauses out of 284013 with flag 21583167/19845123 1771.99/1747.11 c cleaning 142999 clauses out of 286013 with flag 21872693/19989124 1784.34/1759.42 c cleaning 143999 clauses out of 288013 with flag 22164543/20134123 1796.29/1771.33 c cleaning 145002 clauses out of 290014 with flag 22521472/20280123 1807.76/1782.71 c cleaning 146002 clauses out of 292012 with flag 22867470/20427123 1822.14/1796.02 c cleaning 147001 clauses out of 294010 with flag 23220331/20575123 1833.95/1807.71 c cleaning 147998 clauses out of 296010 with flag 23542433/20724124 1846.13/1819.92 c cleaning 148999 clauses out of 298011 with flag 23862566/20874123 1859.32/1833.10 c cleaning 149994 clauses out of 300013 with flag 24192749/21025124 1872.17/1845.76 c cleaning 151002 clauses out of 302018 with flag 24539000/21177123 1884.35/1857.92 c cleaning 151996 clauses out of 304016 with flag 24900205/21330123 1898.01/1871.55 c cleaning 153006 clauses out of 306020 with flag 25264776/21484123 1912.04/1885.43 c cleaning 153998 clauses out of 308014 with flag 25629097/21639123 1924.40/1897.63 c cleaning 155007 clauses out of 310017 with flag 25981023/21795124 1938.57/1911.60 c cleaning 156003 clauses out of 312010 with flag 26376693/21952124 1951.73/1924.65 c cleaning 156996 clauses out of 314006 with flag 26748180/22110123 1965.99/1938.74 c cleaning 158001 clauses out of 316011 with flag 27096248/22269124 1979.56/1952.12 c cleaning 158999 clauses out of 318009 with flag 27443349/22429123 1992.48/1964.97 c cleaning 160003 clauses out of 320011 with flag 27779206/22590124 2007.44/1979.78 c cleaning 160999 clauses out of 322007 with flag 28106058/22752123 2021.41/1993.54 c cleaning 161998 clauses out of 324009 with flag 28434504/22915124 2035.85/2007.84 c cleaning 162995 clauses out of 326010 with flag 28842232/23079123 2050.95/2022.80 c cleaning 164002 clauses out of 328016 with flag 29193778/23244124 2066.04/2037.84 c cleaning 165000 clauses out of 330014 with flag 29585043/23410124 2080.11/2051.83 c cleaning 165996 clauses out of 332014 with flag 29954395/23577124 2094.26/2066.00 c cleaning 166999 clauses out of 334018 with flag 30321329/23745124 2108.38/2079.92 c cleaning 168001 clauses out of 336018 with flag 30670241/23914123 2122.36/2093.85 c cleaning 169002 clauses out of 338017 with flag 31019638/24084123 2138.06/2109.41 c cleaning 170000 clauses out of 340015 with flag 31379034/24255123 2154.16/2125.31 c cleaning 171001 clauses out of 342015 with flag 31726642/24427123 2167.61/2138.67 c cleaning 171999 clauses out of 344014 with flag 32089732/24600123 2181.66/2152.59 c cleaning 173003 clauses out of 346016 with flag 32454236/24774124 2195.48/2166.27 c cleaning 174006 clauses out of 348012 with flag 32815602/24949123 2209.75/2180.34 c cleaning 175000 clauses out of 350006 with flag 33202878/25125123 2224.12/2194.75 c cleaning 175994 clauses out of 352007 with flag 33561425/25302124 2239.72/2210.20 c cleaning 177003 clauses out of 354013 with flag 33976491/25480124 2263.03/2233.58 c cleaning 177997 clauses out of 356010 with flag 34401713/25659124 2280.38/2250.83 c cleaning 178996 clauses out of 358012 with flag 34819772/25839123 2297.15/2266.36 c cleaning 180006 clauses out of 360017 with flag 35205620/26020124 2312.80/2281.85 c cleaning 180998 clauses out of 362010 with flag 35586407/26202123 2327.99/2297.04 c cleaning 181997 clauses out of 364013 with flag 35969089/26385124 2345.03/2314.00 c cleaning 182997 clauses out of 366015 with flag 36464244/26569123 2362.64/2331.44 c cleaning 184005 clauses out of 368019 with flag 36928781/26754124 2378.64/2347.32 c cleaning 185001 clauses out of 370014 with flag 37377530/26940124 2394.71/2363.38 c cleaning 185998 clauses out of 372012 with flag 37774154/27127123 2409.87/2378.30 c cleaning 187004 clauses out of 374015 with flag 38164939/27315124 2428.01/2396.38 c cleaning 187997 clauses out of 376011 with flag 38567943/27504124 2443.13/2411.36 c cleaning 189003 clauses out of 378014 with flag 38974109/27694124 2457.66/2425.73 c cleaning 190003 clauses out of 380010 with flag 39375296/27885123 2475.37/2443.32 c cleaning 190995 clauses out of 382007 with flag 39760451/28077123 2492.57/2460.39 c cleaning 191997 clauses out of 384013 with flag 40150685/28270124 2509.54/2477.20 c cleaning 192999 clauses out of 386015 with flag 40541827/28464123 2525.28/2492.90 c cleaning 194002 clauses out of 388016 with flag 40936066/28659123 2542.04/2509.64 c cleaning 194996 clauses out of 390014 with flag 41330476/28855123 2559.99/2527.53 c cleaning 196003 clauses out of 392018 with flag 41740742/29052123 2576.99/2544.57 c cleaning 197000 clauses out of 394015 with flag 42164340/29250123 2594.61/2562.01 c cleaning 197997 clauses out of 396015 with flag 42591134/29449123 2612.31/2579.74 c cleaning 199006 clauses out of 398019 with flag 43019951/29649124 2629.05/2596.55 c cleaning 200003 clauses out of 400013 with flag 43426120/29850124 2646.11/2613.64 c cleaning 200999 clauses out of 402009 with flag 43856096/30052123 2664.71/2632.16 c cleaning 201995 clauses out of 404010 with flag 44288395/30255123 2683.21/2650.51 c cleaning 203000 clauses out of 406016 with flag 44714511/30459124 2701.98/2669.14 c cleaning 203997 clauses out of 408015 with flag 45149886/30664123 2720.61/2687.67 c cleaning 205004 clauses out of 410018 with flag 45571881/30870123 2738.35/2705.27 c cleaning 206000 clauses out of 412015 with flag 45990531/31077124 2756.06/2722.84 c cleaning 207006 clauses out of 414015 with flag 46411125/31285124 2775.17/2741.83 c cleaning 207997 clauses out of 416008 with flag 46829311/31494123 2794.06/2760.52 c cleaning 209001 clauses out of 418012 with flag 47263072/31704124 2813.68/2780.06 c cleaning 209999 clauses out of 420011 with flag 47715411/31915124 2832.47/2798.70 c cleaning 210999 clauses out of 422011 with flag 48150454/32127123 2851.68/2817.54 c cleaning 211998 clauses out of 424013 with flag 48593914/32340124 2872.44/2836.04 c cleaning 213001 clauses out of 426015 with flag 49031593/32554124 2889.94/2853.35 c cleaning 213997 clauses out of 428013 with flag 49475384/32769123 2908.81/2872.28 c cleaning 215006 clauses out of 430017 with flag 49910534/32985124 2928.90/2892.30 c cleaning 216002 clauses out of 432011 with flag 50346322/33202124 2950.51/2913.88 c cleaning 216997 clauses out of 434008 with flag 50784188/33420123 2973.02/2936.33 c cleaning 218000 clauses out of 436012 with flag 51225170/33639124 2993.31/2956.52 c cleaning 218998 clauses out of 438011 with flag 51667213/33859123 3014.67/2977.77 c cleaning 220004 clauses out of 440013 with flag 52111009/34080123 3035.66/2998.61 c cleaning 221003 clauses out of 442009 with flag 52556845/34302123 3056.95/3019.89 c cleaning 221997 clauses out of 444007 with flag 53004708/34525124 3079.24/3041.99 c cleaning 222999 clauses out of 446009 with flag 53460351/34749123 3103.46/3066.10 c cleaning 223999 clauses out of 448011 with flag 53946199/34974124 3126.90/3089.09 c cleaning 224999 clauses out of 450011 with flag 54414035/35200123 3150.21/3112.24 c cleaning 226001 clauses out of 452012 with flag 54868982/35427123 3172.39/3134.26 c cleaning 226999 clauses out of 454012 with flag 55325513/35655124 3195.74/3157.42 c cleaning 227998 clauses out of 456013 with flag 55784270/35884124 3218.31/3179.81 c cleaning 228998 clauses out of 458014 with flag 56246240/36114123 3239.82/3201.20 c cleaning 230000 clauses out of 460017 with flag 56709763/36345124 3261.58/3222.98 c cleaning 230999 clauses out of 462016 with flag 57177286/36577123 3282.50/3243.89 c cleaning 232002 clauses out of 464019 with flag 57646073/36810125 3305.84/3267.07 c cleaning 233001 clauses out of 466015 with flag 58114430/37044123 3328.61/3289.69 c cleaning 233998 clauses out of 468015 with flag 58585871/37279124 3351.30/3312.12 c cleaning 235006 clauses out of 470016 with flag 59058106/37515123 3372.66/3333.33 c cleaning 235998 clauses out of 472010 with flag 59533521/37752123 3395.73/3356.29 c cleaning 237000 clauses out of 474012 with flag 60010023/37990123 3418.63/3378.92 c cleaning 238001 clauses out of 476013 with flag 60493640/38229124 3439.44/3399.63 c cleaning 239002 clauses out of 478012 with flag 60983649/38469124 3460.65/3420.85 c cleaning 239995 clauses out of 480010 with flag 61470498/38710124 3484.75/3445.06 c cleaning 240995 clauses out of 482015 with flag 61976334/38952124 3507.18/3467.41 c cleaning 242003 clauses out of 484020 with flag 62524527/39195124 3529.28/3489.56 c cleaning 243005 clauses out of 486017 with flag 63085976/39439124 3552.10/3512.12 c cleaning 244005 clauses out of 488011 with flag 63642222/39684123 3573.81/3533.77 c cleaning 244994 clauses out of 490006 with flag 64188193/39930123 3596.39/3556.14 c cleaning 246000 clauses out of 492013 with flag 64699327/40177124 3600.07/3559.86 c starts : 13379 3600.07/3559.89 c conflicts : 40228894 3600.07/3559.89 c decisions : 44510277 3600.07/3559.89 c propagations : 428258384 3600.07/3559.89 c inspects : 7828943586 3600.07/3559.89 c shortcuts : 0 3600.07/3559.89 c learnt literals : 171 3600.07/3559.89 c learnt binary clauses : 30 3600.07/3559.89 c learnt ternary clauses : 384 3600.07/3559.89 c learnt constraints : 40228723 3600.07/3559.89 c ignored constraints : 0 3600.07/3559.89 c root simplifications : 0 3600.07/3559.89 c removed literals (reason simplification) : 0 3600.07/3559.89 c reason swapping (by a shorter reason) : 0 3600.07/3559.89 c Calls to reduceDB : 426 3600.07/3559.89 c Number of update (reduction) of LBD : 270176 3600.07/3559.89 c Imported unit clauses : 0 3600.07/3559.89 c No decision after first conflict : false 3600.07/3559.89 c number of reductions to clauses (during analyze) : 0 3600.07/3559.89 c number of learned constraints concerned by reduction : 0 3600.07/3559.89 c number of learning phase by resolution : 0 3600.07/3559.89 c number of learning phase by cutting planes : 0 3600.07/3559.89 c number of rounding to 1 operations : 0 3600.07/3559.89 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3559.89 c number of reductions of the coefficients by power 2 : 0 3600.07/3559.89 c number of right shift for reduction by power 2 : 0 3600.07/3559.89 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3559.89 c number of ending skipping : 0 3600.07/3559.89 c number of internal skipping : 0 3600.07/3559.89 c number of derivation steps : 0 3600.07/3559.89 c number of skipped derivation steps : 0 3600.07/3559.89 c number of remaining unassigned : 0 3600.07/3559.89 c number of remaining assigned : 0 3600.07/3559.89 c number of falsified literals weakened from reason : 0 3600.07/3559.89 c number of falsified literals weakened from conflict : 0 3600.07/3559.89 c time for arithmetic operations : 0 3600.07/3559.90 c minimum degree of deleted constraints : null 3600.07/3559.90 c maximum degree of deleted constraints : null 3600.07/3559.90 c number of deleted constraints : 0 3600.29/3559.91 c speed (assignments/second) : 120320.55183698423 3600.29/3559.91 c non guided choices : 1346 3600.49/3560.07 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 297753 3600.49/3560.07 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 30 3600.49/3560.07 s SATISFIABLE 3600.49/3560.07 c Found 4 solution(s) 3600.49/3560.08 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 3600.69/3560.13 c objective function=5804843 3600.69/3560.13 c Total wall clock time (in seconds): 3559.935
OK 5804843
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: 64059 MiB (62468 MiB free)
memory of node 1: 64510 MiB (58741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432462-1721138469/watcher-4432462-1721138469 -o /tmp/evaluation-result-4432462-1721138469/solver-4432462-1721138469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854697 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432462-1721138469.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=858971, runsolver pid=858968
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.14 4.21 4.26 7/317 858989
/proc/meminfo: memFree=124082328/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=18975048 memory=57856 CPUtime=0.14 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 6500 0 0 0 11 3 0 0 20 0 18 0 166004992 19430449152 14464 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4743762 14464 5600 1 0 550924 0
[pid=858971/tid=858973] ppid=858968 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) D 858968 858971 854686 0 -1 1078198336 5475 0 0 0 7 2 0 0 20 0 18 0 166004992 19430449152 14464 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166004997 19430449152 14464 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=18975048 memory=3978424728183636000 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166004998 19430449152 14464 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57856 KiB
[startup+0.224648 s]*
/proc/loadavg: 4.14 4.21 4.26 8/317 858989
/proc/meminfo: memFree=124075012/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=18975048 memory=67900 CPUtime=0.36 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 7241 0 0 0 33 3 0 0 20 0 18 0 166004992 19430449152 16975 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4743762 16975 5801 1 0 551548 0
[pid=858971/tid=858973] ppid=858968 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 5805 0 0 0 19 2 0 0 20 0 18 0 166004992 19430449152 16975 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=18975048 memory=694 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166004997 19430449152 16975 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=18975048 memory=14135562894328173 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166004998 19430449152 16975 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67900 KiB
[startup+0.313649 s]*
/proc/loadavg: 4.14 4.21 4.26 7/317 858989
/proc/meminfo: memFree=124068084/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=18975048 memory=72136 CPUtime=0.51 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 7335 0 0 0 48 3 0 0 20 0 18 0 166004992 19430449152 18034 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4743762 18034 5801 1 0 551598 0
[pid=858971/tid=858973] ppid=858968 vsize=18975048 memory=-8599449097379095228 CPUtime=0.29 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) S 858968 858971 854686 0 -1 1077936192 5860 0 0 0 27 2 0 0 20 0 18 0 166004992 19430449152 18034 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166004997 19430449152 18034 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166004998 19430449152 18034 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72136 KiB
[startup+0.700651 s]
/proc/loadavg: 4.14 4.21 4.26 7/317 858989
/proc/meminfo: memFree=124042536/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19041612 memory=100976 CPUtime=1.22 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 9396 0 0 0 117 5 0 0 20 0 19 0 166004992 19498610688 25244 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4760403 25244 5855 1 0 553156 0
[pid=858971/tid=858973] ppid=858968 vsize=19041612 memory=5576 CPUtime=0.59 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 5993 0 0 0 55 4 0 0 20 0 19 0 166004992 19498610688 25244 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 166004997 19498610688 25244 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166004998 19498610688 25244 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100976 KiB
[startup+1.50027 s]
/proc/loadavg: 4.14 4.21 4.26 6/318 858990
/proc/meminfo: memFree=124027516/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19041612 memory=131912 CPUtime=2.66 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 12768 0 0 0 259 7 0 0 20 0 19 0 166004992 19498610688 32978 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4760403 32978 5855 1 0 554062 0
[pid=858971/tid=858973] ppid=858968 vsize=19041612 memory=12676 CPUtime=1.37 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 6149 0 0 0 133 4 0 0 20 0 19 0 166004992 19498610688 32978 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 166004997 19498610688 32978 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166004998 19498610688 32978 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166005050 19498610688 32978 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131912 KiB
[startup+3.1131 s]
/proc/loadavg: 4.13 4.21 4.25 5/319 858991
/proc/meminfo: memFree=123935164/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=205284 CPUtime=4.58 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 17415 0 0 0 449 9 0 0 20 0 20 0 166004992 19566772224 51321 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 51321 5871 1 0 554620 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=0 CPUtime=2.95 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 7220 0 0 0 290 5 0 0 20 0 20 0 166004992 19566772224 51321 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 51321 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 51321 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 51321 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205284 KiB
[startup+6.30037 s]
/proc/loadavg: 4.13 4.21 4.25 5/320 858994
/proc/meminfo: memFree=123884820/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=255228 CPUtime=7.82 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 17577 0 0 0 771 11 0 0 20 0 20 0 166004992 19566772224 63807 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 63807 5871 1 0 554621 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=0 CPUtime=5.96 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 7227 0 0 0 591 5 0 0 20 0 20 0 166004992 19566772224 63807 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 63807 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 63807 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=43248 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 63807 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255228 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.21 4.25 5/320 858994
/proc/meminfo: memFree=123629292/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=477752 CPUtime=14.63 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 21787 0 0 0 1447 16 0 0 20 0 20 0 166004992 19566772224 119438 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 119438 5915 1 0 784471 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=107976 CPUtime=12.02 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 7965 0 0 0 1197 5 0 0 20 0 20 0 166004992 19566772224 119438 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=436604 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 119438 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=205284 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 119438 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 119438 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477752 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.21 4.25 5/320 858997
/proc/meminfo: memFree=123084044/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=894240 CPUtime=27.84 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 26712 0 0 0 2760 24 0 0 20 0 20 0 166004992 19566772224 223560 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 223560 5915 1 0 784480 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=436604 CPUtime=24.22 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 8764 0 0 0 2415 7 0 0 20 0 20 0 166004992 19566772224 223560 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=818196 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 223560 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 223560 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=6656426216303648864 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 223560 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 27.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 894240 KiB
[startup+51.1135 s]
/proc/loadavg: 4.22 4.22 4.26 5/320 859000
/proc/meminfo: memFree=122338604/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=1490216 CPUtime=54.36 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 33102 0 0 0 5398 38 0 0 20 0 20 0 166004992 19566772224 372554 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 372554 5915 1 0 973262 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=1116984 CPUtime=48.97 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 10185 0 0 0 4886 11 0 0 20 0 20 0 166004992 19566772224 372554 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=1180472 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 372554 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 372554 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
################
# More data... #
################
/proc/meminfo: memFree=98964168/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7365800 CPUtime=3321.31 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 241495 0 0 0 331821 310 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1841450 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=7365800 CPUtime=3234.47 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 43676 0 0 0 323374 73 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=7365800 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=7267456 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3321.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7365800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.59 4.37 4.26 5/319 860684
/proc/meminfo: memFree=98681776/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7365800 CPUtime=3381.65 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 242450 0 0 0 337852 313 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1841450 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=43248 CPUtime=3293.87 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 44129 0 0 0 329314 73 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=7365800 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=43248 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3381.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7365800 KiB
[startup+3402.3 s]
/proc/loadavg: 3.77 4.17 4.20 4/293 860727
/proc/meminfo: memFree=101150488/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7365800 CPUtime=3442.13 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 243457 0 0 0 343899 314 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1841450 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=7365800 CPUtime=3353.12 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 44478 0 0 0 335239 73 0 0 20 0 20 0 166004992 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=5576 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=7365800 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1841450 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3442.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7365800 KiB
[startup+3462.3 s]
/proc/loadavg: 3.49 4.02 4.14 4/295 860908
/proc/meminfo: memFree=100617588/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7365816 CPUtime=3502.12 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 244205 0 0 0 349895 317 0 0 20 0 20 0 166004992 19566772224 1841454 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1841454 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=7365816 CPUtime=3412.13 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 44801 0 0 0 341140 73 0 0 20 0 20 0 166004992 19566772224 1841454 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1841454 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1841454 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=7365816 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1841454 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3502.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7365816 KiB
[startup+3522.3 s]
/proc/loadavg: 3.28 3.86 4.08 4/295 860919
/proc/meminfo: memFree=100349816/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7370464 CPUtime=3562.22 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 245115 0 0 0 355902 320 0 0 20 0 20 0 166004992 19566772224 1842616 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1842616 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=7370464 CPUtime=3471.03 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 45103 0 0 0 347030 73 0 0 20 0 20 0 166004992 19566772224 1842616 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=7365816 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1842616 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1842616 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=7370464 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1842616 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3562.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7370464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3559.8 s]
/proc/loadavg: 2.98 3.72 4.02 3/269 860960
/proc/meminfo: memFree=107524052/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19108176 memory=7571824 CPUtime=3600.07 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 245740 0 0 0 359682 325 0 0 20 0 20 0 166004992 19566772224 1892956 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4777044 1892956 5915 1 0 2027545 0
[pid=858971/tid=858973] ppid=858968 vsize=19108176 memory=31900 CPUtime=3507.98 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 45315 0 0 0 350725 73 0 0 20 0 20 0 166004992 19566772224 1892956 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19108176 memory=19312 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166004997 19566772224 1892956 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19108176 memory=26356 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 166004998 19566772224 1892956 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858990] ppid=858968 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/858971/task/858990/stat : 858990 (Timer-0) S 858968 858971 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166005050 19566772224 1892956 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7571824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3560.17 s]
# the end of solver process 858971 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.46 s, system=3.29968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3560 s]*
/proc/loadavg: 2.98 3.72 4.02 6/270 860963
/proc/meminfo: memFree=107523268/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19307868 memory=7572608 CPUtime=3600.49 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 248646 0 0 0 359723 326 0 0 20 0 21 0 166004992 19771256832 1893152 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4826967 1893152 5914 1 0 2028462 0
[pid=858971/tid=858973] ppid=858968 vsize=19307868 memory=-9032086027893056188 CPUtime=3508.18 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 45557 0 0 0 350745 73 0 0 20 0 21 0 166004992 19771256832 1893152 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19307868 memory=-8621784589422478746 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 166004997 19771256832 1893152 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19307868 memory=-9032086027893056188 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 21 0 166004998 19771256832 1893152 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=860962] ppid=858968 vsize=19307868 memory=-8621784589422478746 CPUtime=0.11 cores=4,6
/proc/858971/task/860962/stat : 860962 (Thread-0) R 858968 858971 854686 0 -1 4194368 278 0 0 0 11 0 0 0 20 0 21 0 166360973 19771256832 1893152 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7572608 KiB
[startup+3560.12 s]
/proc/loadavg: 2.98 3.72 4.02 6/270 860963
/proc/meminfo: memFree=107523268/131655788 swapFree=131071996/131071996
[pid=858971] ppid=858968 vsize=19307868 memory=7572684 CPUtime=3600.69 cores=4,6
/proc/858971/stat : 858971 (java) S 858968 858971 854686 0 -1 1077936128 249128 0 0 0 359743 326 0 0 20 0 21 0 166004992 19771256832 1893171 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
/proc/858971/statm: 4826967 1893171 5914 1 0 2028478 0
[pid=858971/tid=858973] ppid=858968 vsize=19307868 memory=-8599449097379095228 CPUtime=3508.27 cores=4,6
/proc/858971/task/858973/stat : 858973 (java) R 858968 858971 854686 0 -1 4194368 45557 0 0 0 350754 73 0 0 20 0 21 0 166004992 19771256832 1893171 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858982] ppid=858968 vsize=19307868 memory=7571824 CPUtime=0 cores=4,6
/proc/858971/task/858982/stat : 858982 (Finalizer) S 858968 858971 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 166004997 19771256832 1893171 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=858989] ppid=858968 vsize=19307868 memory=7571824 CPUtime=0 cores=4,6
/proc/858971/task/858989/stat : 858989 (Common-Cleaner) S 858968 858971 854686 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 21 0 166004998 19771256832 1893171 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
[pid=858971/tid=860962] ppid=858968 vsize=19307868 memory=-8621784589422478746 CPUtime=0.15 cores=4,6
/proc/858971/task/860962/stat : 860962 (Thread-0) R 858968 858971 854686 0 -1 1077936192 551 0 0 0 15 0 0 0 20 0 21 0 166360973 19771256832 1893171 134679101440 94120838053888 94120838057584 140734006629264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94120838065400 94120838066192 94120849317888 140734006633479 140734006633569 140734006633569 140734006640584 0
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7572684 KiB
Child status: 143
Real time (s): 3560.17
CPU time (s): 3600.76
CPU user time (s): 3597.46
CPU system time (s): 3.29968
CPU usage (%): 101.14
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7572684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 3.29968
maximum resident set size= 7573728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116870
involuntary context switches= 11328
# summary of solver processes directly reported to runsolver:
# pid: 858971
# total CPU time (s): 3600.76
# total CPU user time (s): 3597.46
# total CPU system time (s): 3.29968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3738 second user time and 32.2697 second system time
The end
Begin job on nodeC002 at 2024-07-16 16:01:22 IDJOB=4432462 IDBENCH=155602 IDSOLVER=3058 FILE ID=nodeC002/4432462-1721138469 RUNJOBID= nodeC002-1721131365-854697 SLURM_JOB_ID= 7505700 Free space on /tmp= 723712 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432462-1721138469/watcher-4432462-1721138469 -o /tmp/evaluation-result-4432462-1721138469/solver-4432462-1721138469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854697 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432462-1721138469.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52 RANDOM SEED=1579650205 nodeC002.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 : 0xb00001f cpu MHz : 3666.639 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 3652.613 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.287 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 1197.268 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 3485.442 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 3662.203 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1629.980 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 1197.237 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124119288 kB MemAvailable: 125594112 kB Buffers: 438660 kB Cached: 1862484 kB SwapCached: 0 kB Active: 802560 kB Inactive: 6160552 kB Active(anon): 2692 kB Inactive(anon): 4696972 kB Active(file): 799868 kB Inactive(file): 1463580 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1252 kB Writeback: 0 kB AnonPages: 4661484 kB Mapped: 124340 kB Shmem: 37704 kB KReclaimable: 102816 kB Slab: 202540 kB SReclaimable: 102816 kB SUnreclaim: 99724 kB KernelStack: 4832 kB PageTables: 19212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 12044820 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54528 kB HardwareCorrupted: 0 kB AnonHugePages: 4313088 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: 201544 kB DirectMap2M: 20674560 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723780 MiB End job on nodeC002 at 2024-07-16 17:00:42