Trace number 4509479

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06OPT cert.29 1482.2 1464.59

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
MD5SUM152bb06216511240edab5f108e287529
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1.42268
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10432
Total number of constraints716
Number of constraints which are clauses325
Number of constraints which are cardinality constraints (but not clauses)325
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint326
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 119831
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 269644
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.14	c version PB25.v20250606
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.17	c java.version		22.0.1
0.11/0.17	c os.name		Linux
0.11/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.17	c os.arch		amd64
0.11/0.17	c Free memory 		2104792832
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2113929216
0.11/0.18	c Number of processors 	2
0.26/0.29	c Pseudo Boolean Optimization by upper bound
0.26/0.29	c --- Begin Solver configuration ---
0.26/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.26/0.29	c Learn all clauses as in MiniSAT
0.26/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.29	c Expensive reason simplification
0.26/0.29	c Glucose 2.1 dynamic restart strategy
0.26/0.29	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.26/0.29	c timeout=2147483s
0.26/0.29	c DB Simplification allowed=false
0.26/0.29	c Listener: none
0.26/0.29	c --- End Solver configuration ---
0.26/0.29	c solving HOME/instance-4509479-1751521667.opb
0.26/0.29	c reading problem ... 
0.26/0.31	c using VERIPB proof format
0.26/0.31	c  objective function found
0.76/0.60	c ... done. Wall clock time 0.312s.
0.76/0.60	c declared #vars     10432
0.76/0.60	c #constraints  716
0.76/0.60	c constraints type 
0.95/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 325
0.95/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.95/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 325
0.95/0.60	c 716 constraints processed.
0.95/0.64	c objective function length is 32 literals
1.92/1.17	c SATISFIABLE
1.92/1.17	c OPTIMIZING...
1.92/1.17	c Got one! Elapsed wall clock time (in seconds):0.88
1.92/1.17	o 32
4.05/2.23	c Got one! Elapsed wall clock time (in seconds):1.941
4.05/2.23	o 31
5.24/2.83	c cleaning 2846 clauses out of 5695 with flag 6597/5695
6.92/3.87	c cleaning 4415 clauses out of 8850 with flag 36485/11696
8.63/5.33	c cleaning 5702 clauses out of 11434 with flag 75242/18695
10.47/7.08	c cleaning 6856 clauses out of 13733 with flag 117211/26696
12.57/9.05	c cleaning 7920 clauses out of 15876 with flag 167365/35695
15.59/12.04	c cleaning 8964 clauses out of 17956 with flag 218553/45695
17.98/14.41	c cleaning 9975 clauses out of 19992 with flag 277428/56695
21.46/17.95	c cleaning 10992 clauses out of 22017 with flag 340844/68695
24.99/21.46	c cleaning 11998 clauses out of 24027 with flag 412367/81697
28.31/24.75	c cleaning 12997 clauses out of 26027 with flag 488039/95695
32.59/28.86	c cleaning 14000 clauses out of 28032 with flag 571832/110697
37.01/33.30	c cleaning 15002 clauses out of 30031 with flag 659452/126696
41.66/37.71	c cleaning 16002 clauses out of 32030 with flag 757124/143697
45.89/41.90	c cleaning 16997 clauses out of 34027 with flag 852070/161696
51.07/47.02	c cleaning 17999 clauses out of 36031 with flag 956034/180697
56.66/52.51	c cleaning 18998 clauses out of 38030 with flag 1060022/200695
62.31/58.03	c cleaning 20001 clauses out of 40032 with flag 1175037/221695
67.42/63.02	c cleaning 21001 clauses out of 42033 with flag 1292091/243697
74.32/69.87	c cleaning 21992 clauses out of 44030 with flag 1427643/266695
81.84/77.22	c cleaning 23004 clauses out of 46039 with flag 1566088/290696
88.04/83.39	c cleaning 23998 clauses out of 48034 with flag 1711117/315695
95.46/90.60	c cleaning 25002 clauses out of 50038 with flag 1855215/341697
105.30/100.20	c cleaning 25993 clauses out of 52035 with flag 2013735/368696
113.47/108.39	c cleaning 27001 clauses out of 54041 with flag 2171176/396695
122.54/117.36	c cleaning 28007 clauses out of 56041 with flag 2335569/425696
132.72/127.31	c cleaning 28999 clauses out of 58033 with flag 2504860/455695
143.21/137.51	c cleaning 29995 clauses out of 60034 with flag 2686075/486695
152.40/146.67	c cleaning 30999 clauses out of 62040 with flag 2871782/518696
163.68/157.71	c cleaning 32001 clauses out of 64041 with flag 3053272/551696
174.33/168.32	c cleaning 33003 clauses out of 66041 with flag 3236337/585697
187.04/181.00	c cleaning 33999 clauses out of 68037 with flag 3434886/620696
199.84/193.69	c cleaning 34998 clauses out of 70037 with flag 3645395/656695
212.63/206.68	c cleaning 36003 clauses out of 72040 with flag 3850498/693696
226.29/220.05	c cleaning 37001 clauses out of 74036 with flag 4070840/731695
238.31/232.08	c cleaning 37998 clauses out of 76035 with flag 4282743/770695
252.24/245.92	c cleaning 39001 clauses out of 78039 with flag 4511824/810697
272.41/266.13	c cleaning 40001 clauses out of 80036 with flag 4753682/851695
288.24/282.01	c cleaning 40993 clauses out of 82036 with flag 5001955/893696
303.35/297.07	c cleaning 42002 clauses out of 84042 with flag 5250313/936695
311.81/305.40	c cleaning 43009 clauses out of 86040 with flag 5437803/980695
316.70/310.53	c Got one! Elapsed wall clock time (in seconds):310.246
316.70/310.53	o 30
317.42/311.28	c cleaning 35492 clauses out of 71017 with flag 16450/1008681
318.53/312.26	c cleaning 20750 clauses out of 41526 with flag 36890/1014682
319.43/313.17	c cleaning 13871 clauses out of 27776 with flag 63484/1021682
320.62/314.38	c cleaning 10925 clauses out of 21904 with flag 98490/1029681
322.02/315.75	c cleaning 9968 clauses out of 19979 with flag 138324/1038681
323.72/317.32	c cleaning 9986 clauses out of 20011 with flag 178673/1048681
325.31/318.97	c cleaning 10499 clauses out of 21025 with flag 216651/1059681
327.32/320.91	c cleaning 11247 clauses out of 22526 with flag 260732/1071681
331.30/324.88	c cleaning 12127 clauses out of 24279 with flag 315078/1084681
334.00/327.51	c cleaning 13061 clauses out of 26153 with flag 373346/1098682
336.80/330.20	c cleaning 14024 clauses out of 28092 with flag 434402/1113682
339.71/333.17	c cleaning 15023 clauses out of 30068 with flag 502545/1129682
343.09/336.45	c cleaning 16008 clauses out of 32045 with flag 579295/1146682
346.86/340.06	c cleaning 17008 clauses out of 34036 with flag 660517/1164681
351.94/345.59	c cleaning 17997 clauses out of 36031 with flag 750435/1183684
356.84/350.37	c cleaning 19003 clauses out of 38036 with flag 836983/1203686
361.03/354.49	c cleaning 19999 clauses out of 40028 with flag 932989/1224681
365.98/359.21	c cleaning 20995 clauses out of 42029 with flag 1033893/1246681
370.27/363.51	c cleaning 22001 clauses out of 44035 with flag 1137270/1269682
374.91/374.05	c cleaning 23007 clauses out of 46034 with flag 1233929/1293682
380.73/379.84	c cleaning 23992 clauses out of 48026 with flag 1344045/1318681
386.67/385.70	c cleaning 25000 clauses out of 50034 with flag 1457150/1344681
393.07/392.07	c cleaning 25999 clauses out of 52034 with flag 1580873/1371681
399.28/398.13	c cleaning 27000 clauses out of 54037 with flag 1727759/1399683
406.08/404.84	c cleaning 28002 clauses out of 56035 with flag 1888190/1428681
412.27/410.92	c cleaning 29004 clauses out of 58033 with flag 2028435/1458681
418.75/417.34	c cleaning 30000 clauses out of 60030 with flag 2160760/1489682
425.41/423.92	c cleaning 31002 clauses out of 62033 with flag 2292326/1521685
433.07/431.55	c cleaning 31996 clauses out of 64027 with flag 2450416/1554681
440.05/438.41	c cleaning 32994 clauses out of 66031 with flag 2598923/1588681
448.90/447.21	c cleaning 34002 clauses out of 68038 with flag 2764375/1623682
457.32/455.46	c cleaning 34998 clauses out of 70038 with flag 2945789/1659684
466.19/464.28	c cleaning 35993 clauses out of 72037 with flag 3130929/1696681
476.44/474.06	c cleaning 37001 clauses out of 74044 with flag 3333898/1734681
485.95/483.03	c cleaning 37997 clauses out of 76043 with flag 3523897/1773681
499.27/496.16	c cleaning 38995 clauses out of 78046 with flag 3738082/1813681
509.47/506.18	c cleaning 40008 clauses out of 80051 with flag 3961678/1854681
524.37/520.64	c cleaning 40998 clauses out of 82044 with flag 4198870/1896682
538.15/534.23	c cleaning 41999 clauses out of 84045 with flag 4437189/1939681
550.64/546.52	c cleaning 43007 clauses out of 86047 with flag 4685220/1983682
563.00/558.55	c cleaning 44003 clauses out of 88039 with flag 4915234/2028681
579.18/574.24	c cleaning 44997 clauses out of 90036 with flag 5157703/2074681
594.23/588.82	c cleaning 46006 clauses out of 92039 with flag 5441866/2121681
608.08/602.65	c cleaning 46995 clauses out of 94035 with flag 5715998/2169683
622.56/616.65	c cleaning 47996 clauses out of 96038 with flag 6002300/2218681
637.21/630.85	c cleaning 48997 clauses out of 98042 with flag 6246195/2268681
655.66/649.10	c cleaning 50002 clauses out of 100046 with flag 6506952/2319682
670.67/663.71	c cleaning 51001 clauses out of 102044 with flag 6767797/2371682
686.72/679.31	c cleaning 52000 clauses out of 104043 with flag 7037378/2424682
704.13/696.49	c cleaning 52998 clauses out of 106043 with flag 7319071/2478682
722.93/714.78	c cleaning 54001 clauses out of 108045 with flag 7608264/2533682
744.74/736.21	c cleaning 54993 clauses out of 110043 with flag 7910822/2589681
765.16/756.19	c cleaning 56008 clauses out of 112051 with flag 8214717/2646682
784.61/775.37	c cleaning 56994 clauses out of 114042 with flag 8504144/2704681
803.82/794.09	c cleaning 57999 clauses out of 116048 with flag 8790231/2763681
825.75/815.21	c cleaning 59004 clauses out of 118051 with flag 9117562/2823683
845.06/834.28	c cleaning 60005 clauses out of 120045 with flag 9422072/2884681
867.33/855.85	c cleaning 60991 clauses out of 122040 with flag 9760219/2946681
886.11/874.39	c cleaning 62002 clauses out of 124050 with flag 10109073/3009682
908.67/896.69	c cleaning 63005 clauses out of 126047 with flag 10459685/3073681
930.70/921.29	c cleaning 64000 clauses out of 128043 with flag 10816827/3138682
957.06/947.17	c cleaning 64999 clauses out of 130042 with flag 11208987/3204681
980.45/970.34	c cleaning 65997 clauses out of 132044 with flag 11581147/3271682
1006.68/996.01	c cleaning 67008 clauses out of 134048 with flag 11992795/3339683
1032.76/1021.76	c cleaning 67995 clauses out of 136038 with flag 12378432/3408681
1059.76/1048.32	c cleaning 69005 clauses out of 138045 with flag 12800921/3478683
1084.02/1072.30	c cleaning 69997 clauses out of 140038 with flag 13219951/3549681
1109.74/1097.64	c cleaning 71006 clauses out of 142042 with flag 13596544/3621682
1125.54/1113.05	c cleaning 72009 clauses out of 144036 with flag 13900835/3694682
1144.08/1131.14	c cleaning 73000 clauses out of 146026 with flag 14240741/3768681
1160.09/1146.89	c cleaning 73998 clauses out of 148026 with flag 14561908/3843681
1172.59/1159.00	c cleaning 74996 clauses out of 150028 with flag 14797851/3919681
1185.17/1171.20	c cleaning 75999 clauses out of 152032 with flag 15027376/3996681
1199.23/1185.08	c cleaning 77002 clauses out of 154033 with flag 15274914/4074681
1214.79/1199.94	c cleaning 77995 clauses out of 156032 with flag 15522038/4153682
1229.01/1214.01	c cleaning 79010 clauses out of 158038 with flag 15784061/4233683
1245.17/1229.90	c cleaning 79998 clauses out of 160026 with flag 16036770/4314681
1259.54/1244.30	c cleaning 81000 clauses out of 162028 with flag 16285427/4396681
1277.64/1262.39	c cleaning 82002 clauses out of 164028 with flag 16534910/4479681
1297.62/1281.81	c cleaning 82999 clauses out of 166026 with flag 16807730/4563681
1319.42/1303.74	c cleaning 84000 clauses out of 168027 with flag 17094906/4648681
1340.13/1324.72	c cleaning 84996 clauses out of 170028 with flag 17379726/4734682
1357.33/1341.79	c cleaning 86001 clauses out of 172032 with flag 17659637/4821682
1378.91/1363.07	c cleaning 86998 clauses out of 174030 with flag 17921571/4909681
1398.12/1381.90	c cleaning 87996 clauses out of 176032 with flag 18222565/4998681
1418.48/1402.08	c cleaning 89007 clauses out of 178037 with flag 18517243/5088682
1441.81/1425.09	c cleaning 90003 clauses out of 180030 with flag 18817118/5179682
1464.68/1447.77	c cleaning 91003 clauses out of 182026 with flag 19133393/5271681
1478.53/1461.53	c cleaning 91996 clauses out of 184023 with flag 19336786/5364681
1480.88/1463.83	c Got one! Elapsed wall clock time (in seconds):1463.539
1480.88/1463.83	o 29
1481.95/1464.49	c starts		: 104
1481.95/1464.50	c conflicts		: 5390159
1481.95/1464.50	c decisions		: 6290486
1481.95/1464.50	c propagations		: 278481947
1481.95/1464.50	c inspects		: 6463820112
1481.95/1464.50	c shortcuts		: 0
1481.95/1464.50	c learnt literals	: 29
1481.95/1464.50	c learnt binary clauses	: 115
1481.95/1464.50	c learnt ternary clauses	: 95
1481.95/1464.50	c learnt constraints	: 5390129
1481.95/1464.50	c ignored constraints	: 0
1481.95/1464.50	c root simplifications	: 0
1481.95/1464.50	c removed literals (reason simplification)	: 3068639
1481.95/1464.50	c reason swapping (by a shorter reason)	: 0
1481.95/1464.50	c Calls to reduceDB	: 129
1481.95/1464.50	c Number of update (reduction) of LBD	: 1098231
1481.95/1464.50	c Imported unit clauses	: 0
1481.95/1464.50	c No decision after first conflict	: false
1481.95/1464.50	c number of reductions to clauses (during analyze)	: 0
1481.95/1464.50	c number of learned constraints concerned by reduction	: 0
1481.95/1464.50	c number of learning phase by resolution	: 0
1481.95/1464.50	c number of learning phase by cutting planes	: 0
1481.95/1464.50	c number of rounding to 1 operations	: 0
1482.07/1464.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1482.07/1464.50	c number of reductions of the coefficients by power 2 	: 0
1482.07/1464.50	c number of right shift for reduction by power 2 	: 0
1482.07/1464.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
1482.07/1464.50	c number of ending skipping 	: 0
1482.07/1464.50	c number of internal skipping 	: 0
1482.07/1464.50	c number of derivation steps 	: 0
1482.07/1464.50	c number of skipped derivation steps 	: 0
1482.07/1464.50	c number of remaining unassigned 	: 0
1482.07/1464.50	c number of remaining assigned 	: 0
1482.07/1464.50	c number of falsified literals weakened from reason	: 0
1482.07/1464.50	c number of falsified literals weakened from conflict	: 0
1482.07/1464.50	c time for arithmetic operations	: 0
1482.07/1464.50	c minimum degree of deleted constraints	: null
1482.07/1464.50	c maximum degree of deleted constraints	: null
1482.07/1464.50	c number of deleted constraints	: 0
1482.07/1464.51	c speed (assignments/second)	: 190240.70048639196
1482.07/1464.51	c non guided choices	: 155563
1482.07/1464.51	s OPTIMUM FOUND
1482.07/1464.51	c Found 4 solution(s)
1482.07/1464.52	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 -x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 -x26 x27 x28 x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 -x4345 x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 x4586 x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 x4736 -x4737 x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 x4791 -x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 x7772 x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 x8109 -x8110 -x8111 -x8112 -x8113 -x8114 x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 x9143 x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 x9490 -x9491 -x9492 x9493 -x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 x9669 -x9670 -x9671 -x9672 -x9673 -x9674 x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 
1482.07/1464.53	c objective function=29
1482.07/1464.53	c Total wall clock time (in seconds): 1464.244

