Trace number 4440496

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 2024 2024-07-07SAT (TO)82 3600.27 3641.91

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4440496-1721820789.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
2.92/2.13	c ... done. Wall clock time 2.0s.
2.92/2.13	c declared #vars     7840
2.92/2.13	c #constraints  65280
2.92/2.13	c constraints type 
2.92/2.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65280
2.92/2.13	c 65280 constraints processed.
2.92/2.14	c objective function length is 7840 literals
3.21/2.39	c SATISFIABLE
3.21/2.39	c OPTIMIZING...
3.21/2.39	c Got one! Elapsed wall clock time (in seconds):2.266
3.36/2.40	o 83
3.36/2.46	c Got one! Elapsed wall clock time (in seconds):2.33
3.36/2.46	o 82
7.40/4.59	c cleaning 2478 clauses out of 5011 with flag 26589/5011
10.17/6.70	c cleaning 4260 clauses out of 8534 with flag 63084/11012
12.93/9.35	c cleaning 5621 clauses out of 11273 with flag 96268/18011
16.05/12.45	c cleaning 6759 clauses out of 13652 with flag 132481/26011
19.44/15.85	c cleaning 7927 clauses out of 15893 with flag 192133/35011
23.24/19.69	c cleaning 8986 clauses out of 17972 with flag 234693/45017
27.62/24.03	c cleaning 9972 clauses out of 19980 with flag 278297/56011
32.51/28.91	c cleaning 10979 clauses out of 22010 with flag 326804/68013
37.80/34.22	c cleaning 12013 clauses out of 24031 with flag 375481/81013
43.53/49.89	c cleaning 12991 clauses out of 26018 with flag 429951/95013
49.58/55.94	c cleaning 13966 clauses out of 28025 with flag 497677/110011
56.12/62.59	c cleaning 15003 clauses out of 30059 with flag 561267/126011
63.03/69.49	c cleaning 15997 clauses out of 32056 with flag 629192/143011
70.48/76.93	c cleaning 16999 clauses out of 34059 with flag 703784/161011
77.94/84.47	c cleaning 17995 clauses out of 36060 with flag 782065/180011
86.13/92.62	c cleaning 19033 clauses out of 38065 with flag 856274/200011
94.72/101.28	c cleaning 20006 clauses out of 40032 with flag 936957/221011
103.80/110.45	c cleaning 21001 clauses out of 42030 with flag 1017757/243015
113.27/119.97	c cleaning 21967 clauses out of 44025 with flag 1101571/266011
123.28/129.94	c cleaning 22991 clauses out of 46060 with flag 1198668/290013
133.48/140.29	c cleaning 24020 clauses out of 48067 with flag 1297141/315011
144.15/151.00	c cleaning 24997 clauses out of 50047 with flag 1393524/341011
155.22/162.06	c cleaning 25970 clauses out of 52050 with flag 1502750/368011
167.20/174.11	c cleaning 26964 clauses out of 54080 with flag 1600369/396011
179.46/186.49	c cleaning 27999 clauses out of 56116 with flag 1700278/425011
192.36/199.56	c cleaning 29040 clauses out of 58119 with flag 1804518/455013
205.73/212.96	c cleaning 29953 clauses out of 60077 with flag 1912466/486011
219.29/226.54	c cleaning 31049 clauses out of 62124 with flag 2032334/518011
233.18/240.78	c cleaning 32011 clauses out of 64078 with flag 2158170/551014
247.45/255.07	c cleaning 33020 clauses out of 66064 with flag 2280926/585011
262.04/269.88	c cleaning 34006 clauses out of 68045 with flag 2414142/620012
277.61/285.41	c cleaning 35010 clauses out of 70042 with flag 2548177/656015
293.38/301.34	c cleaning 36008 clauses out of 72028 with flag 2687936/693011
309.97/317.93	c cleaning 37009 clauses out of 74020 with flag 2825214/731011
326.64/334.71	c cleaning 37971 clauses out of 76011 with flag 2968341/770011
343.83/351.92	c cleaning 38988 clauses out of 78040 with flag 3110347/810011
361.38/369.61	c cleaning 40009 clauses out of 80055 with flag 3268127/851014
379.10/387.62	c cleaning 41010 clauses out of 82043 with flag 3432904/893011
397.55/406.15	c cleaning 41967 clauses out of 84033 with flag 3593393/936011
416.17/424.87	c cleaning 43003 clauses out of 86070 with flag 3761072/980015
435.61/444.33	c cleaning 43984 clauses out of 88063 with flag 3913486/1025011
455.29/464.17	c cleaning 45017 clauses out of 90086 with flag 4080909/1071018
475.53/484.58	c cleaning 46001 clauses out of 92063 with flag 4253767/1118012
496.20/505.22	c cleaning 47013 clauses out of 94061 with flag 4438535/1166011
516.97/526.15	c cleaning 47999 clauses out of 96048 with flag 4629885/1215011
538.86/548.18	c cleaning 48998 clauses out of 98049 with flag 4824533/1265011
561.64/571.01	c cleaning 49958 clauses out of 100051 with flag 4994397/1316011
585.05/594.56	c cleaning 50981 clauses out of 102095 with flag 5172506/1368013
609.06/618.62	c cleaning 51997 clauses out of 104114 with flag 5348019/1421013
633.74/643.44	c cleaning 52996 clauses out of 106115 with flag 5519294/1475011
659.93/674.18	c cleaning 54004 clauses out of 108121 with flag 5692274/1530013
690.43/704.77	c cleaning 54993 clauses out of 110115 with flag 5859316/1586011
715.98/730.35	c cleaning 56022 clauses out of 112123 with flag 6077243/1643012
740.38/754.71	c cleaning 57052 clauses out of 114103 with flag 6315928/1701014
765.14/779.69	c cleaning 57977 clauses out of 116048 with flag 6567565/1760011
790.99/805.55	c cleaning 58967 clauses out of 118071 with flag 6802186/1820011
817.45/832.07	c cleaning 59982 clauses out of 120105 with flag 7025095/1881012
844.32/859.09	c cleaning 60986 clauses out of 122122 with flag 7252868/1943011
871.78/886.50	c cleaning 62021 clauses out of 124136 with flag 7497840/2006011
899.83/915.57	c cleaning 63040 clauses out of 126116 with flag 7723969/2070012
928.11/943.99	c cleaning 63982 clauses out of 128075 with flag 7983808/2135011
957.12/973.37	c cleaning 65019 clauses out of 130093 with flag 8241733/2201011
987.29/1003.87	c cleaning 66004 clauses out of 132074 with flag 8477900/2268011
1018.54/1035.35	c cleaning 67017 clauses out of 134070 with flag 8707647/2336011
1050.26/1067.17	c cleaning 68002 clauses out of 136055 with flag 8940944/2405013
1084.20/1101.16	c cleaning 68973 clauses out of 138055 with flag 9155201/2475015
1118.16/1135.14	c cleaning 70009 clauses out of 140079 with flag 9389848/2546012
1149.81/1166.88	c cleaning 71032 clauses out of 142069 with flag 9646281/2618011
1182.28/1199.30	c cleaning 72016 clauses out of 144039 with flag 9920483/2691013
1214.41/1231.55	c cleaning 72995 clauses out of 146021 with flag 10215688/2765011
1246.54/1263.95	c cleaning 73967 clauses out of 148026 with flag 10521208/2840011
1278.80/1296.49	c cleaning 75030 clauses out of 150059 with flag 10847674/2916011
1312.05/1330.10	c cleaning 75974 clauses out of 152031 with flag 11181051/2993013
1346.26/1364.55	c cleaning 77021 clauses out of 154061 with flag 11512416/3071017
1379.69/1398.21	c cleaning 77977 clauses out of 156035 with flag 11874459/3150012
1413.83/1432.67	c cleaning 79001 clauses out of 158061 with flag 12205308/3230015
1449.48/1468.42	c cleaning 80005 clauses out of 160057 with flag 12518467/3311012
1486.24/1505.42	c cleaning 81017 clauses out of 162052 with flag 12816261/3393012
1523.17/1542.60	c cleaning 82007 clauses out of 164034 with flag 13153898/3476011
1560.44/1580.17	c cleaning 82993 clauses out of 166028 with flag 13494172/3560012
1598.68/1618.72	c cleaning 83996 clauses out of 168035 with flag 13823556/3645012
1636.18/1656.51	c cleaning 84997 clauses out of 170038 with flag 14153809/3731011
1675.17/1695.84	c cleaning 85976 clauses out of 172041 with flag 14479888/3818011
1715.41/1736.27	c cleaning 87003 clauses out of 174065 with flag 14818873/3906011
1752.73/1773.62	c cleaning 87933 clauses out of 176062 with flag 15278843/3995011
1791.98/1812.97	c cleaning 89011 clauses out of 178129 with flag 15706630/4085011
1831.71/1852.70	c cleaning 90014 clauses out of 180118 with flag 16112925/4176011
1872.23/1893.30	c cleaning 91009 clauses out of 182104 with flag 16508489/4268011
1913.20/1934.47	c cleaning 92012 clauses out of 184099 with flag 16925278/4361015
1954.30/1975.69	c cleaning 93015 clauses out of 186083 with flag 17304721/4455011
1997.28/2018.69	c cleaning 94015 clauses out of 188074 with flag 17689829/4550017
2040.73/2062.49	c cleaning 94930 clauses out of 190053 with flag 18059113/4646011
2085.04/2106.98	c cleaning 96026 clauses out of 192123 with flag 18458371/4743011
2129.10/2151.59	c cleaning 96991 clauses out of 194097 with flag 18835108/4841011
2174.80/2197.26	c cleaning 98037 clauses out of 196106 with flag 19206674/4940011
2219.86/2242.46	c cleaning 99015 clauses out of 198069 with flag 19610947/5040011
2265.70/2291.31	c cleaning 100017 clauses out of 200054 with flag 20036106/5141011
2309.74/2335.71	c cleaning 100988 clauses out of 202039 with flag 20532838/5243013
2355.41/2381.10	c cleaning 101941 clauses out of 204049 with flag 21018895/5346011
2401.31/2427.57	c cleaning 103022 clauses out of 206108 with flag 21467442/5450011
2448.46/2474.88	c cleaning 104015 clauses out of 208086 with flag 21893064/5555011
2495.82/2522.35	c cleaning 105014 clauses out of 210073 with flag 22319562/5661013
2543.72/2570.62	c cleaning 105980 clauses out of 212057 with flag 22735185/5768011
2593.00/2620.36	c cleaning 107018 clauses out of 214077 with flag 23150185/5876011
2642.29/2669.74	c cleaning 107985 clauses out of 216059 with flag 23605278/5985011
2692.31/2719.85	c cleaning 109007 clauses out of 218074 with flag 24027287/6095011
2741.48/2769.13	c cleaning 110014 clauses out of 220067 with flag 24527505/6206011
2791.17/2818.86	c cleaning 111003 clauses out of 222057 with flag 25004179/6318015
2842.65/2870.47	c cleaning 112014 clauses out of 224053 with flag 25439806/6431014
2893.44/2921.46	c cleaning 112947 clauses out of 226036 with flag 25941585/6545011
2943.92/2972.32	c cleaning 114007 clauses out of 228089 with flag 26438630/6660011
2994.24/3023.01	c cleaning 114979 clauses out of 230082 with flag 27000080/6776011
3045.89/3074.79	c cleaning 116028 clauses out of 232103 with flag 27574236/6893011
3097.16/3126.14	c cleaning 116976 clauses out of 234075 with flag 28153972/7011011
3150.71/3179.92	c cleaning 118033 clauses out of 236100 with flag 28778822/7130012
3202.81/3241.57	c cleaning 119003 clauses out of 238066 with flag 29335600/7250011
3255.74/3295.30	c cleaning 119977 clauses out of 240063 with flag 29939572/7371011
3309.30/3349.44	c cleaning 121005 clauses out of 242086 with flag 30505169/7493011
3363.84/3404.17	c cleaning 122003 clauses out of 244083 with flag 31077729/7616013
3418.50/3459.32	c cleaning 122943 clauses out of 246078 with flag 31696226/7740011
3473.26/3514.38	c cleaning 124054 clauses out of 248139 with flag 32334593/7865015
3528.90/3570.36	c cleaning 125032 clauses out of 250081 with flag 32974253/7991011
3585.06/3626.52	c cleaning 126021 clauses out of 252051 with flag 33584308/8118013
3600.05/3641.61	c starts		: 2426
3600.05/3641.62	c conflicts		: 8152409
3600.05/3641.62	c decisions		: 67975535
3600.05/3641.62	c propagations		: 13966737366
3600.05/3641.62	c inspects		: 2253964557
3600.05/3641.62	c shortcuts		: 0
3600.05/3641.62	c learnt literals	: 0
3600.05/3641.62	c learnt binary clauses	: 0
3600.05/3641.62	c learnt ternary clauses	: 0
3600.05/3641.62	c learnt constraints	: 8152409
3600.05/3641.62	c ignored constraints	: 0
3600.05/3641.62	c root simplifications	: 0
3600.05/3641.62	c removed literals (reason simplification)	: 35544061
3600.05/3641.62	c reason swapping (by a shorter reason)	: 0
3600.05/3641.62	c Calls to reduceDB	: 123
3600.05/3641.62	c Number of update (reduction) of LBD	: 4775723
3600.05/3641.62	c Imported unit clauses	: 0
3600.05/3641.62	c No decision after first conflict	: false
3600.05/3641.62	c number of reductions to clauses (during analyze)	: 0
3600.05/3641.62	c number of learned constraints concerned by reduction	: 0
3600.05/3641.62	c number of learning phase by resolution	: 0
3600.05/3641.62	c number of learning phase by cutting planes	: 0
3600.05/3641.62	c number of rounding to 1 operations	: 0
3600.05/3641.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3641.62	c number of reductions of the coefficients by power 2 	: 0
3600.05/3641.62	c number of right shift for reduction by power 2 	: 0
3600.05/3641.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3641.62	c number of ending skipping 	: 0
3600.05/3641.62	c number of internal skipping 	: 0
3600.05/3641.62	c number of derivation steps 	: 0
3600.05/3641.62	c number of skipped derivation steps 	: 0
3600.05/3641.62	c number of remaining unassigned 	: 0
3600.05/3641.62	c number of remaining assigned 	: 0
3600.05/3641.62	c number of falsified literals weakened from reason	: 0
3600.05/3641.62	c number of falsified literals weakened from conflict	: 0
3600.05/3641.62	c time for arithmetic operations	: 0
3600.05/3641.62	c minimum degree of deleted constraints	: null
3600.05/3641.62	c maximum degree of deleted constraints	: null
3600.05/3641.62	c number of deleted constraints	: 0
3600.05/3641.62	c speed (assignments/second)	: 3837580.8542136974
3600.05/3641.62	c non guided choices	: 36
3600.05/3641.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 160426
3600.05/3641.68	s SATISFIABLE
3600.05/3641.68	c Found 2 solution(s)
3600.05/3641.68	v -x1 x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 -x25 x26 -x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 x415 x416 x417 x418 x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 x3412 x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 
3600.05/3641.69	c objective function=82
3600.05/3641.69	c Total wall clock time (in seconds): 3641.571

