Trace number 4432323

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 Default 2024-07-07SAT (TO)37 3600.4 3604.97

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM5d8f8888afb700f17245f1d666d6f5a0
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 benchmark24
Best CPU time to get the best result obtained on this benchmark4.77812
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
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 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
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 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432323-1721108311.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.51/0.32	c ... done. Wall clock time 0.188s.
0.51/0.32	c declared #vars     7437
0.51/0.32	c #constraints  23270
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832
0.51/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 596
0.51/0.32	c 23270 constraints processed.
0.51/0.33	c objective function length is 3612 literals
0.51/0.36	c SATISFIABLE
0.51/0.36	c OPTIMIZING...
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.231
0.51/0.37	o 39
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.258
0.51/0.39	o 38
0.70/0.42	c Got one! Elapsed wall clock time (in seconds):0.288
0.70/0.42	o 37
2.25/1.24	c cleaning 2502 clauses out of 5013 with flag 12028/5013
2.78/1.67	c cleaning 4250 clauses out of 8513 with flag 26200/11015
3.50/2.21	c cleaning 5623 clauses out of 11261 with flag 42894/18013
4.06/2.78	c cleaning 6815 clauses out of 13638 with flag 61475/26013
4.91/3.46	c cleaning 7906 clauses out of 15825 with flag 82478/35015
5.70/4.20	c cleaning 8947 clauses out of 17917 with flag 105752/45013
6.51/5.02	c cleaning 9976 clauses out of 19970 with flag 131398/56013
7.40/5.93	c cleaning 10985 clauses out of 21994 with flag 159526/68013
8.39/6.97	c cleaning 11997 clauses out of 24009 with flag 189965/81013
9.61/8.13	c cleaning 12993 clauses out of 26013 with flag 222754/95014
11.11/9.62	c cleaning 13999 clauses out of 28018 with flag 261973/110013
16.36/14.74	c cleaning 15001 clauses out of 30019 with flag 353031/126013
22.07/20.42	c cleaning 15995 clauses out of 32018 with flag 441327/143013
28.33/26.58	c cleaning 16997 clauses out of 34023 with flag 531354/161013
35.11/33.34	c cleaning 17984 clauses out of 36026 with flag 627795/180013
42.10/40.38	c cleaning 19010 clauses out of 38042 with flag 741044/200013
49.58/47.84	c cleaning 19999 clauses out of 40033 with flag 868343/221014
57.27/55.52	c cleaning 20998 clauses out of 42033 with flag 998608/243013
65.45/63.73	c cleaning 22015 clauses out of 44035 with flag 1130156/266013
73.94/72.27	c cleaning 22975 clauses out of 46021 with flag 1250349/290014
83.21/81.53	c cleaning 24013 clauses out of 48045 with flag 1402503/315013
92.99/91.30	c cleaning 25014 clauses out of 50033 with flag 1554483/341014
103.57/101.91	c cleaning 26006 clauses out of 52019 with flag 1683250/368014
114.34/112.78	c cleaning 26992 clauses out of 54012 with flag 1833020/396013
125.52/123.94	c cleaning 27991 clauses out of 56021 with flag 1985585/425014
137.49/135.98	c cleaning 28987 clauses out of 58029 with flag 2160104/455013
149.67/148.13	c cleaning 30013 clauses out of 60045 with flag 2322102/486016
162.14/160.68	c cleaning 31011 clauses out of 62030 with flag 2522391/518014
174.72/173.23	c cleaning 32003 clauses out of 64018 with flag 2749476/551013
188.11/186.66	c cleaning 33004 clauses out of 66018 with flag 2964157/585016
201.68/200.22	c cleaning 33989 clauses out of 68012 with flag 3152427/620014
215.46/214.05	c cleaning 34994 clauses out of 70022 with flag 3389430/656013
228.53/227.15	c cleaning 36005 clauses out of 72029 with flag 3594338/693014
241.80/240.44	c cleaning 36972 clauses out of 74023 with flag 3822819/731013
256.48/255.19	c cleaning 38003 clauses out of 76051 with flag 4093298/770013
271.54/270.28	c cleaning 39006 clauses out of 78048 with flag 4369836/810013
286.82/285.50	c cleaning 40002 clauses out of 80043 with flag 4652039/851014
302.00/300.76	c cleaning 41015 clauses out of 82041 with flag 4932323/893014
317.98/316.79	c cleaning 41998 clauses out of 84025 with flag 5248554/936013
334.74/333.54	c cleaning 43014 clauses out of 86030 with flag 5576976/980016
351.40/350.24	c cleaning 43998 clauses out of 88016 with flag 5894820/1025016
368.30/367.24	c cleaning 45006 clauses out of 90015 with flag 6194486/1071013
386.46/385.45	c cleaning 45996 clauses out of 92010 with flag 6519252/1118014
405.73/404.76	c cleaning 46998 clauses out of 94013 with flag 6866214/1166013
425.60/424.61	c cleaning 47994 clauses out of 96015 with flag 7185194/1215013
445.45/444.51	c cleaning 48978 clauses out of 98021 with flag 7459677/1265013
466.11/465.26	c cleaning 50004 clauses out of 100043 with flag 7735154/1316013
486.88/486.05	c cleaning 50993 clauses out of 102041 with flag 8056467/1368015
507.62/506.89	c cleaning 51992 clauses out of 104046 with flag 8424548/1421013
528.17/527.44	c cleaning 52995 clauses out of 106054 with flag 8779893/1475013
548.45/547.76	c cleaning 53999 clauses out of 108059 with flag 9115801/1530013
570.72/570.09	c cleaning 55011 clauses out of 110060 with flag 9490018/1586013
591.49/590.84	c cleaning 56015 clauses out of 112049 with flag 9869213/1643013
614.24/613.66	c cleaning 57009 clauses out of 114034 with flag 10252509/1701013
637.39/636.86	c cleaning 57938 clauses out of 116027 with flag 10653040/1760015
661.18/660.66	c cleaning 59024 clauses out of 118087 with flag 11054981/1820013
685.02/684.52	c cleaning 60026 clauses out of 120063 with flag 11420981/1881013
708.17/707.80	c cleaning 61001 clauses out of 122037 with flag 11783658/1943013
731.75/731.35	c cleaning 61975 clauses out of 124036 with flag 12155276/2006013
757.28/756.99	c cleaning 62986 clauses out of 126062 with flag 12575876/2070014
782.02/781.70	c cleaning 64009 clauses out of 128075 with flag 12965738/2135013
806.90/806.67	c cleaning 65024 clauses out of 130066 with flag 13337449/2201013
832.73/832.56	c cleaning 66017 clauses out of 132043 with flag 13717539/2268014
857.77/857.66	c cleaning 67001 clauses out of 134025 with flag 14154722/2336013
884.73/884.64	c cleaning 67976 clauses out of 136024 with flag 14544902/2405013
912.27/912.27	c cleaning 68988 clauses out of 138048 with flag 14978778/2475013
940.32/940.31	c cleaning 69989 clauses out of 140060 with flag 15443237/2546013
967.20/967.29	c cleaning 71017 clauses out of 142071 with flag 15900156/2618013
995.15/995.44	c cleaning 72011 clauses out of 144054 with flag 16321578/2691013
1022.43/1022.94	c cleaning 73002 clauses out of 146043 with flag 16788894/2765013
1050.78/1051.34	c cleaning 74009 clauses out of 148041 with flag 17264231/2840013
1082.67/1083.23	c cleaning 75004 clauses out of 150034 with flag 17709051/2916015
1113.00/1113.61	c cleaning 75996 clauses out of 152029 with flag 18198073/2993014
1143.94/1144.63	c cleaning 76997 clauses out of 154032 with flag 18673038/3071013
1176.66/1177.45	c cleaning 78005 clauses out of 156036 with flag 19101425/3150014
1207.34/1208.15	c cleaning 79013 clauses out of 158030 with flag 19604364/3230013
1239.27/1240.16	c cleaning 79999 clauses out of 160017 with flag 20069227/3311013
1271.70/1272.65	c cleaning 81002 clauses out of 162018 with flag 20535205/3393013
1305.23/1306.25	c cleaning 82001 clauses out of 164016 with flag 21085931/3476013
1339.41/1340.41	c cleaning 82997 clauses out of 166016 with flag 21522126/3560014
1373.25/1374.31	c cleaning 83978 clauses out of 168018 with flag 21978020/3645013
1406.99/1408.16	c cleaning 84999 clauses out of 170041 with flag 22484619/3731014
1439.11/1440.34	c cleaning 86009 clauses out of 172042 with flag 23045960/3818014
1472.14/1473.45	c cleaning 86998 clauses out of 174032 with flag 23608955/3906013
1504.38/1505.75	c cleaning 87997 clauses out of 176034 with flag 24177971/3995013
1537.82/1539.18	c cleaning 88984 clauses out of 178037 with flag 24686336/4085013
1571.05/1572.49	c cleaning 90005 clauses out of 180055 with flag 25207882/4176015
1604.87/1606.33	c cleaning 91010 clauses out of 182048 with flag 25725018/4268013
1635.31/1636.80	c cleaning 92016 clauses out of 184041 with flag 26225719/4361016
1671.93/1673.52	c cleaning 92996 clauses out of 186022 with flag 26739597/4455013
1708.83/1710.10	c cleaning 93987 clauses out of 188026 with flag 27379880/4550013
1744.86/1746.20	c cleaning 94994 clauses out of 190041 with flag 27985668/4646015
1784.07/1785.56	c cleaning 96020 clauses out of 192049 with flag 28578803/4743017
1823.99/1825.52	c cleaning 96998 clauses out of 194027 with flag 29106432/4841015
1863.49/1865.03	c cleaning 98011 clauses out of 196027 with flag 29701870/4940013
1903.30/1904.96	c cleaning 98987 clauses out of 198016 with flag 30318436/5040013
1943.22/1944.96	c cleaning 100004 clauses out of 200029 with flag 30900905/5141013
1981.54/1983.35	c cleaning 101003 clauses out of 202032 with flag 31525674/5243020
2018.76/2020.67	c cleaning 102002 clauses out of 204022 with flag 32198422/5346013
2059.21/2061.18	c cleaning 102988 clauses out of 206020 with flag 32866674/5450013
2101.45/2103.75	c cleaning 104004 clauses out of 208032 with flag 33466476/5555013
2145.06/2147.49	c cleaning 104978 clauses out of 210028 with flag 34105049/5661013
2189.57/2192.10	c cleaning 106002 clauses out of 212052 with flag 34758011/5768015
2234.97/2237.52	c cleaning 106996 clauses out of 214048 with flag 35390486/5876013
2281.41/2284.10	c cleaning 108016 clauses out of 216052 with flag 36064006/5985013
2325.61/2328.35	c cleaning 109006 clauses out of 218037 with flag 36766635/6095014
2368.03/2370.86	c cleaning 110004 clauses out of 220031 with flag 37491865/6206014
2411.24/2414.15	c cleaning 111009 clauses out of 222026 with flag 38220168/6318013
2452.85/2455.84	c cleaning 111986 clauses out of 224019 with flag 38906547/6431015
2498.72/2501.75	c cleaning 112998 clauses out of 226032 with flag 39555634/6545014
2544.83/2547.99	c cleaning 113995 clauses out of 228033 with flag 40207984/6660013
2591.13/2594.31	c cleaning 115007 clauses out of 230038 with flag 40866487/6776013
2640.23/2643.55	c cleaning 115987 clauses out of 232032 with flag 41540985/6893014
2687.33/2690.77	c cleaning 117003 clauses out of 234044 with flag 42253192/7011013
2736.03/2739.57	c cleaning 117998 clauses out of 236041 with flag 43008072/7130013
2786.72/2790.26	c cleaning 119007 clauses out of 238045 with flag 43690714/7250015
2837.12/2840.74	c cleaning 119952 clauses out of 240036 with flag 44391690/7371013
2887.01/2890.75	c cleaning 121035 clauses out of 242084 with flag 45090250/7493013
2934.92/2938.79	c cleaning 122000 clauses out of 244049 with flag 45787789/7616013
2986.30/2990.28	c cleaning 123020 clauses out of 246049 with flag 46597657/7740013
3039.48/3043.56	c cleaning 123998 clauses out of 248031 with flag 47309489/7865015
3092.75/3096.85	c cleaning 124988 clauses out of 250031 with flag 48106075/7991013
3145.92/3150.18	c cleaning 126017 clauses out of 252045 with flag 48842610/8118015
3197.39/3201.73	c cleaning 127003 clauses out of 254026 with flag 49680440/8246013
3248.96/3253.44	c cleaning 128001 clauses out of 256023 with flag 50570370/8375013
3302.44/3307.09	c cleaning 128991 clauses out of 258022 with flag 51436344/8505013
3358.17/3362.47	c cleaning 129987 clauses out of 260031 with flag 52156307/8636013
3411.76/3416.17	c cleaning 131015 clauses out of 262045 with flag 52851277/8768014
3463.24/3467.71	c cleaning 132004 clauses out of 264030 with flag 53604285/8901014
3512.71/3517.32	c cleaning 133002 clauses out of 266025 with flag 54442577/9035013
3564.19/3568.96	c cleaning 133990 clauses out of 268023 with flag 55307382/9170013
3600.08/3604.82	c starts		: 12537
3600.08/3604.82	c conflicts		: 9264301
3600.08/3604.82	c decisions		: 57496546
3600.08/3604.82	c propagations		: 27588850431
3600.08/3604.82	c inspects		: 27877887430
3600.08/3604.82	c shortcuts		: 0
3600.08/3604.82	c learnt literals	: 1
3600.08/3604.82	c learnt binary clauses	: 0
3600.08/3604.82	c learnt ternary clauses	: 28
3600.08/3604.82	c learnt constraints	: 9264300
3600.08/3604.82	c ignored constraints	: 0
3600.08/3604.82	c root simplifications	: 0
3600.08/3604.82	c removed literals (reason simplification)	: 0
3600.08/3604.82	c reason swapping (by a shorter reason)	: 0
3600.08/3604.82	c Calls to reduceDB	: 131
3600.08/3604.82	c Number of update (reduction) of LBD	: 5031254
3600.08/3604.82	c Imported unit clauses	: 0
3600.08/3604.82	c No decision after first conflict	: false
3600.08/3604.82	c number of reductions to clauses (during analyze)	: 0
3600.08/3604.82	c number of learned constraints concerned by reduction	: 0
3600.08/3604.82	c number of learning phase by resolution	: 0
3600.08/3604.82	c number of learning phase by cutting planes	: 0
3600.08/3604.82	c number of rounding to 1 operations	: 0
3600.08/3604.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3604.82	c number of reductions of the coefficients by power 2 	: 0
3600.08/3604.82	c number of right shift for reduction by power 2 	: 0
3600.08/3604.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3604.82	c number of ending skipping 	: 0
3600.08/3604.82	c number of internal skipping 	: 0
3600.08/3604.82	c number of derivation steps 	: 0
3600.08/3604.82	c number of skipped derivation steps 	: 0
3600.08/3604.82	c number of remaining unassigned 	: 0
3600.08/3604.82	c number of remaining assigned 	: 0
3600.08/3604.82	c number of falsified literals weakened from reason	: 0
3600.08/3604.82	c number of falsified literals weakened from conflict	: 0
3600.08/3604.82	c time for arithmetic operations	: 0
3600.08/3604.83	c minimum degree of deleted constraints	: null
3600.08/3604.83	c maximum degree of deleted constraints	: null
3600.08/3604.83	c number of deleted constraints	: 0
3600.08/3604.83	c speed (assignments/second)	: 7654023.296222212
3600.08/3604.83	c non guided choices	: 0
3600.08/3604.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 228321
3600.08/3604.90	s SATISFIABLE
3600.08/3604.90	c Found 3 solution(s)
3600.30/3604.91	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 
3600.30/3604.95	c objective function=37
3600.30/3604.95	c Total wall clock time (in seconds): 3604.818

