Trace number 4502885

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 VeriPB 2025-06-06SAT (TO)82 3600.31 3682.3

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4502885-1751432404.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
2.78/2.02	c ... done. Wall clock time 1.873s.
2.78/2.02	c declared #vars     7840
2.78/2.02	c #constraints  65280
2.78/2.02	c constraints type 
2.78/2.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65280
2.78/2.02	c 65280 constraints processed.
2.78/2.03	c objective function length is 7840 literals
3.07/2.24	c SATISFIABLE
3.07/2.24	c OPTIMIZING...
3.07/2.24	c Got one! Elapsed wall clock time (in seconds):2.098
3.07/2.24	o 83
3.25/2.30	c Got one! Elapsed wall clock time (in seconds):2.155
3.25/2.30	o 82
7.02/4.32	c cleaning 2478 clauses out of 5011 with flag 26589/5011
9.77/6.48	c cleaning 4260 clauses out of 8534 with flag 63084/11012
12.37/9.05	c cleaning 5621 clauses out of 11273 with flag 96268/18011
15.41/12.08	c cleaning 6759 clauses out of 13652 with flag 132481/26011
18.80/15.41	c cleaning 7927 clauses out of 15893 with flag 192133/35011
22.49/19.16	c cleaning 8986 clauses out of 17972 with flag 234693/45017
26.78/23.46	c cleaning 9972 clauses out of 19980 with flag 278297/56011
31.58/28.23	c cleaning 10979 clauses out of 22010 with flag 326804/68013
36.72/34.32	c cleaning 12013 clauses out of 24031 with flag 375481/81013
42.34/39.98	c cleaning 12991 clauses out of 26018 with flag 429951/95013
48.21/45.82	c cleaning 13966 clauses out of 28025 with flag 497677/110011
54.60/52.23	c cleaning 15003 clauses out of 30059 with flag 561267/126011
61.32/58.98	c cleaning 15997 clauses out of 32056 with flag 629192/143011
68.70/66.30	c cleaning 16999 clauses out of 34059 with flag 703784/161011
76.09/73.71	c cleaning 17995 clauses out of 36060 with flag 782065/180011
84.06/81.74	c cleaning 19033 clauses out of 38065 with flag 856274/200011
92.53/90.21	c cleaning 20006 clauses out of 40032 with flag 936957/221011
101.39/99.19	c cleaning 21001 clauses out of 42030 with flag 1017757/243015
110.75/108.52	c cleaning 21967 clauses out of 44025 with flag 1101571/266011
120.43/118.25	c cleaning 22991 clauses out of 46060 with flag 1198668/290013
130.57/128.43	c cleaning 24020 clauses out of 48067 with flag 1297141/315011
141.04/138.94	c cleaning 24997 clauses out of 50047 with flag 1393524/341011
151.91/149.82	c cleaning 25970 clauses out of 52050 with flag 1502750/368011
163.55/161.57	c cleaning 26964 clauses out of 54080 with flag 1600369/396011
175.72/173.74	c cleaning 27999 clauses out of 56116 with flag 1700278/425011
188.46/186.54	c cleaning 29040 clauses out of 58119 with flag 1804518/455013
201.63/199.71	c cleaning 29953 clauses out of 60077 with flag 1912466/486011
215.04/213.13	c cleaning 31049 clauses out of 62124 with flag 2032334/518011
228.73/226.94	c cleaning 32011 clauses out of 64078 with flag 2158170/551014
242.84/241.05	c cleaning 33020 clauses out of 66064 with flag 2280926/585011
257.13/255.48	c cleaning 34006 clauses out of 68045 with flag 2414142/620012
272.33/270.67	c cleaning 35010 clauses out of 70042 with flag 2548177/656015
287.81/286.29	c cleaning 36008 clauses out of 72028 with flag 2687936/693011
304.12/302.53	c cleaning 37009 clauses out of 74020 with flag 2825214/731011
320.41/318.96	c cleaning 37971 clauses out of 76011 with flag 2968341/770011
337.32/335.86	c cleaning 38988 clauses out of 78040 with flag 3110347/810011
354.58/353.20	c cleaning 40009 clauses out of 80055 with flag 3268127/851014
371.93/370.73	c cleaning 41010 clauses out of 82043 with flag 3432904/893011
389.99/388.86	c cleaning 41967 clauses out of 84033 with flag 3593393/936011
408.30/407.23	c cleaning 43003 clauses out of 86070 with flag 3761072/980015
427.40/426.32	c cleaning 43984 clauses out of 88063 with flag 3913486/1025011
446.59/445.64	c cleaning 45017 clauses out of 90086 with flag 4080909/1071018
466.52/465.61	c cleaning 46001 clauses out of 92063 with flag 4253767/1118012
486.73/485.80	c cleaning 47013 clauses out of 94061 with flag 4438535/1166011
507.02/506.22	c cleaning 47999 clauses out of 96048 with flag 4629885/1215011
528.44/527.73	c cleaning 48998 clauses out of 98049 with flag 4824533/1265011
550.64/549.93	c cleaning 49958 clauses out of 100051 with flag 4994397/1316011
573.71/573.08	c cleaning 50981 clauses out of 102095 with flag 5172506/1368013
597.18/597.30	c cleaning 51997 clauses out of 104114 with flag 5348019/1421013
621.50/621.74	c cleaning 52996 clauses out of 106115 with flag 5519294/1475011
647.42/647.71	c cleaning 54004 clauses out of 108121 with flag 5692274/1530013
677.15/677.54	c cleaning 54993 clauses out of 110115 with flag 5859316/1586011
702.19/702.56	c cleaning 56022 clauses out of 112123 with flag 6077243/1643012
726.17/726.52	c cleaning 57052 clauses out of 114103 with flag 6315928/1701014
750.73/753.84	c cleaning 57977 clauses out of 116048 with flag 6567565/1760011
776.11/779.23	c cleaning 58967 clauses out of 118071 with flag 6802186/1820011
801.80/805.10	c cleaning 59982 clauses out of 120105 with flag 7025095/1881012
828.45/831.74	c cleaning 60986 clauses out of 122122 with flag 7252868/1943011
855.26/858.54	c cleaning 62021 clauses out of 124136 with flag 7497840/2006011
882.74/886.10	c cleaning 63040 clauses out of 126116 with flag 7723969/2070012
910.48/913.81	c cleaning 63982 clauses out of 128075 with flag 7983808/2135011
938.75/942.16	c cleaning 65019 clauses out of 130093 with flag 8241733/2201011
968.49/971.95	c cleaning 66004 clauses out of 132074 with flag 8477900/2268011
999.14/1002.60	c cleaning 67017 clauses out of 134070 with flag 8707647/2336011
1030.13/1035.75	c cleaning 68002 clauses out of 136055 with flag 8940944/2405013
1063.19/1069.38	c cleaning 68973 clauses out of 138055 with flag 9155201/2475015
1096.14/1102.38	c cleaning 70009 clauses out of 140079 with flag 9389848/2546012
1127.21/1133.41	c cleaning 71032 clauses out of 142069 with flag 9646281/2618011
1158.73/1165.10	c cleaning 72016 clauses out of 144039 with flag 9920483/2691013
1190.28/1196.61	c cleaning 72995 clauses out of 146021 with flag 10215688/2765011
1222.06/1234.41	c cleaning 73967 clauses out of 148026 with flag 10521208/2840011
1253.89/1268.11	c cleaning 75030 clauses out of 150059 with flag 10847674/2916011
1286.68/1301.07	c cleaning 75974 clauses out of 152031 with flag 11181051/2993013
1320.13/1334.69	c cleaning 77021 clauses out of 154061 with flag 11512416/3071017
1352.89/1367.56	c cleaning 77977 clauses out of 156035 with flag 11874459/3150012
1386.51/1404.30	c cleaning 79001 clauses out of 158061 with flag 12205308/3230015
1421.38/1439.30	c cleaning 80005 clauses out of 160057 with flag 12518467/3311012
1457.30/1475.43	c cleaning 81017 clauses out of 162052 with flag 12816261/3393012
1493.66/1511.75	c cleaning 82007 clauses out of 164034 with flag 13153898/3476011
1530.20/1548.35	c cleaning 82993 clauses out of 166028 with flag 13494172/3560012
1567.34/1585.66	c cleaning 83996 clauses out of 168035 with flag 13823556/3645012
1604.02/1625.45	c cleaning 84997 clauses out of 170038 with flag 14153809/3731011
1642.34/1663.76	c cleaning 85976 clauses out of 172041 with flag 14479888/3818011
1681.29/1702.71	c cleaning 87003 clauses out of 174065 with flag 14818873/3906011
1717.72/1739.24	c cleaning 87933 clauses out of 176062 with flag 15278843/3995011
1756.25/1783.62	c cleaning 89011 clauses out of 178129 with flag 15706630/4085011
1794.98/1822.42	c cleaning 90014 clauses out of 180118 with flag 16112925/4176011
1834.64/1862.18	c cleaning 91009 clauses out of 182104 with flag 16508489/4268011
1874.85/1902.51	c cleaning 92012 clauses out of 184099 with flag 16925278/4361015
1915.16/1942.98	c cleaning 93015 clauses out of 186083 with flag 17304721/4455011
1957.18/1985.03	c cleaning 94015 clauses out of 188074 with flag 17689829/4550017
2000.10/2027.96	c cleaning 94930 clauses out of 190053 with flag 18059113/4646011
2043.29/2071.30	c cleaning 96026 clauses out of 192123 with flag 18458371/4743011
2086.38/2117.77	c cleaning 96991 clauses out of 194097 with flag 18835108/4841011
2130.73/2168.85	c cleaning 98037 clauses out of 196106 with flag 19206674/4940011
2174.85/2213.07	c cleaning 99015 clauses out of 198069 with flag 19610947/5040011
2219.45/2257.94	c cleaning 100017 clauses out of 200054 with flag 20036106/5141011
2262.97/2301.55	c cleaning 100988 clauses out of 202039 with flag 20532838/5243013
2307.37/2346.17	c cleaning 101941 clauses out of 204049 with flag 21018895/5346011
2352.55/2394.64	c cleaning 103022 clauses out of 206108 with flag 21467442/5450011
2398.71/2441.06	c cleaning 104015 clauses out of 208086 with flag 21893064/5555011
2445.09/2487.44	c cleaning 105014 clauses out of 210073 with flag 22319562/5661013
2492.05/2534.61	c cleaning 105980 clauses out of 212057 with flag 22735185/5768011
2540.64/2583.31	c cleaning 107018 clauses out of 214077 with flag 23150185/5876011
2588.61/2633.59	c cleaning 107985 clauses out of 216059 with flag 23605278/5985011
2637.59/2682.66	c cleaning 109007 clauses out of 218074 with flag 24027287/6095011
2685.77/2731.12	c cleaning 110014 clauses out of 220067 with flag 24527505/6206011
2734.35/2784.04	c cleaning 111003 clauses out of 222057 with flag 25004179/6318015
2784.67/2840.99	c cleaning 112014 clauses out of 224053 with flag 25439806/6431014
2834.25/2896.34	c cleaning 112947 clauses out of 226036 with flag 25941585/6545011
2883.82/2945.93	c cleaning 114007 clauses out of 228089 with flag 26438630/6660011
2933.29/2996.10	c cleaning 114979 clauses out of 230082 with flag 27000080/6776011
2984.06/3047.16	c cleaning 116028 clauses out of 232103 with flag 27574236/6893011
3034.16/3097.49	c cleaning 116976 clauses out of 234075 with flag 28153972/7011011
3086.32/3154.68	c cleaning 118033 clauses out of 236100 with flag 28778822/7130012
3137.64/3206.16	c cleaning 119003 clauses out of 238066 with flag 29335600/7250011
3189.36/3260.87	c cleaning 119977 clauses out of 240063 with flag 29939572/7371011
3241.95/3313.75	c cleaning 121005 clauses out of 242086 with flag 30505169/7493011
3295.30/3373.31	c cleaning 122003 clauses out of 244083 with flag 31077729/7616013
3348.64/3427.00	c cleaning 122943 clauses out of 246078 with flag 31696226/7740011
3402.43/3480.88	c cleaning 124054 clauses out of 248139 with flag 32334593/7865015
3457.38/3535.63	c cleaning 125032 clauses out of 250081 with flag 32974253/7991011
3512.12/3590.60	c cleaning 126021 clauses out of 252051 with flag 33584308/8118013
3568.89/3650.99	c cleaning 126987 clauses out of 254028 with flag 34169900/8246011
3600.02/3682.11	c starts		: 2496
3600.02/3682.14	c conflicts		: 8318247
3600.02/3682.14	c decisions		: 69691877
3600.02/3682.14	c propagations		: 14231342235
3600.02/3682.14	c inspects		: 2294046040
3600.02/3682.14	c shortcuts		: 0
3600.02/3682.14	c learnt literals	: 0
3600.02/3682.14	c learnt binary clauses	: 0
3600.02/3682.14	c learnt ternary clauses	: 0
3600.02/3682.14	c learnt constraints	: 8318247
3600.02/3682.14	c ignored constraints	: 0
3600.02/3682.14	c root simplifications	: 0
3600.02/3682.14	c removed literals (reason simplification)	: 36207360
3600.02/3682.14	c reason swapping (by a shorter reason)	: 0
3600.02/3682.14	c Calls to reduceDB	: 124
3600.02/3682.14	c Number of update (reduction) of LBD	: 4881447
3600.02/3682.14	c Imported unit clauses	: 0
3600.02/3682.14	c No decision after first conflict	: false
3600.02/3682.14	c number of reductions to clauses (during analyze)	: 0
3600.02/3682.14	c number of learned constraints concerned by reduction	: 0
3600.02/3682.14	c number of learning phase by resolution	: 0
3600.02/3682.14	c number of learning phase by cutting planes	: 0
3600.02/3682.14	c number of rounding to 1 operations	: 0
3600.02/3682.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3682.14	c number of reductions of the coefficients by power 2 	: 0
3600.02/3682.14	c number of right shift for reduction by power 2 	: 0
3600.02/3682.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3682.14	c number of ending skipping 	: 0
3600.02/3682.14	c number of internal skipping 	: 0
3600.02/3682.14	c number of derivation steps 	: 0
3600.02/3682.14	c number of skipped derivation steps 	: 0
3600.02/3682.14	c number of remaining unassigned 	: 0
3600.02/3682.14	c number of remaining assigned 	: 0
3600.02/3682.14	c number of falsified literals weakened from reason	: 0
3600.02/3682.14	c number of falsified literals weakened from conflict	: 0
3600.02/3682.14	c time for arithmetic operations	: 0
3600.02/3682.14	c minimum degree of deleted constraints	: null
3600.02/3682.14	c maximum degree of deleted constraints	: null
3600.02/3682.14	c number of deleted constraints	: 0
3600.02/3682.14	c speed (assignments/second)	: 3867117.987603564
3600.02/3682.14	c non guided choices	: 36
3600.21/3682.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 199277
3600.21/3682.21	s SATISFIABLE
3600.21/3682.21	c Found 2 solution(s)
3600.21/3682.22	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.21/3682.23	c objective function=82
3600.21/3682.23	c Total wall clock time (in seconds): 3682.093

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: 63708 MiB (57673 MiB free)
  memory of node 1: 64465 MiB (57539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502885-1751432404/watcher-4502885-1751432404 -o /tmp/evaluation-result-4502885-1751432404/solver-4502885-1751432404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751425182-73305 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502885-1751432404 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502885-1751432404.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74996, runsolver pid=74993

[startup+0.100058 s]*
/proc/loadavg: 4.14 4.20 4.21 6/322 75014
/proc/meminfo: memFree=117941320/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=18930384 memory=57156 CPUtime=0.12 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 6439 0 0 0 10 2 0 0 20 0 18 0 58917950 19384713216 14289 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4732596 14289 5337 1 0 547580 0
[pid=74996/tid=74998] ppid=74993 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) S 74993 74996 73289 0 -1 4194368 5020 0 0 0 6 1 0 0 20 0 18 0 58917951 19384713216 14289 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=18930384 memory=14860 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58917953 19384713216 14289 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58917954 19384713216 14289 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57156 KiB

