Trace number 4456021

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.31 3582.26

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MD5SUM16f89ea133c5fbcfee23ba2cd06c865f
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.268564
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 7728
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7727
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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.01/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.17	c See www.sat4j.org for details.
0.01/0.18	c version CUSTOM.v20240707
0.01/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.01/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.01/0.19	c java.vm.version	22.0.1+8-16
0.01/0.19	c java.vm.vendor	Oracle Corporation
0.01/0.19	c sun.arch.data.model	64
0.01/0.19	c java.version		22.0.1
0.01/0.19	c os.name		Linux
0.01/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.01/0.19	c os.arch		amd64
0.01/0.19	c Free memory 		2106806208
0.01/0.19	c Max memory 		16282288128
0.01/0.19	c Total memory 		2113929216
0.01/0.20	c Number of processors 	2
0.14/0.23	--- Begin Solver configuration ---
0.14/0.23	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.23	Learn all clauses as in MiniSAT
0.14/0.23	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.23	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.23	No reason simplification
0.14/0.23	Glucose 2.1 dynamic restart strategy
0.14/0.23	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.23	timeout=2147483s
0.14/0.23	DB Simplification allowed=false
0.14/0.23	Listener: none
0.14/0.23	--- End Solver configuration ---
0.14/0.23	c Pseudo Boolean Optimization by upper bound
0.14/0.23	c --- Begin Solver configuration ---
0.14/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.23	c Learn all clauses as in MiniSAT
0.14/0.23	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.23	c No reason simplification
0.14/0.23	c Glucose 2.1 dynamic restart strategy
0.14/0.23	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.23	c timeout=2147483s
0.14/0.23	c DB Simplification allowed=false
0.14/0.23	c Listener: none
0.14/0.23	c --- End Solver configuration ---
0.14/0.23	c solving HOME/instance-4456021-1721718385.wbo
0.14/0.23	c reading problem ... 
0.31/0.32	c ... done. Wall clock time 0.072s.
0.31/0.32	c declared #vars     6800
0.31/0.32	c internal #vars     6965
0.31/0.32	c #constraints  166
0.31/0.32	c constraints type 
0.31/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.31/0.32	c org.sat4j.specs.Constr$1 => 1
0.31/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 85
0.31/0.32	c 166 constraints processed.
0.31/0.32	c objective function length is 165 literals
1.84/1.37	c cleaning 2496 clauses out of 5000 with flag 32066/5000
3.53/2.80	c cleaning 4248 clauses out of 8504 with flag 71741/11000
5.37/4.61	c cleaning 5620 clauses out of 11256 with flag 123296/18000
8.03/7.25	c cleaning 6813 clauses out of 13638 with flag 184938/26002
11.50/10.61	c cleaning 7907 clauses out of 15824 with flag 252208/35001
16.07/15.12	c cleaning 8953 clauses out of 17916 with flag 327799/45000
21.68/20.57	c cleaning 9975 clauses out of 19967 with flag 404006/56004
22.18/21.06	c SATISFIABLE
22.18/21.06	c OPTIMIZING...
22.18/21.06	c Got one! Elapsed wall clock time (in seconds):20.826
22.18/21.07	o 277
22.18/21.10	c Got one! Elapsed wall clock time (in seconds):20.87
22.18/21.10	o 17
22.32/21.17	c Got one! Elapsed wall clock time (in seconds):20.927
22.32/21.17	o 7
22.49/21.24	c Got one! Elapsed wall clock time (in seconds):21.001
22.49/21.24	o 4
24.50/23.10	c cleaning 8027 clauses out of 16072 with flag 27162/62084
27.09/25.67	c cleaning 7010 clauses out of 14043 with flag 68375/68082
30.44/28.98	c cleaning 7009 clauses out of 14035 with flag 116548/75084
34.28/32.75	c cleaning 7505 clauses out of 15025 with flag 175321/83083
38.72/37.14	c cleaning 8248 clauses out of 16519 with flag 246058/92082
40.58/38.99	c cleaning 9123 clauses out of 18272 with flag 316290/102083
44.22/42.41	c cleaning 10061 clauses out of 20151 with flag 405228/113085
48.46/46.38	c cleaning 11027 clauses out of 22087 with flag 506969/125082
54.21/51.90	c cleaning 12015 clauses out of 24061 with flag 618663/138083
61.57/59.21	c cleaning 13002 clauses out of 26045 with flag 739284/152082
68.76/66.20	c cleaning 14007 clauses out of 28043 with flag 871892/167082
77.28/74.61	c cleaning 15001 clauses out of 30036 with flag 1007896/183082
87.44/84.66	c cleaning 16001 clauses out of 32036 with flag 1153357/200083
100.58/97.12	c cleaning 17005 clauses out of 34037 with flag 1302633/218085
113.44/110.10	c cleaning 18003 clauses out of 36029 with flag 1453825/237082
127.38/123.91	c cleaning 18999 clauses out of 38027 with flag 1615746/257083
142.99/139.59	c cleaning 19993 clauses out of 40027 with flag 1785792/278082
157.73/154.09	c cleaning 21003 clauses out of 42035 with flag 1987297/300083
173.96/170.13	c cleaning 22000 clauses out of 44032 with flag 2179465/323083
195.13/190.43	c cleaning 23001 clauses out of 46032 with flag 2389023/347083
216.46/211.85	c cleaning 24003 clauses out of 48032 with flag 2616137/372084
235.28/230.54	c cleaning 24995 clauses out of 50027 with flag 2831365/398082
259.23/254.51	c cleaning 25998 clauses out of 52032 with flag 3099747/425082
284.60/279.88	c Got one! Elapsed wall clock time (in seconds):279.642
284.60/279.88	o 3
285.40/280.69	c cleaning 27829 clauses out of 55670 with flag 34353/454718
286.19/281.45	c cleaning 16914 clauses out of 33840 with flag 73797/460717
287.37/282.58	c cleaning 11952 clauses out of 23927 with flag 119999/467718
288.96/284.15	c cleaning 9979 clauses out of 19974 with flag 182194/475717
291.08/286.15	c cleaning 9481 clauses out of 18995 with flag 248302/484717
292.77/287.82	c cleaning 9743 clauses out of 19514 with flag 321462/494717
295.28/290.20	c cleaning 10380 clauses out of 20771 with flag 402160/505717
298.57/293.55	c cleaning 11188 clauses out of 22392 with flag 487554/517718
302.50/297.37	c cleaning 12096 clauses out of 24204 with flag 587512/530718
306.49/301.32	c cleaning 13049 clauses out of 26109 with flag 700445/544719
309.69/304.49	c Got one! Elapsed wall clock time (in seconds):304.258
309.69/304.49	o 1
313.04/307.71	c cleaning 14457 clauses out of 28931 with flag 36077/560590
314.63/309.35	c cleaning 10229 clauses out of 20477 with flag 83917/566593
315.77/310.34	c cleaning 8609 clauses out of 17245 with flag 136265/573590
317.37/311.97	c cleaning 8301 clauses out of 16637 with flag 183957/581591
320.60/314.83	c cleaning 8647 clauses out of 17336 with flag 244857/590591
323.70/317.99	c cleaning 9322 clauses out of 18688 with flag 307337/600590
328.42/322.55	c cleaning 10167 clauses out of 20371 with flag 374571/611595
334.81/328.70	c cleaning 11083 clauses out of 22201 with flag 459712/623592
341.19/335.13	c cleaning 12032 clauses out of 24116 with flag 550984/636590
349.12/342.92	c cleaning 13024 clauses out of 26085 with flag 650848/650591
358.33/352.03	c cleaning 14009 clauses out of 28060 with flag 752701/665590
369.06/362.65	c cleaning 15006 clauses out of 30052 with flag 865600/681591
381.82/375.36	c cleaning 16001 clauses out of 32045 with flag 978110/698590
395.08/388.52	c cleaning 17001 clauses out of 34044 with flag 1094076/716590
411.66/405.09	c cleaning 18003 clauses out of 36050 with flag 1221380/735597
428.78/422.05	c cleaning 18994 clauses out of 38042 with flag 1347949/755592
449.68/442.65	c cleaning 19998 clauses out of 40046 with flag 1492945/776590
470.28/462.65	c cleaning 20992 clauses out of 42050 with flag 1663492/798592
495.23/487.78	c cleaning 22003 clauses out of 44058 with flag 1862886/821592
524.00/516.29	c cleaning 23006 clauses out of 46053 with flag 2094701/845590
549.11/541.27	c cleaning 24002 clauses out of 48047 with flag 2358241/870590
571.92/563.78	c cleaning 24995 clauses out of 50045 with flag 2636469/896590
592.75/584.49	c cleaning 26000 clauses out of 52051 with flag 2925162/923591
624.56/616.12	c cleaning 26999 clauses out of 54050 with flag 3204372/951590
652.16/643.64	c cleaning 27993 clauses out of 56052 with flag 3504740/980591
682.54/673.85	c cleaning 28999 clauses out of 58058 with flag 3826087/1010590
716.24/707.37	c cleaning 30001 clauses out of 60060 with flag 4125159/1041591
753.58/744.71	c cleaning 30999 clauses out of 62058 with flag 4410819/1073590
801.69/791.99	c cleaning 32001 clauses out of 64061 with flag 4668710/1106592
848.93/838.93	c cleaning 33003 clauses out of 66060 with flag 4938756/1140592
898.24/888.37	c cleaning 34003 clauses out of 68056 with flag 5236209/1175591
951.18/941.23	c cleaning 34999 clauses out of 70052 with flag 5557715/1211590
1010.91/1000.98	c cleaning 35999 clauses out of 72053 with flag 5881234/1248590
1059.87/1049.60	c cleaning 36998 clauses out of 74054 with flag 6195335/1286590
1117.26/1106.83	c cleaning 38002 clauses out of 76058 with flag 6512635/1325592
1181.49/1171.21	c cleaning 38998 clauses out of 78055 with flag 6831286/1365591
1254.19/1244.28	c cleaning 40001 clauses out of 80057 with flag 7159880/1406591
1321.96/1312.28	c cleaning 41000 clauses out of 82055 with flag 7513885/1448590
1398.28/1387.63	c cleaning 41997 clauses out of 84055 with flag 7886366/1491590
1490.21/1479.63	c cleaning 42993 clauses out of 86058 with flag 8277438/1535590
1529.60/1518.79	c cleaning 44002 clauses out of 88066 with flag 8606750/1580591
1574.74/1563.78	c cleaning 44997 clauses out of 90063 with flag 8940156/1626590
1616.15/1604.95	c cleaning 45998 clauses out of 92066 with flag 9332426/1673590
1657.98/1646.57	c cleaning 47004 clauses out of 94071 with flag 9693808/1721593
1705.85/1694.19	c cleaning 48002 clauses out of 96069 with flag 10037161/1770595
1762.88/1750.88	c cleaning 49000 clauses out of 98064 with flag 10361007/1820592
1832.31/1820.32	c cleaning 49991 clauses out of 100062 with flag 10687606/1871590
1901.75/1889.66	c cleaning 51004 clauses out of 102071 with flag 11031957/1923590
1985.07/1970.74	c cleaning 52001 clauses out of 104067 with flag 11562153/1976590
2064.57/2050.22	c cleaning 52997 clauses out of 106068 with flag 11996476/2030592
2110.07/2095.89	c cleaning 54022 clauses out of 108071 with flag 12381560/2085592
2174.38/2160.05	c cleaning 55014 clauses out of 110051 with flag 12767598/2141594
2245.13/2231.08	c cleaning 56002 clauses out of 112033 with flag 13145686/2198590
2317.39/2303.09	c cleaning 57004 clauses out of 114031 with flag 13567822/2256590
2377.87/2363.34	c cleaning 57986 clauses out of 116027 with flag 13965194/2315590
2449.29/2434.30	c cleaning 58999 clauses out of 118043 with flag 14377425/2375592
2520.29/2505.66	c cleaning 60002 clauses out of 120043 with flag 14789079/2436591
2577.71/2562.86	c cleaning 60992 clauses out of 122041 with flag 15191545/2498591
2668.19/2653.76	c cleaning 61991 clauses out of 124048 with flag 15635407/2561590
2755.72/2741.01	c cleaning 63002 clauses out of 126058 with flag 16048747/2625591
2853.60/2836.49	c cleaning 64000 clauses out of 128055 with flag 16491134/2690590
2986.39/2969.16	c cleaning 64995 clauses out of 130055 with flag 16945843/2756590
3135.47/3118.40	c cleaning 66006 clauses out of 132060 with flag 17416997/2823590
3280.82/3264.15	c cleaning 66996 clauses out of 134054 with flag 17931047/2891590
3418.38/3401.16	c cleaning 68002 clauses out of 136059 with flag 18471138/2960591
3476.91/3459.40	c cleaning 69013 clauses out of 138057 with flag 18952743/3030591
3563.34/3545.65	c cleaning 69996 clauses out of 140043 with flag 19509136/3101590
3600.06/3582.12	c starts		: 89
3600.06/3582.13	c conflicts		: 3148029
3600.06/3582.13	c decisions		: 3816011
3600.06/3582.13	c propagations		: 51740659
3600.06/3582.13	c inspects		: 12424109146
3600.06/3582.13	c shortcuts		: 0
3600.06/3582.13	c learnt literals	: 0
3600.06/3582.13	c learnt binary clauses	: 0
3600.06/3582.13	c learnt ternary clauses	: 0
3600.06/3582.13	c learnt constraints	: 3148029
3600.06/3582.13	c ignored constraints	: 0
3600.06/3582.13	c root simplifications	: 0
3600.06/3582.13	c removed literals (reason simplification)	: 0
3600.06/3582.13	c reason swapping (by a shorter reason)	: 0
3600.06/3582.13	c Calls to reduceDB	: 107
3600.06/3582.13	c Number of update (reduction) of LBD	: 1614966
3600.06/3582.13	c Imported unit clauses	: 0
3600.06/3582.13	c No decision after first conflict	: false
3600.06/3582.13	c number of reductions to clauses (during analyze)	: 0
3600.06/3582.13	c number of learned constraints concerned by reduction	: 0
3600.06/3582.13	c number of learning phase by resolution	: 0
3600.06/3582.13	c number of learning phase by cutting planes	: 0
3600.06/3582.13	c number of rounding to 1 operations	: 0
3600.06/3582.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3582.13	c number of reductions of the coefficients by power 2 	: 0
3600.06/3582.13	c number of right shift for reduction by power 2 	: 0
3600.06/3582.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3582.13	c number of ending skipping 	: 0
3600.06/3582.13	c number of internal skipping 	: 0
3600.06/3582.13	c number of derivation steps 	: 0
3600.06/3582.13	c number of skipped derivation steps 	: 0
3600.06/3582.13	c number of remaining unassigned 	: 0
3600.06/3582.13	c number of remaining assigned 	: 0
3600.06/3582.13	c number of falsified literals weakened from reason	: 0
3600.06/3582.13	c number of falsified literals weakened from conflict	: 0
3600.06/3582.13	c time for arithmetic operations	: 0
3600.06/3582.14	c minimum degree of deleted constraints	: null
3600.06/3582.14	c maximum degree of deleted constraints	: null
3600.06/3582.14	c number of deleted constraints	: 0
3600.06/3582.14	c speed (assignments/second)	: 14445.467240978818
3600.06/3582.14	c non guided choices	: 82995
3600.06/3582.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 116486
3600.06/3582.20	s SATISFIABLE
3600.06/3582.20	c Found 6 solution(s)
3600.06/3582.20	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 
3600.25/3582.22	c objective function=1
3600.25/3582.22	c Total wall clock time (in seconds): 3581.986