Verifier Data

OK	29

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 10:29:28 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 29 <= obj <= 29
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 29 <= obj <= 29
--summary--
ALL OK

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: 63794 MiB (502 MiB free)
  memory of node 1: 64507 MiB (38204 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=75259, runsolver pid=75256

[startup+0.100046 s]*
/proc/loadavg: 4.34 4.36 4.44 7/332 75277
/proc/meminfo: memFree=39610428/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=18930384 memory=49276 CPUtime=0.11 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6011 0 0 0 9 2 0 0 20 0 18 0 67845626 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4732596 12319 5338 1 0 547208 0
[pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 4846 0 0 0 5 2 0 0 20 0 18 0 67845628 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49276 KiB

[startup+0.206092 s]*
/proc/loadavg: 4.34 4.36 4.44 5/332 75277
/proc/meminfo: memFree=39604820/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=18930384 memory=57808 CPUtime=0.26 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6574 0 0 0 23 3 0 0 20 0 18 0 67845626 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4732596 14452 5370 1 0 547611 0
[pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5092 0 0 0 16 2 0 0 20 0 18 0 67845628 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=1593 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57808 KiB

[startup+0.308188 s]*
/proc/loadavg: 4.34 4.36 4.44 4/332 75277
/proc/meminfo: memFree=39604820/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=18930384 memory=59216 CPUtime=0.39 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6849 0 0 0 35 4 0 0 20 0 18 0 67845626 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4732596 14804 5434 1 0 547809 0
[pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=-6000919481296643944 CPUtime=0.25 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5240 0 0 0 23 2 0 0 20 0 18 0 67845628 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59216 KiB

[startup+0.700246 s]
/proc/loadavg: 4.34 4.36 4.44 7/332 75277
/proc/meminfo: memFree=39578356/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=18996948 memory=127620 CPUtime=1.12 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 10692 0 0 0 106 6 0 0 20 0 19 0 67845626 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4749237 31905 5466 1 0 550630 0
[pid=75259/tid=75261] ppid=75256 vsize=18996948 memory=18560 CPUtime=0.58 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 5438 0 0 0 54 4 0 0 20 0 19 0 67845628 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67845632 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67845633 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127620 KiB

[startup+1.50026 s]
/proc/loadavg: 4.34 4.36 4.44 6/334 75279
/proc/meminfo: memFree=39481064/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=184968 CPUtime=2.69 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 21233 0 0 0 260 9 0 0 20 0 20 0 67845626 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 46242 5530 1 0 554076 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=3200 CPUtime=1.29 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5995 0 0 0 124 5 0 0 20 0 20 0 67845628 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184968 KiB

[startup+3.10559 s]
/proc/loadavg: 4.34 4.36 4.44 6/334 75279
/proc/meminfo: memFree=39207476/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=391372 CPUtime=5.84 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 28244 0 0 0 569 15 0 0 20 0 20 0 67845626 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 97843 5530 1 0 795524 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=14720 CPUtime=2.78 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 7286 0 0 0 268 10 0 0 20 0 20 0 67845628 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 391372 KiB

[startup+6.30044 s]
/proc/loadavg: 4.31 4.36 4.44 6/334 75279
/proc/meminfo: memFree=38849952/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=642060 CPUtime=9.76 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 28590 0 0 0 952 24 0 0 20 0 20 0 67845626 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 160515 5562 1 0 795529 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=0 CPUtime=5.84 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 7427 0 0 0 567 17 0 0 20 0 20 0 67845628 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=185096 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 642060 KiB

[startup+12.7004 s]
/proc/loadavg: 4.29 4.35 4.43 5/334 75279
/proc/meminfo: memFree=37379784/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=1954916 CPUtime=16.27 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 31793 0 0 0 1570 57 0 0 20 0 20 0 67845626 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 488729 5562 1 0 795537 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=185096 CPUtime=12.08 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 9496 0 0 0 1161 47 0 0 20 0 20 0 67845628 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=1948760 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 16.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1954916 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.37 4.44 5/334 75279
/proc/meminfo: memFree=36328956/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=2611824 CPUtime=29.12 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 34574 0 0 0 2830 82 0 0 20 0 20 0 67845626 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 652956 5562 1 0 960551 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=0 CPUtime=24.67 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 10883 0 0 0 2397 70 0 0 20 0 20 0 67845628 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2611824 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=2476656 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 29.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611824 KiB

[startup+51.114 s]
/proc/loadavg: 4.30 4.35 4.43 5/333 75279
/proc/meminfo: memFree=35424796/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=2800596 CPUtime=55.27 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 40470 0 0 0 5423 104 0 0 20 0 20 0 67845626 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 700149 5562 1 0 960563 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=2611952 CPUtime=49.31 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 13460 0 0 0 4844 87 0 0 20 0 20 0 67845628 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=12416 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2308 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0

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

/proc/loadavg: 4.72 4.45 4.40 5/332 75562
/proc/meminfo: memFree=44091220/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1450.38 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 162368 0 0 0 143711 1327 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1380.61 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 77674 0 0 0 136875 1186 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1450.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1446.4 s]
/proc/loadavg: 5.20 4.58 4.45 5/332 75562
/proc/meminfo: memFree=43714484/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1463.37 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 163965 0 0 0 145001 1336 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1392.82 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78329 0 0 0 138088 1194 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1463.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1452.8 s]
/proc/loadavg: 5.27 4.60 4.45 5/332 75562
/proc/meminfo: memFree=43489996/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1469.76 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164082 0 0 0 145635 1341 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1399.21 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78446 0 0 0 138722 1199 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1469.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1459.2 s]
/proc/loadavg: 5.25 4.61 4.46 5/345 75576
/proc/meminfo: memFree=43286784/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1476.23 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164145 0 0 0 146277 1346 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1405.49 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78455 0 0 0 139346 1203 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1476.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1462.4 s]
/proc/loadavg: 5.23 4.62 4.46 5/345 75576
/proc/meminfo: memFree=43102456/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1479.43 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164896 0 0 0 146595 1348 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=14720 CPUtime=1408.68 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 79206 0 0 0 139663 1205 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1479.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1463.2 s]
/proc/loadavg: 5.23 4.62 4.46 5/345 75576
/proc/meminfo: memFree=43082548/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1480.22 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164980 0 0 0 146674 1348 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=23532 CPUtime=1409.48 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 79223 0 0 0 139742 1206 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=7956 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1480.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873484 KiB