Verifier Data 

OK	37

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: 63968 MiB (52625 MiB free)
  memory of node 1: 64473 MiB (50373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432323-1721108311/watcher-4432323-1721108311 -o /tmp/evaluation-result-4432323-1721108311/solver-4432323-1721108311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837249 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432323-1721108311.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=839394, runsolver pid=839391

[startup+0.100748 s]*
/proc/loadavg: 4.22 4.23 4.19 7/328 839412
/proc/meminfo: memFree=105429532/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=18975048 memory=62832 CPUtime=0.13 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 7198 0 0 0 11 2 0 0 20 0 18 0 162996070 19430449152 15708 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4743762 15708 5606 1 0 549333 0
[pid=839394/tid=839396] ppid=839391 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 1077936192 5731 0 0 0 7 1 0 0 20 0 18 0 162996070 19430449152 15708 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162996072 19430449152 15708 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162996073 19430449152 15708 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62832 KiB

[startup+0.206258 s]*
/proc/loadavg: 4.22 4.23 4.19 7/328 839412
/proc/meminfo: memFree=105415236/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=18975048 memory=78600 CPUtime=0.32 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 7878 0 0 0 30 2 0 0 20 0 18 0 162996070 19430449152 19650 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4743762 19650 5835 1 0 549796 0
[pid=839394/tid=839396] ppid=839391 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 5897 0 0 0 16 1 0 0 20 0 18 0 162996070 19430449152 19650 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=18975048 memory=5714 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162996072 19430449152 19650 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162996073 19430449152 19650 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78600 KiB

[startup+0.306258 s]*
/proc/loadavg: 4.36 4.26 4.20 6/328 839412
/proc/meminfo: memFree=105382428/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=18975048 memory=110504 CPUtime=0.51 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 9154 0 0 0 48 3 0 0 20 0 18 0 162996070 19430449152 27626 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4743762 27626 5835 1 0 550571 0
[pid=839394/tid=839396] ppid=839391 vsize=18975048 memory=-9103014423522812604 CPUtime=0.26 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 5920 0 0 0 24 2 0 0 20 0 18 0 162996070 19430449152 27626 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162996072 19430449152 27626 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162996073 19430449152 27626 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 110504 KiB

[startup+0.700258 s]
/proc/loadavg: 4.36 4.26 4.20 7/329 839413
/proc/meminfo: memFree=105372196/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19041612 memory=136624 CPUtime=1.27 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 17558 0 0 0 124 3 0 0 20 0 19 0 162996070 19498610688 34156 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4760403 34156 5873 1 0 556058 0
[pid=839394/tid=839396] ppid=839391 vsize=19041612 memory=5432 CPUtime=0.62 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 6057 0 0 0 60 2 0 0 20 0 19 0 162996070 19498610688 34156 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19041612 memory=12952 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162996072 19498610688 34156 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162996073 19498610688 34156 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162996104 19498610688 34156 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136624 KiB

[startup+1.50026 s]
/proc/loadavg: 4.36 4.26 4.20 6/329 839413
/proc/meminfo: memFree=105349168/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19041612 memory=146044 CPUtime=2.67 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 22761 0 0 0 263 4 0 0 20 0 19 0 162996070 19498610688 36511 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4760403 36511 5889 1 0 556352 0
[pid=839394/tid=839396] ppid=839391 vsize=19041612 memory=12952 CPUtime=1.4 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 6910 0 0 0 138 2 0 0 20 0 19 0 162996070 19498610688 36511 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162996072 19498610688 36511 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162996073 19498610688 36511 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19041612 memory=6114 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162996104 19498610688 36511 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146044 KiB

[startup+3.10625 s]
/proc/loadavg: 4.36 4.26 4.20 5/329 839415
/proc/meminfo: memFree=105336216/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19041612 memory=156468 CPUtime=4.55 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 23762 0 0 0 450 5 0 0 20 0 19 0 162996070 19498610688 39117 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4760403 39117 5889 1 0 556357 0
[pid=839394/tid=839396] ppid=839391 vsize=19041612 memory=0 CPUtime=2.99 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 7238 0 0 0 297 2 0 0 20 0 19 0 162996070 19498610688 39117 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162996072 19498610688 39117 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19041612 memory=12952 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162996073 19498610688 39117 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19041612 memory=11648 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162996104 19498610688 39117 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156468 KiB

[startup+6.30019 s]
/proc/loadavg: 4.33 4.26 4.20 5/329 839415
/proc/meminfo: memFree=105321372/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19041612 memory=173396 CPUtime=7.8 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 24169 0 0 0 775 5 0 0 20 0 19 0 162996070 19498610688 43349 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4760403 43349 5921 1 0 556357 0
[pid=839394/tid=839396] ppid=839391 vsize=19041612 memory=12952 CPUtime=6.18 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 7326 0 0 0 615 3 0 0 20 0 19 0 162996070 19498610688 43349 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162996072 19498610688 43349 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19041612 memory=26496 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162996073 19498610688 43349 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19041612 memory=-8814538831020006773 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162996104 19498610688 43349 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 173396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.25 4.20 5/330 839417
/proc/meminfo: memFree=105298184/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=194556 CPUtime=14.36 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 30848 0 0 0 1430 6 0 0 20 0 20 0 162996070 19566772224 48639 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 48639 5945 1 0 556646 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=194520 CPUtime=12.55 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 8086 0 0 0 1252 3 0 0 20 0 20 0 162996070 19566772224 48639 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 48639 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 48639 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 48639 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.33 4.26 4.20 5/329 839486
/proc/meminfo: memFree=118569272/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=194896 CPUtime=27.33 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 38985 0 0 0 2726 7 0 0 20 0 20 0 162996070 19566772224 48724 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 48724 5945 1 0 556646 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=194896 CPUtime=25.33 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 9303 0 0 0 2530 3 0 0 20 0 20 0 162996070 19566772224 48724 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=194816 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 48724 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 48724 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=194604 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 48724 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 27.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194896 KiB

[startup+51.1055 s]
/proc/loadavg: 4.27 4.25 4.20 5/330 839490
/proc/meminfo: memFree=118556216/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=194908 CPUtime=52.89 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 41307 0 0 0 5281 8 0 0 20 0 20 0 162996070 19566772224 48727 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 48727 5945 1 0 556662 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=0 CPUtime=50.87 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 11147 0 0 0 5084 3 0 0 20 0 20 0 162996070 19566772224 48727 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=2280 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 48727 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/334 841397
/proc/meminfo: memFree=121792412/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1880748 CPUtime=3277.79 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 116234 0 0 0 327688 91 0 0 20 0 20 0 162996070 19566772224 470187 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 470187 5960 1 0 559784 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=1880748 CPUtime=3271.81 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 53137 0 0 0 327171 10 0 0 20 0 20 0 162996070 19566772224 470187 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 470187 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=39380 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3334 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 470187 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=1880748 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 470187 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3277.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1880748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/333 841408
/proc/meminfo: memFree=121503804/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890236 CPUtime=3338.1 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 127727 0 0 0 333717 93 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472559 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=11648 CPUtime=3331.56 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 58329 0 0 0 333145 11 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=19144 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3417 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3338.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/331 841418
/proc/meminfo: memFree=121503264/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890236 CPUtime=3397.98 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 128584 0 0 0 339704 94 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472559 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=39380 CPUtime=3391.42 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 59086 0 0 0 339131 11 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3499 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=2280 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3397.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/331 841428
/proc/meminfo: memFree=121502984/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890236 CPUtime=3457.86 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 129576 0 0 0 345691 95 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472559 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=1890236 CPUtime=3451.28 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 59941 0 0 0 345117 11 0 0 20 0 20 0 162996070 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=-9103014423522812604 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3583 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472559 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3457.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/331 841439
/proc/meminfo: memFree=121498204/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890240 CPUtime=3517.7 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 130824 0 0 0 351675 95 0 0 20 0 20 0 162996070 19566772224 472560 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472560 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=1890240 CPUtime=3511.11 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 60903 0 0 0 351100 11 0 0 20 0 20 0 162996070 19566772224 472560 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472560 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890236 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3692 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472560 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=12952 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472560 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3517.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/330 841449
/proc/meminfo: memFree=121497944/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890244 CPUtime=3577.63 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 132775 0 0 0 357667 96 0 0 20 0 20 0 162996070 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472561 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=12952 CPUtime=3570.86 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 61891 0 0 0 357075 11 0 0 20 0 20 0 162996070 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890240 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=-9103014423522812604 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3577.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/330 841454
/proc/meminfo: memFree=121497540/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19108176 memory=1890244 CPUtime=3600.08 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 133072 0 0 0 359911 97 0 0 20 0 20 0 162996070 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4777044 472561 5960 1 0 561069 0
[pid=839394/tid=839396] ppid=839391 vsize=19108176 memory=1890244 CPUtime=3593.3 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 62128 0 0 0 359319 11 0 0 20 0 20 0 162996070 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19108176 memory=2280 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162996072 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19108176 memory=1890244 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 20 0 162996073 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839413] ppid=839391 vsize=19108176 memory=8048 CPUtime=0 cores=5,7
/proc/839394/task/839413/stat : 839413 (Timer-0) S 839391 839394 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162996104 19566772224 472561 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1890244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.42 s, system=0.984992 s

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

