Trace number 4440383

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)37 3600.33 3645.28

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 		2104792832
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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4440383-1721817212.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.33/0.30	c ... done. Wall clock time 0.171s.
0.33/0.30	c declared #vars     7437
0.33/0.30	c #constraints  23270
0.33/0.30	c constraints type 
0.33/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842
0.33/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832
0.33/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 596
0.33/0.30	c 23270 constraints processed.
0.53/0.31	c objective function length is 3612 literals
0.53/0.36	c SATISFIABLE
0.53/0.36	c OPTIMIZING...
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.241
0.53/0.37	o 39
0.53/0.40	c Got one! Elapsed wall clock time (in seconds):0.277
0.72/0.41	o 38
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.31
0.72/0.44	o 37
2.28/1.29	c cleaning 2499 clauses out of 5013 with flag 11548/5013
3.63/1.93	c cleaning 4252 clauses out of 8514 with flag 25658/11013
4.69/2.68	c cleaning 5625 clauses out of 11264 with flag 42059/18015
5.52/3.46	c cleaning 6811 clauses out of 13637 with flag 60936/26013
6.50/4.35	c cleaning 7904 clauses out of 15826 with flag 81398/35013
7.50/5.36	c cleaning 8951 clauses out of 17922 with flag 104462/45013
8.70/6.50	c cleaning 9975 clauses out of 19971 with flag 129584/56013
9.90/7.76	c cleaning 10987 clauses out of 21998 with flag 157215/68015
11.21/9.07	c cleaning 12001 clauses out of 24010 with flag 186132/81014
15.37/12.97	c cleaning 12984 clauses out of 26007 with flag 259895/95013
20.50/18.02	c cleaning 13988 clauses out of 28023 with flag 351575/110013
25.78/23.41	c cleaning 15015 clauses out of 30035 with flag 448040/126013
31.65/29.13	c cleaning 15996 clauses out of 32020 with flag 540462/143013
37.63/35.16	c cleaning 17011 clauses out of 34025 with flag 629365/161014
44.02/41.56	c cleaning 18002 clauses out of 36013 with flag 730348/180013
50.70/48.27	c cleaning 18994 clauses out of 38011 with flag 839747/200013
57.79/55.38	c cleaning 19998 clauses out of 40017 with flag 942129/221013
65.08/62.66	c cleaning 21002 clauses out of 42020 with flag 1062966/243014
72.92/70.53	c cleaning 21985 clauses out of 44018 with flag 1182850/266014
81.31/79.00	c cleaning 22986 clauses out of 46032 with flag 1304286/290013
90.29/87.90	c cleaning 24003 clauses out of 48046 with flag 1455828/315013
99.57/97.24	c cleaning 25018 clauses out of 50045 with flag 1609464/341015
108.89/106.55	c cleaning 26014 clauses out of 52027 with flag 1722214/368015
118.40/116.01	c cleaning 26991 clauses out of 54011 with flag 1855889/396013
128.13/125.94	c cleaning 28004 clauses out of 56022 with flag 2024927/425015
138.11/135.99	c cleaning 28963 clauses out of 58016 with flag 2220379/455013
148.70/146.57	c cleaning 30027 clauses out of 60053 with flag 2410575/486013
159.60/157.50	c cleaning 30989 clauses out of 62026 with flag 2604618/518013
170.50/168.30	c cleaning 31991 clauses out of 64038 with flag 2780112/551014
182.30/180.10	c cleaning 33019 clauses out of 66046 with flag 2984915/585013
194.48/198.56	c cleaning 33996 clauses out of 68028 with flag 3164456/620014
206.85/210.98	c cleaning 34999 clauses out of 70032 with flag 3343888/656014
219.64/223.70	c cleaning 36005 clauses out of 72033 with flag 3535748/693014
232.77/236.96	c cleaning 37006 clauses out of 74027 with flag 3716972/731013
245.95/250.18	c cleaning 38003 clauses out of 76022 with flag 3902466/770014
260.25/264.68	c cleaning 38998 clauses out of 78018 with flag 4126547/810013
276.22/280.61	c cleaning 39962 clauses out of 80020 with flag 4369370/851013
292.14/296.64	c cleaning 41022 clauses out of 82059 with flag 4677700/893014
308.30/312.82	c cleaning 41972 clauses out of 84036 with flag 4963996/936013
323.46/328.00	c cleaning 43017 clauses out of 86064 with flag 5200735/980013
339.03/343.60	c cleaning 44018 clauses out of 88047 with flag 5480224/1025013
354.92/359.68	c cleaning 44987 clauses out of 90029 with flag 5735973/1071013
372.41/377.15	c cleaning 45993 clauses out of 92042 with flag 6036285/1118013
389.26/394.25	c cleaning 47003 clauses out of 94049 with flag 6295240/1166013
406.24/411.28	c cleaning 48003 clauses out of 96046 with flag 6540904/1215013
423.95/429.08	c cleaning 49001 clauses out of 98043 with flag 6809595/1265013
442.55/450.99	c cleaning 50013 clauses out of 100042 with flag 7045656/1316013
461.69/470.14	c cleaning 51015 clauses out of 102030 with flag 7314039/1368014
480.70/491.46	c cleaning 51984 clauses out of 104014 with flag 7647310/1421013
500.21/511.12	c cleaning 53002 clauses out of 106030 with flag 7967231/1475013
521.65/532.62	c cleaning 54003 clauses out of 108028 with flag 8319890/1530013
543.98/555.05	c cleaning 54981 clauses out of 110025 with flag 8662833/1586013
564.72/575.80	c cleaning 56005 clauses out of 112045 with flag 9016009/1643014
585.87/597.03	c cleaning 57016 clauses out of 114039 with flag 9358895/1701013
608.50/619.70	c cleaning 57983 clauses out of 116024 with flag 9727866/1760014
631.11/642.47	c cleaning 58988 clauses out of 118041 with flag 10083870/1820014
653.75/665.13	c cleaning 59988 clauses out of 120052 with flag 10467937/1881013
676.85/688.39	c cleaning 60981 clauses out of 122064 with flag 10878037/1943013
699.81/712.38	c cleaning 62027 clauses out of 124085 with flag 11273912/2006015
724.56/737.27	c cleaning 63020 clauses out of 126056 with flag 11651969/2070013
750.09/763.00	c cleaning 63959 clauses out of 128036 with flag 12030419/2135013
775.44/788.36	c cleaning 65016 clauses out of 130077 with flag 12410152/2201013
801.87/814.81	c cleaning 66014 clauses out of 132061 with flag 12749164/2268013
828.77/841.89	c cleaning 66999 clauses out of 134047 with flag 13071721/2336013
856.33/869.55	c cleaning 68004 clauses out of 136048 with flag 13415590/2405013
885.24/898.53	c cleaning 68992 clauses out of 138044 with flag 13852206/2475013
914.26/927.61	c cleaning 70008 clauses out of 140052 with flag 14252733/2546013
941.87/955.33	c cleaning 71010 clauses out of 142045 with flag 14675463/2618014
970.04/985.78	c cleaning 71998 clauses out of 144036 with flag 15142608/2691015
998.64/1014.47	c cleaning 73017 clauses out of 146037 with flag 15637252/2765014
1028.97/1044.99	c cleaning 74004 clauses out of 148020 with flag 16100950/2840014
1058.80/1075.06	c cleaning 75002 clauses out of 150015 with flag 16567795/2916013
1089.75/1106.15	c cleaning 75972 clauses out of 152013 with flag 17009114/2993013
1120.99/1137.43	c cleaning 76988 clauses out of 154041 with flag 17475970/3071013
1152.93/1169.43	c cleaning 78002 clauses out of 156054 with flag 17938591/3150014
1185.60/1202.16	c cleaning 79000 clauses out of 158051 with flag 18379292/3230013
1218.64/1235.25	c cleaning 80018 clauses out of 160051 with flag 18877140/3311013
1250.50/1267.15	c cleaning 80998 clauses out of 162033 with flag 19361266/3393013
1282.09/1301.48	c cleaning 82014 clauses out of 164036 with flag 19856911/3476014
1314.86/1335.74	c cleaning 82987 clauses out of 166021 with flag 20369514/3560013
1346.57/1367.62	c cleaning 84016 clauses out of 168034 with flag 20936344/3645013
1378.68/1399.82	c cleaning 85002 clauses out of 170019 with flag 21501087/3731014
1412.26/1436.12	c cleaning 86002 clauses out of 172016 with flag 22085026/3818013
1446.78/1470.75	c cleaning 86994 clauses out of 174014 with flag 22731429/3906013
1480.42/1504.48	c cleaning 87970 clauses out of 176022 with flag 23218146/3995015
1514.05/1538.18	c cleaning 89002 clauses out of 178050 with flag 23744407/4085013
1548.45/1572.98	c cleaning 90007 clauses out of 180048 with flag 24320065/4176013
1584.29/1609.06	c cleaning 91013 clauses out of 182043 with flag 24892158/4268015
1619.19/1644.18	c cleaning 91997 clauses out of 184029 with flag 25512086/4361014
1654.83/1679.80	c cleaning 93000 clauses out of 186031 with flag 26106183/4455013
1693.14/1718.77	c cleaning 93990 clauses out of 188031 with flag 26623181/4550013
1731.42/1757.09	c cleaning 95012 clauses out of 190041 with flag 27123132/4646013
1770.44/1796.15	c cleaning 96000 clauses out of 192029 with flag 27670102/4743013
1809.26/1835.07	c cleaning 96993 clauses out of 194029 with flag 28238661/4841013
1848.48/1874.32	c cleaning 98001 clauses out of 196036 with flag 28803043/4940013
1888.79/1914.76	c cleaning 98985 clauses out of 198035 with flag 29336542/5040013
1930.33/1956.31	c cleaning 100014 clauses out of 200051 with flag 29879360/5141014
1973.08/1999.10	c cleaning 101013 clauses out of 202040 with flag 30426951/5243017
2015.83/2044.50	c cleaning 101985 clauses out of 204024 with flag 31009981/5346014
2058.67/2087.36	c cleaning 102998 clauses out of 206038 with flag 31678879/5450013
2100.61/2129.43	c cleaning 103997 clauses out of 208040 with flag 32318626/5555013
2142.25/2171.24	c cleaning 104979 clauses out of 210043 with flag 32922968/5661013
2185.66/2214.79	c cleaning 106026 clauses out of 212064 with flag 33625482/5768013
2229.19/2261.19	c cleaning 106993 clauses out of 214038 with flag 34339946/5876013
2273.50/2305.53	c cleaning 108004 clauses out of 216045 with flag 35066739/5985013
2319.20/2351.28	c cleaning 109012 clauses out of 218043 with flag 35721797/6095015
2364.49/2397.02	c cleaning 109978 clauses out of 220029 with flag 36361668/6206013
2409.00/2441.65	c cleaning 111008 clauses out of 222051 with flag 37012403/6318013
2454.96/2487.66	c cleaning 112011 clauses out of 224043 with flag 37703555/6431013
2500.64/2533.48	c cleaning 112987 clauses out of 226032 with flag 38323415/6545013
2548.36/2581.39	c cleaning 113963 clauses out of 228045 with flag 38991889/6660013
2596.60/2629.75	c cleaning 115026 clauses out of 230082 with flag 39736716/6776013
2644.92/2678.21	c cleaning 115995 clauses out of 232056 with flag 40363738/6893013
2692.45/2725.84	c cleaning 117003 clauses out of 234061 with flag 40971588/7011013
2740.90/2774.34	c cleaning 118001 clauses out of 236058 with flag 41704058/7130013
2789.60/2823.12	c cleaning 119026 clauses out of 238058 with flag 42406402/7250014
2836.75/2870.31	c cleaning 120006 clauses out of 240033 with flag 43121852/7371015
2884.61/2918.09	c cleaning 120986 clauses out of 242027 with flag 43885537/7493015
2933.50/2967.06	c cleaning 121986 clauses out of 244039 with flag 44631683/7616013
2982.41/3016.00	c cleaning 123011 clauses out of 246053 with flag 45387282/7740013
3033.72/3067.59	c cleaning 124014 clauses out of 248042 with flag 46119315/7865013
3086.25/3120.34	c cleaning 124992 clauses out of 250028 with flag 46898812/7991013
3132.31/3166.51	c cleaning 126007 clauses out of 252036 with flag 47684996/8118013
3181.21/3215.59	c cleaning 126983 clauses out of 254029 with flag 48528438/8246013
3231.02/3265.53	c cleaning 128003 clauses out of 256046 with flag 49208654/8375013
3283.78/3318.49	c cleaning 128997 clauses out of 258043 with flag 50012188/8505013
3335.95/3370.89	c cleaning 130007 clauses out of 260048 with flag 50858721/8636015
3390.12/3425.27	c cleaning 130998 clauses out of 262039 with flag 51794227/8768013
3446.64/3482.13	c cleaning 132006 clauses out of 264041 with flag 52640642/8901013
3503.67/3539.46	c cleaning 132998 clauses out of 266035 with flag 53506499/9035013
3556.09/3592.34	c cleaning 133991 clauses out of 268037 with flag 54391486/9170013
3600.06/3645.13	c starts		: 3708
3600.06/3645.13	c conflicts		: 9283433
3600.06/3645.13	c decisions		: 60170387
3600.06/3645.13	c propagations		: 29077859550
3600.06/3645.13	c inspects		: 29586962976
3600.06/3645.13	c shortcuts		: 0
3600.06/3645.13	c learnt literals	: 1
3600.06/3645.13	c learnt binary clauses	: 0
3600.06/3645.13	c learnt ternary clauses	: 35
3600.06/3645.13	c learnt constraints	: 9283432
3600.06/3645.13	c ignored constraints	: 0
3600.06/3645.13	c root simplifications	: 0
3600.06/3645.13	c removed literals (reason simplification)	: 31487247
3600.06/3645.13	c reason swapping (by a shorter reason)	: 0
3600.06/3645.13	c Calls to reduceDB	: 131
3600.06/3645.13	c Number of update (reduction) of LBD	: 4986138
3600.06/3645.13	c Imported unit clauses	: 0
3600.06/3645.13	c No decision after first conflict	: false
3600.06/3645.13	c number of reductions to clauses (during analyze)	: 0
3600.06/3645.13	c number of learned constraints concerned by reduction	: 0
3600.06/3645.13	c number of learning phase by resolution	: 0
3600.06/3645.13	c number of learning phase by cutting planes	: 0
3600.06/3645.13	c number of rounding to 1 operations	: 0
3600.06/3645.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3645.14	c number of reductions of the coefficients by power 2 	: 0
3600.06/3645.14	c number of right shift for reduction by power 2 	: 0
3600.06/3645.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3645.14	c number of ending skipping 	: 0
3600.06/3645.14	c number of internal skipping 	: 0
3600.06/3645.14	c number of derivation steps 	: 0
3600.06/3645.14	c number of skipped derivation steps 	: 0
3600.06/3645.14	c number of remaining unassigned 	: 0
3600.06/3645.14	c number of remaining assigned 	: 0
3600.06/3645.14	c number of falsified literals weakened from reason	: 0
3600.06/3645.14	c number of falsified literals weakened from conflict	: 0
3600.06/3645.14	c time for arithmetic operations	: 0
3600.06/3645.14	c minimum degree of deleted constraints	: null
3600.06/3645.14	c maximum degree of deleted constraints	: null
3600.06/3645.14	c number of deleted constraints	: 0
3600.06/3645.14	c speed (assignments/second)	: 7977874.1872353945
3600.06/3645.14	c non guided choices	: 0
3600.25/3645.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 247466
3600.25/3645.22	s SATISFIABLE
3600.25/3645.22	c Found 3 solution(s)
3600.25/3645.23	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.25/3645.24	c objective function=37
3600.25/3645.24	c Total wall clock time (in seconds): 3645.114

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440383-1721817212/watcher-4440383-1721817212 -o /tmp/evaluation-result-4440383-1721817212/solver-4440383-1721817212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721817188-240505 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440383-1721817212 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440383-1721817212.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
solver pid=240968, runsolver pid=240965
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 1.41 0.39 0.19 5/339 240986
/proc/meminfo: memFree=113545520/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=18975048 memory=66984 CPUtime=0.14 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 7216 0 0 0 12 2 0 0 20 0 18 0 18250625 19430449152 16746 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4743762 16746 5633 1 0 549356 0
[pid=240968/tid=240970] ppid=240965 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 1078198336 5774 0 0 0 7 1 0 0 20 0 18 0 18250626 19430449152 16746 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18250628 19430449152 16746 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=18975048 memory=13846374089876100 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18250629 19430449152 16746 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66984 KiB