[startup+1464 s]*
/proc/loadavg: 5.23 4.62 4.46 6/345 75576
/proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10873740 CPUtime=1481.26 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 166637 0 0 0 146777 1349 0 0 20 0 20 0 67845626 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718435 5562 1 0 2740150 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=-6000919472740067176 CPUtime=1410.2 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 80317 0 0 0 139814 1206 0 0 20 0 20 0 67845628 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=-4421386496180774496 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1481.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10873740 KiB

[startup+1464.4 s]
/proc/loadavg: 5.23 4.62 4.46 6/345 75576
/proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19063512 memory=10875148 CPUtime=1481.95 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 169568 0 0 0 146843 1352 0 0 20 0 20 0 67845626 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4765878 2718787 5562 1 0 2740150 0
[pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=-6000919481296643944 CPUtime=1410.51 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) D 75256 75259 73970 0 -1 4194368 80702 0 0 0 139843 1208 0 0 20 0 20 0 67845628 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=12288 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2696 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=17436 CPUtime=0 cores=1,3
/proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1481.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10875148 KiB

[startup+1464.5 s]
/proc/loadavg: 5.23 4.62 4.46 6/345 75576
/proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684
[pid=75259] ppid=75256 vsize=19196640 memory=10875532 CPUtime=1482.07 cores=1,3
/proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 170366 0 0 0 146854 1353 0 0 20 0 20 0 67845626 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
/proc/75259/statm: 4799160 2718883 5562 1 0 2740800 0
[pid=75259/tid=75261] ppid=75256 vsize=19196640 memory=10873484 CPUtime=1410.53 cores=1,3
/proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 81265 0 0 0 139844 1209 0 0 20 0 20 0 67845628 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75270] ppid=75256 vsize=19196640 memory=14720 CPUtime=0 cores=1,3
/proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
[pid=75259/tid=75277] ppid=75256 vsize=19196640 memory=10873484 CPUtime=0 cores=1,3
/proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0
Current children cumulated CPU time: 1482.07 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 10875532 KiB

