Trace number 4502884

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)82 3600.44 3596.51

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark613.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.17	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.20	c os.arch		amd64
0.11/0.21	c Free memory 		2104792832
0.11/0.21	c Max memory 		16282288128
0.11/0.21	c Total memory 		2113929216
0.25/0.23	c Number of processors 	2
0.39/0.33	c Pseudo Boolean Optimization by upper bound
0.39/0.33	c --- Begin Solver configuration ---
0.39/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.39/0.33	c Learn all clauses as in MiniSAT
0.39/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.33	c Expensive reason simplification
0.39/0.33	c Glucose 2.1 dynamic restart strategy
0.39/0.33	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.39/0.33	c timeout=2147483s
0.39/0.33	c DB Simplification allowed=false
0.39/0.33	c Listener: none
0.39/0.33	c --- End Solver configuration ---
0.39/0.33	c solving HOME/instance-4502884-1751472402.opb
0.39/0.33	c reading problem ... 
0.39/0.34	c  objective function found
3.91/2.85	c ... done. Wall clock time 2.512s.
3.91/2.85	c declared #vars     7840
3.91/2.85	c #constraints  65280
3.91/2.85	c constraints type 
3.91/2.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65280
3.91/2.85	c 65280 constraints processed.
3.91/2.86	c objective function length is 7840 literals
4.49/3.15	c SATISFIABLE
4.49/3.15	c OPTIMIZING...
4.49/3.15	c Got one! Elapsed wall clock time (in seconds):2.815
4.49/3.15	o 83
4.64/3.22	c Got one! Elapsed wall clock time (in seconds):2.885
4.64/3.22	o 82
7.41/5.21	c cleaning 2478 clauses out of 5011 with flag 26589/5011
10.12/7.18	c cleaning 4260 clauses out of 8534 with flag 63084/11012
13.21/9.54	c cleaning 5621 clauses out of 11273 with flag 96268/18011
16.31/12.42	c cleaning 6759 clauses out of 13652 with flag 132481/26011
19.55/15.49	c cleaning 7927 clauses out of 15893 with flag 192133/35011
23.16/19.03	c cleaning 8986 clauses out of 17972 with flag 234693/45017
27.04/23.01	c cleaning 9972 clauses out of 19980 with flag 278297/56011
31.53/27.46	c cleaning 10979 clauses out of 22010 with flag 326804/68013
36.37/32.29	c cleaning 12013 clauses out of 24031 with flag 375481/81013
41.67/37.58	c cleaning 12991 clauses out of 26018 with flag 429951/95013
47.18/43.03	c cleaning 13966 clauses out of 28025 with flag 497677/110011
53.17/49.06	c cleaning 15003 clauses out of 30059 with flag 561267/126011
59.62/55.42	c cleaning 15997 clauses out of 32056 with flag 629192/143011
66.47/62.22	c cleaning 16999 clauses out of 34059 with flag 703784/161011
73.37/69.15	c cleaning 17995 clauses out of 36060 with flag 782065/180011
80.85/76.70	c cleaning 19033 clauses out of 38065 with flag 856274/200011
88.83/84.64	c cleaning 20006 clauses out of 40032 with flag 936957/221011
97.12/92.96	c cleaning 21001 clauses out of 42030 with flag 1017757/243015
105.90/101.74	c cleaning 21967 clauses out of 44025 with flag 1101571/266011
115.18/110.97	c cleaning 22991 clauses out of 46060 with flag 1198668/290013
124.66/120.44	c cleaning 24020 clauses out of 48067 with flag 1297141/315011
134.45/130.29	c cleaning 24997 clauses out of 50047 with flag 1393524/341011
144.63/140.44	c cleaning 25970 clauses out of 52050 with flag 1502750/368011
155.61/151.43	c cleaning 26964 clauses out of 54080 with flag 1600369/396011
166.99/162.86	c cleaning 27999 clauses out of 56116 with flag 1700278/425011
178.98/174.86	c cleaning 29040 clauses out of 58119 with flag 1804518/455013
191.76/187.51	c cleaning 29953 clauses out of 60077 with flag 1912466/486011
204.25/200.10	c cleaning 31049 clauses out of 62124 with flag 2032334/518011
217.12/212.98	c cleaning 32011 clauses out of 64078 with flag 2158170/551014
230.32/226.15	c cleaning 33020 clauses out of 66064 with flag 2280926/585011
243.78/239.68	c cleaning 34006 clauses out of 68045 with flag 2414142/620012
258.17/254.02	c cleaning 35010 clauses out of 70042 with flag 2548177/656015
273.05/268.81	c cleaning 36008 clauses out of 72028 with flag 2687936/693011
288.34/284.13	c cleaning 37009 clauses out of 74020 with flag 2825214/731011
303.70/299.57	c cleaning 37971 clauses out of 76011 with flag 2968341/770011
319.58/315.45	c cleaning 38988 clauses out of 78040 with flag 3110347/810011
335.85/331.76	c cleaning 40009 clauses out of 80055 with flag 3268127/851014
352.24/348.08	c cleaning 41010 clauses out of 82043 with flag 3432904/893011
369.31/365.12	c cleaning 41967 clauses out of 84033 with flag 3593393/936011
386.37/382.28	c cleaning 43003 clauses out of 86070 with flag 3761072/980015
404.34/400.24	c cleaning 43984 clauses out of 88063 with flag 3913486/1025011
422.82/418.69	c cleaning 45017 clauses out of 90086 with flag 4080909/1071018
441.58/437.45	c cleaning 46001 clauses out of 92063 with flag 4253767/1118012
460.54/456.45	c cleaning 47013 clauses out of 94061 with flag 4438535/1166011
479.81/475.70	c cleaning 47999 clauses out of 96048 with flag 4629885/1215011
500.38/496.21	c cleaning 48998 clauses out of 98049 with flag 4824533/1265011
521.35/517.25	c cleaning 49958 clauses out of 100051 with flag 4994397/1316011
543.22/539.16	c cleaning 50981 clauses out of 102095 with flag 5172506/1368013
565.48/561.43	c cleaning 51997 clauses out of 104114 with flag 5348019/1421013
589.56/585.48	c cleaning 52996 clauses out of 106115 with flag 5519294/1475011
614.12/610.02	c cleaning 54004 clauses out of 108121 with flag 5692274/1530013
642.77/638.75	c cleaning 54993 clauses out of 110115 with flag 5859316/1586011
667.74/663.69	c cleaning 56022 clauses out of 112123 with flag 6077243/1643012
690.00/685.95	c cleaning 57052 clauses out of 114103 with flag 6315928/1701014
712.95/708.90	c cleaning 57977 clauses out of 116048 with flag 6567565/1760011
738.11/734.10	c cleaning 58967 clauses out of 118071 with flag 6802186/1820011
762.34/758.37	c cleaning 59982 clauses out of 120105 with flag 7025095/1881012
787.30/783.31	c cleaning 60986 clauses out of 122122 with flag 7252868/1943011
812.35/808.41	c cleaning 62021 clauses out of 124136 with flag 7497840/2006011
839.58/835.65	c cleaning 63040 clauses out of 126116 with flag 7723969/2070012
865.43/861.58	c cleaning 63982 clauses out of 128075 with flag 7983808/2135011
892.08/888.23	c cleaning 65019 clauses out of 130093 with flag 8241733/2201011
920.42/916.52	c cleaning 66004 clauses out of 132074 with flag 8477900/2268011
949.37/945.59	c cleaning 67017 clauses out of 134070 with flag 8707647/2336011
979.15/975.22	c cleaning 68002 clauses out of 136055 with flag 8940944/2405013
1010.58/1006.79	c cleaning 68973 clauses out of 138055 with flag 9155201/2475015
1041.84/1038.03	c cleaning 70009 clauses out of 140079 with flag 9389848/2546012
1072.21/1068.37	c cleaning 71032 clauses out of 142069 with flag 9646281/2618011
1101.96/1098.11	c cleaning 72016 clauses out of 144039 with flag 9920483/2691013
1131.30/1127.58	c cleaning 72995 clauses out of 146021 with flag 10215688/2765011
1161.15/1157.32	c cleaning 73967 clauses out of 148026 with flag 10521208/2840011
1190.89/1187.15	c cleaning 75030 clauses out of 150059 with flag 10847674/2916011
1221.50/1217.88	c cleaning 75974 clauses out of 152031 with flag 11181051/2993013
1253.34/1249.66	c cleaning 77021 clauses out of 154061 with flag 11512416/3071017
1283.98/1280.32	c cleaning 77977 clauses out of 156035 with flag 11874459/3150012
1315.42/1311.85	c cleaning 79001 clauses out of 158061 with flag 12205308/3230015
1348.48/1344.88	c cleaning 80005 clauses out of 160057 with flag 12518467/3311012
1382.63/1379.01	c cleaning 81017 clauses out of 162052 with flag 12816261/3393012
1416.79/1413.28	c cleaning 82007 clauses out of 164034 with flag 13153898/3476011
1451.36/1447.60	c cleaning 82993 clauses out of 166028 with flag 13494172/3560012
1487.63/1482.88	c cleaning 83996 clauses out of 168035 with flag 13823556/3645012
1521.97/1517.21	c cleaning 84997 clauses out of 170038 with flag 14153809/3731011
1557.97/1553.26	c cleaning 85976 clauses out of 172041 with flag 14479888/3818011
1594.60/1590.00	c cleaning 87003 clauses out of 174065 with flag 14818873/3906011
1628.65/1624.08	c cleaning 87933 clauses out of 176062 with flag 15278843/3995011
1664.77/1660.17	c cleaning 89011 clauses out of 178129 with flag 15706630/4085011
1700.99/1696.43	c cleaning 90014 clauses out of 180118 with flag 16112925/4176011
1738.32/1733.72	c cleaning 91009 clauses out of 182104 with flag 16508489/4268011
1775.93/1771.41	c cleaning 92012 clauses out of 184099 with flag 16925278/4361015
1813.77/1809.21	c cleaning 93015 clauses out of 186083 with flag 17304721/4455011
1852.99/1848.53	c cleaning 94015 clauses out of 188074 with flag 17689829/4550017
1892.80/1888.47	c cleaning 94930 clauses out of 190053 with flag 18059113/4646011
1933.81/1929.43	c cleaning 96026 clauses out of 192123 with flag 18458371/4743011
1974.44/1970.14	c cleaning 96991 clauses out of 194097 with flag 18835108/4841011
2016.53/2012.31	c cleaning 98037 clauses out of 196106 with flag 19206674/4940011
2058.29/2054.05	c cleaning 99015 clauses out of 198069 with flag 19610947/5040011
2100.20/2096.05	c cleaning 100017 clauses out of 200054 with flag 20036106/5141011
2140.81/2136.74	c cleaning 100988 clauses out of 202039 with flag 20532838/5243013
2183.04/2178.82	c cleaning 101941 clauses out of 204049 with flag 21018895/5346011
2225.17/2221.08	c cleaning 103022 clauses out of 206108 with flag 21467442/5450011
2268.79/2264.62	c cleaning 104015 clauses out of 208086 with flag 21893064/5555011
2311.99/2307.99	c cleaning 105014 clauses out of 210073 with flag 22319562/5661013
2356.12/2352.12	c cleaning 105980 clauses out of 212057 with flag 22735185/5768011
2402.03/2398.02	c cleaning 107018 clauses out of 214077 with flag 23150185/5876011
2447.14/2443.26	c cleaning 107985 clauses out of 216059 with flag 23605278/5985011
2493.38/2489.42	c cleaning 109007 clauses out of 218074 with flag 24027287/6095011
2538.39/2534.56	c cleaning 110014 clauses out of 220067 with flag 24527505/6206011
2583.69/2579.97	c cleaning 111003 clauses out of 222057 with flag 25004179/6318015
2631.42/2627.68	c cleaning 112014 clauses out of 224053 with flag 25439806/6431014
2677.93/2674.20	c cleaning 112947 clauses out of 226036 with flag 25941585/6545011
2724.04/2720.49	c cleaning 114007 clauses out of 228089 with flag 26438630/6660011
2771.62/2766.90	c cleaning 114979 clauses out of 230082 with flag 27000080/6776011
2819.03/2814.37	c cleaning 116028 clauses out of 232103 with flag 27574236/6893011
2866.84/2862.19	c cleaning 116976 clauses out of 234075 with flag 28153972/7011011
2915.63/2911.07	c cleaning 118033 clauses out of 236100 with flag 28778822/7130012
2963.40/2958.99	c cleaning 119003 clauses out of 238066 with flag 29335600/7250011
3011.69/3007.35	c cleaning 119977 clauses out of 240063 with flag 29939572/7371011
3062.10/3057.73	c cleaning 121005 clauses out of 242086 with flag 30505169/7493011
3111.80/3107.58	c cleaning 122003 clauses out of 244083 with flag 31077729/7616013
3161.60/3157.48	c cleaning 122943 clauses out of 246078 with flag 31696226/7740011
3212.97/3208.78	c cleaning 124054 clauses out of 248139 with flag 32334593/7865015
3263.97/3259.80	c cleaning 125032 clauses out of 250081 with flag 32974253/7991011
3315.08/3311.08	c cleaning 126021 clauses out of 252051 with flag 33584308/8118013
3368.61/3364.58	c cleaning 126987 clauses out of 254028 with flag 34169900/8246011
3421.28/3417.33	c cleaning 127981 clauses out of 256041 with flag 34780975/8375011
3475.05/3471.23	c cleaning 128967 clauses out of 258060 with flag 35363961/8505011
3529.99/3526.17	c cleaning 130008 clauses out of 260093 with flag 35998114/8636011
3584.67/3580.93	c cleaning 131028 clauses out of 262086 with flag 36603472/8768012
3600.04/3596.32	c starts		: 2725
3600.04/3596.33	c conflicts		: 8808275
3600.04/3596.33	c decisions		: 74338598
3600.04/3596.33	c propagations		: 15017099422
3600.04/3596.33	c inspects		: 2410783564
3600.04/3596.33	c shortcuts		: 0
3600.04/3596.33	c learnt literals	: 0
3600.04/3596.33	c learnt binary clauses	: 0
3600.04/3596.33	c learnt ternary clauses	: 0
3600.04/3596.33	c learnt constraints	: 8808275
3600.04/3596.33	c ignored constraints	: 0
3600.04/3596.33	c root simplifications	: 0
3600.04/3596.33	c removed literals (reason simplification)	: 38193467
3600.04/3596.33	c reason swapping (by a shorter reason)	: 0
3600.04/3596.33	c Calls to reduceDB	: 128
3600.04/3596.33	c Number of update (reduction) of LBD	: 5189933
3600.04/3596.33	c Imported unit clauses	: 0
3600.04/3596.33	c No decision after first conflict	: false
3600.04/3596.33	c number of reductions to clauses (during analyze)	: 0
3600.04/3596.33	c number of learned constraints concerned by reduction	: 0
3600.04/3596.33	c number of learning phase by resolution	: 0
3600.04/3596.33	c number of learning phase by cutting planes	: 0
3600.04/3596.33	c number of rounding to 1 operations	: 0
3600.04/3596.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3596.33	c number of reductions of the coefficients by power 2 	: 0
3600.04/3596.33	c number of right shift for reduction by power 2 	: 0
3600.04/3596.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3596.33	c number of ending skipping 	: 0
3600.04/3596.33	c number of internal skipping 	: 0
3600.04/3596.34	c number of derivation steps 	: 0
3600.04/3596.34	c number of skipped derivation steps 	: 0
3600.04/3596.34	c number of remaining unassigned 	: 0
3600.04/3596.34	c number of remaining assigned 	: 0
3600.04/3596.34	c number of falsified literals weakened from reason	: 0
3600.04/3596.34	c number of falsified literals weakened from conflict	: 0
3600.04/3596.34	c time for arithmetic operations	: 0
3600.04/3596.34	c minimum degree of deleted constraints	: null
3600.04/3596.34	c maximum degree of deleted constraints	: null
3600.04/3596.34	c number of deleted constraints	: 0
3600.04/3596.34	c speed (assignments/second)	: 4179024.6526593138
3600.04/3596.34	c non guided choices	: 36
3600.25/3596.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 171321
3600.25/3596.46	s SATISFIABLE
3600.25/3596.47	c Found 2 solution(s)
3600.25/3596.47	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 
3600.25/3596.49	c objective function=82
3600.25/3596.49	c Total wall clock time (in seconds): 3596.153

