Trace number 4432436

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)82 3600.41 3601.67

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	82

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62788 MiB free)
  memory of node 1: 64473 MiB (63170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432436-1721137828/watcher-4432436-1721137828 -o /tmp/evaluation-result-4432436-1721137828/solver-4432436-1721137828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861880 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432436-1721137828.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=861908, runsolver pid=861905

[startup+0.100605 s]*
/proc/loadavg: 1.08 2.54 3.49 7/290 861966
/proc/meminfo: memFree=128850572/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=18975048 memory=64704 CPUtime=0.13 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 7189 0 0 0 11 2 0 0 20 0 18 0 165953710 19430449152 16176 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4743762 16176 5590 1 0 549336 0
[pid=861908/tid=861910] ppid=861905 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 5742 0 0 0 7 1 0 0 20 0 18 0 165953711 19430449152 16176 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=18975048 memory=224261324100 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953713 19430449152 16176 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=18975048 memory=21878 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953714 19430449152 16176 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64704 KiB

[startup+0.206341 s]*
/proc/loadavg: 1.08 2.54 3.49 12/306 861982
/proc/meminfo: memFree=128762688/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=18975048 memory=78348 CPUtime=0.33 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 7959 0 0 0 31 2 0 0 20 0 18 0 165953710 19430449152 19587 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4743762 19587 5838 1 0 549885 0
[pid=861908/tid=861910] ppid=861905 vsize=18975048 memory=3461362060219711607 CPUtime=0.18 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 5899 0 0 0 17 1 0 0 20 0 18 0 165953711 19430449152 19587 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=18975048 memory=224261324100 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953713 19430449152 19587 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=18975048 memory=21878 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953714 19430449152 19587 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78348 KiB

[startup+0.306341 s]*
/proc/loadavg: 1.08 2.54 3.49 11/306 861982
/proc/meminfo: memFree=128645604/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=18975048 memory=117852 CPUtime=0.52 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 8995 0 0 0 49 3 0 0 20 0 18 0 165953710 19430449152 29463 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4743762 29463 5838 1 0 550547 0
[pid=861908/tid=861910] ppid=861905 vsize=18975048 memory=-8600012077380510396 CPUtime=0.27 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 5921 0 0 0 25 2 0 0 20 0 18 0 165953711 19430449152 29463 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953713 19430449152 29463 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953714 19430449152 29463 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 117852 KiB

[startup+0.700342 s]
/proc/loadavg: 1.08 2.54 3.49 10/309 861987
/proc/meminfo: memFree=128351376/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19041612 memory=184072 CPUtime=1.26 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 14529 0 0 0 120 6 0 0 20 0 19 0 165953710 19498610688 46018 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4760403 46018 5853 1 0 554171 0
[pid=861908/tid=861910] ppid=861905 vsize=19041612 memory=1928 CPUtime=0.63 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 5945 0 0 0 59 4 0 0 20 0 19 0 165953711 19498610688 46018 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19041612 memory=13184 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953713 19498610688 46018 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19041612 memory=19652 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953714 19498610688 46018 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 184072 KiB

[startup+1.50036 s]
/proc/loadavg: 1.08 2.54 3.49 7/309 861987
/proc/meminfo: memFree=128001108/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19041612 memory=494584 CPUtime=2.29 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 15505 0 0 0 216 13 0 0 20 0 19 0 165953710 19498610688 123646 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4760403 123646 5869 1 0 815270 0
[pid=861908/tid=861910] ppid=861905 vsize=19041612 memory=19652 CPUtime=1.34 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 6075 0 0 0 125 9 0 0 20 0 19 0 165953711 19498610688 123646 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953713 19498610688 123646 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19041612 memory=13184 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953714 19498610688 123646 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 494584 KiB

[startup+3.10634 s]
/proc/loadavg: 1.08 2.54 3.49 8/332 862017
/proc/meminfo: memFree=125807528/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=750792 CPUtime=4.76 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 16197 0 0 0 458 18 0 0 20 0 20 0 165953710 19566772224 187698 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 187698 5907 1 0 815847 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=13184 CPUtime=2.87 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 6296 0 0 0 274 13 0 0 20 0 20 0 165953711 19566772224 187698 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 187698 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 187698 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=-8817310759401136828 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 187698 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 750792 KiB

[startup+6.30022 s]
/proc/loadavg: 1.31 2.56 3.50 5/334 862019
/proc/meminfo: memFree=124921100/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=747988 CPUtime=8.28 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 21592 0 0 0 809 19 0 0 20 0 20 0 165953710 19566772224 186997 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 186997 5907 1 0 816089 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=0 CPUtime=6.07 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 6969 0 0 0 593 14 0 0 20 0 20 0 165953711 19566772224 186997 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=13184 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 186997 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=-8817310759401136828 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 186997 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 186997 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 747988 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 2.59 3.50 5/334 862020
/proc/meminfo: memFree=123082424/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=748152 CPUtime=14.8 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 22832 0 0 0 1461 19 0 0 20 0 20 0 165953710 19566772224 187038 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 187038 5907 1 0 816089 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=13184 CPUtime=12.45 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 7467 0 0 0 1231 14 0 0 20 0 20 0 165953711 19566772224 187038 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=8099279071866868839 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 187038 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=748148 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 187038 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=748148 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 187038 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 748152 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 2.69 3.52 7/335 862023
/proc/meminfo: memFree=121823468/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=748216 CPUtime=27.58 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 23870 0 0 0 2738 20 0 0 20 0 20 0 165953710 19566772224 187054 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 187054 5923 1 0 816089 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=748148 CPUtime=25.22 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 8253 0 0 0 2508 14 0 0 20 0 20 0 165953711 19566772224 187054 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=748216 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 187054 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=748216 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 187054 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=-8817310759401136828 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 187054 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 27.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 748216 KiB

[startup+51.1057 s]
/proc/loadavg: 2.83 2.80 3.53 5/336 862028
/proc/meminfo: memFree=120880532/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=748360 CPUtime=53.17 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 27862 0 0 0 5296 21 0 0 20 0 20 0 165953710 19566772224 187090 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 187090 5933 1 0 816089 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=748352 CPUtime=50.75 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 9585 0 0 0 5061 14 0 0 20 0 20 0 165953711 19566772224 187090 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=-8817310759401136828 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 187090 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=748152 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 187090 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 187090 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0

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

[startup+3282.3 s]
/proc/loadavg: 4.76 4.37 4.19 5/330 863792
/proc/meminfo: memFree=106219524/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847880 CPUtime=3281.89 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 193471 0 0 0 328034 155 0 0 20 0 20 0 165953710 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961970 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3845472 CPUtime=3268.22 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 91116 0 0 0 326793 29 0 0 20 0 20 0 165953711 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=3845472 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=32812 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4164 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=-7521142935701054329 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3281.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.57 4.39 4.21 5/330 863802
/proc/meminfo: memFree=106111580/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847880 CPUtime=3341.77 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 195157 0 0 0 334020 157 0 0 20 0 20 0 165953710 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961970 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=2164 CPUtime=3328.07 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 92563 0 0 0 332778 29 0 0 20 0 20 0 165953711 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=-7521142935701054329 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=3847880 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4244 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=3847880 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3341.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.35 4.21 5/330 863812
/proc/meminfo: memFree=106106740/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847880 CPUtime=3401.65 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 196953 0 0 0 340007 158 0 0 20 0 20 0 165953710 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961970 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3847880 CPUtime=3387.92 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 94146 0 0 0 338763 29 0 0 20 0 20 0 165953711 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=3847880 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=3847880 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4357 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961970 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3401.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847880 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.31 4.20 5/330 863824
/proc/meminfo: memFree=106105904/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3461.25 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 199543 0 0 0 345967 158 0 0 20 0 20 0 165953710 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961972 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3847880 CPUtime=3447.3 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 95476 0 0 0 344700 30 0 0 20 0 20 0 165953711 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4474 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3461.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.31 4.21 5/330 863834
/proc/meminfo: memFree=106105320/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3520.87 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 201369 0 0 0 351927 160 0 0 20 0 20 0 165953710 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961972 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3506.9 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 97101 0 0 0 350660 30 0 0 20 0 20 0 165953711 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4587 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3520.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.25 4.19 5/332 863848
/proc/meminfo: memFree=106102196/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3580.92 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 204396 0 0 0 357931 161 0 0 20 0 20 0 165953710 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961972 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3566.6 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 98722 0 0 0 356630 30 0 0 20 0 20 0 165953711 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=13184 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4658 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.5 s]
/proc/loadavg: 4.14 4.25 4.19 5/311 863936
/proc/meminfo: memFree=120945256/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3600.09 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 204565 0 0 0 359848 161 0 0 20 0 20 0 165953710 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4777044 961972 5933 1 0 1044200 0
[pid=861908/tid=861910] ppid=861905 vsize=19108176 memory=3847888 CPUtime=3585.76 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 98886 0 0 0 358546 30 0 0 20 0 20 0 165953711 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19108176 memory=39888 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953713 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19108176 memory=19652 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4658 0 0 0 0 0 0 0 20 0 20 0 165953714 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861988] ppid=861905 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/861908/task/861988/stat : 861988 (Timer-0) S 861905 861908 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165953924 19566772224 961972 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3847888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.63169 s

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