Verifier Data 

OK	82

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (50065 MiB free)
  memory of node 1: 64510 MiB (52049 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440496-1721820789/watcher-4440496-1721820789 -o /tmp/evaluation-result-4440496-1721820789/solver-4440496-1721820789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172937 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440496-1721820789 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440496-1721820789.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=175723, runsolver pid=175720

[startup+0.10101 s]*
/proc/loadavg: 4.16 4.19 4.11 8/336 175741
/proc/meminfo: memFree=104521380/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=18975048 memory=65208 CPUtime=0.14 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 7240 0 0 0 11 3 0 0 20 0 18 0 18609228 19430449152 16302 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4743762 16302 5628 1 0 549381 0
[pid=175723/tid=175725] ppid=175720 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 1078198336 5767 0 0 0 7 2 0 0 20 0 18 0 18609228 19430449152 16302 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 16302 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=18975048 memory=14692998043934266 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 16302 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65208 KiB

[startup+0.206147 s]*
/proc/loadavg: 4.16 4.19 4.11 7/336 175741
/proc/meminfo: memFree=104503348/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=18975048 memory=83024 CPUtime=0.33 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 8227 0 0 0 30 3 0 0 20 0 18 0 18609228 19430449152 20756 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4743762 20756 5812 1 0 550135 0
[pid=175723/tid=175725] ppid=175720 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 5928 0 0 0 16 2 0 0 20 0 18 0 18609228 19430449152 20756 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=18975048 memory=1318339 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 20756 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 20756 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83024 KiB

[startup+0.307147 s]*
/proc/loadavg: 4.16 4.19 4.11 7/336 175741
/proc/meminfo: memFree=104462844/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=18975048 memory=122648 CPUtime=0.53 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 9168 0 0 0 49 4 0 0 20 0 18 0 18609228 19430449152 30662 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4743762 30662 5812 1 0 550683 0
[pid=175723/tid=175725] ppid=175720 vsize=18975048 memory=-9177037961464423100 CPUtime=0.28 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 5957 0 0 0 25 3 0 0 20 0 18 0 18609228 19430449152 30662 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 30662 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18609231 19430449152 30662 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 122648 KiB

[startup+0.701134 s]
/proc/loadavg: 4.16 4.19 4.11 7/337 175742
/proc/meminfo: memFree=104412976/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19041612 memory=187624 CPUtime=1.29 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 16947 0 0 0 122 7 0 0 20 0 19 0 18609228 19498610688 46906 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4760403 46906 5828 1 0 555763 0
[pid=175723/tid=175725] ppid=175720 vsize=19041612 memory=5552 CPUtime=0.63 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 5976 0 0 0 59 4 0 0 20 0 19 0 18609228 19498610688 46906 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19041612 memory=12348 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18609231 19498610688 46906 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18609231 19498610688 46906 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 187624 KiB

[startup+1.50115 s]
/proc/loadavg: 4.16 4.19 4.11 6/337 175742
/proc/meminfo: memFree=104322568/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19041612 memory=538484 CPUtime=2.3 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 18831 0 0 0 216 14 0 0 20 0 19 0 18609228 19498610688 134621 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4760403 134621 5833 1 0 982473 0
[pid=175723/tid=175725] ppid=175720 vsize=19041612 memory=12348 CPUtime=1.34 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 6125 0 0 0 125 9 0 0 20 0 19 0 18609228 19498610688 134621 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18609231 19498610688 134621 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18609231 19498610688 134621 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 538484 KiB

[startup+3.10615 s]
/proc/loadavg: 4.16 4.19 4.11 6/338 175743
/proc/meminfo: memFree=103895208/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=678980 CPUtime=4.74 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 19596 0 0 0 456 18 0 0 20 0 20 0 18609228 19566772224 169745 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 169745 5919 1 0 982949 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=0 CPUtime=2.84 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 6323 0 0 0 272 12 0 0 20 0 20 0 18609228 19566772224 169745 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 169745 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=632692 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 169745 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 169745 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 678980 KiB

[startup+6.30025 s]
/proc/loadavg: 4.23 4.21 4.12 6/338 175743
/proc/meminfo: memFree=103773752/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=806644 CPUtime=9.76 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 20470 0 0 0 954 22 0 0 20 0 20 0 18609228 19566772224 201661 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 201661 5919 1 0 1145910 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=0 CPUtime=5.97 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 6545 0 0 0 582 15 0 0 20 0 20 0 18609228 19566772224 201661 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 201661 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=679644 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 201661 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 201661 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 806644 KiB

[startup+12.7003 s]
/proc/loadavg: 4.29 4.22 4.12 5/338 175745
/proc/meminfo: memFree=103508364/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=1071556 CPUtime=16.34 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 27080 0 0 0 1604 30 0 0 20 0 20 0 18609228 19566772224 267889 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 267889 5919 1 0 1145919 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=-9177037961464423100 CPUtime=12.29 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 7479 0 0 0 1208 21 0 0 20 0 20 0 18609228 19566772224 267889 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=1003972 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 267889 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 267889 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 267889 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 16.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1071556 KiB

[startup+25.5003 s]
/proc/loadavg: 4.39 4.24 4.13 8/337 175813
/proc/meminfo: memFree=114445332/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=1343948 CPUtime=29.12 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 28982 0 0 0 2873 39 0 0 20 0 20 0 18609228 19566772224 335987 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 335987 5919 1 0 1145921 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=11576 CPUtime=25.04 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 9161 0 0 0 2474 30 0 0 20 0 20 0 18609228 19566772224 335987 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=1343948 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 335987 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=1286604 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 335987 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=3582 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 335987 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 29.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1343948 KiB

[startup+51.1062 s]
/proc/loadavg: 4.25 4.22 4.12 5/337 175819
/proc/meminfo: memFree=111600160/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=2359824 CPUtime=44.82 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 33221 0 0 0 4420 62 0 0 20 0 20 0 18609228 19566772224 589956 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 589956 5930 1 0 1145937 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=1800 CPUtime=40.7 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 11909 0 0 0 4018 52 0 0 20 0 20 0 18609228 19566772224 589956 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 983 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=1985040 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 589956 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=1921552 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 589956 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 589956 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0

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

Current children cumulated memory: 4521784 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/334 177571
/proc/meminfo: memFree=88799780/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4521784 CPUtime=3243.12 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 269351 0 0 0 323461 851 0 0 20 0 20 0 18609228 19566772224 1130446 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1130446 5930 1 0 1147072 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=61340 CPUtime=3221.56 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 137015 0 0 0 321428 728 0 0 20 0 20 0 18609228 19566772224 1130446 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3698 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=4521784 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1130446 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3662 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1130446 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=61340 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1130446 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3243.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4521784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/337 177752
/proc/meminfo: memFree=88443828/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4525888 CPUtime=3302.22 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 273420 0 0 0 329359 863 0 0 20 0 20 0 18609228 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1131472 5930 1 0 1147072 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=5552 CPUtime=3280.21 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 139248 0 0 0 327282 739 0 0 20 0 20 0 18609228 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3790 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=4525888 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3716 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=4525888 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3302.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4525888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/337 177763
/proc/meminfo: memFree=88075152/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4525888 CPUtime=3362.03 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 276674 0 0 0 335327 876 0 0 20 0 20 0 18609228 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1131472 5930 1 0 1147072 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=5552 CPUtime=3339.6 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 141390 0 0 0 333210 750 0 0 20 0 20 0 18609228 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3810 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=4525888 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3771 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1131472 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3362.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4525888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/338 177832
/proc/meminfo: memFree=87704296/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4527972 CPUtime=3421.5 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 279150 0 0 0 341260 890 0 0 20 0 20 0 18609228 19566772224 1131993 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1131993 5930 1 0 1147075 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=11576 CPUtime=3398.81 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 143463 0 0 0 339118 763 0 0 20 0 20 0 18609228 19566772224 1131993 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3843 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=4527972 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131993 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=4527972 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131993 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1131993 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3421.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4527972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/338 177843
/proc/meminfo: memFree=87341960/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4527976 CPUtime=3481.24 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 282038 0 0 0 347221 903 0 0 20 0 20 0 18609228 19566772224 1131994 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1131994 5930 1 0 1147075 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=4527972 CPUtime=3458.18 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 145286 0 0 0 345043 775 0 0 20 0 20 0 18609228 19566772224 1131994 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3869 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=4525888 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131994 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=26672 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3879 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1131994 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=4527976 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1131994 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3481.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4527976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/338 177855
/proc/meminfo: memFree=86702012/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4530028 CPUtime=3540.86 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 285420 0 0 0 353169 917 0 0 20 0 20 0 18609228 19566772224 1132507 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1132507 5930 1 0 1147075 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=25664 CPUtime=3517.57 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 147468 0 0 0 350969 788 0 0 20 0 20 0 18609228 19566772224 1132507 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3881 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=4530028 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1132507 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 3988 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1132507 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=61340 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1132507 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3540.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4530028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3641.6 s]
/proc/loadavg: 4.55 4.24 4.18 5/336 177865
/proc/meminfo: memFree=86362128/131524600 swapFree=131055772/131071996
[pid=175723] ppid=175720 vsize=19108176 memory=4530036 CPUtime=3600.05 cores=0,2
/proc/175723/stat : 175723 (java) S 175720 175723 172927 0 -1 1077936128 288752 0 0 0 359074 931 0 0 20 0 20 0 18609228 19566772224 1132509 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
/proc/175723/statm: 4777044 1132509 5930 1 0 1147075 0
[pid=175723/tid=175725] ppid=175720 vsize=19108176 memory=25664 CPUtime=3576.37 cores=0,2
/proc/175723/task/175725/stat : 175725 (java) R 175720 175723 172927 0 -1 4194368 149558 0 0 0 356836 801 0 0 20 0 20 0 18609228 19566772224 1132509 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3892 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175734] ppid=175720 vsize=19108176 memory=1800 CPUtime=0 cores=0,2
/proc/175723/task/175734/stat : 175734 (Finalizer) S 175720 175723 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1132509 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175741] ppid=175720 vsize=19108176 memory=4530036 CPUtime=0 cores=0,2
/proc/175723/task/175741/stat : 175741 (Common-Cleaner) S 175720 175723 172927 0 -1 1077936192 4061 0 0 0 0 0 0 0 20 0 20 0 18609231 19566772224 1132509 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
[pid=175723/tid=175743] ppid=175720 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/175723/task/175743/stat : 175743 (Timer-0) S 175720 175723 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609443 19566772224 1132509 134679101440 94381689716736 94381689720432 140729796094816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94381689728248 94381689729040 94381703102464 140729796096939 140729796097121 140729796097121 140729796104136 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4530036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.94 s, system=9.33699 s

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