Verifier Data 

OK	1

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: 63931 MiB (52898 MiB free)
  memory of node 1: 64510 MiB (54436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456021-1721718385/watcher-4456021-1721718385 -o /tmp/evaluation-result-4456021-1721718385/solver-4456021-1721718385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86938 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456021-1721718385.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=87004, runsolver pid=86997
Current StackSize limit: 8192 KiB

Starting watchdog thread

[startup+0.10006 s]*
/proc/loadavg: 1.74 2.00 2.06 3/284 87030
/proc/meminfo: memFree=109792584/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=18175400 memory=40896 CPUtime=0.01 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 5139 0 72 0 0 1 0 0 20 0 7 0 8367160 18611609600 10224 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4543850 10224 3951 1 0 544778 0
[pid=87004/tid=87008] ppid=86997 vsize=18175400 memory=4026561586 CPUtime=0.01 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) D 86997 87004 86928 0 -1 4194368 4572 0 72 0 0 1 0 0 20 0 7 0 8367161 18611609600 10224 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 8 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 40896 KiB

[startup+0.208149 s]*
/proc/loadavg: 1.92 2.04 2.07 7/328 87074
/proc/meminfo: memFree=109714992/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=18975048 memory=62568 CPUtime=0.14 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 7279 0 101 0 11 3 0 0 20 0 18 0 8367160 19430449152 15642 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4743762 15642 5560 1 0 549318 0
[pid=87004/tid=87008] ppid=86997 vsize=18975048 memory=7885630755128410243 CPUtime=0.09 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 5772 0 88 0 7 2 0 0 20 0 18 0 8367161 19430449152 15642 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=18975048 memory=17996 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8367173 19430449152 15642 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=18975048 memory=14135537057400351 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8367174 19430449152 15642 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62568 KiB

