Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.59 | 926.068 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
| MD5SUM | 2c36639357988247c648b63af301f230 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2814188 |
| Best CPU time to get the best result obtained on this benchmark | 710.67 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 90518849 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4575401133 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 90518849 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4575401133 |
| Number of bits of the biggest sum of numbers | 33 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3743994-1338791444.opb 0.09/0.12 c reading problem ... 1.01/0.55 c ... done. Wall clock time 0.43s. 1.01/0.55 c #vars 9765 1.01/0.55 c #constraints 21987 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.01/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.01/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.01/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.01/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.01/0.55 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.01/0.55 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.01/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.03/0.81 c And the winner is Resolution 2.35/1.08 c SATISFIABLE 2.35/1.08 c OPTIMIZING... 2.35/1.08 c Got one! Elapsed wall clock time (in seconds):0.958 2.35/1.08 o 5135735 4.13/1.74 c And the winner is Resolution 4.29/2.11 c Got one! Elapsed wall clock time (in seconds):1.988 4.29/2.11 o 5026498 4.29/2.15 c And the winner is Resolution 4.41/2.63 c Got one! Elapsed wall clock time (in seconds):2.516 4.41/2.63 o 3824752 4.41/2.68 c And the winner is Resolution 4.57/3.16 c Got one! Elapsed wall clock time (in seconds):3.04 4.57/3.16 o 3624471 6.14/3.99 c And the winner is Resolution 6.36/4.18 c Got one! Elapsed wall clock time (in seconds):4.062 6.36/4.18 o 3617992 7.62/4.82 c cleaning 3048 clauses out of 6100 with flag 2001/6106 10.22/6.13 c And the winner is Resolution 10.90/6.76 c Got one! Elapsed wall clock time (in seconds):6.64 10.90/6.76 o 3533788 12.28/7.45 c cleaning 4387 clauses out of 8792 with flag 2001/11846 16.87/9.74 c cleaning 5199 clauses out of 10405 with flag 8001/17846 20.42/11.59 c And the winner is Resolution 21.00/12.02 c Got one! Elapsed wall clock time (in seconds):11.902 21.00/12.02 o 3521811 23.57/13.38 c cleaning 7643 clauses out of 15295 with flag 5002/27936 26.74/14.91 c And the winner is Resolution 27.07/15.24 c Got one! Elapsed wall clock time (in seconds):15.124 27.07/15.24 o 3502254 27.23/15.30 c And the winner is Resolution 27.27/15.76 c Got one! Elapsed wall clock time (in seconds):15.645 27.27/15.76 o 3444903 27.64/15.98 c And the winner is Resolution 27.86/16.28 c Got one! Elapsed wall clock time (in seconds):16.167 27.86/16.28 o 3324959 31.91/18.31 c cleaning 9537 clauses out of 19079 with flag 5001/39363 32.47/18.65 c And the winner is Resolution 32.64/18.81 c Got one! Elapsed wall clock time (in seconds):18.688 32.64/18.81 o 3286630 34.82/19.91 c cleaning 7351 clauses out of 14710 with flag 4000/44532 36.57/20.84 c And the winner is Resolution 36.69/21.33 c Got one! Elapsed wall clock time (in seconds):21.21 36.69/21.33 o 3258205 37.64/21.87 c cleaning 6395 clauses out of 12806 with flag 2001/49979 41.37/23.77 c cleaning 6203 clauses out of 12413 with flag 8003/55981 45.87/26.00 c cleaning 6601 clauses out of 13208 with flag 15001/62979 46.41/26.33 c And the winner is Resolution 46.73/26.60 c Got one! Elapsed wall clock time (in seconds):26.483 46.73/26.60 o 3236852 47.11/26.85 c And the winner is Resolution 47.30/27.12 c Got one! Elapsed wall clock time (in seconds):27.004 47.30/27.12 o 3223258 50.71/28.83 c cleaning 6590 clauses out of 13191 with flag 5000/69564 55.04/31.08 c cleaning 6292 clauses out of 12602 with flag 11001/75565 55.38/31.21 c And the winner is Resolution 55.56/31.70 c Got one! Elapsed wall clock time (in seconds):31.577 55.56/31.70 o 3215511 58.57/33.20 c cleaning 5693 clauses out of 11409 with flag 5000/80665 62.65/35.34 c cleaning 5858 clauses out of 11717 with flag 11001/86666 67.37/37.74 c cleaning 6425 clauses out of 12858 with flag 18000/93665 73.49/40.86 c cleaning 7206 clauses out of 14433 with flag 26000/101665 78.62/43.49 c cleaning 8112 clauses out of 16227 with flag 35000/110665 86.32/47.35 c cleaning 9054 clauses out of 18117 with flag 45002/120667 94.42/51.49 c cleaning 10014 clauses out of 20061 with flag 56000/131665 102.73/55.60 c cleaning 11021 clauses out of 22048 with flag 68001/143666 110.85/59.77 c cleaning 12010 clauses out of 24029 with flag 81003/156668 121.54/65.20 c cleaning 12998 clauses out of 26016 with flag 95000/170665 140.88/74.84 c cleaning 14005 clauses out of 28018 with flag 110001/185666 151.59/80.27 c cleaning 14994 clauses out of 30011 with flag 126001/201666 151.89/80.46 c And the winner is Resolution 152.40/80.90 c Got one! Elapsed wall clock time (in seconds):80.783 152.40/80.90 o 3214392 152.59/81.05 c And the winner is Resolution 152.78/81.42 c Got one! Elapsed wall clock time (in seconds):81.305 152.78/81.42 o 3114805 155.54/82.80 c cleaning 10436 clauses out of 20892 with flag 5000/207541 158.62/84.48 c cleaning 8220 clauses out of 16457 with flag 11002/213543 163.53/86.97 c cleaning 7606 clauses out of 15239 with flag 18004/220545 169.22/89.85 c cleaning 7796 clauses out of 15629 with flag 26000/228541 176.13/93.30 c cleaning 8405 clauses out of 16835 with flag 35002/237543 182.80/96.75 c cleaning 9206 clauses out of 18429 with flag 45001/247542 189.72/100.23 c cleaning 10102 clauses out of 20223 with flag 56001/258542 190.22/100.51 c And the winner is Resolution 190.34/100.99 c Got one! Elapsed wall clock time (in seconds):100.868 190.34/100.99 o 3113918 190.37/101.06 c And the winner is Resolution 190.63/101.51 c Got one! Elapsed wall clock time (in seconds):101.39 190.63/101.51 o 3068851 193.01/102.76 c cleaning 7907 clauses out of 15825 with flag 5002/264246 195.11/103.87 c And the winner is Resolution 195.59/104.28 c Got one! Elapsed wall clock time (in seconds):104.162 195.59/104.28 o 3041873 196.67/104.83 c cleaning 6926 clauses out of 13863 with flag 2000/270191 200.12/106.61 c cleaning 6459 clauses out of 12937 with flag 8000/276191 204.21/108.73 c cleaning 6737 clauses out of 13479 with flag 15001/283192 208.72/111.06 c cleaning 7366 clauses out of 14743 with flag 23002/291193 214.21/113.83 c cleaning 8185 clauses out of 16378 with flag 32003/300194 222.05/117.84 c cleaning 9092 clauses out of 18190 with flag 42000/310191 229.34/121.53 c cleaning 10040 clauses out of 20098 with flag 53000/321191 238.03/125.91 c cleaning 11023 clauses out of 22058 with flag 65000/333191 247.72/130.87 c cleaning 12011 clauses out of 24037 with flag 78002/346193 257.35/135.78 c cleaning 12997 clauses out of 26024 with flag 92000/360191 267.83/141.01 c cleaning 14010 clauses out of 28029 with flag 107002/375193 278.32/146.34 c cleaning 15000 clauses out of 30018 with flag 123001/391192 290.00/152.25 c cleaning 15998 clauses out of 32017 with flag 140000/408191 303.82/159.26 c cleaning 17005 clauses out of 34019 with flag 158000/426191 316.28/165.51 c cleaning 17991 clauses out of 36015 with flag 177001/445192 329.37/172.15 c cleaning 19011 clauses out of 38024 with flag 197001/465192 342.62/178.81 c cleaning 19992 clauses out of 40012 with flag 218000/486191 359.23/187.28 c cleaning 21000 clauses out of 42021 with flag 240001/508192 377.09/196.24 c cleaning 21502 clauses out of 43020 with flag 262000/530191 394.35/204.96 c cleaning 21748 clauses out of 43519 with flag 284001/552192 409.19/212.45 c cleaning 21878 clauses out of 43770 with flag 306000/574191 423.97/219.92 c cleaning 21934 clauses out of 43893 with flag 328001/596192 430.41/223.26 c And the winner is Resolution 430.70/223.73 c Got one! Elapsed wall clock time (in seconds):223.616 430.70/223.73 o 3034274 433.44/225.12 c cleaning 18820 clauses out of 37651 with flag 5000/611884 437.09/227.05 c cleaning 12391 clauses out of 24831 with flag 11000/617884 441.32/229.27 c cleaning 9687 clauses out of 19440 with flag 18000/624884 446.27/231.87 c cleaning 8855 clauses out of 17753 with flag 26000/632884 451.70/234.67 c cleaning 8938 clauses out of 17900 with flag 35002/641886 457.56/237.66 c cleaning 9471 clauses out of 18962 with flag 45002/651886 464.19/241.05 c cleaning 10238 clauses out of 20491 with flag 56002/662886 471.93/245.02 c cleaning 11122 clauses out of 22251 with flag 68000/674884 480.37/249.34 c cleaning 12056 clauses out of 24129 with flag 81000/687884 490.59/254.52 c cleaning 13015 clauses out of 26074 with flag 95001/701885 500.22/259.50 c cleaning 14022 clauses out of 28060 with flag 110002/716886 510.97/264.90 c cleaning 15009 clauses out of 30038 with flag 126002/732886 522.02/270.56 c cleaning 16003 clauses out of 32027 with flag 143000/749884 533.82/276.54 c cleaning 16995 clauses out of 34024 with flag 161000/767884 545.45/282.42 c cleaning 18003 clauses out of 36029 with flag 180000/786884 558.18/288.97 c cleaning 19005 clauses out of 38026 with flag 200000/806884 573.60/296.77 c cleaning 19998 clauses out of 40023 with flag 221002/827886 576.03/298.10 c And the winner is Resolution 576.72/298.60 c Got one! Elapsed wall clock time (in seconds):298.483 576.72/298.60 o 2987261 577.72/299.16 c cleaning 12746 clauses out of 25523 with flag 2001/833384 580.92/300.87 c cleaning 9369 clauses out of 18778 with flag 8002/839385 586.02/303.52 c cleaning 8186 clauses out of 16407 with flag 15000/846383 591.44/306.36 c cleaning 8093 clauses out of 16222 with flag 23001/854384 597.26/309.36 c cleaning 8559 clauses out of 17130 with flag 32002/863385 603.48/312.59 c cleaning 9276 clauses out of 18570 with flag 42001/873384 608.99/315.45 c And the winner is Resolution 609.25/315.92 c Got one! Elapsed wall clock time (in seconds):315.805 609.25/315.92 o 2973746 612.41/317.54 c cleaning 11288 clauses out of 22586 with flag 5002/886676 615.62/319.25 c cleaning 8635 clauses out of 17297 with flag 11001/892675 619.25/321.11 c cleaning 7800 clauses out of 15661 with flag 18000/899674 623.24/323.27 c cleaning 7918 clauses out of 15862 with flag 26001/907675 628.54/326.00 c cleaning 8465 clauses out of 16943 with flag 35000/916674 634.55/329.15 c cleaning 9231 clauses out of 18478 with flag 45000/926674 636.76/330.34 c And the winner is Resolution 637.42/330.99 c Got one! Elapsed wall clock time (in seconds):330.871 637.42/330.99 o 2957321 638.31/331.48 c cleaning 7366 clauses out of 14788 with flag 2000/932215 641.32/333.08 c cleaning 6694 clauses out of 13422 with flag 8000/938215 645.43/335.21 c cleaning 6845 clauses out of 13730 with flag 15002/945217 650.05/337.63 c cleaning 7434 clauses out of 14884 with flag 23001/953216 655.85/340.63 c cleaning 8214 clauses out of 16450 with flag 32001/962216 661.85/343.78 c cleaning 9111 clauses out of 18235 with flag 42000/972215 668.74/347.35 c cleaning 10055 clauses out of 20124 with flag 53000/983215 676.14/351.19 c cleaning 11029 clauses out of 22069 with flag 65000/995215 684.93/355.62 c cleaning 12010 clauses out of 24040 with flag 78000/1008215 693.93/360.28 c cleaning 13009 clauses out of 26030 with flag 92000/1022215 704.43/365.63 c cleaning 13997 clauses out of 28021 with flag 107000/1037215 715.62/371.36 c cleaning 15009 clauses out of 30025 with flag 123001/1053216 726.22/376.78 c cleaning 16002 clauses out of 32017 with flag 140002/1070217 738.63/383.01 c cleaning 17004 clauses out of 34015 with flag 158002/1088217 751.72/389.73 c cleaning 18002 clauses out of 36009 with flag 177000/1107215 766.35/397.18 c cleaning 18998 clauses out of 38007 with flag 197000/1127215 781.96/405.00 c cleaning 19996 clauses out of 40010 with flag 218001/1148216 798.40/413.34 c cleaning 21003 clauses out of 42015 with flag 240002/1170217 815.08/421.82 c cleaning 21501 clauses out of 43011 with flag 262001/1192216 834.29/431.53 c cleaning 21736 clauses out of 43509 with flag 284000/1214215 850.48/439.70 c cleaning 21886 clauses out of 43778 with flag 306005/1236220 868.29/448.71 c cleaning 21939 clauses out of 43887 with flag 328000/1258215 884.55/457.07 c cleaning 21967 clauses out of 43948 with flag 350000/1280215 900.56/465.18 c cleaning 21980 clauses out of 43981 with flag 372000/1302215 916.97/473.47 c cleaning 21989 clauses out of 44001 with flag 394000/1324215 932.35/481.22 c cleaning 22003 clauses out of 44013 with flag 416001/1346216 948.79/489.65 c cleaning 21998 clauses out of 44009 with flag 438000/1368215 963.38/497.03 c cleaning 21993 clauses out of 44011 with flag 460000/1390215 978.54/504.77 c cleaning 22002 clauses out of 44018 with flag 482000/1412215 994.12/512.68 c cleaning 22001 clauses out of 44016 with flag 504000/1434215 1002.93/517.27 c And the winner is Resolution 1003.84/518.03 c Got one! Elapsed wall clock time (in seconds):517.914 1003.84/518.03 o 2929254 1006.42/519.39 c cleaning 19973 clauses out of 39960 with flag 5001/1452160 1009.78/521.19 c cleaning 12983 clauses out of 25987 with flag 11001/1458160 1013.75/523.22 c cleaning 9984 clauses out of 20004 with flag 18001/1465160 1016.91/524.94 c And the winner is Resolution 1017.76/525.77 c Got one! Elapsed wall clock time (in seconds):525.653 1017.76/525.77 o 2910388 1020.43/527.11 c cleaning 10229 clauses out of 20504 with flag 5000/1475644 1024.07/529.18 c cleaning 8116 clauses out of 16276 with flag 11001/1481645 1028.23/531.32 c cleaning 7566 clauses out of 15159 with flag 18000/1488644 1033.19/533.94 c cleaning 7782 clauses out of 15593 with flag 26000/1496644 1039.37/537.10 c cleaning 8393 clauses out of 16811 with flag 35000/1505644 1045.79/540.56 c cleaning 9203 clauses out of 18420 with flag 45002/1515646 1052.56/544.03 c cleaning 10102 clauses out of 20218 with flag 56003/1526647 1060.13/547.92 c cleaning 11049 clauses out of 22113 with flag 68000/1538644 1067.88/551.97 c cleaning 12022 clauses out of 24065 with flag 81001/1551645 1076.30/556.35 c cleaning 13017 clauses out of 26043 with flag 95001/1565645 1085.47/561.03 c cleaning 14006 clauses out of 28025 with flag 110000/1580644 1095.01/565.90 c cleaning 15005 clauses out of 30022 with flag 126003/1596647 1106.15/571.60 c cleaning 16003 clauses out of 32014 with flag 143000/1613644 1118.76/578.18 c cleaning 17001 clauses out of 34011 with flag 161000/1631644 1132.12/584.98 c cleaning 18000 clauses out of 36010 with flag 180000/1650644 1145.86/591.90 c cleaning 19000 clauses out of 38010 with flag 200000/1670644 1159.21/598.73 c cleaning 19988 clauses out of 40010 with flag 221000/1691644 1174.79/606.77 c cleaning 21005 clauses out of 42022 with flag 243000/1713644 1191.54/615.26 c cleaning 21505 clauses out of 43019 with flag 265002/1735646 1206.67/622.98 c cleaning 21754 clauses out of 43513 with flag 287001/1757645 1220.80/630.18 c cleaning 21869 clauses out of 43758 with flag 309000/1779644 1235.79/637.82 c cleaning 21929 clauses out of 43889 with flag 331000/1801644 1249.56/644.84 c cleaning 21970 clauses out of 43960 with flag 353000/1823644 1264.90/652.61 c cleaning 21989 clauses out of 43991 with flag 375001/1845645 1280.44/660.59 c cleaning 21985 clauses out of 44002 with flag 397001/1867645 1297.39/669.28 c cleaning 22005 clauses out of 44018 with flag 419002/1889646 1314.32/677.83 c cleaning 22000 clauses out of 44013 with flag 441002/1911646 1332.90/687.25 c cleaning 22000 clauses out of 44011 with flag 463000/1933644 1350.83/696.39 c cleaning 21987 clauses out of 44011 with flag 485000/1955644 1368.41/705.36 c cleaning 21992 clauses out of 44024 with flag 507000/1977644 1385.56/714.05 c cleaning 21989 clauses out of 44033 with flag 529001/1999645 1402.49/722.68 c cleaning 22011 clauses out of 44046 with flag 551003/2021647 1418.62/730.88 c cleaning 22009 clauses out of 44032 with flag 573000/2043644 1434.38/738.91 c cleaning 22003 clauses out of 44023 with flag 595000/2065644 1448.50/746.19 c cleaning 22003 clauses out of 44021 with flag 617001/2087645 1463.61/753.83 c cleaning 21997 clauses out of 44017 with flag 639000/2109644 1480.33/762.36 c cleaning 22004 clauses out of 44021 with flag 661001/2131645 1496.47/770.61 c cleaning 21998 clauses out of 44016 with flag 683000/2153644 1513.37/779.28 c cleaning 22002 clauses out of 44020 with flag 705002/2175646 1529.29/787.37 c cleaning 22001 clauses out of 44016 with flag 727000/2197644 1544.58/795.18 c cleaning 21995 clauses out of 44017 with flag 749002/2219646 1560.54/803.36 c cleaning 21994 clauses out of 44022 with flag 771002/2241646 1576.42/811.42 c cleaning 22009 clauses out of 44026 with flag 793000/2263644 1593.31/820.06 c cleaning 22003 clauses out of 44018 with flag 815001/2285645 1608.80/827.96 c cleaning 22000 clauses out of 44018 with flag 837004/2307648 1624.73/836.19 c cleaning 21995 clauses out of 44015 with flag 859001/2329645 1640.44/844.14 c cleaning 22001 clauses out of 44019 with flag 881000/2351644 1656.51/852.36 c cleaning 21988 clauses out of 44018 with flag 903000/2373644 1672.21/860.32 c cleaning 22007 clauses out of 44033 with flag 925003/2395647 1687.70/868.32 c cleaning 21996 clauses out of 44023 with flag 947000/2417644 1703.02/876.13 c cleaning 22000 clauses out of 44027 with flag 969000/2439644 1719.31/884.49 c cleaning 22002 clauses out of 44027 with flag 991000/2461644 1734.96/892.41 c cleaning 22000 clauses out of 44025 with flag 1013000/2483644 1751.03/900.78 c cleaning 22006 clauses out of 44025 with flag 1035000/2505644 1765.69/908.27 c cleaning 22000 clauses out of 44019 with flag 1057000/2527644 1781.36/916.26 c cleaning 21997 clauses out of 44019 with flag 1079000/2549644 1797.42/924.41 c cleaning 22002 clauses out of 44022 with flag 1101000/2571644 1800.10/926.01 c starts : 254 1800.10/926.01 c conflicts : 2574923 1800.10/926.01 c decisions : 5708153 1800.10/926.01 c propagations : 776117897 1800.10/926.01 c inspects : 3311600703 1800.10/926.01 c shortcuts : 0 1800.10/926.01 c learnt literals : 14 1800.10/926.01 c learnt binary clauses : 175 1800.10/926.01 c learnt ternary clauses : 1076 1800.10/926.01 c learnt constraints : 2574909 1800.10/926.01 c ignored constraints : 0 1800.10/926.01 c root simplifications : 0 1800.10/926.01 c removed literals (reason simplification) : 28367913 1800.10/926.01 c reason swapping (by a shorter reason) : 0 1800.10/926.01 c Calls to reduceDB : 172 1800.10/926.01 c number of reductions to clauses (during analyze) : 0 1800.10/926.01 c number of learned constraints concerned by reduction : 0 1800.10/926.01 c number of learning phase by resolution : 0 1800.10/926.01 c number of learning phase by cutting planes : 0 1800.10/926.01 c speed (assignments/second) : 1939175.863438864 1800.10/926.01 c non guided choices 5798 1800.10/926.03 c learnt constraints type 1800.10/926.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 175 1800.10/926.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25164 1800.10/926.03 c constraints type 1800.10/926.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.10/926.03 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.10/926.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.10/926.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.10/926.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.10/926.03 c constraints type 1800.10/926.03 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.10/926.03 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.10/926.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.10/926.03 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1800.10/926.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.10/926.03 s SATISFIABLE 1800.10/926.04 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.10/926.05 c objective function=2910388 1800.10/926.05 c Total wall clock time (in seconds): 925.933
OK 2910388
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743994-1338791444/watcher-3743994-1338791444 -o /tmp/evaluation-result-3743994-1338791444/solver-3743994-1338791444 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3743994-1338791444.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.04 3.69 3.21 4/198 23634 /proc/meminfo: memFree=27733448/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/23634/stat : 23634 (java) D 23632 23634 22704 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345270387 9515008 184 33554432000 1073741824 1073778376 140733505149264 140733505140488 217410334135 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/23634/statm: 2323 184 142 9 0 71 0 [startup+0.019719 s] /proc/loadavg: 4.04 3.69 3.21 4/198 23634 /proc/meminfo: memFree=27733448/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=10496720 CPUtime=0 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 1571 0 1 0 0 0 0 0 20 0 2 0 345270387 10748641280 1764 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2624180 1781 931 9 0 2615289 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10496720 [startup+0.100224 s] /proc/loadavg: 4.04 3.69 3.21 4/198 23634 /proc/meminfo: memFree=27733448/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 4739 0 1 0 7 2 0 0 20 0 18 0 345270387 11864465408 13601 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2896598 13602 2115 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300224 s] /proc/loadavg: 4.04 3.69 3.21 4/198 23634 /proc/meminfo: memFree=27733448/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11586392 CPUtime=0.5 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 5866 0 1 0 48 2 0 0 20 0 18 0 345270387 11864465408 17345 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2896598 17345 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 11586392 [startup+0.700173 s] /proc/loadavg: 4.04 3.69 3.21 4/198 23634 /proc/meminfo: memFree=27733448/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=1.62 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 10647 0 1 0 158 4 0 0 20 0 22 0 345270387 12137111552 36446 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 36446 2259 9 0 2953849 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 11852648 [startup+1.50063 s] /proc/loadavg: 4.04 3.69 3.21 3/217 23656 /proc/meminfo: memFree=27582676/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=3.68 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 18011 0 1 0 358 10 0 0 20 0 22 0 345270387 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 71251 2267 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=0.55 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2899 0 1 0 52 3 0 0 20 0 22 0 345270388 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089936450712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345270390 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345270391 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=0.93 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7161 0 0 0 91 2 0 0 20 0 22 0 345270394 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 6583 0 0 0 78 1 0 0 20 0 22 0 345270394 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345270446 12137111552 71251 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.68 Current children cumulated vsize (KiB) 11852648 [startup+3.10061 s] /proc/loadavg: 4.04 3.70 3.22 5/217 23659 /proc/meminfo: memFree=27367948/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=4.57 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 18086 0 1 0 439 18 0 0 20 0 19 0 345270387 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 102475 2268 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=0.61 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2902 0 1 0 58 3 0 0 20 0 19 0 345270388 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089936450728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345270390 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345270391 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345270392 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345270392 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270394 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=1.01 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7162 0 0 0 99 2 0 0 20 0 19 0 345270394 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 6583 0 0 0 85 2 0 0 20 0 19 0 345270394 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270394 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345270394 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345270446 12137111552 102475 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 11852648 [startup+6.30067 s] /proc/loadavg: 4.04 3.70 3.22 5/220 23671 /proc/meminfo: memFree=26552696/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=10.49 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 18734 0 1 0 1012 37 0 0 20 0 20 0 345270387 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 361597 2292 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2905 0 1 0 62 3 0 0 20 0 20 0 345270388 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089936450728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 345270390 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 20 0 345270391 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 345270392 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 345270392 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345270394 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=1.12 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7166 0 0 0 110 2 0 0 20 0 20 0 345270394 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=0.97 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 6637 0 0 0 95 2 0 0 20 0 20 0 345270394 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345270394 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345270394 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 345270446 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23670] ppid=23632 vsize=11852648 CPUtime=1.98 cores=0,2,4,6 /proc/23634/task/23670/stat : 23670 (java) R 23632 23634 22704 0 -1 4202560 339 0 0 0 187 11 0 0 20 0 20 0 345270806 12137111552 361597 33554432000 1073741824 1073778376 140736347649392 140089275406784 140089771342290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 10.49 Current children cumulated vsize (KiB) 11852648 ################ # More data... # ################ [pid=23634/tid=23734] ppid=23632 vsize=11852648 CPUtime=224.28 cores=0,2,4,6 /proc/23634/task/23734/stat : 23734 (java) R 23632 23634 22704 0 -1 4202560 28 0 0 0 22425 3 0 0 20 0 22 0 345322965 12137111552 929405 33554432000 1073741824 1073778376 140736347649392 140089274356048 140089771699823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23735] ppid=23632 vsize=11852648 CPUtime=224.25 cores=0,2,4,6 /proc/23634/task/23735/stat : 23735 (java) R 23632 23634 22704 0 -1 4202560 22 0 0 0 22422 3 0 0 20 0 22 0 345322965 12137111552 929405 33554432000 1073741824 1073778376 140736347649392 140089275406912 140089771144704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23736] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23736/stat : 23736 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345322976 12137111552 929405 33554432000 1073741824 1073778376 140736347649392 140089273304360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1480.33 Current children cumulated vsize (KiB) 11852648 [startup+822.301 s] /proc/loadavg: 3.89 3.86 3.58 5/219 23865 /proc/meminfo: memFree=24115164/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=1597.6 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 23140 0 1 0 159598 162 0 0 20 0 22 0 345270387 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 933531 2293 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2971 0 1 0 110 5 0 0 20 0 22 0 345270388 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089936450728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=0.97 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 83 0 0 0 95 2 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 86 0 0 0 93 2 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 101 0 0 0 97 3 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=1.05 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 89 0 0 0 103 2 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=0.97 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 102 0 0 0 94 3 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=1.03 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 90 0 0 0 100 3 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 97 0 0 0 104 2 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=1.03 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 76 0 0 0 102 1 0 0 20 0 22 0 345270390 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=35.42 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 178 0 0 0 3531 11 0 0 20 0 22 0 345270391 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7182 0 0 0 114 2 0 0 20 0 22 0 345270394 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 8749 0 0 0 123 2 0 0 20 0 22 0 345270394 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 46 0 0 0 14 13 0 0 20 0 22 0 345270394 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345270446 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23734] ppid=23632 vsize=11852648 CPUtime=281.12 cores=0,2,4,6 /proc/23634/task/23734/stat : 23734 (java) R 23632 23634 22704 0 -1 4202560 31 0 0 0 28108 4 0 0 20 0 22 0 345322965 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089274356048 140089771470197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23735] ppid=23632 vsize=11852648 CPUtime=281.1 cores=0,2,4,6 /proc/23634/task/23735/stat : 23735 (java) R 23632 23634 22704 0 -1 4202560 25 0 0 0 28106 4 0 0 20 0 22 0 345322965 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089275406912 140089771144704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23736] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23736/stat : 23736 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345322976 12137111552 933531 33554432000 1073741824 1073778376 140736347649392 140089273304360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1597.6 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.89 3.86 3.60 5/219 23871 /proc/meminfo: memFree=24094568/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=1715.1 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 23191 0 1 0 171346 164 0 0 20 0 22 0 345270387 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 937137 2293 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2975 0 1 0 110 5 0 0 20 0 22 0 345270388 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089936450728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 97 0 0 0 104 2 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=1.02 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 90 0 0 0 100 2 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=1.08 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 101 0 0 0 105 3 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=1.12 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 89 0 0 0 110 2 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 103 0 0 0 103 3 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 90 0 0 0 106 3 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=1.14 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 97 0 0 0 112 2 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 81 0 0 0 111 2 0 0 20 0 22 0 345270390 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=38.21 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 187 0 0 0 3810 11 0 0 20 0 22 0 345270391 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7182 0 0 0 114 2 0 0 20 0 22 0 345270394 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 8750 0 0 0 123 2 0 0 20 0 22 0 345270394 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 50 0 0 0 15 14 0 0 20 0 22 0 345270394 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345270446 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23734] ppid=23632 vsize=11852648 CPUtime=338.14 cores=0,2,4,6 /proc/23634/task/23734/stat : 23734 (java) R 23632 23634 22704 0 -1 4202560 35 0 0 0 33809 5 0 0 20 0 22 0 345322965 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089274354264 140089771375352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23735] ppid=23632 vsize=11852648 CPUtime=338.13 cores=0,2,4,6 /proc/23634/task/23735/stat : 23735 (java) R 23632 23634 22704 0 -1 4202560 30 0 0 0 33808 5 0 0 20 0 22 0 345322965 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089275407864 140089771358192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23736] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23736/stat : 23736 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345322976 12137111552 937137 33554432000 1073741824 1073778376 140736347649392 140089273304360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1715.1 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+926.001 s] /proc/loadavg: 3.74 3.82 3.60 4/216 23932 /proc/meminfo: memFree=24220792/32873648 swapFree=7628/7628 [pid=23634] ppid=23632 vsize=11852648 CPUtime=1800.1 cores=0,2,4,6 /proc/23634/stat : 23634 (java) S 23632 23634 22704 0 -1 4202496 23235 0 1 0 179844 166 0 0 20 0 22 0 345270387 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140736347640528 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/23634/statm: 2963162 939721 2293 9 0 2953849 0 [pid=23634/tid=23636] ppid=23632 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/23634/task/23636/stat : 23636 (java) S 23632 23634 22704 0 -1 4202560 2977 0 1 0 110 5 0 0 20 0 22 0 345270388 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089936450728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23637] ppid=23632 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/23634/task/23637/stat : 23637 (java) S 23632 23634 22704 0 -1 4202560 101 0 0 0 108 2 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089891203880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23638] ppid=23632 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/23634/task/23638/stat : 23638 (java) S 23632 23634 22704 0 -1 4202560 104 0 0 0 105 2 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089890151080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23639] ppid=23632 vsize=11852648 CPUtime=1.14 cores=0,2,4,6 /proc/23634/task/23639/stat : 23639 (java) S 23632 23634 22704 0 -1 4202560 102 0 0 0 111 3 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089889098792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23640] ppid=23632 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/23634/task/23640/stat : 23640 (java) S 23632 23634 22704 0 -1 4202560 96 0 0 0 117 2 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089770372008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23641] ppid=23632 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/23634/task/23641/stat : 23641 (java) S 23632 23634 22704 0 -1 4202560 104 0 0 0 110 3 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089769318696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23642] ppid=23632 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/23634/task/23642/stat : 23642 (java) S 23632 23634 22704 0 -1 4202560 90 0 0 0 110 3 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089768265896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23643] ppid=23632 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/23634/task/23643/stat : 23643 (java) S 23632 23634 22704 0 -1 4202560 98 0 0 0 115 2 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089767213608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23644] ppid=23632 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/23634/task/23644/stat : 23644 (java) S 23632 23634 22704 0 -1 4202560 81 0 0 0 116 2 0 0 20 0 22 0 345270390 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089766160808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23645] ppid=23632 vsize=11852648 CPUtime=40.77 cores=0,2,4,6 /proc/23634/task/23645/stat : 23645 (java) S 23632 23634 22704 0 -1 4202560 192 0 0 0 4065 12 0 0 20 0 22 0 345270391 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089283832552 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23646] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23646/stat : 23646 (java) S 23632 23634 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089282778616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23647] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23647/stat : 23647 (java) S 23632 23634 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 345270392 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089281726216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23648] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23648/stat : 23648 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089280674704 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23649] ppid=23632 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/23634/task/23649/stat : 23649 (java) S 23632 23634 22704 0 -1 4202560 7182 0 0 0 114 2 0 0 20 0 22 0 345270394 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089279621304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23634/tid=23650] ppid=23632 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/23634/task/23650/stat : 23650 (java) S 23632 23634 22704 0 -1 4202560 8750 0 0 0 123 2 0 0 20 0 22 0 345270394 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089278568504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23651] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23651/stat : 23651 (java) S 23632 23634 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345270394 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089277516408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23652] ppid=23632 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/23634/task/23652/stat : 23652 (java) S 23632 23634 22704 0 -1 4202560 52 0 0 0 16 15 0 0 20 0 22 0 345270394 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089276463816 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23634/tid=23656] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23656/stat : 23656 (java) S 23632 23634 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345270446 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089272251944 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23734] ppid=23632 vsize=11852648 CPUtime=379.19 cores=0,2,4,6 /proc/23634/task/23734/stat : 23734 (java) R 23632 23634 22704 0 -1 4202560 39 0 0 0 37914 5 0 0 20 0 22 0 345322965 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089274356048 140089771189963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23634/tid=23735] ppid=23632 vsize=11852648 CPUtime=379.16 cores=0,2,4,6 /proc/23634/task/23735/stat : 23735 (java) R 23632 23634 22704 0 -1 4202560 33 0 0 0 37909 7 0 0 20 0 22 0 345322965 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089275406912 140089771258012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23634/tid=23736] ppid=23632 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/23634/task/23736/stat : 23736 (java) S 23632 23634 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345322976 12137111552 939721 33554432000 1073741824 1073778376 140736347649392 140089273304360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 926.068 CPU time (s): 1800.59 CPU user time (s): 1798.62 CPU system time (s): 1.9707 CPU usage (%): 194.434 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.9707 maximum resident set size= 3759004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23266 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29605 involuntary context switches= 29710 runsolver used 3.01054 second user time and 8.38472 second system time The end
Begin job on node122 at 2012-06-04 08:30:44 IDJOB=3743994 IDBENCH=92664 IDSOLVER=2328 FILE ID=node122/3743994-1338791444 RUNJOBID= node122-1338785055-22720 PBS_JOBID= 14636854 Free space on /tmp= 71172 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743994-1338791444/watcher-3743994-1338791444 -o /tmp/evaluation-result-3743994-1338791444/solver-3743994-1338791444 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3743994-1338791444.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=1342557838 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27734092 kB Buffers: 269936 kB Cached: 292872 kB SwapCached: 1492 kB Active: 4082700 kB Inactive: 186464 kB Active(anon): 3703152 kB Inactive(anon): 5344 kB Active(file): 379548 kB Inactive(file): 181120 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 3726684 kB Mapped: 16948 kB Shmem: 0 kB Slab: 713520 kB SReclaimable: 157424 kB SUnreclaim: 556096 kB KernelStack: 1624 kB PageTables: 11548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10483228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3670016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71148 MiB End job on node122 at 2012-06-04 08:46:12