Verifier Data 

OK	82

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62704 MiB free)
  memory of node 1: 64465 MiB (57469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502884-1751472402/watcher-4502884-1751472402 -o /tmp/evaluation-result-4502884-1751472402/solver-4502884-1751472402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62839 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502884-1751472402.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=64969, runsolver pid=64966

[startup+0.100071 s]*
/proc/loadavg: 4.24 4.15 4.15 6/325 64987
/proc/meminfo: memFree=123041040/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=18930384 memory=48420 CPUtime=0.11 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 5787 0 0 0 8 3 0 0 20 0 18 0 62919057 19384713216 12105 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4732596 12105 5304 1 0 546986 0
[pid=64969/tid=64971] ppid=64966 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 4684 0 0 0 5 1 0 0 20 0 18 0 62919059 19384713216 12105 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62919062 19384713216 12105 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=18930384 memory=55195547748946 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 62919063 19384713216 12105 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48420 KiB

[startup+0.213846 s]*
/proc/loadavg: 4.24 4.15 4.15 6/325 64987
/proc/meminfo: memFree=123038016/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=18930384 memory=53232 CPUtime=0.25 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 6494 0 0 0 22 3 0 0 20 0 18 0 62919057 19384713216 13308 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4732596 13308 5336 1 0 547568 0
[pid=64969/tid=64971] ppid=64966 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 5000 0 0 0 14 2 0 0 20 0 18 0 62919059 19384713216 13308 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62919062 19384713216 13308 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 62919063 19384713216 13308 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53232 KiB

[startup+0.31643 s]*
/proc/loadavg: 4.24 4.15 4.15 5/325 64987
/proc/meminfo: memFree=123033680/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=18930384 memory=58924 CPUtime=0.39 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 6793 0 0 0 35 4 0 0 20 0 18 0 62919057 19384713216 14731 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4732596 14731 5432 1 0 547770 0
[pid=64969/tid=64971] ppid=64966 vsize=18930384 memory=-6000919481279408233 CPUtime=0.25 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 5199 0 0 0 23 2 0 0 20 0 18 0 62919059 19384713216 14731 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62919062 19384713216 14731 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 62919063 19384713216 14731 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58924 KiB

[startup+0.700366 s]
/proc/loadavg: 4.30 4.16 4.16 8/325 64987
/proc/meminfo: memFree=123020448/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=18930384 memory=104200 CPUtime=1.1 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 8942 0 0 0 104 6 0 0 20 0 18 0 62919057 19384713216 26050 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4732596 26050 5432 1 0 549183 0
[pid=64969/tid=64971] ppid=64966 vsize=18930384 memory=17920 CPUtime=0.59 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 5282 0 0 0 56 3 0 0 20 0 18 0 62919059 19384713216 26050 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62919062 19384713216 26050 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 62919063 19384713216 26050 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104200 KiB

[startup+1.5003 s]
/proc/loadavg: 4.30 4.16 4.16 6/326 64988
/proc/meminfo: memFree=122924792/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=18996948 memory=228524 CPUtime=2.53 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 17023 0 0 0 243 10 0 0 20 0 19 0 62919057 19452874752 57131 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4749237 57131 5464 1 0 552173 0
[pid=64969/tid=64971] ppid=64966 vsize=18996948 memory=3200 CPUtime=1.33 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 5532 0 0 0 127 6 0 0 20 0 19 0 62919059 19452874752 57131 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62919062 19452874752 57131 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 62919063 19452874752 57131 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 228524 KiB

[startup+3.12448 s]
/proc/loadavg: 4.30 4.16 4.16 6/327 64989
/proc/meminfo: memFree=122213500/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=634872 CPUtime=4.49 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 21001 0 0 0 430 19 0 0 20 0 20 0 62919057 19521036288 158718 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 158718 5496 1 0 943176 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=11264 CPUtime=2.83 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 7972 0 0 0 270 13 0 0 20 0 20 0 62919059 19521036288 158718 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 158718 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 158718 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 158718 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 634872 KiB

[startup+6.30039 s]
/proc/loadavg: 4.36 4.18 4.16 5/327 64989
/proc/meminfo: memFree=121300268/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=641564 CPUtime=9.1 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 23495 0 0 0 890 20 0 0 20 0 20 0 62919057 19521036288 160391 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 160391 5496 1 0 944571 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 8099 0 0 0 582 13 0 0 20 0 20 0 62919059 19521036288 160391 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=629976 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 160391 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 160391 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=-6000919481279408233 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 160391 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 641564 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.17 4.16 5/327 64989
/proc/meminfo: memFree=120178300/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=638772 CPUtime=16.84 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 28516 0 0 0 1662 22 0 0 20 0 20 0 62919057 19521036288 159693 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 159693 5496 1 0 944634 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=638644 CPUtime=12.33 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 8754 0 0 0 1220 13 0 0 20 0 20 0 62919059 19521036288 159693 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 159693 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 159693 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 159693 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 16.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 638772 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.17 4.16 6/327 64989
/proc/meminfo: memFree=118012800/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=638900 CPUtime=29.63 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 29299 0 0 0 2941 22 0 0 20 0 20 0 62919057 19521036288 159725 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 159725 5528 1 0 944634 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=638644 CPUtime=25.1 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 9413 0 0 0 2497 13 0 0 20 0 20 0 62919059 19521036288 159725 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 159725 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 159725 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=638900 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 159725 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 29.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 638900 KiB

[startup+51.1134 s]
/proc/loadavg: 4.30 4.18 4.16 5/327 64990
/proc/meminfo: memFree=115103636/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=739948 CPUtime=55.34 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 34138 0 0 0 5508 26 0 0 20 0 20 0 62919057 19521036288 184987 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 184987 5528 1 0 1201560 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=727532 CPUtime=50.59 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 10004 0 0 0 5045 14 0 0 20 0 20 0 62919059 19521036288 184987 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=713196 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 184987 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 67 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 184987 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 184987 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0

################
# More data... #
################

[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.40 5/327 65220
/proc/meminfo: memFree=111055284/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3286.43 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 106723 0 0 0 328415 228 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203017 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=14464 CPUtime=3268.95 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 47199 0 0 0 326871 24 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 1892 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3286.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.17 4.38 5/326 65222
/proc/meminfo: memFree=111055036/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3346.45 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 108065 0 0 0 334414 231 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3328.66 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 47757 0 0 0 332841 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=8211264 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 1892 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=-6000919481279408233 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3346.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.36 5/326 65224
/proc/meminfo: memFree=111055060/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3406.31 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 109203 0 0 0 340398 233 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3388.49 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 48733 0 0 0 338824 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 1971 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=4207488197506367791 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3406.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.71 4.33 4.40 5/326 65226
/proc/meminfo: memFree=110600168/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3466.17 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 109935 0 0 0 346381 236 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3448.31 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 49305 0 0 0 344806 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 2050 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3466.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.51 4.35 4.41 5/326 65229
/proc/meminfo: memFree=110600200/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3526.19 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 111092 0 0 0 352381 238 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3507.99 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 49783 0 0 0 350774 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 2050 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=-6000919481279408233 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3526.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

[startup+3582.3 s]
/proc/loadavg: 3.89 4.22 4.36 3/277 65300
/proc/meminfo: memFree=117017372/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3586.07 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 111935 0 0 0 358367 240 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3567.84 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 50555 0 0 0 356759 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 2069 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.3 s]
/proc/loadavg: 3.60 4.15 4.33 3/277 65300
/proc/meminfo: memFree=116857684/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19063512 memory=3265676 CPUtime=3600.04 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 112026 0 0 0 359764 240 0 0 20 0 20 0 62919057 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4765878 816419 5560 1 0 1203019 0
[pid=64969/tid=64971] ppid=64966 vsize=19063512 memory=14464 CPUtime=3581.8 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 50646 0 0 0 358155 25 0 0 20 0 20 0 62919059 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919062 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 2069 0 0 0 0 0 0 0 20 0 20 0 62919063 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64989] ppid=64966 vsize=19063512 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64989/stat : 64989 (Timer-0) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62919344 19521036288 816419 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3265676 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3596.51 s]
# the end of solver process 64969 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.02 s, system=2.42748 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3596.41 s]
/proc/loadavg: 3.60 4.15 4.33 3/277 65300
/proc/meminfo: memFree=116857684/131382120 swapFree=33010416/33010684
[pid=64969] ppid=64966 vsize=19263204 memory=3266444 CPUtime=3600.25 cores=0,2
/proc/64969/stat : 64969 (java) S 64966 64969 62829 0 -1 4194304 114214 0 0 0 359784 241 0 0 20 0 21 0 62919057 19725520896 816611 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
/proc/64969/statm: 4815801 816611 5560 1 0 1203960 0
[pid=64969/tid=64971] ppid=64966 vsize=19263204 memory=-6000919481279408233 CPUtime=3581.87 cores=0,2
/proc/64969/task/64971/stat : 64971 (java) R 64966 64969 62829 0 -1 4194368 50867 0 0 0 358162 25 0 0 20 0 21 0 62919059 19725520896 816611 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64980] ppid=64966 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/64969/task/64980/stat : 64980 (Finalizer) S 64966 64969 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62919062 19725520896 816611 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
[pid=64969/tid=64987] ppid=64966 vsize=19263204 memory=3265676 CPUtime=0 cores=0,2
/proc/64969/task/64987/stat : 64987 (Common-Cleaner) S 64966 64969 62829 0 -1 4194368 2069 0 0 0 0 0 0 0 20 0 21 0 62919063 19725520896 816611 18446744073709551615 94029026500608 94029026504304 140726358529856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94029026512120 94029026512912 94029035069440 140726358534529 140726358534630 140726358534630 140726358540232 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3266444 KiB