[startup+0.306096 s]*
/proc/loadavg: 1.92 2.04 2.07 16/329 87075
/proc/meminfo: memFree=109674732/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=18975048 memory=75108 CPUtime=0.31 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 7681 0 102 0 28 3 0 0 20 0 18 0 8367160 19430449152 18777 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4743762 18777 5766 1 0 549584 0
[pid=87004/tid=87008] ppid=86997 vsize=18975048 memory=-6000919476934108775 CPUtime=0.17 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 5949 0 89 0 15 2 0 0 20 0 18 0 8367161 19430449152 18777 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=18975048 memory=-4421386522051568735 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8367173 19430449152 18777 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8367174 19430449152 18777 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75108 KiB

[startup+0.701153 s]
/proc/loadavg: 1.92 2.04 2.07 12/332 87078
/proc/meminfo: memFree=109621056/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19041612 memory=94000 CPUtime=1.06 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 11394 0 102 0 102 4 0 0 20 0 19 0 8367160 19498610688 23500 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4760403 23500 5830 1 0 551816 0
[pid=87004/tid=87008] ppid=86997 vsize=19041612 memory=31948 CPUtime=0.52 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 6101 0 89 0 50 2 0 0 20 0 19 0 8367161 19498610688 23500 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8367173 19498610688 23500 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19041612 memory=5440 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 8367174 19498610688 23500 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19041612 memory=16084 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8367194 19498610688 23500 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94000 KiB