[startup+0.207307 s]*
/proc/loadavg: 1.41 0.39 0.19 6/339 240986
/proc/meminfo: memFree=113502840/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=18975048 memory=84084 CPUtime=0.33 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 7731 0 0 0 31 2 0 0 20 0 18 0 18250625 19430449152 21021 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4743762 21021 5862 1 0 549710 0
[pid=240968/tid=240970] ppid=240965 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 5947 0 0 0 17 2 0 0 20 0 18 0 18250626 19430449152 21021 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=18975048 memory=649556 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18250628 19430449152 21021 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18250629 19430449152 21021 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84084 KiB

[startup+0.306538 s]*
/proc/loadavg: 1.86 0.50 0.23 8/339 240986
/proc/meminfo: memFree=113445308/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=18975048 memory=116760 CPUtime=0.53 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 9210 0 0 0 50 3 0 0 20 0 18 0 18250625 19430449152 29190 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4743762 29190 5859 1 0 550622 0
[pid=240968/tid=240970] ppid=240965 vsize=18975048 memory=-8815621913869787836 CPUtime=0.28 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 6033 0 0 0 26 2 0 0 20 0 18 0 18250626 19430449152 29190 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18250628 19430449152 29190 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18250629 19430449152 29190 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116760 KiB

[startup+0.700536 s]
/proc/loadavg: 1.86 0.50 0.23 7/340 240987
/proc/meminfo: memFree=113383724/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19041612 memory=144684 CPUtime=1.29 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 10946 0 0 0 125 4 0 0 20 0 19 0 18250625 19498610688 36171 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4760403 36171 5923 1 0 552007 0
[pid=240968/tid=240970] ppid=240965 vsize=19041612 memory=5536 CPUtime=0.61 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 6106 0 0 0 58 3 0 0 20 0 19 0 18250626 19498610688 36171 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19041612 memory=12544 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18250628 19498610688 36171 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18250629 19498610688 36171 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18250658 19498610688 36171 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 144684 KiB