[startup+0.205755 s]*
/proc/loadavg: 4.14 4.20 4.21 6/322 75014
/proc/meminfo: memFree=117931616/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=18930384 memory=67280 CPUtime=0.3 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 6817 0 0 0 28 2 0 0 20 0 18 0 58917950 19384713216 16820 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4732596 16820 5433 1 0 547883 0
[pid=74996/tid=74998] ppid=74993 vsize=18930384 memory=4026728567 CPUtime=0.16 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 5262 0 0 0 15 1 0 0 20 0 18 0 58917951 19384713216 16820 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=18930384 memory=224227768548 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58917953 19384713216 16820 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=18930384 memory=32823 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58917954 19384713216 16820 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67280 KiB

[startup+0.305754 s]*
/proc/loadavg: 4.14 4.20 4.21 6/322 75014
/proc/meminfo: memFree=117890848/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=18930384 memory=104188 CPUtime=0.49 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 8297 0 0 0 45 4 0 0 20 0 18 0 58917950 19384713216 26047 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4732596 26047 5433 1 0 548912 0
[pid=74996/tid=74998] ppid=74993 vsize=18930384 memory=-6000919494113978472 CPUtime=0.27 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 5284 0 0 0 24 3 0 0 20 0 18 0 58917951 19384713216 26047 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58917953 19384713216 26047 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58917954 19384713216 26047 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104188 KiB