[startup+1.50028 s]
/proc/loadavg: 1.92 2.04 2.07 7/332 87078
/proc/meminfo: memFree=109517804/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19041612 memory=149040 CPUtime=2.15 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 15525 0 102 0 210 5 0 0 20 0 19 0 8367160 19498610688 37260 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4760403 37260 5833 1 0 552090 0
[pid=87004/tid=87008] ppid=86997 vsize=19041612 memory=0 CPUtime=1.33 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 7231 0 89 0 129 4 0 0 20 0 19 0 8367161 19498610688 37260 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8367173 19498610688 37260 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19041612 memory=33 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 8367174 19498610688 37260 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8367194 19498610688 37260 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 2.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149040 KiB

[startup+3.10603 s]
/proc/loadavg: 1.92 2.04 2.07 6/336 87082
/proc/meminfo: memFree=109109860/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=221240 CPUtime=3.84 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 16514 0 102 0 377 7 0 0 20 0 20 0 8367160 19566772224 55310 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 55310 5865 1 0 552385 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=0 CPUtime=2.86 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 7558 0 89 0 282 4 0 0 20 0 20 0 8367161 19566772224 55310 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 55310 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=-6000919476934108775 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 55310 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=31249 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 55310 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221240 KiB

[startup+6.30027 s]
/proc/loadavg: 2.17 2.09 2.09 7/336 87084
/proc/meminfo: memFree=108738032/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=377920 CPUtime=7.13 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 17256 0 102 0 703 10 0 0 20 0 20 0 8367160 19566772224 94480 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 94480 5868 1 0 552385 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=0 CPUtime=5.87 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 7600 0 89 0 583 4 0 0 20 0 20 0 8367161 19566772224 94480 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 94480 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 94480 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=155184 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 94480 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 377920 KiB

