Trace number 4432976

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
Exact 2024-07-05SAT (TO)1154513920 3600.02 3610.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
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 benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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 

1.00/1.09	o 1677852799
1.00/1.10	o 1275199615
12.35/12.45	o 1275199611
12.35/12.46	o 1275199595
12.35/12.48	o 1275199563
12.35/12.49	o 1275199562
12.45/12.51	o 1275199554
12.45/12.52	o 1275199490
12.45/12.54	o 1275199488
12.45/12.56	o 1275068416
12.45/12.59	o 1205862400
12.55/12.60	o 1204813824
12.55/12.62	o 1204289536
12.55/12.64	o 1204158464
12.55/12.66	o 1204157440
12.65/12.75	o 1204141056
12.65/12.77	o 1204132864
12.65/12.78	o 1204128768
12.75/12.80	o 1204126720
12.75/12.82	o 1204125696
12.75/12.84	o 1203077120
12.75/12.86	o 1202552832
12.75/12.89	o 1202487296
12.85/12.91	o 1202454528
12.97/13.03	o 1202356224
12.97/13.06	o 1202355200
13.07/13.19	o 1202347008
13.15/13.21	o 1202342912
13.15/13.23	o 1202340864
13.15/13.25	o 1202339840
13.15/13.27	o 1201815552
13.15/13.28	o 1201684480
13.25/13.30	o 1201668096
13.25/13.33	o 1201143808
13.25/13.35	o 1201045504
13.25/13.37	o 1201044480
13.35/13.43	o 1199995904
13.35/13.45	o 1199987712
13.35/13.47	o 1199983616
13.35/13.49	o 1199981568
13.45/13.51	o 1199980544
13.45/13.53	o 1199849472
13.45/13.55	o 1199833088
13.45/13.58	o 1199734784
13.55/13.60	o 1199733760
13.75/13.82	o 1199471616
13.75/13.84	o 1199406080
13.75/13.87	o 1197308928
13.96/14.02	o 1196260352
13.96/14.04	o 1196194816
13.96/14.06	o 1196178432
13.96/14.08	o 1196170240
13.96/14.10	o 1196166144
14.06/14.12	o 1196164096
14.06/14.14	o 1196163072
14.06/14.16	o 1196129280
14.15/14.27	o 1195867136
14.15/14.29	o 1195801600
14.25/14.37	o 1195539456
14.25/14.39	o 1195531264
14.35/14.40	o 1195527168
14.35/14.43	o 1195525120
14.35/14.44	o 1195524096
14.35/14.46	o 1195393024
14.35/14.48	o 1195376640
14.45/14.50	o 1191182336
14.45/14.53	o 1186988032
14.45/14.58	o 1185153024
14.65/14.71	o 1185021952
14.75/14.81	o 1184989184
14.85/14.91	o 1184988160
14.96/15.03	o 1184726016
14.96/15.05	o 1184660480
15.06/15.11	o 1184644096
15.06/15.13	o 1184635904
15.06/15.15	o 1184631808
15.06/15.17	o 1184629760
15.06/15.20	o 1184628736
15.14/15.22	o 1184497664
15.14/15.24	o 1184496640
15.44/15.54	o 1184431104
15.44/15.56	o 1184414720
15.44/15.59	o 1184406528
15.54/15.61	o 1184402432
15.54/15.63	o 1184400384
15.54/15.65	o 1184399360
15.54/15.67	o 1184366592
15.64/15.70	o 1183842304
15.64/15.74	o 1183677440
15.74/15.83	o 1183661056
15.74/15.85	o 1183652864
15.74/15.87	o 1183648768
15.74/15.89	o 1183646720
15.84/15.92	o 1183645696
15.84/15.95	o 1183185920
16.05/16.19	o 1183169536
16.14/16.21	o 1183161344
16.14/16.23	o 1183157248
16.14/16.26	o 1183155200
16.14/16.28	o 1183154176
16.24/16.30	o 1183121408
16.24/16.33	o 1183055872
16.24/16.35	o 1182793728
16.44/16.59	o 1182039040
16.84/16.92	o 1182022656
16.84/16.95	o 1182014464
16.84/16.97	o 1182010368
16.84/17.00	o 1182008320
16.95/17.02	o 1182007296
16.95/17.06	o 1181875200
17.05/17.17	o 1181858816
17.14/17.20	o 1181850624
17.14/17.22	o 1181846528
17.14/17.25	o 1181844480
17.14/17.27	o 1181811712
17.24/17.30	o 1181746176
17.24/17.32	o 1181745152
17.24/17.39	o 1181712384
17.34/17.42	o 1181711360
17.73/17.83	o 1181580288
17.73/17.85	o 1181563904
17.73/17.88	o 1181555712
17.83/17.91	o 1181551616
17.83/17.94	o 1181549568
17.83/17.96	o 1181548544
17.83/17.99	o 1181483008
17.94/18.02	o 1181383680
18.04/18.11	o 1181252608
18.04/18.14	o 1181236224
18.04/18.17	o 1181228032
18.04/18.19	o 1181223936
18.13/18.22	o 1181221888
18.13/18.25	o 1181220864
18.13/18.27	o 1181219840
20.83/20.91	o 1181088768
20.83/20.94	o 1181056000
23.12/23.26	o 1181039616
23.22/23.30	o 1181031424
23.22/23.34	o 1181027328
23.22/23.37	o 1181026304
23.32/23.41	o 1181024256
23.32/23.44	o 1180958720
23.32/23.48	o 1176764416
23.42/23.54	o 1174667264
23.42/23.57	o 1174405120
23.71/23.83	o 1174339584
23.92/24.07	o 1174338560
25.02/25.13	o 1174305792
25.02/25.17	o 1174289408
25.11/25.22	o 1174281216
25.11/25.27	o 1174277120
25.21/25.31	o 1174275072
25.21/25.36	o 1174274048
25.31/25.40	o 1174175744
25.31/25.45	o 1174174720
25.61/25.73	o 1174172672
25.61/25.78	o 1174171648
25.71/25.82	o 1174155264
25.71/25.87	o 1174147072
25.81/25.92	o 1174142976
26.02/26.13	o 1174011904
26.31/26.48	o 1174010880
33.90/34.03	o 1173994496
84.63/84.95	o 1173986304
84.74/85.02	o 1173982208
84.74/85.09	o 1173980160
84.84/85.16	o 1173979136
84.93/85.23	o 1173913600
85.03/85.30	o 1173880832
85.03/85.37	o 1173847040
85.13/85.48	o 1173830656
85.23/85.55	o 1173822464
85.33/85.62	o 1173818368
85.33/85.69	o 1173816320
85.43/85.76	o 1173815296
85.53/85.84	o 1173749760
85.63/85.91	o 1172701184
85.63/85.99	o 1172536320
87.32/87.64	o 1172528128
87.42/87.71	o 1172524032
87.42/87.78	o 1172521984
87.52/87.85	o 1172520960
87.62/87.93	o 1172389888
87.62/88.00	o 1172373504
87.73/88.07	o 1172372480
104.36/104.72	o 1172368384
104.46/104.82	o 1172366336
104.56/104.92	o 1172365312
104.68/105.02	o 1172332544
104.78/105.11	o 1172316160
104.86/105.21	o 1172307968
105.06/105.48	o 1172045824
105.26/105.63	o 1172044800
106.77/107.14	o 1171979264
106.86/107.25	o 1171946496
106.96/107.35	o 1171930112
107.06/107.45	o 1171926016
107.16/107.55	o 1171923968
107.26/107.65	o 1171922944
107.35/107.75	o 1171914752
107.45/107.85	o 1171881984
107.55/107.96	o 1171880960
108.76/109.12	o 1171864576
108.85/109.22	o 1171856384
108.95/109.32	o 1171852288
109.05/109.42	o 1171850240
109.15/109.52	o 1171849216
109.25/109.62	o 1171783680
109.45/109.86	o 1171718144
109.55/109.96	o 1171717120
113.93/114.33	o 1171700736
114.03/114.44	o 1171692544
114.13/114.54	o 1171688448
114.23/114.65	o 1171686400
114.33/114.75	o 1171685376
114.43/114.85	o 1171652608
114.53/114.95	o 1171554304
115.03/115.49	o 1171553280
119.82/120.26	o 1171545088
119.92/120.37	o 1171540992
120.02/120.48	o 1171538944
120.12/120.59	o 1171537920
120.32/120.70	o 1171521536
120.82/121.20	o 1171390464
120.92/121.36	o 1171389440
127.89/128.37	o 1171381248
127.99/128.49	o 1171377152
128.19/128.61	o 1171375104
128.29/128.73	o 1171358720
128.39/128.85	o 1171293184
128.49/128.97	o 1171260416
128.60/129.09	o 1171259392
129.29/129.75	o 1171062784
129.39/129.87	o 1171061760
130.69/131.17	o 1171045376
130.78/131.29	o 1171012608
130.98/131.41	o 1171011584
131.08/131.53	o 1171003392
131.18/131.65	o 1170999296
131.28/131.77	o 1170997248
131.70/132.15	o 1170898944
131.78/132.27	o 1170897920
156.00/156.51	o 1170895872
206.55/207.21	o 1170894848
206.55/207.25	o 1170878464
206.55/207.29	o 1170870272
206.65/207.33	o 1170866176
206.65/207.37	o 1170735104
206.75/207.47	o 1170734080
208.25/209.00	o 1170471936
208.36/209.04	o 1170439168
208.36/209.08	o 1170373632
208.46/209.13	o 1170357248
208.46/209.17	o 1170349056
208.55/209.21	o 1170344960
208.55/209.25	o 1170342912
208.55/209.29	o 1170341888
208.65/209.37	o 1170210816
208.75/209.46	o 1169948672
208.85/209.51	o 1169915904
208.85/209.55	o 1169914880
268.16/269.07	o 1169910784
268.35/269.23	o 1169908736
268.45/269.39	o 1169907712
268.65/269.54	o 1169891328
268.85/269.70	o 1169883136
268.94/269.86	o 1169817600
269.17/270.02	o 1169752064
269.27/270.18	o 1169751040
270.85/271.76	o 1169750016
271.05/271.91	o 1169733632
271.16/272.07	o 1169725440
271.34/272.22	o 1169692672
271.44/272.37	o 1169688576
271.64/272.52	o 1169686528
271.74/272.69	o 1169588224
271.94/272.84	o 1169587200
272.34/273.20	o 1169586176
272.44/273.35	o 1169569792
272.54/273.49	o 1169561600
272.74/273.66	o 1169557504
272.94/273.80	o 1169555456
273.04/273.94	o 1169424384
273.15/274.10	o 1169423360
277.03/277.97	o 1169292288
313.81/314.84	o 1169275904
313.81/314.84	o 1169267712
313.81/314.84	o 1169234944
313.81/314.84	o 1169169408
313.81/314.84	o 1169165312
313.81/314.84	o 1169163264
313.81/314.85	o 1169162240
313.81/314.87	o 1169031168
313.81/314.87	o 1168932864
313.81/314.88	o 1168931840
670.07/672.21	o 1168923648
670.07/672.21	o 1168919552
670.07/672.22	o 1168917504
670.07/672.22	o 1168916480
670.07/672.22	o 1168900096
670.07/672.22	o 1166802944
670.07/672.22	o 1166278656
670.07/672.22	o 1166016512
670.07/672.22	o 1161560064
670.07/672.22	o 1161559040
670.07/672.24	o 1160510464
670.07/672.25	o 1159986176
670.07/672.25	o 1159920640
1081.03/1084.41	o 1159887872
1156.22/1159.83	o 1159871488
1156.22/1159.84	o 1159863296
1156.22/1159.84	o 1159859200
1156.22/1159.84	o 1159857152
1156.22/1159.84	o 1159856128
1156.22/1159.84	o 1159725056
1156.22/1159.88	o 1159265280
1157.62/1161.29	o 1159261184
1157.62/1161.29	o 1159259136
1157.72/1161.30	o 1159258112
1157.72/1161.31	o 1159225344
1157.72/1161.32	o 1159208960
1157.72/1161.33	o 1159200768
1157.72/1161.34	o 1159102464
1157.72/1161.34	o 1159101440
1157.82/1161.50	o 1158970368
1157.92/1161.50	o 1158953984
1157.92/1161.51	o 1158945792
1157.92/1161.52	o 1158941696
1157.92/1161.53	o 1158939648
1157.92/1161.54	o 1158938624
1158.12/1161.79	o 1158807552
1158.22/1161.87	o 1158773760
1158.72/1162.38	o 1158757376
1158.72/1162.39	o 1158749184
1158.82/1162.40	o 1158745088
1158.82/1162.41	o 1158743040
1158.82/1162.42	o 1158742016
1158.82/1162.43	o 1158676480
1158.82/1162.44	o 1158610944
1158.82/1162.45	o 1158609920
1169.69/1173.34	o 1158605824
1169.69/1173.38	o 1158603776
1169.79/1173.42	o 1158602752
1169.79/1173.46	o 1158586368
1169.88/1173.50	o 1158578176
1169.88/1173.54	o 1158545408
1169.88/1173.58	o 1158446080
1371.57/1375.72	o 1158441984
1371.57/1375.72	o 1158439936
1371.57/1375.72	o 1158438912
1371.57/1375.72	o 1158422528
1371.57/1375.73	o 1158414336
1371.67/1375.83	o 1158283264
1371.67/1375.83	o 1158282240
1550.71/1555.33	o 1158278144
1627.23/1632.06	o 1158276096
1627.23/1632.07	o 1158275072
1627.23/1632.07	o 1158242304
1627.23/1632.07	o 1158225920
1627.23/1632.07	o 1158217728
1627.23/1632.07	o 1158153088
1627.23/1632.07	o 1158152960
1627.23/1632.07	o 1158152704
1627.23/1632.08	o 1158152192
1627.23/1632.08	o 1158119424
1627.23/1632.08	o 1158118400
1628.01/1632.87	o 1158052864
1628.01/1632.88	o 1158044672
1628.01/1632.88	o 1158040576
1628.01/1632.89	o 1158038528
1628.01/1632.89	o 1158037504
1628.11/1632.90	o 1158021120
1628.11/1632.91	o 1157955584
1628.11/1632.91	o 1157954560
1629.81/1634.68	o 1157938176
1629.81/1634.69	o 1157929984
1629.91/1634.71	o 1157925888
1629.91/1634.72	o 1157923840
1629.91/1634.73	o 1157922816
1629.91/1634.74	o 1157890048
1629.91/1634.76	o 1157790720
1689.75/1694.70	o 1157789696
1743.42/1748.54	o 1157773312
1743.42/1748.54	o 1157765120
1743.42/1748.54	o 1157761024
1743.42/1748.54	o 1157758976
1743.42/1748.54	o 1157644288
1743.42/1748.55	o 1157636096
1743.42/1748.55	o 1157632000
1743.42/1748.55	o 1157630848
1743.42/1748.55	o 1157630720
1743.42/1748.55	o 1157630464
1743.42/1748.55	o 1157629952
1743.42/1748.55	o 1157627904
1743.62/1748.78	o 1157626880
1743.71/1748.87	o 1157495808
1743.71/1748.88	o 1157463040
1969.34/1975.04	o 1157454848
1969.34/1975.05	o 1157450752
1969.34/1975.06	o 1157449728
1969.34/1975.07	o 1157433344
1969.34/1975.08	o 1157367808
1969.34/1975.09	o 1157365760
1969.34/1975.10	o 1157300224
1969.44/1975.17	o 1157299200
1984.50/1990.26	o 1157168128
1984.60/1990.30	o 1157135360
2347.44/2354.13	o 1157118976
2347.52/2354.22	o 1157110784
2347.62/2354.30	o 1157106688
2347.62/2354.39	o 1157104640
2347.72/2354.48	o 1157103616
2347.82/2354.56	o 1156972544
2347.92/2354.65	o 1156971520
2399.31/2406.19	o 1156963328
2420.84/2427.79	o 1156961280
2421.16/2428.01	o 1156895744
2421.16/2428.01	o 1156862976
2421.16/2428.01	o 1156846592
2421.16/2428.02	o 1156842496
2421.16/2428.02	o 1156841472
2421.26/2428.11	o 1156808704
2421.26/2428.14	o 1156807680
2421.54/2428.44	o 1156803584
2421.54/2428.44	o 1156801536
2421.54/2428.44	o 1156800512
2421.54/2428.45	o 1156734976
2421.54/2428.45	o 1156718592
2421.54/2428.45	o 1156653056
2421.54/2428.46	o 1156644864
2421.54/2428.47	o 1156643840
2432.41/2439.34	o 1156627456
2507.72/2514.87	o 1156625408
2507.82/2514.92	o 1156592640
2507.82/2514.92	o 1156584448
2507.82/2514.92	o 1156580352
2507.82/2514.93	o 1156579328
2507.82/2514.97	o 1156481024
2507.82/2514.98	o 1156480000
2775.40/2783.24	o 1156477952
2775.40/2783.26	o 1156346880
2775.40/2783.27	o 1156330496
2775.40/2783.29	o 1156322304
2775.50/2783.31	o 1156318208
2775.50/2783.32	o 1156317184
2777.89/2785.78	o 1156316160
2827.84/2835.87	o 1156283392
2898.44/2906.67	o 1156281344
2903.93/2912.19	o 1156152320
3182.13/3191.14	o 1155628032
3182.13/3191.14	o 1155562496
3182.13/3191.14	o 1155546112
3182.13/3191.14	o 1155537920
3182.13/3191.15	o 1155533824
3182.13/3191.15	o 1155532800
3182.13/3191.15	o 1155530752
3182.22/3191.23	o 1155496960
3257.20/3266.49	o 1155488768
3257.40/3266.64	o 1155484672
3257.50/3266.77	o 1155482624
3257.70/3266.90	o 1155481600
3257.81/3267.04	o 1155416064
3257.91/3267.17	o 1155350528
3258.10/3267.30	o 1155334144
3258.30/3267.58	o 1155333120
3301.57/3310.96	o 1155324928
3301.78/3311.15	o 1155320832
3301.97/3311.33	o 1155318784
3302.16/3311.52	o 1155317760
3302.36/3311.70	o 1155301376
3302.46/3311.88	o 1155268608
3303.36/3312.70	o 1155169280
3537.78/3547.85	o 1155161088
3537.78/3547.85	o 1155156992
3537.78/3547.85	o 1155154944
3537.78/3547.86	o 1155153920
3537.78/3547.86	o 1155137536
3537.78/3547.86	o 1155006464
3537.78/3547.88	o 1154613248
3537.78/3547.88	o 1154547712
3537.78/3547.88	o 1154514944
3537.78/3547.88	o 1154513920
3600.00/3610.20	c Program interrupted by user.
3600.00/3610.20	s SATISFIABLE
3600.00/3610.20	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