[startup+0.700231 s]
/proc/loadavg: 4.14 4.20 4.21 6/323 75015
/proc/meminfo: memFree=117812924/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=18996948 memory=170328 CPUtime=1.25 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 10477 0 0 0 119 6 0 0 20 0 19 0 58917950 19452874752 42582 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4749237 42582 5465 1 0 550726 0
[pid=74996/tid=74998] ppid=74993 vsize=18996948 memory=18048 CPUtime=0.61 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 5313 0 0 0 58 3 0 0 20 0 19 0 58917951 19452874752 42582 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58917953 19452874752 42582 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 58917954 19452874752 42582 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 170328 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.20 4.21 5/323 75015
/proc/meminfo: memFree=117671592/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=18996948 memory=490416 CPUtime=2.23 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 13498 0 0 0 210 13 0 0 20 0 19 0 58917950 19452874752 122604 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4749237 122604 5465 1 0 875841 0
[pid=74996/tid=74998] ppid=74993 vsize=18996948 memory=3200 CPUtime=1.36 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 5443 0 0 0 127 9 0 0 20 0 19 0 58917951 19452874752 122604 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58917953 19452874752 122604 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 58917954 19452874752 122604 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 490416 KiB

[startup+3.10566 s]
/proc/loadavg: 4.14 4.20 4.21 6/324 75016
/proc/meminfo: memFree=117087664/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=717904 CPUtime=4.85 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 14669 0 0 0 467 18 0 0 20 0 20 0 58917950 19521036288 179476 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 179476 5497 1 0 1052014 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=10624 CPUtime=2.89 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 5659 0 0 0 277 12 0 0 20 0 20 0 58917951 19521036288 179476 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 179476 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 179476 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 179476 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 717904 KiB