[startup+1.50954 s]
/proc/loadavg: 1.86 0.50 0.23 7/341 240988
/proc/meminfo: memFree=113154624/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=179620 CPUtime=2.84 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 17517 0 0 0 278 6 0 0 20 0 20 0 18250625 19566772224 44905 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 44905 5923 1 0 553672 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=12544 CPUtime=1.36 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 7172 0 0 0 132 4 0 0 20 0 20 0 18250626 19566772224 44905 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 44905 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 44905 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=279301320779024 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 44905 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179620 KiB

[startup+3.10587 s]
/proc/loadavg: 1.86 0.50 0.23 5/341 240988
/proc/meminfo: memFree=113118176/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=184844 CPUtime=5.21 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 19701 0 0 0 514 7 0 0 20 0 20 0 18250625 19566772224 46211 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 46211 5923 1 0 553861 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 7403 0 0 0 287 4 0 0 20 0 20 0 18250626 19566772224 46211 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=12544 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 46211 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 46211 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 46211 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184844 KiB

[startup+6.30026 s]
/proc/loadavg: 2.03 0.56 0.25 5/341 240988
/proc/meminfo: memFree=112832236/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=412852 CPUtime=8.5 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 20002 0 0 0 836 14 0 0 20 0 20 0 18250625 19566772224 103213 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 103213 5923 1 0 553861 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=12544 CPUtime=6.09 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 7655 0 0 0 598 11 0 0 20 0 20 0 18250626 19566772224 103213 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 103213 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=179620 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 103213 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 103213 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 412852 KiB