[startup+3641.8 s]*
/proc/loadavg: 4.55 4.24 4.18 4/318 177868
/proc/meminfo: memFree=90870436/131524600 swapFree=131055772/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3641.91 s]
/proc/loadavg: 4.55 4.24 4.18 4/318 177868
/proc/meminfo: memFree=90870436/131524600 swapFree=131055772/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3641.91
CPU time (s): 3600.27
CPU user time (s): 3590.94
CPU system time (s): 9.33699
CPU usage (%): 98.8567
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4530144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.94
system time used= 9.33699
maximum resident set size= 4531280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14226648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111944
involuntary context switches= 30482


# summary of solver processes directly reported to runsolver:
#   pid: 175723
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3590.94
#   total CPU system time (s): 9.33699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36612 second user time and 17.7927 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-24 13:33:09
IDJOB=4440496
IDBENCH=155400
IDSOLVER=3079
FILE ID=nodeC035/4440496-1721820789
RUNJOBID= nodeC035-1721817189-172937
SLURM_JOB_ID= 7816901
Free space on /tmp= 890028 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440496-1721820789/watcher-4440496-1721820789 -o /tmp/evaluation-result-4440496-1721820789/solver-4440496-1721820789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172937 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440496-1721820789 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440496-1721820789.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=854333241

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104565532 kB
MemAvailable:   123706600 kB
Buffers:          248564 kB
Cached:         19663948 kB
SwapCached:         3464 kB
Active:          2260368 kB
Inactive:       23981536 kB
Active(anon):       1924 kB
Inactive(anon):  6373028 kB
Active(file):    2258444 kB
Inactive(file): 17608508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055772 kB
Dirty:             90936 kB
Writeback:             0 kB
AnonPages:       6325320 kB
Mapped:           127212 kB
Shmem:             45208 kB
KReclaimable:     227524 kB
Slab:             350012 kB
SReclaimable:     227524 kB
SUnreclaim:       122488 kB
KernelStack:        5124 kB
PageTables:        22424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7429892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6049792 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC035 at 2024-07-24 14:33:52