Verifier Data 

OK	1154513920

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: 64059 MiB (60860 MiB free)
  memory of node 1: 64510 MiB (62210 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432976-1721066697/watcher-4432976-1721066697 -o /tmp/evaluation-result-4432976-1721066697/solver-4432976-1721066697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549968645 HOME/instance-4432976-1721066697.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=813492, runsolver pid=813489

[startup+0.10009 s]*
/proc/loadavg: 4.06 4.26 4.22 5/244 813493
/proc/meminfo: memFree=126011360/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=35880 memory=16040 CPUtime=0.1 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 2938 0 0 0 10 0 0 0 20 0 1 0 158828420 36741120 4010 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 8970 4010 900 1005 0 7733 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35880 KiB
Current children cumulated memory: 16040 KiB

[startup+0.212787 s]*
/proc/loadavg: 4.06 4.26 4.22 5/244 813493
/proc/meminfo: memFree=126005616/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=39544 memory=19736 CPUtime=0.21 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 3927 0 0 0 21 0 0 0 20 0 1 0 158828420 40493056 4934 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 9886 4934 916 1005 0 8649 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39544 KiB
Current children cumulated memory: 19736 KiB

[startup+0.312915 s]*
/proc/loadavg: 4.06 4.26 4.22 5/244 813493
/proc/meminfo: memFree=125999492/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=43076 memory=25228 CPUtime=0.32 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 4975 0 0 0 31 1 0 0 20 0 1 0 158828420 44109824 6307 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 10769 6307 916 1005 0 9532 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43076 KiB
Current children cumulated memory: 25228 KiB

[startup+0.700307 s]
/proc/loadavg: 4.06 4.26 4.22 5/244 813493
/proc/meminfo: memFree=125980204/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=59660 memory=44568 CPUtime=0.69 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 13481 0 0 0 67 2 0 0 20 0 1 0 158828420 61091840 11142 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 14915 11142 1140 1005 0 13678 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59660 KiB
Current children cumulated memory: 44568 KiB

[startup+1.50034 s]
/proc/loadavg: 4.06 4.26 4.22 5/244 813493
/proc/meminfo: memFree=125960112/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=71944 memory=61776 CPUtime=1.49 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 16388 0 0 0 147 2 0 0 20 0 1 0 158828420 73670656 15444 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 17986 15444 1140 1005 0 16749 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71944 KiB
Current children cumulated memory: 61776 KiB

[startup+3.11263 s]
/proc/loadavg: 4.06 4.26 4.22 5/244 813540
/proc/meminfo: memFree=125909392/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=106044 memory=95060 CPUtime=3.09 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 22724 0 0 0 306 3 0 0 20 0 1 0 158828420 108589056 23765 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 26511 23765 1140 1005 0 25274 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106044 KiB
Current children cumulated memory: 95060 KiB

[startup+6.30032 s]
/proc/loadavg: 4.06 4.26 4.22 5/244 813540
/proc/meminfo: memFree=125810860/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=155084 memory=134948 CPUtime=6.27 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 29016 0 0 0 622 5 0 0 20 0 1 0 158828420 158806016 33737 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 38771 33737 1140 1005 0 37534 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155084 KiB
Current children cumulated memory: 134948 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.25 4.22 5/244 813542
/proc/meminfo: memFree=125703528/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=226056 memory=186780 CPUtime=12.65 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 36869 0 0 0 1257 8 0 0 20 0 1 0 158828420 231481344 46695 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 56514 46695 1140 1005 0 55277 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 226056 KiB
Current children cumulated memory: 186780 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.26 4.22 5/244 813543
/proc/meminfo: memFree=125511244/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=370736 memory=298656 CPUtime=25.41 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 53280 0 0 0 2525 16 0 0 20 0 1 0 158828420 379633664 74664 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 92684 74664 1140 1005 0 91447 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 370736 KiB
Current children cumulated memory: 298656 KiB

[startup+51.1126 s]
/proc/loadavg: 4.08 4.24 4.21 5/244 813547
/proc/meminfo: memFree=125217080/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=607848 memory=467648 CPUtime=50.95 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 79326 0 0 0 5066 29 0 0 20 0 1 0 158828420 622436352 116912 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 151962 116912 1140 1005 0 150725 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 607848 KiB
Current children cumulated memory: 467648 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.23 4.21 5/242 813557
/proc/meminfo: memFree=124328616/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=716984 memory=655100 CPUtime=101.97 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 105406 0 0 0 10160 37 0 0 20 0 1 0 158828420 734191616 163775 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 179246 163775 1140 1005 0 178009 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 716984 KiB
Current children cumulated memory: 655100 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.20 5/242 813567
/proc/meminfo: memFree=123791892/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1034224 memory=797840 CPUtime=161.79 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 127774 0 0 0 16128 51 0 0 20 0 1 0 158828420 1059045376 199460 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 258556 199460 1140 1005 0 257319 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1034224 KiB
Current children cumulated memory: 797840 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.17 4.19 5/242 813577
/proc/meminfo: memFree=123233896/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1188092 memory=973416 CPUtime=221.6 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 155941 0 0 0 22100 60 0 0 20 0 1 0 158828420 1216606208 243354 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297023 243354 1140 1005 0 295786 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1188092 KiB
Current children cumulated memory: 973416 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.16 4.18 5/242 813588
/proc/meminfo: memFree=123162296/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1188092 memory=973580 CPUtime=281.41 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 156106 0 0 0 28079 62 0 0 20 0 1 0 158828420 1216606208 243395 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297023 243395 1140 1005 0 295786 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1188092 KiB
Current children cumulated memory: 973580 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/243 813602
/proc/meminfo: memFree=123148196/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=976588 CPUtime=341.22 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 157100 0 0 0 34058 64 0 0 20 0 1 0 158828420 1219358720 244147 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 244147 1140 1005 0 296458 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 976588 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/243 813612
/proc/meminfo: memFree=122940036/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=976588 CPUtime=401.03 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 157232 0 0 0 40038 65 0 0 20 0 1 0 158828420 1219358720 244147 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 244147 1140 1005 0 296458 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 976588 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/243 813624
/proc/meminfo: memFree=122449480/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=976588 CPUtime=460.84 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 157361 0 0 0 46016 68 0 0 20 0 1 0 158828420 1219358720 244147 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 244147 1140 1005 0 296458 0

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

Current children cumulated memory: 1077360 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.23 4.20 5/244 814671
/proc/meminfo: memFree=119302320/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=2854.27 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 173142 0 0 0 285306 121 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.21 4.19 5/244 814681
/proc/meminfo: memFree=119213284/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=2914.1 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 173632 0 0 0 291287 123 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/244 814692
/proc/meminfo: memFree=119097484/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=2973.93 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 174043 0 0 0 297269 124 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/243 815090
/proc/meminfo: memFree=119133188/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3033.75 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 174507 0 0 0 303250 125 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3102.3 s]
/proc/loadavg: 4.57 4.28 4.21 5/243 815100
/proc/meminfo: memFree=119061172/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3093.58 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 174914 0 0 0 309232 126 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.31 4.23 5/243 815110
/proc/meminfo: memFree=119003804/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3153.4 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 175380 0 0 0 315213 127 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.30 4.23 5/243 815289
/proc/meminfo: memFree=118953692/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3213.23 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 175784 0 0 0 321194 129 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.24 4.21 5/243 815300
/proc/meminfo: memFree=118951420/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3273.06 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 176265 0 0 0 327175 131 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.23 4.21 5/245 815314
/proc/meminfo: memFree=118950808/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3332.87 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 176749 0 0 0 333155 132 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.19 5/244 815335
/proc/meminfo: memFree=118948816/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3392.7 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 177251 0 0 0 339137 133 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.19 5/245 815347
/proc/meminfo: memFree=118945848/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3452.53 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 177658 0 0 0 345117 136 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/244 815357
/proc/meminfo: memFree=118944568/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3512.35 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 178115 0 0 0 351098 137 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/244 815368
/proc/meminfo: memFree=118943996/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3572.18 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 178518 0 0 0 357080 138 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.04 4.14 4.17 5/241 815468
/proc/meminfo: memFree=120496996/131655788 swapFree=131071996/131071996
[pid=813492] ppid=813489 vsize=1190780 memory=1077360 CPUtime=3600 cores=1,3
/proc/813492/stat : 813492 (Exact) R 813489 813492 811446 0 -1 4194304 178795 0 0 0 359861 139 0 0 20 0 1 0 158828420 1219358720 269340 134679101440 4194304 8309489 140724847020544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43778048 140724847023039 140724847023208 140724847023208 140724847030223 0
/proc/813492/statm: 297695 269340 1198 1005 0 296458 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1190780 KiB
Current children cumulated memory: 1077360 KiB

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