[startup+12.7003 s]
/proc/loadavg: 2.27 0.63 0.27 6/341 240989
/proc/meminfo: memFree=112589624/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=525284 CPUtime=15.17 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 26026 0 0 0 1498 19 0 0 20 0 20 0 18250625 19566772224 131321 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 131321 5954 1 0 553952 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=0 CPUtime=12.46 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 9012 0 0 0 1232 14 0 0 20 0 20 0 18250626 19566772224 131321 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=-8815621913869787836 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 131321 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=2304 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 131321 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 131321 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 15.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 525284 KiB

[startup+25.5003 s]
/proc/loadavg: 2.54 0.75 0.31 5/341 240991
/proc/meminfo: memFree=111482728/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=816152 CPUtime=28.05 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 31640 0 0 0 2779 26 0 0 20 0 20 0 18250625 19566772224 204038 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 204038 5970 1 0 553952 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=11540 CPUtime=25.2 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 10195 0 0 0 2500 20 0 0 20 0 20 0 18250626 19566772224 204038 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 204038 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=425140 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 204038 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=279301320725808 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 204038 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 28.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 816152 KiB

[startup+51.1059 s]
/proc/loadavg: 3.11 1.06 0.43 5/341 240996
/proc/meminfo: memFree=110586496/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=904224 CPUtime=53.6 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 36940 0 0 0 5329 31 0 0 20 0 20 0 18250625 19566772224 226056 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 226056 5970 1 0 553952 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=904224 CPUtime=50.64 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 11704 0 0 0 5040 24 0 0 20 0 20 0 18250626 19566772224 226056 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=279301321475456 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 226056 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0

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