[startup+3604.91 s]
/proc/loadavg: 4.13 4.12 4.09 5/330 841454
/proc/meminfo: memFree=121497540/131524600 swapFree=131071996/131071996
[pid=839394] ppid=839391 vsize=19307868 memory=1890960 CPUtime=3600.3 cores=5,7
/proc/839394/stat : 839394 (java) S 839391 839394 837236 0 -1 1077936128 135769 0 0 0 359933 97 0 0 20 0 21 0 162996070 19771256832 472740 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
/proc/839394/statm: 4826967 472740 5959 1 0 561976 0
[pid=839394/tid=839396] ppid=839391 vsize=19307868 memory=1890244 CPUtime=3593.41 cores=5,7
/proc/839394/task/839396/stat : 839396 (java) R 839391 839394 837236 0 -1 4194368 62263 0 0 0 359330 11 0 0 20 0 21 0 162996070 19771256832 472740 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839405] ppid=839391 vsize=19307868 memory=1890244 CPUtime=0 cores=5,7
/proc/839394/task/839405/stat : 839405 (Finalizer) S 839391 839394 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162996072 19771256832 472740 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
[pid=839394/tid=839412] ppid=839391 vsize=19307868 memory=1890244 CPUtime=0 cores=5,7
/proc/839394/task/839412/stat : 839412 (Common-Cleaner) S 839391 839394 837236 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 21 0 162996073 19771256832 472740 134679101440 93953847369728 93953847373424 140734208050240 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93953847381240 93953847382032 93953851125760 140734208054279 140734208054369 140734208054369 140734208061384 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1890960 KiB