[startup+6.30022 s]
/proc/loadavg: 4.21 4.22 4.21 5/324 75016
/proc/meminfo: memFree=116646572/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=999060 CPUtime=9.67 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 17074 0 0 0 942 25 0 0 20 0 20 0 58917950 19521036288 249765 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 249765 5497 1 0 1053753 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=0 CPUtime=6.04 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 6141 0 0 0 586 18 0 0 20 0 20 0 58917951 19521036288 249765 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=693200 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 249765 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 249765 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=955924 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 249765 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 999060 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.21 4.21 5/324 75016
/proc/meminfo: memFree=116118400/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=1183568 CPUtime=16.1 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 21120 0 0 0 1580 30 0 0 20 0 20 0 58917950 19521036288 295892 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 295892 5529 1 0 1053763 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=1115828 CPUtime=12.39 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 6906 0 0 0 1217 22 0 0 20 0 20 0 58917951 19521036288 295892 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=3762811571755262418 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 295892 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 295892 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 295892 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1183568 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.22 4.21 5/324 75016
/proc/meminfo: memFree=114647932/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=1892176 CPUtime=28.88 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 23851 0 0 0 2841 47 0 0 20 0 20 0 58917950 19521036288 473044 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 473044 5529 1 0 1053763 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=14432 CPUtime=25.15 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 9451 0 0 0 2477 38 0 0 20 0 20 0 58917951 19521036288 473044 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=1498960 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 473044 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=1009300 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 473044 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 473044 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 28.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1892176 KiB