Child status: 143

Real time (s): 3596.51
CPU time (s): 3600.44
CPU user time (s): 3598.02
CPU system time (s): 2.42748
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3266444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.02
system time used= 2.42748
maximum resident set size= 3266572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118860
involuntary context switches= 9693


# summary of solver processes directly reported to runsolver:
#   pid: 64969
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3598.02
#   total CPU system time (s): 2.42748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7701 second user time and 36.1025 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-02 18:06:43
IDJOB=4502884
IDBENCH=155400
IDSOLVER=3363
FILE ID=nodeC002/4502884-1751472402
RUNJOBID= nodeC002-1751465155-62839
SLURM_JOB_ID= 9598478
Free space on /tmp= 432700 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502884-1751472402/watcher-4502884-1751472402 -o /tmp/evaluation-result-4502884-1751472402/solver-4502884-1751472402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62839 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4502884-1751472402.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=387026212

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1597.070
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.220
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.068
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.948
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.230
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.422
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3592.919
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        123057852 kB
MemAvailable:   123495616 kB
Buffers:            2128 kB
Cached:          1244248 kB
SwapCached:           28 kB
Active:          6831808 kB
Inactive:         941160 kB
Active(anon):    6538120 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):   934756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50660 kB
Writeback:             8 kB
AnonPages:       6529648 kB
Mapped:           123184 kB
Shmem:             17932 kB
KReclaimable:      97896 kB
Slab:             182272 kB
SReclaimable:      97896 kB
SUnreclaim:        84376 kB
KernelStack:        4976 kB
PageTables:        16448 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   16973592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150264 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6326272 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432140 MiB
End job on nodeC002 at 2025-07-02 19:06:39