[startup+3610.21 s]
# the end of solver process 813492 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.39617 s

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

Child status: 10

Real time (s): 3610.21
CPU time (s): 3600.02
CPU user time (s): 3598.63
CPU system time (s): 1.39617
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1232036
Max. memory (cumulated for all children) (KiB): 1077360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.39617
maximum resident set size= 1077360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 1203


# summary of solver processes directly reported to runsolver:
#   pid: 813492
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.39617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9959 second user time and 35.5348 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-15 20:05:09
IDJOB=4432976
IDBENCH=146783
IDSOLVER=3060
FILE ID=nodeC006/4432976-1721066697
RUNJOBID= nodeC006-1721063098-811458
SLURM_JOB_ID= 7505517
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432976-1721066697/watcher-4432976-1721066697 -o /tmp/evaluation-result-4432976-1721066697/solver-4432976-1721066697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549968645 HOME/instance-4432976-1721066697.opb

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=549968645

nodeC006.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	: 0xb00001f
cpu MHz		: 3670.216
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.012
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.457
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.250
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.971
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.971
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.391
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.261
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126025196 kB
MemAvailable:   129579520 kB
Buffers:          377060 kB
Cached:          3975996 kB
SwapCached:            0 kB
Active:           628844 kB
Inactive:        4383168 kB
Active(anon):       1460 kB
Inactive(anon):   695192 kB
Active(file):     627384 kB
Inactive(file):  3687976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16544 kB
Writeback:             4 kB
AnonPages:        659072 kB
Mapped:           116312 kB
Shmem:             37704 kB
KReclaimable:     157992 kB
Slab:             262104 kB
SReclaimable:     157992 kB
SUnreclaim:       104112 kB
KernelStack:        3888 kB
PageTables:        10536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1085892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC006 at 2024-07-15 21:05:20