[startup+12.7003 s]
/proc/loadavg: 2.40 2.14 2.10 6/336 87084
/proc/meminfo: memFree=108112860/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=583868 CPUtime=13.67 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 19786 0 102 0 1352 15 0 0 20 0 20 0 8367160 19566772224 145967 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 145967 5868 1 0 686050 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=155184 CPUtime=12.11 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 8394 0 89 0 1206 5 0 0 20 0 20 0 8367161 19566772224 145967 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 145967 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=553148 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 145967 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 145967 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 13.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 583868 KiB

[startup+25.5003 s]
/proc/loadavg: 2.64 2.20 2.12 6/336 87085
/proc/meminfo: memFree=106563260/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=944340 CPUtime=26.99 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 26363 0 102 0 2677 22 0 0 20 0 20 0 8367160 19566772224 236085 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 236085 5883 1 0 686178 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=0 CPUtime=24.62 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 10547 0 89 0 2456 6 0 0 20 0 20 0 8367161 19566772224 236085 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=944336 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 236085 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=944336 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 236085 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=-6000919476934108775 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 236085 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 944340 KiB

[startup+51.1062 s]
/proc/loadavg: 3.18 2.37 2.19 6/336 87090
/proc/meminfo: memFree=104391180/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=1812908 CPUtime=53.41 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 40334 0 102 0 5300 41 0 0 20 0 20 0 8367160 19566772224 453227 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 453227 5883 1 0 820230 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=-6000919476934108775 CPUtime=49.16 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 12572 0 89 0 4909 7 0 0 20 0 20 0 8367161 19566772224 453227 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=1386976 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 453227 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=1192284 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 453227 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=-6000919476934108775 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 453227 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 53.41 s

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