[startup+51.1058 s]
/proc/loadavg: 4.22 4.22 4.21 5/347 75057
/proc/meminfo: memFree=115029420/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=2562044 CPUtime=53.51 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 29196 0 0 0 5286 65 0 0 20 0 20 0 58917950 19521036288 640511 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 640511 5529 1 0 1053773 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=1369936 CPUtime=49.7 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 11731 0 0 0 4916 54 0 0 20 0 20 0 58917951 19521036288 640511 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=2562044 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 640511 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=2562044 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 640511 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 640511 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0

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

[startup+3342.3 s]
/proc/loadavg: 4.35 4.22 4.19 5/348 75315
/proc/meminfo: memFree=86918444/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3270.27 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 162904 0 0 0 326325 702 0 0 20 0 20 0 58917950 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039674 5529 1 0 1054309 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3247.71 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 82366 0 0 0 324161 610 0 0 20 0 20 0 58917951 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=4158696 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 1929 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3270.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4158696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.18 4/347 75317
/proc/meminfo: memFree=86572000/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3324.15 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 166090 0 0 0 331703 712 0 0 20 0 20 0 58917950 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039674 5529 1 0 1054309 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3301.26 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 84355 0 0 0 329507 619 0 0 20 0 20 0 58917951 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2037 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3324.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4158696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/346 75319
/proc/meminfo: memFree=86191380/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3383.9 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 166838 0 0 0 337667 723 0 0 20 0 20 0 58917950 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039674 5529 1 0 1054309 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3360.6 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 85024 0 0 0 335431 629 0 0 20 0 20 0 58917951 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=4158696 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2037 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039674 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3383.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4158696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/346 75321
/proc/meminfo: memFree=85796912/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4158952 CPUtime=3444.06 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 172202 0 0 0 343672 734 0 0 20 0 20 0 58917950 19521036288 1039738 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039738 5529 1 0 1054344 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=14432 CPUtime=3420.02 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 87313 0 0 0 341363 639 0 0 20 0 20 0 58917951 19521036288 1039738 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039738 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2154 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039738 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=4158952 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039738 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3444.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4158952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/344 75323
/proc/meminfo: memFree=85420044/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4159080 CPUtime=3503.84 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 175833 0 0 0 349640 744 0 0 20 0 20 0 58917950 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039770 5529 1 0 1054345 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4158696 CPUtime=3479.44 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 89839 0 0 0 347296 648 0 0 20 0 20 0 58917951 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=4158952 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2155 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=4159080 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3503.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4159080 KiB

