Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 101 | 3600.34 | 3620.97 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb |
| MD5SUM | 0048c1c5d89c09890e717f6e64ce7569 |
| 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 | 101 |
| Best CPU time to get the best result obtained on this benchmark | 1.45304 |
| 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 | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27574 |
| Number of constraints which are cardinality constraints (but not clauses) | 226 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 20 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 211 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 160 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 687 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.14/0.12 --- Begin Solver configuration --- 0.14/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.12 Learn all clauses as in MiniSAT 0.14/0.12 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 Expensive reason simplification 0.14/0.12 Glucose 2.1 dynamic restart strategy 0.14/0.12 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.14/0.12 timeout=2147483s 0.14/0.12 DB Simplification allowed=false 0.14/0.12 Listener: none 0.14/0.12 --- End Solver configuration --- 0.14/0.13 c Pseudo Boolean Optimization by upper bound 0.14/0.13 c --- Begin Solver configuration --- 0.14/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.13 c Learn all clauses as in MiniSAT 0.14/0.13 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.13 c Expensive reason simplification 0.14/0.13 c Glucose 2.1 dynamic restart strategy 0.14/0.13 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.13 c timeout=2147483s 0.14/0.13 c DB Simplification allowed=false 0.14/0.13 c Listener: none 0.14/0.13 c --- End Solver configuration --- 0.14/0.13 c solving HOME/instance-4440576-1721824573.opb 0.14/0.13 c reading problem ... 0.14/0.13 c using VERIPB proof format 0.14/0.14 c objective function found 0.68/0.42 c ... done. Wall clock time 0.295s. 0.68/0.43 c declared #vars 9632 0.68/0.43 c #constraints 29620 0.68/0.43 c constraints type 0.68/0.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16520 0.68/0.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 282 0.68/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1764 0.68/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11054 0.68/0.43 c 29620 constraints processed. 0.68/0.43 c objective function length is 26 literals 2.03/1.16 c cleaning 2501 clauses out of 5002 with flag 12497/5002 3.01/1.61 c cleaning 4247 clauses out of 8499 with flag 27880/11000 3.83/2.10 c cleaning 5612 clauses out of 11254 with flag 46317/18002 4.59/2.46 c SATISFIABLE 4.59/2.46 c OPTIMIZING... 4.59/2.46 c Got one! Elapsed wall clock time (in seconds):2.332 4.59/2.47 o 211 5.20/2.76 c cleaning 5656 clauses out of 11316 with flag 10687/23676 5.98/3.17 c cleaning 5825 clauses out of 11660 with flag 26672/29676 6.64/3.58 c cleaning 6417 clauses out of 12834 with flag 47944/36675 7.17/4.06 c cleaning 7202 clauses out of 14417 with flag 76432/44675 7.67/4.59 c cleaning 8102 clauses out of 16214 with flag 102157/53674 8.37/5.21 c cleaning 9053 clauses out of 18113 with flag 130661/63675 9.07/5.96 c cleaning 10027 clauses out of 20060 with flag 167677/74675 9.97/6.83 c cleaning 11016 clauses out of 22035 with flag 202709/86677 10.88/7.72 c cleaning 12008 clauses out of 24016 with flag 240892/99674 11.78/8.65 c cleaning 13000 clauses out of 26008 with flag 281338/113674 12.98/9.89 c cleaning 13996 clauses out of 28008 with flag 325549/128674 14.46/11.27 c cleaning 15001 clauses out of 30013 with flag 372348/144675 15.72/12.20 c Got one! Elapsed wall clock time (in seconds):12.076 15.72/12.20 o 199 16.53/12.88 c cleaning 15826 clauses out of 31651 with flag 17103/161314 17.22/13.51 c cleaning 10913 clauses out of 21825 with flag 38548/167314 17.72/14.07 c cleaning 8956 clauses out of 17913 with flag 61670/174315 18.22/14.56 c cleaning 8469 clauses out of 16956 with flag 84911/182314 18.72/15.07 c cleaning 8741 clauses out of 17487 with flag 111023/191314 19.30/15.68 c cleaning 9371 clauses out of 18747 with flag 140647/201315 20.00/16.37 c cleaning 10183 clauses out of 20377 with flag 172774/212316 20.79/17.19 c cleaning 11093 clauses out of 22193 with flag 207150/224315 21.88/18.26 c cleaning 12049 clauses out of 24100 with flag 250392/237315 22.97/19.38 c cleaning 13022 clauses out of 26051 with flag 294324/251315 24.27/20.64 c cleaning 14011 clauses out of 28028 with flag 338709/266314 25.35/21.77 c cleaning 14998 clauses out of 30017 with flag 385824/282314 25.55/21.90 c Got one! Elapsed wall clock time (in seconds):21.778 25.55/21.90 o 191 25.75/22.18 c cleaning 10034 clauses out of 20082 with flag 11798/287377 26.15/22.52 c cleaning 8021 clauses out of 16048 with flag 30459/293377 26.54/22.90 c cleaning 7509 clauses out of 15027 with flag 50521/300377 26.94/23.35 c cleaning 7753 clauses out of 15517 with flag 74573/308376 27.43/23.84 c cleaning 8376 clauses out of 16764 with flag 101031/317376 28.03/24.46 c cleaning 9190 clauses out of 18389 with flag 132409/327377 28.73/25.15 c cleaning 10097 clauses out of 20198 with flag 166407/338376 29.52/25.97 c cleaning 11049 clauses out of 22102 with flag 202246/350377 30.68/27.09 c cleaning 11984 clauses out of 24052 with flag 250920/363376 30.98/27.39 c Got one! Elapsed wall clock time (in seconds):27.26 30.98/27.39 o 189 31.32/27.60 c cleaning 8907 clauses out of 17825 with flag 9965/369133 31.52/27.89 c cleaning 7453 clauses out of 14920 with flag 25879/375135 31.91/28.23 c cleaning 7228 clauses out of 14466 with flag 45520/382134 32.31/28.63 c cleaning 7616 clauses out of 15240 with flag 68197/390136 32.81/29.12 c cleaning 8308 clauses out of 16621 with flag 92757/399133 33.30/29.69 c cleaning 9154 clauses out of 18313 with flag 120350/409133 33.99/30.33 c cleaning 10077 clauses out of 20161 with flag 151445/420135 34.70/31.10 c cleaning 11040 clauses out of 22082 with flag 184349/432133 35.59/31.95 c cleaning 12020 clauses out of 24043 with flag 220921/445134 36.58/32.92 c cleaning 13008 clauses out of 26024 with flag 260862/459135 37.57/33.97 c cleaning 14003 clauses out of 28014 with flag 302653/474133 38.84/35.67 c cleaning 15001 clauses out of 30011 with flag 349768/490133 40.24/37.04 c cleaning 16002 clauses out of 32010 with flag 396749/507133 41.74/38.52 c cleaning 17002 clauses out of 34008 with flag 447443/525133 43.34/40.12 c cleaning 18003 clauses out of 36007 with flag 501837/544134 45.13/41.93 c cleaning 18997 clauses out of 38003 with flag 559851/564133 46.93/43.75 c cleaning 20000 clauses out of 40007 with flag 625335/585134 49.23/46.02 c cleaning 20998 clauses out of 42006 with flag 693104/607133 51.52/48.36 c cleaning 22004 clauses out of 44011 with flag 762763/630136 53.91/50.72 c cleaning 22997 clauses out of 46006 with flag 830760/654135 56.30/53.18 c cleaning 24000 clauses out of 48008 with flag 904567/679134 59.11/55.95 c cleaning 25001 clauses out of 50007 with flag 979963/705133 62.11/58.91 c cleaning 25996 clauses out of 52007 with flag 1058571/732134 65.20/62.08 c cleaning 27001 clauses out of 54012 with flag 1137937/760135 66.89/63.71 c Got one! Elapsed wall clock time (in seconds):63.587 66.89/63.72 o 179 67.85/64.69 c cleaning 25232 clauses out of 50471 with flag 16599/783595 68.56/65.64 c cleaning 15615 clauses out of 31241 with flag 39536/789597 69.25/66.32 c cleaning 11306 clauses out of 22625 with flag 63865/796596 69.85/66.93 c cleaning 9655 clauses out of 19319 with flag 89129/804596 70.35/67.46 c cleaning 9328 clauses out of 18663 with flag 118216/813595 70.96/68.10 c cleaning 9664 clauses out of 19335 with flag 151067/823595 71.65/68.79 c cleaning 10331 clauses out of 20671 with flag 182091/834595 72.55/69.60 c cleaning 11171 clauses out of 22341 with flag 216612/846596 73.45/70.58 c cleaning 12081 clauses out of 24170 with flag 255398/859596 74.66/71.77 c cleaning 13045 clauses out of 26091 with flag 297890/873598 75.96/73.05 c cleaning 14020 clauses out of 28043 with flag 344324/888595 76.37/73.49 c Got one! Elapsed wall clock time (in seconds):73.367 76.37/73.49 o 177 76.82/73.84 c cleaning 12541 clauses out of 25094 with flag 13624/899666 77.13/74.18 c cleaning 9271 clauses out of 18553 with flag 30478/905666 77.52/74.58 c cleaning 8133 clauses out of 16281 with flag 51239/912665 78.10/75.04 c cleaning 8066 clauses out of 16148 with flag 74168/920665 78.75/75.60 c cleaning 8536 clauses out of 17083 with flag 101128/929666 79.35/76.21 c cleaning 9274 clauses out of 18548 with flag 130883/939667 80.05/76.94 c cleaning 10133 clauses out of 20272 with flag 165067/950665 80.96/77.87 c cleaning 11070 clauses out of 22139 with flag 204187/962665 81.95/78.88 c cleaning 12029 clauses out of 24070 with flag 246343/975666 83.05/80.00 c cleaning 13022 clauses out of 26044 with flag 289529/989669 84.35/81.21 c cleaning 13999 clauses out of 28019 with flag 335716/1004666 84.74/81.60 c Got one! Elapsed wall clock time (in seconds):81.47 84.74/81.60 o 169 85.06/81.93 c cleaning 12221 clauses out of 24448 with flag 12824/1015094 85.35/82.23 c cleaning 9106 clauses out of 18225 with flag 28762/1021092 85.65/82.56 c cleaning 8054 clauses out of 16119 with flag 48537/1028092 86.05/82.96 c cleaning 8030 clauses out of 16067 with flag 70185/1036094 86.55/83.46 c cleaning 8515 clauses out of 17035 with flag 95491/1045092 87.15/84.00 c cleaning 9262 clauses out of 18523 with flag 122703/1055095 87.74/84.64 c cleaning 10125 clauses out of 20258 with flag 152672/1066092 88.55/85.40 c cleaning 11065 clauses out of 22134 with flag 186896/1078093 89.34/86.26 c cleaning 12029 clauses out of 24068 with flag 223999/1091092 90.25/87.19 c cleaning 13015 clauses out of 26038 with flag 262491/1105091 91.34/88.21 c cleaning 14011 clauses out of 28023 with flag 304051/1120091 92.55/89.48 c cleaning 15002 clauses out of 30012 with flag 350846/1136091 94.03/90.92 c cleaning 16001 clauses out of 32010 with flag 401453/1153091 95.53/92.42 c cleaning 17004 clauses out of 34010 with flag 452595/1171092 97.03/93.96 c cleaning 18004 clauses out of 36008 with flag 507960/1190094 98.63/95.59 c cleaning 18999 clauses out of 38003 with flag 564121/1210093 100.64/97.81 c cleaning 19997 clauses out of 40002 with flag 625138/1231091 102.53/99.75 c cleaning 21001 clauses out of 42005 with flag 686114/1253091 104.83/102.10 c cleaning 21999 clauses out of 44004 with flag 755409/1276091 107.22/104.49 c cleaning 22998 clauses out of 46007 with flag 828592/1300093 110.23/107.42 c cleaning 23998 clauses out of 48007 with flag 898257/1325091 113.12/110.36 c cleaning 25000 clauses out of 50009 with flag 971013/1351091 116.01/113.27 c cleaning 26000 clauses out of 52010 with flag 1046664/1378092 119.31/116.50 c cleaning 27002 clauses out of 54009 with flag 1124515/1406091 122.90/120.12 c cleaning 28001 clauses out of 56007 with flag 1207898/1435091 126.29/123.55 c Got one! Elapsed wall clock time (in seconds):123.423 126.29/123.55 o 165 127.29/124.58 c cleaning 29524 clauses out of 59059 with flag 13976/1466144 127.99/125.20 c cleaning 17759 clauses out of 35533 with flag 32274/1472142 128.49/125.73 c cleaning 12381 clauses out of 24776 with flag 53377/1479144 128.99/126.27 c cleaning 10190 clauses out of 20393 with flag 76614/1487142 129.60/127.35 c cleaning 9595 clauses out of 19205 with flag 103141/1496144 130.19/127.99 c cleaning 9800 clauses out of 19609 with flag 132601/1506143 130.98/128.72 c cleaning 10399 clauses out of 20808 with flag 166163/1517142 131.89/129.61 c cleaning 11203 clauses out of 22410 with flag 203025/1529143 132.89/130.63 c cleaning 12099 clauses out of 24208 with flag 240889/1542144 133.98/131.72 c cleaning 13051 clauses out of 26107 with flag 283296/1556142 135.18/132.91 c cleaning 14024 clauses out of 28057 with flag 328423/1571143 136.39/134.12 c cleaning 15013 clauses out of 30032 with flag 377268/1587142 137.88/135.64 c cleaning 16005 clauses out of 32019 with flag 426902/1604142 138.79/136.56 c Got one! Elapsed wall clock time (in seconds):136.431 138.79/136.56 o 164 139.18/136.97 c cleaning 15758 clauses out of 31524 with flag 12166/1619652 139.58/137.33 c cleaning 10875 clauses out of 21766 with flag 27959/1625652 139.89/137.69 c cleaning 8938 clauses out of 17892 with flag 47308/1632653 140.39/138.13 c cleaning 8472 clauses out of 16953 with flag 69834/1640652 140.88/138.61 c cleaning 8740 clauses out of 17482 with flag 94310/1649653 141.38/139.19 c cleaning 9368 clauses out of 18741 with flag 121604/1659652 142.08/139.83 c cleaning 10184 clauses out of 20373 with flag 152311/1670652 142.88/140.61 c cleaning 11093 clauses out of 22190 with flag 186284/1682653 143.67/141.48 c cleaning 12043 clauses out of 24096 with flag 221804/1695652 144.67/142.43 c cleaning 13024 clauses out of 26054 with flag 260832/1709653 145.87/143.64 c cleaning 14007 clauses out of 28029 with flag 302874/1724652 147.17/144.94 c cleaning 15007 clauses out of 30023 with flag 349469/1740653 148.57/146.32 c cleaning 16005 clauses out of 32015 with flag 397982/1757652 149.98/147.77 c cleaning 17006 clauses out of 34011 with flag 449673/1775653 151.86/149.65 c cleaning 17996 clauses out of 36004 with flag 503926/1794652 154.07/151.89 c cleaning 18995 clauses out of 38008 with flag 561334/1814652 156.08/153.87 c cleaning 20002 clauses out of 40014 with flag 618176/1835653 158.47/156.21 c cleaning 21003 clauses out of 42012 with flag 680360/1857653 160.75/159.04 c cleaning 22004 clauses out of 44008 with flag 745852/1880652 163.64/161.95 c cleaning 22999 clauses out of 46005 with flag 818786/1904653 166.76/165.04 c cleaning 24000 clauses out of 48005 with flag 888347/1929652 170.05/168.33 c cleaning 24996 clauses out of 50005 with flag 960842/1955652 173.15/171.44 c cleaning 25995 clauses out of 52009 with flag 1037467/1982652 177.06/175.32 c cleaning 27002 clauses out of 54014 with flag 1117834/2010652 180.76/179.04 c cleaning 28003 clauses out of 56012 with flag 1203843/2039652 182.25/180.59 c Got one! Elapsed wall clock time (in seconds):180.464 182.25/180.59 o 161 183.05/181.32 c cleaning 24635 clauses out of 49275 with flag 12858/2060918 183.45/181.75 c cleaning 15313 clauses out of 30636 with flag 29130/2066914 183.85/182.14 c cleaning 11156 clauses out of 22323 with flag 47859/2073914 184.25/182.57 c cleaning 9580 clauses out of 19168 with flag 70111/2081915 184.86/183.16 c cleaning 9286 clauses out of 18587 with flag 95711/2090914 185.45/183.76 c cleaning 9648 clauses out of 19302 with flag 123627/2100915 186.05/184.37 c cleaning 10325 clauses out of 20653 with flag 154446/2111914 186.76/185.10 c cleaning 11161 clauses out of 22328 with flag 188303/2123914 187.75/186.01 c cleaning 12084 clauses out of 24168 with flag 226545/2136915 188.75/187.03 c cleaning 13040 clauses out of 26083 with flag 266154/2150914 189.92/188.62 c cleaning 14013 clauses out of 28043 with flag 308647/2165914 191.14/189.86 c cleaning 15014 clauses out of 30030 with flag 354799/2181914 192.64/191.33 c cleaning 16009 clauses out of 32019 with flag 402557/2198917 194.14/192.85 c cleaning 17001 clauses out of 34007 with flag 455602/2216914 195.73/194.43 c cleaning 17998 clauses out of 36006 with flag 509197/2235914 197.34/196.10 c cleaning 19004 clauses out of 38009 with flag 565502/2255915 198.16/196.84 c Got one! Elapsed wall clock time (in seconds):196.717 198.16/196.84 o 149 198.63/197.23 c cleaning 16886 clauses out of 33790 with flag 13265/2270700 199.03/197.66 c cleaning 11436 clauses out of 22900 with flag 29365/2276696 199.43/198.06 c cleaning 9222 clauses out of 18464 with flag 49198/2283696 199.92/198.52 c cleaning 8611 clauses out of 17243 with flag 70973/2291697 200.43/199.01 c cleaning 8807 clauses out of 17632 with flag 96056/2300697 201.02/199.60 c cleaning 9407 clauses out of 18825 with flag 124690/2310697 201.62/200.29 c cleaning 10197 clauses out of 20418 with flag 156461/2321697 202.32/200.97 c cleaning 11106 clauses out of 22222 with flag 188512/2333698 203.12/201.77 c cleaning 12046 clauses out of 24115 with flag 222650/2346697 203.22/201.82 c Got one! Elapsed wall clock time (in seconds):201.696 203.22/201.82 o 135 203.62/202.13 c Got one! Elapsed wall clock time (in seconds):202.007 203.62/202.13 o 133 203.73/202.23 c cleaning 9259 clauses out of 18535 with flag 5034/2353163 204.16/202.62 c Got one! Elapsed wall clock time (in seconds):202.491 204.16/202.62 o 127 204.29/202.78 c cleaning 7397 clauses out of 14801 with flag 7132/2358688 204.60/203.08 c cleaning 6693 clauses out of 13403 with flag 22842/2364687 204.99/203.46 c cleaning 6846 clauses out of 13710 with flag 41114/2371687 205.49/203.92 c cleaning 7427 clauses out of 14864 with flag 62250/2379687 205.99/204.48 c cleaning 8218 clauses out of 16437 with flag 86061/2388687 206.70/205.16 c cleaning 9104 clauses out of 18219 with flag 113545/2398687 207.49/205.90 c cleaning 10057 clauses out of 20115 with flag 143565/2409687 208.32/206.77 c cleaning 11026 clauses out of 22058 with flag 175626/2421687 209.31/207.75 c cleaning 12011 clauses out of 24032 with flag 210262/2434687 210.42/208.82 c cleaning 13004 clauses out of 26022 with flag 247412/2448688 211.62/210.02 c cleaning 14003 clauses out of 28018 with flag 287792/2463688 213.11/211.52 c cleaning 15006 clauses out of 30014 with flag 330633/2479687 214.51/212.92 c cleaning 15999 clauses out of 32008 with flag 376146/2496687 216.21/214.63 c cleaning 17003 clauses out of 34009 with flag 425719/2514687 218.21/216.69 c cleaning 18002 clauses out of 36006 with flag 478304/2533687 220.27/219.46 c cleaning 19000 clauses out of 38004 with flag 531802/2553687 222.45/221.67 c cleaning 20002 clauses out of 40005 with flag 590093/2574688 224.79/223.94 c cleaning 21002 clauses out of 42003 with flag 649396/2596688 225.68/224.83 c Got one! Elapsed wall clock time (in seconds):224.699 225.68/224.83 o 126 226.08/225.24 c cleaning 17599 clauses out of 35208 with flag 11540/2610895 226.39/225.54 c Got one! Elapsed wall clock time (in seconds):225.409 226.39/225.54 o 125 226.49/225.60 c cleaning 11765 clauses out of 23550 with flag 2414/2616836 226.79/225.91 c cleaning 8869 clauses out of 17785 with flag 18581/2622836 226.79/225.98 c Got one! Elapsed wall clock time (in seconds):225.857 226.79/225.98 o 123 227.09/226.21 c cleaning 7419 clauses out of 14853 with flag 11645/2628773 227.29/226.49 c cleaning 6709 clauses out of 13435 with flag 26798/2634774 227.69/226.86 c cleaning 6862 clauses out of 13725 with flag 45014/2641773 228.09/227.27 c cleaning 7429 clauses out of 14864 with flag 66722/2649774 228.59/227.74 c cleaning 8191 clauses out of 16434 with flag 89516/2658773 228.69/227.89 c Got one! Elapsed wall clock time (in seconds):227.766 228.69/227.89 o 101 228.94/228.08 c cleaning 6808 clauses out of 13637 with flag 6746/2664167 229.33/228.42 c cleaning 6400 clauses out of 12828 with flag 20719/2670166 229.72/228.83 c cleaning 6709 clauses out of 13428 with flag 37788/2677166 230.23/229.32 c cleaning 7356 clauses out of 14720 with flag 56819/2685167 230.82/229.94 c cleaning 8172 clauses out of 16363 with flag 77848/2694166 231.52/230.62 c cleaning 9082 clauses out of 18191 with flag 102245/2704166 233.32/232.45 c cleaning 10052 clauses out of 20109 with flag 138295/2715166 235.32/234.49 c cleaning 11021 clauses out of 22057 with flag 178932/2727166 237.11/236.28 c cleaning 12014 clauses out of 24036 with flag 216036/2740166 238.41/237.53 c cleaning 13003 clauses out of 26022 with flag 244197/2754166 240.02/239.13 c cleaning 14003 clauses out of 28020 with flag 274206/2769167 241.82/240.91 c cleaning 15005 clauses out of 30016 with flag 306208/2785166 244.70/243.83 c cleaning 16005 clauses out of 32014 with flag 361657/2802169 247.20/246.37 c cleaning 16995 clauses out of 34007 with flag 405361/2820167 250.52/249.99 c cleaning 18002 clauses out of 36012 with flag 467285/2839167 253.80/253.23 c cleaning 19000 clauses out of 38010 with flag 520127/2859167 257.84/257.28 c cleaning 20000 clauses out of 40012 with flag 582686/2880169 260.94/260.38 c cleaning 20997 clauses out of 42010 with flag 633058/2902167 264.42/263.84 c cleaning 22004 clauses out of 44013 with flag 692562/2925167 268.02/267.46 c cleaning 22997 clauses out of 46010 with flag 755674/2949168 271.83/271.29 c cleaning 24002 clauses out of 48012 with flag 821223/2974167 276.23/275.61 c cleaning 24999 clauses out of 50009 with flag 886177/3000166 280.31/279.79 c cleaning 26002 clauses out of 52011 with flag 954458/3027167 285.62/285.30 c cleaning 27003 clauses out of 54010 with flag 1030056/3055168 291.11/290.81 c cleaning 27999 clauses out of 56008 with flag 1103120/3084169 296.10/295.87 c cleaning 28998 clauses out of 58006 with flag 1179634/3114166 301.44/301.18 c cleaning 29999 clauses out of 60008 with flag 1254672/3145166 307.02/306.74 c cleaning 30998 clauses out of 62009 with flag 1332206/3177166 312.70/312.67 c cleaning 32004 clauses out of 64013 with flag 1417856/3210168 318.85/318.85 c cleaning 33004 clauses out of 66008 with flag 1503266/3244167 326.51/326.52 c cleaning 34000 clauses out of 68003 with flag 1591018/3279166 334.13/334.23 c cleaning 34994 clauses out of 70006 with flag 1681387/3315169 341.98/342.27 c cleaning 36000 clauses out of 72010 with flag 1772951/3352167 351.55/351.86 c cleaning 36998 clauses out of 74010 with flag 1867138/3390167 361.15/361.59 c cleaning 38000 clauses out of 76011 with flag 1968999/3429166 370.60/371.02 c cleaning 39005 clauses out of 78012 with flag 2067449/3469167 378.50/379.05 c cleaning 39998 clauses out of 80008 with flag 2173874/3510168 386.34/386.99 c cleaning 40997 clauses out of 82008 with flag 2282030/3552166 394.21/394.88 c cleaning 42000 clauses out of 84011 with flag 2391763/3595166 404.29/405.14 c cleaning 43000 clauses out of 86011 with flag 2503272/3639166 414.02/414.88 c cleaning 43997 clauses out of 88011 with flag 2616056/3684166 423.70/424.59 c cleaning 45005 clauses out of 90014 with flag 2733058/3730166 433.92/434.87 c cleaning 45999 clauses out of 92011 with flag 2848757/3777168 445.50/446.48 c cleaning 46998 clauses out of 94010 with flag 2970017/3825166 458.40/459.38 c cleaning 48006 clauses out of 96015 with flag 3095657/3874169 471.36/472.39 c cleaning 48998 clauses out of 98008 with flag 3216104/3924168 487.62/488.62 c cleaning 49999 clauses out of 100009 with flag 3338875/3975167 501.56/502.70 c cleaning 51001 clauses out of 102009 with flag 3468219/4027166 518.27/519.40 c cleaning 51995 clauses out of 104010 with flag 3598390/4080168 533.54/534.84 c cleaning 53006 clauses out of 106015 with flag 3740018/4134168 549.77/551.19 c cleaning 54005 clauses out of 108011 with flag 3875374/4189170 564.05/565.52 c cleaning 54997 clauses out of 110005 with flag 4008383/4245169 579.71/581.26 c cleaning 55999 clauses out of 112005 with flag 4148696/4302166 601.65/603.27 c cleaning 56994 clauses out of 114006 with flag 4292315/4360166 618.36/620.79 c cleaning 58005 clauses out of 116016 with flag 4438214/4419170 631.79/634.17 c cleaning 59001 clauses out of 118008 with flag 4589317/4479167 645.96/648.38 c cleaning 60004 clauses out of 120007 with flag 4742406/4540167 665.87/668.32 c cleaning 60998 clauses out of 122003 with flag 4896648/4602167 685.42/687.90 c cleaning 61994 clauses out of 124004 with flag 5052495/4665166 706.79/709.31 c cleaning 63000 clauses out of 126013 with flag 5207998/4729169 724.09/726.88 c cleaning 63996 clauses out of 128010 with flag 5367791/4794166 748.86/751.89 c cleaning 65004 clauses out of 130016 with flag 5530136/4860168 775.79/779.02 c cleaning 66002 clauses out of 132013 with flag 5695507/4927169 799.75/803.27 c cleaning 66994 clauses out of 134008 with flag 5863933/4995166 824.77/828.40 c cleaning 67998 clauses out of 136016 with flag 6032743/5064168 851.04/855.09 c cleaning 69001 clauses out of 138016 with flag 6200869/5134166 877.44/881.64 c cleaning 70005 clauses out of 140017 with flag 6374016/5205168 909.70/914.27 c cleaning 71003 clauses out of 142012 with flag 6550254/5277168 936.03/940.66 c cleaning 72001 clauses out of 144007 with flag 6733446/5350166 961.14/965.88 c cleaning 73000 clauses out of 146007 with flag 6918214/5424167 984.73/989.69 c cleaning 73998 clauses out of 148007 with flag 7102699/5499167 1009.26/1014.35 c cleaning 74992 clauses out of 150008 with flag 7288536/5575166 1035.93/1041.30 c cleaning 76005 clauses out of 152018 with flag 7484892/5652168 1072.13/1077.86 c cleaning 76999 clauses out of 154014 with flag 7707122/5730169 1125.10/1130.94 c cleaning 78000 clauses out of 156012 with flag 7926316/5809166 1166.72/1172.87 c cleaning 78999 clauses out of 158012 with flag 8157489/5889166 1213.17/1219.47 c cleaning 80003 clauses out of 160013 with flag 8398378/5970166 1266.72/1273.13 c cleaning 80999 clauses out of 162010 with flag 8625871/6052166 1307.47/1314.29 c cleaning 82000 clauses out of 164013 with flag 8853995/6135168 1346.94/1353.82 c cleaning 83001 clauses out of 166014 with flag 9023611/6219169 1396.86/1404.28 c cleaning 83999 clauses out of 168011 with flag 9230472/6304167 1446.83/1454.42 c cleaning 85006 clauses out of 170011 with flag 9488031/6390166 1493.03/1501.13 c cleaning 86001 clauses out of 172007 with flag 9731561/6477168 1560.56/1569.01 c cleaning 86999 clauses out of 174004 with flag 9968515/6565166 1615.42/1624.21 c cleaning 87994 clauses out of 176006 with flag 10215480/6654167 1670.68/1679.81 c cleaning 88998 clauses out of 178011 with flag 10468189/6744166 1722.91/1733.62 c cleaning 89999 clauses out of 180013 with flag 10741492/6835166 1779.84/1790.79 c cleaning 91004 clauses out of 182015 with flag 10989620/6927167 1839.24/1850.37 c cleaning 92001 clauses out of 184010 with flag 11241123/7020166 1909.09/1921.32 c cleaning 92999 clauses out of 186010 with flag 11521211/7114167 1979.03/1991.42 c cleaning 94001 clauses out of 188012 with flag 11815064/7209168 2057.19/2070.21 c cleaning 95008 clauses out of 190019 with flag 12092411/7305176 2145.50/2159.33 c cleaning 95992 clauses out of 192001 with flag 12377370/7402166 2233.01/2247.12 c cleaning 97003 clauses out of 194009 with flag 12650583/7500166 2319.79/2334.15 c cleaning 98004 clauses out of 196007 with flag 12921651/7599167 2387.03/2401.95 c cleaning 98994 clauses out of 198002 with flag 13209731/7699166 2451.55/2467.28 c cleaning 100001 clauses out of 200009 with flag 13497068/7800167 2509.23/2525.32 c cleaning 100995 clauses out of 202007 with flag 13797720/7902166 2579.04/2595.67 c cleaning 102000 clauses out of 204013 with flag 14045712/8005167 2649.95/2666.84 c cleaning 103002 clauses out of 206014 with flag 14279352/8109168 2735.79/2753.09 c cleaning 104000 clauses out of 208010 with flag 14512961/8214166 2818.60/2836.11 c cleaning 105000 clauses out of 210010 with flag 14765175/8320166 2897.01/2914.84 c cleaning 105993 clauses out of 212012 with flag 15069362/8427168 2986.19/3004.46 c cleaning 106999 clauses out of 214017 with flag 15330574/8535166 3056.92/3075.30 c cleaning 108001 clauses out of 216018 with flag 15607389/8644166 3139.41/3158.13 c cleaning 109003 clauses out of 218019 with flag 15895829/8754168 3217.84/3237.00 c cleaning 110005 clauses out of 220015 with flag 16146917/8865167 3311.22/3330.65 c cleaning 111001 clauses out of 222009 with flag 16471794/8977166 3391.95/3412.18 c cleaning 112003 clauses out of 224010 with flag 16792222/9090168 3471.33/3491.99 c cleaning 112993 clauses out of 226007 with flag 17112154/9204168 3551.96/3572.76 c cleaning 114002 clauses out of 228015 with flag 17456195/9319169 3600.02/3620.83 c starts : 14911 3600.02/3620.83 c conflicts : 9403528 3600.02/3620.83 c decisions : 12562773 3600.02/3620.83 c propagations : 1053806414 3600.02/3620.83 c inspects : 39866180081 3600.02/3620.83 c shortcuts : 0 3600.02/3620.83 c learnt literals : 0 3600.02/3620.83 c learnt binary clauses : 687 3600.02/3620.83 c learnt ternary clauses : 442 3600.02/3620.83 c learnt constraints : 9403528 3600.02/3620.83 c ignored constraints : 0 3600.02/3620.83 c root simplifications : 0 3600.02/3620.83 c removed literals (reason simplification) : 28808842 3600.02/3620.83 c reason swapping (by a shorter reason) : 0 3600.02/3620.83 c Calls to reduceDB : 308 3600.02/3620.83 c Number of update (reduction) of LBD : 1526999 3600.02/3620.83 c Imported unit clauses : 0 3600.02/3620.83 c No decision after first conflict : false 3600.02/3620.83 c number of reductions to clauses (during analyze) : 0 3600.02/3620.83 c number of learned constraints concerned by reduction : 0 3600.02/3620.83 c number of learning phase by resolution : 0 3600.02/3620.83 c number of learning phase by cutting planes : 0 3600.02/3620.83 c number of rounding to 1 operations : 0 3600.02/3620.83 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3620.83 c number of reductions of the coefficients by power 2 : 0 3600.02/3620.83 c number of right shift for reduction by power 2 : 0 3600.02/3620.83 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3620.83 c number of ending skipping : 0 3600.02/3620.83 c number of internal skipping : 0 3600.02/3620.83 c number of derivation steps : 0 3600.02/3620.83 c number of skipped derivation steps : 0 3600.02/3620.83 c number of remaining unassigned : 0 3600.02/3620.83 c number of remaining assigned : 0 3600.02/3620.83 c number of falsified literals weakened from reason : 0 3600.02/3620.83 c number of falsified literals weakened from conflict : 0 3600.02/3620.83 c time for arithmetic operations : 0 3600.02/3620.83 c minimum degree of deleted constraints : null 3600.02/3620.83 c maximum degree of deleted constraints : null 3600.02/3620.83 c number of deleted constraints : 0 3600.02/3620.83 c speed (assignments/second) : 291075.86764276936 3600.02/3620.83 c non guided choices : 737696 3600.24/3620.92 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 197685 3600.24/3620.92 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 687 3600.24/3620.92 s SATISFIABLE 3600.24/3620.92 c Found 18 solution(s) 3600.24/3620.92 v -x1 -x2 -x3 -x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 -x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 x168 x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 x367 x368 x369 x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 x501 x502 -x503 -x504 -x505 -x506 -x507 x508 x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 x560 x561 x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 x616 x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 x653 x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 x665 x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 -x724 -x725 -x726 -x727 -x728 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 -x753 -x754 -x755 x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 x805 -x806 -x807 -x808 x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 -x823 -x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 x855 -x856 -x857 -x858 -x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 x907 -x908 -x909 -x910 -x911 -x912 x913 x914 x915 -x916 -x917 -x918 -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 -x1059 x1060 x1061 -x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 x1272 -x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 -x1304 x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 x1353 x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 x1575 -x1576 x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 x1621 x1622 -x1623 -x1624 x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 x1744 -x1745 -x1746 -x1747 x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 -x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 x1985 x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 x2031 x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 -x2104 x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 x2208 x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 x2231 -x2232 -x2233 -x2234 -x2235 x2236 x2237 -x2238 -x2239 -x2240 -x2241 x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 x2261 -x2262 -x2263 -x2264 x2265 x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 x2285 -x2286 -x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 x2301 -x2302 -x2303 -x2304 -x2305 x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 x2329 x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 x2389 -x2390 -x2391 -x2392 x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 x2408 -x2409 -x2410 -x2411 x2412 x2413 -x2414 -x2415 -x2416 x2417 x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 x2456 -x2457 -x2458 -x2459 x2460 x2461 -x2462 -x2463 -x2464 x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 x2485 -x2486 -x2487 -x2488 x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 x2582 -x2583 -x2584 x2585 x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 x2664 -x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 x2736 x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 x2829 -x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 x2895 -x2896 -x2897 -x2898 -x2899 x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 -x2952 -x2953 -x2954 -x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 x2981 -x2982 -x2983 -x2984 -x2985 x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 x3032 -x3033 x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 x3153 x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 x3229 -x3230 -x3231 -x3232 x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 x3335 -x3336 -x3337 -x3338 -x3339 x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 x3389 -x3390 -x3391 -x3392 x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 -x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 x3445 -x3446 -x3447 -x3448 x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 x3477 -x3478 -x3479 -x3480 x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 x4730 x4731 -x4732 -x4733 -x4734 -x4735 -x4736 x4737 x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 x4754 x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 x4765 x4766 -x4767 -x4768 x4769 x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 x4826 x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 x4894 x4895 x4896 x4897 x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 x4908 x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 x4917 -x4918 -x4919 -x4920 x4921 x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 x5209 x5210 x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 x5230 x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 x5351 -x5352 -x5353 -x5354 -x5355 x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 x5423 x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 x5436 x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 x5525 x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 x5541 x5542 -x5543 x5544 -x5545 -x5546 -x5547 x5548 x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 x5601 x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 x5629 x5630 x5631 -x5632 -x5633 -x5634 -x5635 x5636 x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 x5665 x5666 x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 x5685 x5686 -x5687 -x5688 x5689 x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 x5728 -x5729 -x5730 -x5731 -x5732 x5733 x5734 -x5735 -x5736 x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 x5759 x5760 -x5761 -x5762 -x5763 x5764 x5765 x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 x5788 x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 x5909 x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 x5935 -x5936 x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959 x5960 -x5961 -x5962 -x5963 x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 x6007 -x6008 -x6009 -x6010 -x6011 x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 x6037 x6038 -x6039 x6040 -x6041 -x6042 -x6043 x6044 x6045 -x6046 -x6047 -x6048 -x6049 x6050 x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 x6119 -x6120 -x6121 -x6122 -x6123 x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 x6201 x6202 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 x6214 x6215 -x6216 -x6217 x6218 x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 x6249 x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 x6312 -x6313 -x6314 -x6315 x6316 x6317 -x6318 -x6319 -x6320 x6321 x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 x6329 x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 x6337 x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 x6353 x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 x6367 -x6368 x6369 x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 x6512 -x6513 -x6514 -x6515 x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 x6530 x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 x6550 -x6551 x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 x6560 -x6561 -x6562 -x6563 x6564 x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 x6623 -x6624 -x6625 x6626 x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 x6652 x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 x6697 x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 x6714 x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 x6804 x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 x6812 x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 x6863 -x6864 -x6865 -x6866 -x6867 x6868 x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 x6877 x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 x6946 x6947 x6948 x6949 x6950 x6951 x6952 x6953 x6954 x6955 x6956 x6957 x6958 x6959 -x6960 -x6961 -x6962 -x6963 x6964 -x6965 x6966 x6967 x6968 x6969 x6970 x6971 x6972 x6973 x6974 x6975 x6976 -x6977 -x6978 x6979 x6980 -x6981 x6982 x6983 x6984 x6985 x6986 x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 x6994 -x6995 x6996 x6997 x6998 x6999 -x7000 x7001 -x7002 x7003 x7004 x7005 x7006 -x7007 -x7008 x7009 -x7010 -x7011 x7012 -x7013 x7014 -x7015 -x7016 -x7017 -x7018 -x7019 x7020 -x7021 x7022 x7023 x7024 x7025 x7026 x7027 x7028 -x7029 -x7030 x7031 x7032 -x7033 x7034 -x7035 x7036 x7037 x7038 x7039 x7040 x7041 x7042 -x7043 -x7044 -x7045 -x7046 -x7047 x7048 -x7049 -x7050 -x7051 x7052 -x7053 -x7054 -x7055 -x7056 x7057 x7058 x7059 -x7060 -x7061 x7062 -x7063 x7064 x7065 x7066 -x7067 -x7068 x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 x7079 x7080 x7081 -x7082 x7083 -x7084 x7085 x7086 -x7087 x7088 x7089 x7090 x7091 -x7092 x7093 x7094 x7095 x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 -x7111 -x7112 -x7113 x7114 x7115 x7116 -x7117 x7118 -x7119 x7120 x7121 x7122 x7123 -x7124 x7125 x7126 -x7127 -x7128 -x7129 -x7130 -x7131 x7132 -x7133 -x7134 x7135 x7136 x7137 x7138 x7139 -x7140 x7141 x7142 x7143 x7144 x7145 x7146 x7147 x7148 x7149 x7150 x7151 x7152 x7153 x7154 -x7155 -x7156 -x7157 -x7158 -x7159 x7160 -x7161 -x7162 -x7163 x7164 x7165 -x7166 x7167 x7168 -x7169 -x7170 x7171 x7172 x7173 x7174 -x7175 x7176 x7177 x7178 x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 x7191 x7192 x7193 x7194 x7195 -x7196 x7197 -x7198 -x7199 x7200 x7201 -x7202 -x7203 -x7204 -x7205 x7206 x7207 x7208 x7209 x7210 -x7211 -x7212 -x7213 -x7214 -x7215 x7216 -x7217 x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 x7226 -x7227 x7228 -x7229 -x7230 x7231 x7232 -x7233 -x7234 -x7235 x7236 x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 x7244 -x7245 -x7246 x7247 x7248 x7249 x7250 x7251 -x7252 x7253 -x7254 x7255 -x7256 -x7257 x7258 x7259 -x7260 -x7261 x7262 -x7263 x7264 x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 x7272 -x7273 -x7274 x7275 x7276 x7277 x7278 x7279 x7280 x7281 -x7282 -x7283 x7284 x7285 x7286 -x7287 x7288 x7289 x7290 x7291 x7292 x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 x7302 -x7303 -x7304 x7305 -x7306 x7307 -x7308 x7309 x7310 x7311 x7312 x7313 x7314 x7315 -x7316 x7317 x7318 x7319 x7320 -x7321 x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 x7333 x7334 x7335 x7336 x7337 x7338 x7339 x7340 x7341 x7342 -x7343 x7344 x7345 x7346 x7347 -x7348 x7349 x7350 x7351 -x7352 -x7353 -x7354 -x7355 x7356 -x7357 x7358 -x7359 -x7360 -x7361 x7362 x7363 x7364 x7365 x7366 x7367 x7368 -x7369 -x7370 -x7371 -x7372 x7373 x7374 -x7375 x7376 x7377 x7378 x7379 -x7380 -x7381 -x7382 -x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 x7390 -x7391 -x7392 -x7393 x7394 -x7395 -x7396 x7397 x7398 x7399 x7400 x7401 x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 x7412 -x7413 x7414 -x7415 -x7416 -x7417 x7418 -x7419 -x7420 -x7421 x7422 -x7423 x7424 x7425 -x7426 x7427 x7428 -x7429 -x7430 x7431 x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 x7440 -x7441 x7442 -x7443 -x7444 -x7445 x7446 -x7447 -x7448 x7449 x7450 -x7451 x7452 x7453 -x7454 -x7455 -x7456 x7457 x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 x7470 x7471 -x7472 x7473 -x7474 x7475 -x7476 x7477 -x7478 x7479 -x7480 x7481 -x7482 x7483 x7484 x7485 x7486 x7487 x7488 -x7489 -x7490 x7491 -x7492 -x7493 -x7494 -x7495 x7496 -x7497 -x7498 -x7499 -x7500 -x7501 x7502 -x7503 -x7504 x7505 x7506 x7507 x7508 x7509 -x7510 x7511 x7512 x7513 x7514 -x7515 x7516 x7517 x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 x7527 -x7528 x7529 x7530 x7531 x7532 x7533 -x7534 x7535 x7536 -x7537 -x7538 -x7539 -x7540 x7541 x7542 x7543 x7544 x7545 x7546 x7547 -x7548 -x7549 -x7550 -x7551 x7552 -x7553 -x7554 x7555 x7556 x7557 x7558 x7559 x7560 -x7561 -x7562 -x7563 x7564 x7565 -x7566 -x7567 -x7568 x7569 x7570 x7571 -x7572 x7573 x7574 x7575 -x7576 -x7577 -x7578 -x7579 x7580 -x7581 -x7582 x7583 x7584 x7585 -x7586 x7587 x7588 x7589 x7590 -x7591 x7592 x7593 -x7594 x7595 x7596 x7597 x7598 x7599 -x7600 x7601 x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 x7619 x7620 -x7621 -x7622 x7623 x7624 -x7625 -x7626 x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 x7636 -x7637 x7638 -x7639 x7640 x7641 -x7642 -x7643 -x7644 -x7645 x7646 x7647 -x7648 -x7649 -x7650 x7651 x7652 x7653 x7654 -x7655 -x7656 x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 x7664 -x7665 -x7666 -x7667 x7668 -x7669 x7670 x7671 -x7672 -x7673 -x7674 x7675 x7676 -x7677 -x7678 x7679 -x7680 x7681 x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 x7702 -x7703 x7704 x7705 x7706 -x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 x7725 x7726 -x7727 -x7728 -x7729 -x7730 x7731 x7732 x7733 x7734 -x7735 x7736 x7737 x7738 x7739 x7740 -x7741 x7742 -x7743 -x7744 -x7745 -x7746 -x7747 x7748 -x7749 x7750 x7751 x7752 x7753 x7754 x7755 x7756 -x7757 x7758 x7759 -x7760 x7761 -x7762 -x7763 x7764 x7765 x7766 x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 x7779 x7780 -x7781 -x7782 -x7783 -x7784 -x7785 x7786 x7787 x7788 -x7789 -x7790 -x7791 x7792 x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 x7814 x7815 x7816 x7817 x7818 x7819 x7820 x7821 x7822 x7823 x7824 x7825 x7826 x7827 -x7828 -x7829 -x7830 -x7831 x7832 -x7833 x7834 x7835 x7836 x7837 x7838 x7839 x7840 x7841 x7842 x7843 x7844 x7845 x7846 x7847 x7848 x7849 x7850 x7851 x7852 x7853 x7854 x7855 -x7856 -x7857 -x7858 -x7859 x7860 -x7861 x7862 x7863 x7864 x7865 x7866 x7867 x7868 -x7869 -x7870 x7871 -x7872 -x7873 x7874 -x7875 x7876 x7877 -x7878 -x7879 x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 x7887 x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 x7900 -x7901 -x7902 -x7903 x7904 -x7905 x7906 x7907 -x7908 -x7909 x7910 x7911 x7912 x7913 -x7914 x7915 -x7916 x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 x7933 -x7934 x7935 -x7936 -x7937 -x7938 x7939 -x7940 -x7941 -x7942 x7943 -x7944 -x7945 x7946 -x7947 -x7948 -x7949 -x7950 -x7951 x7952 -x7953 -x7954 x7955 x7956 -x7957 -x7958 x7959 x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 x7970 -x7971 x7972 x7973 x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 x7981 x7982 x7983 x7984 x7985 -x7986 -x7987 x7988 -x7989 -x7990 x7991 x7992 -x7993 -x7994 x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 x8002 -x8003 x8004 -x8005 x8006 -x8007 -x8008 x8009 -x8010 x8011 x8012 x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 x8020 x8021 x8022 -x8023 -x8024 x8025 x8026 -x8027 -x8028 -x8029 -x8030 -x8031 x8032 x8033 -x8034 x8035 -x8036 -x8037 x8038 -x8039 x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 x8062 -x8063 -x8064 -x8065 x8066 x8067 x8068 -x8069 -x8070 -x8071 x8072 x8073 x8074 -x8075 -x8076 -x8077 x8078 x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 x8088 x8089 -x8090 x8091 x8092 x8093 -x8094 -x8095 -x8096 x8097 -x8098 x8099 x8100 x8101 -x8102 -x8103 -x8104 -x8105 x8106 x8107 -x8108 -x8109 x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 x8117 -x8118 -x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 x8126 -x8127 x8128 x8129 -x8130 -x8131 x8132 x8133 -x8134 -x8135 x8136 -x8137 -x8138 x8139 -x8140 x8141 x8142 x8143 -x8144 x8145 -x8146 -x8147 -x8148 x8149 -x8150 -x8151 x8152 x8153 -x8154 x8155 -x8156 x8157 x8158 -x8159 x8160 x8161 x8162 x8163 x8164 -x8165 x8166 -x8167 x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 -x8175 -x8176 x8177 -x8178 -x8179 x8180 -x8181 -x8182 -x8183 x8184 -x8185 x8186 -x8187 -x8188 -x8189 x8190 -x8191 x8192 x8193 -x8194 x8195 x8196 -x8197 -x8198 -x8199 -x8200 -x8201 x8202 -x8203 x8204 -x8205 -x8206 x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 x8214 -x8215 x8216 -x8217 x8218 -x8219 -x8220 -x8221 -x8222 x8223 x8224 -x8225 x8226 x8227 -x8228 -x8229 -x8230 -x8231 x8232 x8233 x8234 -x8235 x8236 -x8237 -x8238 -x8239 x8240 -x8241 x8242 -x8243 x8244 -x8245 x8246 -x8247 x8248 x8249 x8250 x8251 -x8252 x8253 x8254 x8255 -x8256 -x8257 -x8258 -x8259 -x8260 x8261 -x8262 x8263 -x8264 -x8265 x8266 -x8267 x8268 -x8269 -x8270 -x8271 -x8272 x8273 x8274 x8275 -x8276 x8277 x8278 -x8279 -x8280 x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 x8314 x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 x8459 x8460 x8461 x8462 x8463 -x8464 x8465 x8466 -x8467 -x8468 -x8469 x8470 -x8471 x8472 x8473 -x8474 -x8475 -x8476 x8477 -x8478 -x8479 -x8480 x8481 -x8482 -x8483 x8484 -x8485 -x8486 -x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 x8520 x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 x8543 -x8544 x8545 -x8546 x8547 -x8548 -x8549 -x8550 x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 x8569 -x8570 x8571 -x8572 -x8573 -x8574 -x8575 x8576 x8577 -x8578 -x8579 x8580 x8581 x8582 -x8583 -x8584 -x8585 x8586 -x8587 -x8588 -x8589 -x8590 x8591 -x8592 -x8593 x8594 x8595 x8596 x8597 x8598 -x8599 x8600 x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 -x8612 -x8613 -x8614 -x8615 x8616 -x8617 -x8618 -x8619 -x8620 -x8621 x8622 -x8623 -x8624 x8625 -x8626 x8627 x8628 x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 x8636 x8637 x8638 x8639 -x8640 -x8641 x8642 x8643 x8644 -x8645 x8646 -x8647 -x8648 -x8649 x8650 -x8651 x8652 -x8653 x8654 x8655 -x8656 -x8657 -x8658 x8659 x8660 x8661 -x8662 x8663 -x8664 x8665 -x8666 -x8667 -x8668 x8669 -x8670 x8671 x8672 -x8673 -x8674 x8675 -x8676 -x8677 -x8678 x8679 x8680 -x8681 -x8682 -x8683 -x8684 x8685 x8686 -x8687 -x8688 -x8689 -x8690 x8691 -x8692 -x8693 -x8694 -x8695 -x8696 x8697 x8698 -x8699 -x8700 x8701 -x8702 -x8703 -x8704 x8705 x8706 -x8707 x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 x8716 x8717 -x8718 -x8719 -x8720 -x8721 x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 x8737 x8738 -x8739 -x8740 x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 x8749 x8750 x8751 x8752 -x8753 -x8754 -x8755 -x8756 x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 x8764 -x8765 -x8766 -x8767 -x8768 x8769 x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 x8782 -x8783 x8784 -x8785 x8786 -x8787 x8788 -x8789 -x8790 x8791 -x8792 -x8793 -x8794 x8795 -x8796 x8797 x8798 x8799 x8800 -x8801 x8802 -x8803 -x8804 x8805 x8806 -x8807 -x8808 -x8809 x8810 -x8811 x8812 x8813 -x8814 -x8815 -x8816 -x8817 x8818 x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 x8829 x8830 x8831 x8832 x8833 -x8834 x8835 -x8836 x8837 -x8838 x8839 -x8840 -x8841 -x8842 x8843 x8844 x8845 x8846 x8847 x8848 -x8849 -x8850 -x8851 -x8852 -x8853 x8854 -x8855 -x8856 x8857 x8858 -x8859 -x8860 x8861 -x8862 -x8863 -x8864 -x8865 x8866 x8867 x8868 x8869 -x8870 x8871 -x8872 x8873 -x8874 x8875 -x8876 -x8877 x8878 -x8879 -x8880 -x8881 -x8882 -x8883 x8884 -x8885 x8886 -x8887 -x8888 -x8889 -x8890 -x8891 x8892 -x8893 -x8894 x8895 x8896 x8897 x8898 x8899 -x8900 -x8901 -x8902 -x8903 x8904 x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 x8923 x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936 -x8937 -x8938 x8939 -x8940 -x8941 -x8942 x8943 -x8944 -x8945 -x8946 -x8947 x8948 x8949 -x8950 -x8951 -x8952 -x8953 x8954 x8955 -x8956 -x8957 x8958 -x8959 -x8960 -x8961 x8962 -x8963 x8964 -x8965 x8966 -x8967 -x8968 -x8969 x8970 x8971 -x8972 x8973 -x8974 -x8975 -x8976 x8977 -x8978 x8979 x8980 -x8981 x8982 x8983 x8984 -x8985 -x8986 x8987 x8988 x8989 x8990 -x8991 x8992 x8993 -x8994 x8995 -x8996 -x8997 x8998 x8999 -x9000 -x9001 -x9002 x9003 -x9004 x9005 x9006 -x9007 x9008 -x9009 -x9010 -x9011 x9012 -x9013 x9014 x9015 x9016 -x9017 x9018 x9019 -x9020 -x9021 x9022 -x9023 x9024 -x9025 -x9026 x9027 -x9028 -x9029 -x9030 -x9031 -x9032 x9033 -x9034 x9035 -x9036 x9037 x9038 -x9039 x9040 x9041 x9042 x9043 x9044 -x9045 x9046 x9047 -x9048 -x9049 x9050 -x9051 -x9052 x9053 -x9054 x9055 x9056 -x9057 -x9058 x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 x9066 x9067 x9068 x9069 -x9070 x9071 -x9072 x9073 x9074 -x9075 x9076 -x9077 x9078 -x9079 x9080 x9081 -x9082 x9083 -x9084 x9085 -x9086 x9087 x9088 x9089 x9090 -x9091 -x9092 x9093 -x9094 -x9095 -x9096 x9097 x9098 x9099 -x9100 -x9101 -x9102 -x9103 -x9104 x9105 x9106 x9107 -x9108 x9109 -x9110 -x9111 -x9112 x9113 -x9114 x9115 -x9116 -x9117 -x9118 -x9119 x9120 -x9121 -x9122 -x9123 x9124 -x9125 x9126 -x9127 x9128 -x9129 x9130 -x9131 x9132 x9133 -x9134 x9135 -x9136 x9137 x9138 -x9139 x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 x9147 -x9148 -x9149 -x9150 x9151 -x9152 x9153 x9154 x9155 -x9156 -x9157 -x9158 x9159 x9160 -x9161 x9162 x9163 -x9164 -x9165 -x9166 x9167 -x9168 -x9169 -x9170 x9171 -x9172 -x9173 x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 x9185 x9186 -x9187 -x9188 -x9189 x9190 -x9191 -x9192 x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 x9332 -x9333 -x9334 x9335 x9336 x9337 -x9338 x9339 -x9340 -x9341 x9342 x9343 -x9344 -x9345 x9346 x9347 x9348 -x9349 x9350 x9351 -x9352 x9353 x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 x9400 -x9401 x9402 -x9403 x9404 x9405 x9406 -x9407 -x9408 -x9409 -x9410 -x9411 x9412 -x9413 x9414 -x9415 x9416 x9417 -x9418 -x9419 -x9420 x9421 -x9422 x9423 -x9424 x9425 -x9426 x9427 -x9428 x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 x9440 x9441 -x9442 -x9443 -x9444 -x9445 x9446 x9447 -x9448 -x9449 -x9450 x9451 x9452 x9453 -x9454 -x9455 x9456 x9457 x9458 -x9459 x9460 x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 x9471 x9472 -x9473 x9474 x9475 -x9476 -x9477 x9478 -x9479 -x9480 x9481 x9482 x9483 -x9484 x9485 x9486 x9487 x9488 x9489 -x9490 x9491 x9492 -x9493 x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 x9501 x9502 x9503 -x9504 -x9505 -x9506 -x9507 x9508 x9509 -x9510 -x9511 -x9512 x9513 -x9514 x9515 -x9516 x9517 -x9518 x9519 -x9520 -x9521 -x9522 -x9523 -x9524 x9525 x9526 -x9527 -x9528 -x9529 x9530 -x9531 x9532 -x9533 x9534 x9535 -x9536 -x9537 x9538 -x9539 -x9540 x9541 x9542 -x9543 x9544 x9545 -x9546 -x9547 -x9548 x9549 x9550 x9551 -x9552 -x9553 -x9554 x9555 x9556 x9557 -x9558 -x9559 -x9560 x9561 -x9562 x9563 x9564 -x9565 -x9566 -x9567 x9568 -x9569 -x9570 x9571 -x9572 -x9573 -x9574 x9575 -x9576 -x9577 -x9578 -x9579 -x9580 x9581 -x9582 -x9583 -x9584 -x9585 -x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 x9595 x9596 -x9597 -x9598 -x9599 -x9600 -x9601 x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 3600.24/3620.94 c objective function=101 3600.24/3620.94 c Total wall clock time (in seconds): 3620.818
OK 101
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (24903 MiB free)
memory of node 1: 64473 MiB (27413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440576-1721824573/watcher-4440576-1721824573 -o /tmp/evaluation-result-4440576-1721824573/solver-4440576-1721824573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237221 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440576-1721824573 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440576-1721824573.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=241682, runsolver pid=241679
[startup+0.101304 s]*
/proc/loadavg: 4.15 4.20 4.18 7/333 241700
/proc/meminfo: memFree=53528320/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=18975048 memory=64812 CPUtime=0.14 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 7218 0 0 0 12 2 0 0 20 0 18 0 18980141 19430449152 16203 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4743762 16203 5621 1 0 549322 0
[pid=241682/tid=241684] ppid=241679 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 18980141 19430449152 16203 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 16203 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=18975048 memory=14135545648158663 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 16203 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64812 KiB
[startup+0.209302 s]*
/proc/loadavg: 4.15 4.20 4.18 7/333 241700
/proc/meminfo: memFree=53498624/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=18975048 memory=95012 CPUtime=0.32 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 8051 0 0 0 30 2 0 0 20 0 18 0 18980141 19430449152 23753 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4743762 23753 5849 1 0 549868 0
[pid=241682/tid=241684] ppid=241679 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 5968 0 0 0 15 2 0 0 20 0 18 0 18980141 19430449152 23753 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=18975048 memory=826994 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 23753 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 23753 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 95012 KiB
[startup+0.313301 s]*
/proc/loadavg: 4.15 4.20 4.18 7/333 241700
/proc/meminfo: memFree=53464940/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=18975048 memory=124924 CPUtime=0.49 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 9201 0 0 0 46 3 0 0 20 0 18 0 18980141 19430449152 31231 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4743762 31231 5849 1 0 550603 0
[pid=241682/tid=241684] ppid=241679 vsize=18975048 memory=-8527113356981281468 CPUtime=0.25 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 5988 0 0 0 22 3 0 0 20 0 18 0 18980141 19430449152 31231 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 31231 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18980144 19430449152 31231 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124924 KiB
[startup+0.7003 s]
/proc/loadavg: 4.15 4.20 4.18 7/335 241702
/proc/meminfo: memFree=53423372/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=175216 CPUtime=1.23 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 12534 0 0 0 117 6 0 0 20 0 20 0 18980141 19566772224 43804 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 43804 5912 1 0 553199 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=5552 CPUtime=0.6 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 6144 0 0 0 56 4 0 0 20 0 20 0 18980141 19566772224 43804 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 43804 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=280667791614632 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 43804 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 43804 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175216 KiB
[startup+1.5003 s]
/proc/loadavg: 4.15 4.20 4.18 7/335 241702
/proc/meminfo: memFree=53410576/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=189828 CPUtime=2.81 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 23430 0 0 0 274 7 0 0 20 0 20 0 18980141 19566772224 47457 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 47457 5912 1 0 556333 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=12936 CPUtime=1.37 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 7219 0 0 0 132 5 0 0 20 0 20 0 18980141 19566772224 47457 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 47457 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 47457 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=280667791467792 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 47457 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189828 KiB
[startup+3.1063 s]
/proc/loadavg: 4.22 4.21 4.18 6/335 241702
/proc/meminfo: memFree=53319048/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=264840 CPUtime=5.98 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 26818 0 0 0 587 11 0 0 20 0 20 0 18980141 19566772224 66210 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 66210 5912 1 0 556780 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=0 CPUtime=2.92 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 8235 0 0 0 285 7 0 0 20 0 20 0 18980141 19566772224 66210 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 66210 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 66210 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 66210 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 264840 KiB
[startup+6.30026 s]
/proc/loadavg: 4.22 4.21 4.18 5/335 241703
/proc/meminfo: memFree=53103932/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=471268 CPUtime=9.48 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 27732 0 0 0 932 16 0 0 20 0 20 0 18980141 19566772224 117817 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 117817 5912 1 0 556780 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=12936 CPUtime=6.09 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 8438 0 0 0 597 12 0 0 20 0 20 0 18980141 19566772224 117817 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 117817 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 117817 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=190816 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 117817 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 471268 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.21 4.18 5/335 241703
/proc/meminfo: memFree=52379792/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=1020588 CPUtime=16.43 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 34458 0 0 0 1614 29 0 0 20 0 20 0 18980141 19566772224 255147 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 255147 5928 1 0 556780 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=0 CPUtime=12.46 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 10105 0 0 0 1222 24 0 0 20 0 20 0 18980141 19566772224 255147 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 255147 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=850388 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 255147 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 255147 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 16.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1020588 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.22 4.18 4/335 241706
/proc/meminfo: memFree=51772256/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=1327828 CPUtime=29.12 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 37848 0 0 0 2871 41 0 0 20 0 20 0 18980141 19566772224 331957 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 331957 5928 1 0 556780 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=850388 CPUtime=25.1 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 11921 0 0 0 2475 35 0 0 20 0 20 0 18980141 19566772224 331957 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=-8527113356981281468 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 331957 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 331957 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 331957 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 29.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327828 KiB
[startup+51.1058 s]
/proc/loadavg: 4.28 4.23 4.19 5/335 241709
/proc/meminfo: memFree=50947832/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=1336180 CPUtime=54.31 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 43993 0 0 0 5379 52 0 0 20 0 20 0 18980141 19566772224 334045 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 334045 5928 1 0 556780 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=1336180 CPUtime=50.08 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 13876 0 0 0 4962 46 0 0 20 0 20 0 18980141 19566772224 334045 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 334045 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/338 243542
/proc/meminfo: memFree=31038292/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3263.13 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 194794 0 0 0 325795 518 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543830 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3247.71 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 85054 0 0 0 324362 409 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1541 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=2175320 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 4699 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=31192 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3263.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175320 KiB
[startup+3342.31 s]
/proc/loadavg: 4.33 4.22 4.19 5/338 243553
/proc/meminfo: memFree=30786488/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3322.9 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 198095 0 0 0 331767 523 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543830 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3307.34 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 86797 0 0 0 330322 412 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1552 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=-8527113356981281468 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 4824 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3322.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.02 4.16 4.17 4/312 243601
/proc/meminfo: memFree=38569796/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3382.24 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 199380 0 0 0 337695 529 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543830 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=5552 CPUtime=3366.65 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 87826 0 0 0 336249 416 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1559 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=2175320 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 4894 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=2175320 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3382.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175320 KiB
[startup+3462.31 s]
/proc/loadavg: 3.42 3.96 4.10 3/288 243641
/proc/meminfo: memFree=40535492/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3441.73 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 201969 0 0 0 343636 537 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543830 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=5552 CPUtime=3426.02 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 89100 0 0 0 342180 422 0 0 20 0 20 0 18980141 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1559 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=2175320 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 4955 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=2175320 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543830 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3441.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175320 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 3.51 3.93 2/260 243689
/proc/meminfo: memFree=55294192/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175324 CPUtime=3501.66 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 204551 0 0 0 349622 544 0 0 20 0 20 0 18980141 19566772224 543831 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543831 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=2175320 CPUtime=3485.79 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 90425 0 0 0 348151 428 0 0 20 0 20 0 18980141 19566772224 543831 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1561 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543831 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=2175324 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 5032 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543831 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543831 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3501.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175324 KiB
[startup+3582.3 s]
/proc/loadavg: 1.46 3.06 3.75 2/257 243700
/proc/meminfo: memFree=55269368/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175340 CPUtime=3561.55 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 207180 0 0 0 355605 550 0 0 20 0 20 0 18980141 19566772224 543835 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543835 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=16120 CPUtime=3545.51 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 91891 0 0 0 354118 433 0 0 20 0 20 0 18980141 19566772224 543835 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1569 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543835 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=11888 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 5109 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543835 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=2175340 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543835 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3561.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.8 s]
/proc/loadavg: 1.29 2.82 3.64 2/257 243708
/proc/meminfo: memFree=55252760/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19108176 memory=2175352 CPUtime=3600.02 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 209195 0 0 0 359448 554 0 0 20 0 20 0 18980141 19566772224 543838 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4777044 543838 5928 1 0 557868 0
[pid=241682/tid=241684] ppid=241679 vsize=19108176 memory=39320 CPUtime=3583.85 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 92943 0 0 0 357949 436 0 0 20 0 20 0 18980141 19566772224 543838 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1570 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19108176 memory=1984 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543838 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19108176 memory=32540 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 5217 0 0 0 0 0 0 0 20 0 20 0 18980144 19566772224 543838 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241702] ppid=241679 vsize=19108176 memory=20336 CPUtime=0 cores=1,3
/proc/241682/task/241702/stat : 241702 (Timer-0) S 241679 241682 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18980185 19566772224 543838 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3620.97 s]
# the end of solver process 241682 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.78 s, system=5.56467 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3620.91 s]
/proc/loadavg: 1.29 2.82 3.64 2/257 243708
/proc/meminfo: memFree=55252760/131524600 swapFree=131057564/131071996
[pid=241682] ppid=241679 vsize=19307868 memory=2176292 CPUtime=3600.24 cores=1,3
/proc/241682/stat : 241682 (java) S 241679 241682 237209 0 -1 1077936128 212952 0 0 0 359469 555 0 0 20 0 21 0 18980141 19771256832 544073 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
/proc/241682/statm: 4826967 544073 5927 1 0 558856 0
[pid=241682/tid=241684] ppid=241679 vsize=19307868 memory=2175340 CPUtime=3583.96 cores=1,3
/proc/241682/task/241684/stat : 241684 (java) R 241679 241682 237209 0 -1 4194368 93197 0 0 0 357960 436 0 0 20 0 21 0 18980141 19771256832 544073 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1570 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241693] ppid=241679 vsize=19307868 memory=12936 CPUtime=0 cores=1,3
/proc/241682/task/241693/stat : 241693 (Finalizer) S 241679 241682 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18980144 19771256832 544073 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
[pid=241682/tid=241700] ppid=241679 vsize=19307868 memory=1469362534172426841 CPUtime=0 cores=1,3
/proc/241682/task/241700/stat : 241700 (Common-Cleaner) S 241679 241682 237209 0 -1 1077936192 5217 0 0 0 0 0 0 0 20 0 21 0 18980144 19771256832 544073 134679101440 94696889311232 94696889314928 140735458784000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94696889322744 94696889323536 94696914436096 140735458788267 140735458788449 140735458788449 140735458795464 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2176292 KiB
Child status: 143
Real time (s): 3620.97
CPU time (s): 3600.34
CPU user time (s): 3594.78
CPU system time (s): 5.56467
CPU usage (%): 99.4301
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2176292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.78
system time used= 5.56467
maximum resident set size= 2177284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6323408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110100
involuntary context switches= 15376
# summary of solver processes directly reported to runsolver:
# pid: 241682
# total CPU time (s): 3600.34
# total CPU user time (s): 3594.78
# total CPU system time (s): 5.56467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9892 second user time and 18.7308 second system time
The end
Begin job on nodeC015 at 2024-07-24 14:36:13 IDJOB=4440576 IDBENCH=158387 IDSOLVER=3079 FILE ID=nodeC015/4440576-1721824573 RUNJOBID= nodeC015-1721817186-237221 SLURM_JOB_ID= 7816866 Free space on /tmp= 890076 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct6.5.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440576-1721824573/watcher-4440576-1721824573 -o /tmp/evaluation-result-4440576-1721824573/solver-4440576-1721824573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237221 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440576-1721824573 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440576-1721824573.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0048c1c5d89c09890e717f6e64ce7569 RANDOM SEED=591832481 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.041 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.065 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.693 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.871 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.702 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.235 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.737 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.431 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 53573216 kB MemAvailable: 123772520 kB Buffers: 259920 kB Cached: 70418912 kB SwapCached: 792 kB Active: 2614284 kB Inactive: 74206792 kB Active(anon): 1872 kB Inactive(anon): 6192884 kB Active(file): 2612412 kB Inactive(file): 68013908 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057564 kB Dirty: 48616 kB Writeback: 0 kB AnonPages: 6140580 kB Mapped: 138912 kB Shmem: 52776 kB KReclaimable: 634392 kB Slab: 764684 kB SReclaimable: 634392 kB SUnreclaim: 130292 kB KernelStack: 5072 kB PageTables: 22280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7851488 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 5865472 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890080 MiB End job on nodeC015 at 2024-07-24 15:36:34