[startup+3222.3 s]
/proc/loadavg: 4.42 4.40 4.22 6/336 88858
/proc/meminfo: memFree=72491904/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3239.13 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 300739 0 102 0 323545 368 0 0 20 0 20 0 8367160 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3004999 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=6651152 CPUtime=3171.19 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 102959 0 89 0 317049 70 0 0 20 0 20 0 8367161 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=5440 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=6712 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2279 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3239.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12019996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.39 4.22 6/337 88885
/proc/meminfo: memFree=72490520/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3299.38 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 307221 0 102 0 329567 371 0 0 20 0 20 0 8367160 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3004999 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3230.57 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 105731 0 89 0 322985 72 0 0 20 0 20 0 8367161 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=6651152 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3299.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12019996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.32 4.21 6/337 88897
/proc/meminfo: memFree=72485936/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3359.22 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 308314 0 102 0 335550 372 0 0 20 0 20 0 8367160 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3004999 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=6651152 CPUtime=3290.38 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 106820 0 89 0 328966 72 0 0 20 0 20 0 8367161 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3359.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12019996 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.29 4.20 6/337 88908
/proc/meminfo: memFree=72485152/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3419.57 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 314618 0 102 0 341583 374 0 0 20 0 20 0 8367160 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3004999 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=6651152 CPUtime=3349.66 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 108871 0 89 0 334894 72 0 0 20 0 20 0 8367161 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=31948 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3419.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12019996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.26 4.19 6/334 88918
/proc/meminfo: memFree=72480440/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3479.81 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 316828 0 102 0 347605 376 0 0 20 0 20 0 8367160 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3004999 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=12019996 CPUtime=3409.05 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 110070 0 89 0 340833 72 0 0 20 0 20 0 8367161 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=6651152 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2477 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12019996 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3004999 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3479.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12019996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.23 4.18 6/334 88931
/proc/meminfo: memFree=72454360/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12020000 CPUtime=3540.11 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 317823 0 102 0 353633 378 0 0 20 0 20 0 8367160 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3005000 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=6651152 CPUtime=3468.35 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 110343 0 89 0 346762 73 0 0 20 0 20 0 8367161 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=31948 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2477 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12020000 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3540.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12020000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.11 s]
/proc/loadavg: 4.19 4.22 4.18 5/331 89009
/proc/meminfo: memFree=81516624/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19108176 memory=12020000 CPUtime=3600.06 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 323630 0 102 0 359627 379 0 0 20 0 20 0 8367160 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4777044 3005000 5900 1 0 3810402 0
[pid=87004/tid=87008] ppid=86997 vsize=19108176 memory=6651152 CPUtime=3527.19 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 112302 0 89 0 352646 73 0 0 20 0 20 0 8367161 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19108176 memory=12020000 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8367173 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2626 0 0 0 0 0 0 0 20 0 20 0 8367174 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87078] ppid=86997 vsize=19108176 memory=12020000 CPUtime=0 cores=0,2
/proc/87004/task/87078/stat : 87078 (Timer-0) S 86997 87004 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8367194 19566772224 3005000 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12020000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.47 s, system=3.83459 s

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