[startup+3642.3 s]
/proc/loadavg: 4.23 4.18 4.18 5/343 75325
/proc/meminfo: memFree=85054524/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4159080 CPUtime=3560.23 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 176125 0 0 0 355269 754 0 0 20 0 20 0 58917950 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039770 5529 1 0 1054347 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4159080 CPUtime=3535.67 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 90004 0 0 0 352910 657 0 0 20 0 20 0 58917951 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=8832 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2208 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=4159080 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3560.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4159080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3682.11 s]
/proc/loadavg: 3.90 4.11 4.15 4/320 75376
/proc/meminfo: memFree=95619596/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19063512 memory=4159080 CPUtime=3600.02 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 176882 0 0 0 359241 761 0 0 20 0 20 0 58917950 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4765878 1039770 5529 1 0 1054347 0
[pid=74996/tid=74998] ppid=74993 vsize=19063512 memory=4159080 CPUtime=3575.12 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 90570 0 0 0 356848 664 0 0 20 0 20 0 58917951 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19063512 memory=4159080 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58917953 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2258 0 0 0 0 0 0 0 20 0 20 0 58917954 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75016] ppid=74993 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/74996/task/75016/stat : 75016 (Timer-0) S 74993 74996 73289 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58918155 19521036288 1039770 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4159080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.67 s, system=7.63609 s

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