[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.05 6/336 242796
/proc/meminfo: memFree=91513532/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2168380 CPUtime=3307.54 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 163994 0 0 0 330296 458 0 0 20 0 20 0 18250625 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542095 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=2168376 CPUtime=3294.43 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 65581 0 0 0 329079 364 0 0 20 0 20 0 18250626 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3281 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=2168380 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=71476 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3419 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3307.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2168380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.05 6/336 242807
/proc/meminfo: memFree=91163636/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2168380 CPUtime=3367.2 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 166272 0 0 0 336257 463 0 0 20 0 20 0 18250625 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542095 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=2168376 CPUtime=3353.96 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 66617 0 0 0 335027 369 0 0 20 0 20 0 18250626 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3306 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=71476 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3473 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=2168380 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3367.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2168380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.06 6/339 242876
/proc/meminfo: memFree=90871488/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2168380 CPUtime=3426.87 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 168509 0 0 0 342217 470 0 0 20 0 20 0 18250625 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542095 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=2168376 CPUtime=3413.39 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 67439 0 0 0 340965 374 0 0 20 0 20 0 18250626 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3337 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=71476 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3592 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=2168380 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3426.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2168380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.06 6/340 242888
/proc/meminfo: memFree=90523284/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2168380 CPUtime=3486.6 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 170871 0 0 0 348184 476 0 0 20 0 20 0 18250625 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542095 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=-8815621913869787836 CPUtime=3472.9 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 68558 0 0 0 346911 379 0 0 20 0 20 0 18250626 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3359 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3677 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=2168380 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542095 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3486.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2168380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.16 4.08 6/340 242899
/proc/meminfo: memFree=90180192/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2170436 CPUtime=3546.17 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 172131 0 0 0 354135 482 0 0 20 0 20 0 18250625 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542609 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=11540 CPUtime=3532.33 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 69588 0 0 0 352850 383 0 0 20 0 20 0 18250626 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3379 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=2170436 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=12544 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3691 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=2170436 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3546.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170436 KiB

[startup+3642.3 s]
/proc/loadavg: 4.23 4.16 4.08 7/338 243044
/proc/meminfo: memFree=93917404/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2170436 CPUtime=3597.27 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 174037 0 0 0 359239 488 0 0 20 0 20 0 18250625 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542609 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=2170436 CPUtime=3583.24 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 70444 0 0 0 357936 388 0 0 20 0 20 0 18250626 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4234 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=2170436 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=2170436 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3597.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3645.11 s]
/proc/loadavg: 4.23 4.16 4.08 6/337 243045
/proc/meminfo: memFree=93802476/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19108176 memory=2170436 CPUtime=3600.06 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 174189 0 0 0 359517 489 0 0 20 0 20 0 18250625 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4777044 542609 5985 1 0 555840 0
[pid=240968/tid=240970] ppid=240965 vsize=19108176 memory=2170436 CPUtime=3586.03 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 70583 0 0 0 358214 389 0 0 20 0 20 0 18250626 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4234 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19108176 memory=11540 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18250628 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19108176 memory=2170436 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 20 0 18250629 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240987] ppid=240965 vsize=19108176 memory=5796695868719759386 CPUtime=0 cores=5,7
/proc/240968/task/240987/stat : 240987 (Timer-0) S 240965 240968 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18250658 19566772224 542609 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.42 s, system=4.90768 s

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