[startup+3601.61 s]
/proc/loadavg: 4.14 4.25 4.19 5/311 863936
/proc/meminfo: memFree=120945256/131524600 swapFree=131071996/131071996
[pid=861908] ppid=861905 vsize=19307868 memory=3848644 CPUtime=3600.3 cores=4,6
/proc/861908/stat : 861908 (java) S 861905 861908 861869 0 -1 1077936128 206593 0 0 0 359869 161 0 0 20 0 21 0 165953710 19771256832 962161 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
/proc/861908/statm: 4826967 962161 5932 1 0 1045115 0
[pid=861908/tid=861910] ppid=861905 vsize=19307868 memory=104 CPUtime=3585.87 cores=4,6
/proc/861908/task/861910/stat : 861910 (java) R 861905 861908 861869 0 -1 4194368 98984 0 0 0 358557 30 0 0 20 0 21 0 165953711 19771256832 962161 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861919] ppid=861905 vsize=19307868 memory=3847888 CPUtime=0 cores=4,6
/proc/861908/task/861919/stat : 861919 (Finalizer) S 861905 861908 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 165953713 19771256832 962161 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
[pid=861908/tid=861926] ppid=861905 vsize=19307868 memory=-8817310759401136828 CPUtime=0 cores=4,6
/proc/861908/task/861926/stat : 861926 (Common-Cleaner) S 861905 861908 861869 0 -1 1077936192 4658 0 0 0 0 0 0 0 20 0 21 0 165953714 19771256832 962161 134679101440 94149853749248 94149853752944 140727557631040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94149853760760 94149853761552 94149887094784 140727557633031 140727557633121 140727557633121 140727557640136 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3848644 KiB