[startup+3682.21 s]
/proc/loadavg: 3.90 4.11 4.15 4/320 75376
/proc/meminfo: memFree=95619596/131250000 swapFree=33010416/33010684
[pid=74996] ppid=74993 vsize=19263204 memory=4159976 CPUtime=3600.21 cores=1,3
/proc/74996/stat : 74996 (java) S 74993 74996 73289 0 -1 4194304 178909 0 0 0 359260 761 0 0 20 0 21 0 58917950 19725520896 1039994 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
/proc/74996/statm: 4815801 1039994 5561 1 0 1055310 0
[pid=74996/tid=74998] ppid=74993 vsize=19263204 memory=215587488049 CPUtime=3575.22 cores=1,3
/proc/74996/task/74998/stat : 74998 (java) R 74993 74996 73289 0 -1 4194368 90679 0 0 0 356858 664 0 0 20 0 21 0 58917951 19725520896 1039994 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75007] ppid=74993 vsize=19263204 memory=54113165640434 CPUtime=0 cores=1,3
/proc/74996/task/75007/stat : 75007 (Finalizer) S 74993 74996 73289 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 58917953 19725520896 1039994 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
[pid=74996/tid=75014] ppid=74993 vsize=19263204 memory=231821 CPUtime=0 cores=1,3
/proc/74996/task/75014/stat : 75014 (Common-Cleaner) S 74993 74996 73289 0 -1 4194368 2258 0 0 0 0 0 0 0 20 0 21 0 58917954 19725520896 1039994 18446744073709551615 94221614432256 94221614435952 140727560606880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94221614443768 94221614444560 94221625565184 140727560616240 140727560616422 140727560616422 140727560622024 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4159976 KiB

Child status: 143

Real time (s): 3682.3
CPU time (s): 3600.31
CPU user time (s): 3592.67
CPU system time (s): 7.63609
CPU usage (%): 97.7734
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4159976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.67
system time used= 7.63609
maximum resident set size= 4160104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14544104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115433
involuntary context switches= 25803


# summary of solver processes directly reported to runsolver:
#   pid: 74996
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3592.67
#   total CPU system time (s): 7.63609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69267 second user time and 17.2026 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-02 07:00:04
IDJOB=4502885
IDBENCH=155400
IDSOLVER=3364
FILE ID=nodeC016/4502885-1751432404
RUNJOBID= nodeC016-1751425182-73305
SLURM_JOB_ID= 9598358
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502885-1751432404/watcher-4502885-1751432404 -o /tmp/evaluation-result-4502885-1751432404/solver-4502885-1751432404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751425182-73305 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502885-1751432404 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502885-1751432404.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=636320406

nodeC016 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	: 0xb00002a
cpu MHz		: 3599.729
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.717
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3469.874
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.735
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.700
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2861.294
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.851
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117985980 kB
MemAvailable:   124012120 kB
Buffers:            3280 kB
Cached:          6821916 kB
SwapCached:           24 kB
Active:          6460696 kB
Inactive:        6218260 kB
Active(anon):    5866244 kB
Inactive(anon):     5672 kB
Active(file):     594452 kB
Inactive(file):  6212588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            117792 kB
Writeback:             8 kB
AnonPages:       5856572 kB
Mapped:           123480 kB
Shmem:             18048 kB
KReclaimable:     116680 kB
Slab:             209300 kB
SReclaimable:     116680 kB
SUnreclaim:        92620 kB
KernelStack:        4928 kB
PageTables:        14816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8059228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5658624 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432352 MiB
End job on nodeC016 at 2025-07-02 08:01:26