[startup+3645.21 s]
/proc/loadavg: 4.23 4.16 4.08 6/337 243045
/proc/meminfo: memFree=93802476/131524600 swapFree=131071728/131071996
[pid=240968] ppid=240965 vsize=19307868 memory=2171196 CPUtime=3600.25 cores=5,7
/proc/240968/stat : 240968 (java) S 240965 240968 240492 0 -1 1077936128 177205 0 0 0 359536 489 0 0 20 0 21 0 18250625 19771256832 542799 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
/proc/240968/statm: 4826967 542799 5984 1 0 556775 0
[pid=240968/tid=240970] ppid=240965 vsize=19307868 memory=650791 CPUtime=3586.12 cores=5,7
/proc/240968/task/240970/stat : 240970 (java) R 240965 240968 240492 0 -1 4194368 70729 0 0 0 358223 389 0 0 20 0 21 0 18250626 19771256832 542799 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4234 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240979] ppid=240965 vsize=19307868 memory=1802988 CPUtime=0 cores=5,7
/proc/240968/task/240979/stat : 240979 (Finalizer) S 240965 240968 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18250628 19771256832 542799 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
[pid=240968/tid=240986] ppid=240965 vsize=19307868 memory=650791 CPUtime=0 cores=5,7
/proc/240968/task/240986/stat : 240986 (Common-Cleaner) S 240965 240968 240492 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 21 0 18250629 19771256832 542799 134679101440 94374183911424 94374183915120 140727501184288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94374183922936 94374183923728 94374201233408 140727501185963 140727501186145 140727501186145 140727501193160 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2171196 KiB