Child status: 143

Real time (s): 3601.67
CPU time (s): 3600.41
CPU user time (s): 3598.78
CPU system time (s): 1.63169
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3848644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.63169
maximum resident set size= 3848752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116196
involuntary context switches= 6634


# summary of solver processes directly reported to runsolver:
#   pid: 861908
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.63169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32714 second user time and 16.3054 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 15:50:41
IDJOB=4432436
IDBENCH=155400
IDSOLVER=3058
FILE ID=nodeC035/4432436-1721137828
RUNJOBID= nodeC035-1721137841-861880
SLURM_JOB_ID= 7505712
Free space on /tmp= 889880 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432436-1721137828/watcher-4432436-1721137828 -o /tmp/evaluation-result-4432436-1721137828/solver-4432436-1721137828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861880 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432436-1721137828.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1796931164

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128988704 kB
MemAvailable:   129723844 kB
Buffers:          393592 kB
Cached:          1178948 kB
SwapCached:            0 kB
Active:           707616 kB
Inactive:        1234096 kB
Active(anon):       1452 kB
Inactive(anon):   405440 kB
Active(file):     706164 kB
Inactive(file):   828656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            196420 kB
Writeback:             8 kB
AnonPages:        369656 kB
Mapped:           104316 kB
Shmem:             37724 kB
KReclaimable:      80284 kB
Slab:             184528 kB
SReclaimable:      80284 kB
SUnreclaim:       104244 kB
KernelStack:        3904 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     920228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC035 at 2024-07-16 16:50:43