Child status: 143

Real time (s): 3604.97
CPU time (s): 3600.4
CPU user time (s): 3599.42
CPU system time (s): 0.984992
CPU usage (%): 99.8734
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1890960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.984992
maximum resident set size= 1891608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103669
involuntary context switches= 3121


# summary of solver processes directly reported to runsolver:
#   pid: 839394
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.984992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44033 second user time and 15.039 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 07:38:44
IDJOB=4432323
IDBENCH=148120
IDSOLVER=3058
FILE ID=nodeC023/4432323-1721108311
RUNJOBID= nodeC023-1721104780-837249
SLURM_JOB_ID= 7505629
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432323-1721108311/watcher-4432323-1721108311 -o /tmp/evaluation-result-4432323-1721108311/solver-4432323-1721108311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837249 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432323-1721108311.opb

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

MD5SUM BENCH= 5d8f8888afb700f17245f1d666d6f5a0
RANDOM SEED=1446852455

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.040
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.61
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		: 3619.063
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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.796
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.61
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		: 3668.173
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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.856
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.61
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		: 3647.819
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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.971
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.61
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		: 3656.792
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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105471404 kB
MemAvailable:   106872528 kB
Buffers:          416060 kB
Cached:          1812956 kB
SwapCached:            0 kB
Active:           753360 kB
Inactive:       24639696 kB
Active(anon):       1556 kB
Inactive(anon): 23200196 kB
Active(file):     751804 kB
Inactive(file):  1439500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1480 kB
Writeback:            72 kB
AnonPages:      23164064 kB
Mapped:           124220 kB
Shmem:             37720 kB
KReclaimable:      99284 kB
Slab:             206660 kB
SReclaimable:      99284 kB
SUnreclaim:       107376 kB
KernelStack:        5016 kB
PageTables:        55184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   28028640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:  22857728 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC023 at 2024-07-16 08:38:49