[startup+3582.21 s]
/proc/loadavg: 4.19 4.22 4.18 5/331 89009
/proc/meminfo: memFree=81516624/131524600 swapFree=131071996/131071996
[pid=87004] ppid=86997 vsize=19307868 memory=12020864 CPUtime=3600.25 cores=0,2
/proc/87004/stat : 87004 (java) S 86997 87004 86928 0 -1 1077936128 327690 0 102 0 359645 380 0 0 20 0 21 0 8367160 19771256832 3005216 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
/proc/87004/statm: 4826967 3005216 5900 1 0 3811329 0
[pid=87004/tid=87008] ppid=86997 vsize=19307868 memory=12020000 CPUtime=3527.27 cores=0,2
/proc/87004/task/87008/stat : 87008 (java) R 86997 87004 86928 0 -1 4194368 112716 0 89 0 352654 73 0 0 20 0 21 0 8367161 19771256832 3005216 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87042] ppid=86997 vsize=19307868 memory=-6000919476934108775 CPUtime=0 cores=0,2
/proc/87004/task/87042/stat : 87042 (Finalizer) S 86997 87004 86928 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 8367173 19771256832 3005216 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
[pid=87004/tid=87072] ppid=86997 vsize=19307868 memory=37168 CPUtime=0 cores=0,2
/proc/87004/task/87072/stat : 87072 (Common-Cleaner) S 86997 87004 86928 0 -1 1077936192 2626 0 0 0 0 0 0 0 20 0 21 0 8367174 19771256832 3005216 134679101440 94013465821184 94013465824880 140729486064688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013465832696 94013465833488 94013473292288 140729486070790 140729486070880 140729486070880 140729486077896 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12020864 KiB

Child status: 143

Real time (s): 3582.26
CPU time (s): 3600.31
CPU user time (s): 3596.47
CPU system time (s): 3.83459
CPU usage (%): 100.504
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12020864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.47
system time used= 3.83459
maximum resident set size= 12021724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327851
page faults= 102
swaps= 0
block input operations= 19064
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111589
involuntary context switches= 36318


# summary of solver processes directly reported to runsolver:
#   pid: 87004
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.47
#   total CPU system time (s): 3.83459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53175 second user time and 18.7737 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-23 09:06:25
IDJOB=4456021
IDBENCH=143156
IDSOLVER=3037
FILE ID=nodeC021/4456021-1721718385
RUNJOBID= nodeC021-1721718385-86938
SLURM_JOB_ID= 7770403
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456021-1721718385/watcher-4456021-1721718385 -o /tmp/evaluation-result-4456021-1721718385/solver-4456021-1721718385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86938 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4456021-1721718385.wbo

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

MD5SUM BENCH= 16f89ea133c5fbcfee23ba2cd06c865f
RANDOM SEED=1475989485

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.930
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3632.436
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3604.052
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3582.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3663.458
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3550.618
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3607.006
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3634.615
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109918496 kB
MemAvailable:   129676068 kB
Buffers:          144844 kB
Cached:         20348220 kB
SwapCached:            0 kB
Active:           891088 kB
Inactive:       19969868 kB
Active(anon):       1440 kB
Inactive(anon):   404848 kB
Active(file):     889648 kB
Inactive(file): 19565020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3136 kB
Writeback:             0 kB
AnonPages:        368344 kB
Mapped:           100812 kB
Shmem:             37720 kB
KReclaimable:     285104 kB
Slab:             391984 kB
SReclaimable:     285104 kB
SUnreclaim:       106880 kB
KernelStack:        3972 kB
PageTables:        10040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     830024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18144 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      297684 kB
DirectMap2M:    31981568 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC021 at 2024-07-23 10:06:07