Child status: 143

Real time (s): 3645.28
CPU time (s): 3600.33
CPU user time (s): 3595.42
CPU system time (s): 4.90768
CPU usage (%): 98.7669
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2172728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.90768
maximum resident set size= 2172728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7254480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110932
involuntary context switches= 9510


# summary of solver processes directly reported to runsolver:
#   pid: 240968
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.42
#   total CPU system time (s): 4.90768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20338 second user time and 15.3397 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-24 12:33:32
IDJOB=4440383
IDBENCH=148120
IDSOLVER=3079
FILE ID=nodeC029/4440383-1721817212
RUNJOBID= nodeC029-1721817188-240505
SLURM_JOB_ID= 7816890
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440383-1721817212/watcher-4440383-1721817212 -o /tmp/evaluation-result-4440383-1721817212/solver-4440383-1721817212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721817188-240505 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440383-1721817212 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440383-1721817212.opb

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

MD5SUM BENCH= 5d8f8888afb700f17245f1d666d6f5a0
RANDOM SEED=1663244205

nodeC029.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		: 3631.602
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.50
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		: 3667.358
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.34
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		: 3599.743
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.50
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		: 3669.313
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.34
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		: 3631.680
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.50
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		: 3626.220
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.34
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.865
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.50
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		: 3653.943
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113617240 kB
MemAvailable:   126689528 kB
Buffers:          238468 kB
Cached:         13554484 kB
SwapCached:           44 kB
Active:          2675152 kB
Inactive:       14381556 kB
Active(anon):       1604 kB
Inactive(anon):  3315928 kB
Active(file):    2673548 kB
Inactive(file): 11065628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            201968 kB
Writeback:             0 kB
AnonPages:       3263584 kB
Mapped:           139368 kB
Shmem:             54012 kB
KReclaimable:     345868 kB
Slab:             481868 kB
SReclaimable:     345868 kB
SUnreclaim:       136000 kB
KernelStack:        5156 kB
PageTables:        16608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8261172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2951168 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:      346836 kB
DirectMap2M:    44515328 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889748 MiB
End job on nodeC029 at 2024-07-24 13:34:17