Child status: 30

Real time (s): 1464.59
CPU time (s): 1482.2
CPU user time (s): 1468.61
CPU system time (s): 13.5874
CPU usage (%): 101.202
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 10875532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.61
system time used= 13.5874
maximum resident set size= 10875788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19815904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57974
involuntary context switches= 8318


# summary of solver processes directly reported to runsolver:
#   pid: 75259
#   total CPU time (s): 1482.2
#   total CPU user time (s): 1468.61
#   total CPU system time (s): 13.5874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08828 second user time and 15.7488 second system time

The end

Launcher Data

Begin job on nodeC001 at 2025-07-03 07:47:47
IDJOB=4509479
IDBENCH=158620
IDSOLVER=3364
FILE ID=nodeC001/4509479-1751521667
RUNJOBID= nodeC001-1751516281-73982
SLURM_JOB_ID= 9598627
Free space on /tmp= 432496 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509479-1751521667/watcher-4509479-1751521667 -o /tmp/evaluation-result-4509479-1751521667/solver-4509479-1751521667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509479-1751521667 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509479-1751521667.opb

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

MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=1732788525

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        39635756 kB
MemAvailable:   94132672 kB
Buffers:            1668 kB
Cached:         55233808 kB
SwapCached:          128 kB
Active:         35677108 kB
Inactive:       55003944 kB
Active(anon):   35435064 kB
Inactive(anon):    28380 kB
Active(file):     242044 kB
Inactive(file): 54975564 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7567580 kB
Writeback:             0 kB
AnonPages:      35448624 kB
Mapped:           123544 kB
Shmem:             17776 kB
KReclaimable:     237484 kB
Slab:             560964 kB
SReclaimable:     237484 kB
SUnreclaim:       323480 kB
KernelStack:        5072 kB
PageTables:        73044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   36024732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  34902016 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432496 MiB
End job on nodeC001 at 2025-07-03 08:12:12