Trace number 4433379

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_no_SoPlex 2024-07-05SAT (TO)1222999040 3600.05 3609.13

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 

0.42/0.50	o 2147466240
0.42/0.50	o 2147400704
0.42/0.51	o 2147269632
0.42/0.51	o 2147267584
0.42/0.51	o 2147259392
0.42/0.52	o 2147226624
0.42/0.52	o 2147225600
0.42/0.52	o 2147221504
0.42/0.52	o 2146959360
0.42/0.52	o 2146435072
3.09/3.12	o 2142240768
3.09/3.12	o 2133852160
3.09/3.12	o 2131755008
3.09/3.13	o 2130706432
3.09/3.14	o 1593835520
3.09/3.17	o 1325400064
3.18/3.23	o 1317011456
3.18/3.24	o 1313079296
3.18/3.27	o 1312817152
3.38/3.40	o 1311834112
3.38/3.41	o 1311800320
3.38/3.42	o 1311792128
3.38/3.42	o 1311791104
3.38/3.43	o 1311787008
3.38/3.43	o 1311770624
3.38/3.44	o 1311768576
3.48/3.50	o 1311506432
3.48/3.51	o 1311472640
3.58/3.65	o 1311471616
3.58/3.65	o 1311406080
3.58/3.66	o 1311389696
3.58/3.66	o 1311324160
3.58/3.67	o 1311315968
3.58/3.68	o 1311311872
3.58/3.68	o 1311309824
3.68/3.73	o 1311244288
3.68/3.75	o 1310720000
3.78/3.80	o 1310195712
3.78/3.89	o 1310064640
3.88/3.92	o 1309999104
3.88/3.98	o 1309933568
4.00/4.02	o 1309834240
4.10/4.15	o 1309833216
4.10/4.16	o 1309816832
4.10/4.16	o 1309808640
4.10/4.17	o 1309804544
4.10/4.18	o 1309802496
4.10/4.19	o 1309671424
4.18/4.25	o 1309670400
4.78/4.85	o 1309146112
4.78/4.86	o 1308883968
4.78/4.87	o 1308818432
4.78/4.88	o 1308785664
4.78/4.88	o 1308769280
4.78/4.89	o 1308761088
4.88/4.90	o 1308756992
4.88/4.91	o 1308754944
4.88/4.92	o 1308753920
4.88/4.93	o 1308622848
4.88/4.94	o 1301150720
5.18/5.21	o 1301085184
5.18/5.22	o 1301052416
5.18/5.23	o 1301036032
5.18/5.24	o 1301027840
5.18/5.25	o 1301023744
5.18/5.26	o 1301021696
5.18/5.27	o 1301020672
5.28/5.31	o 1300496384
5.28/5.33	o 1300234240
5.28/5.34	o 1300168704
5.28/5.35	o 1300167680
5.28/5.38	o 1299905536
5.38/5.40	o 1299872768
5.38/5.41	o 1299856384
5.38/5.42	o 1299848192
5.38/5.43	o 1299844096
5.38/5.44	o 1299842048
5.38/5.45	o 1299841024
5.47/5.51	o 1299709952
5.47/5.52	o 1299677184
5.47/5.53	o 1299676160
5.57/5.68	o 1299414016
5.67/5.70	o 1299348480
5.67/5.71	o 1299332096
5.67/5.72	o 1299323904
5.67/5.73	o 1299319808
5.67/5.74	o 1299317760
5.67/5.75	o 1299316736
5.67/5.76	o 1299185664
5.67/5.77	o 1299184640
5.87/6.00	o 1299119104
5.87/6.01	o 1299086336
5.99/6.02	o 1299069952
5.99/6.03	o 1299061760
5.99/6.04	o 1299057664
5.99/6.05	o 1299055616
5.99/6.07	o 1299054592
10.08/10.11	o 1299021824
10.08/10.14	o 1299020800
10.17/10.28	o 1299004416
10.27/10.30	o 1298996224
10.27/10.32	o 1298992128
10.27/10.34	o 1298990080
10.27/10.36	o 1298989056
10.27/10.38	o 1298923520
10.37/10.41	o 1298857984
10.37/10.43	o 1298856960
15.75/15.89	o 1298848768
62.72/62.98	o 1298844672
62.83/63.04	o 1298842624
62.83/63.10	o 1298841600
62.93/63.15	o 1298808832
63.02/63.21	o 1298792448
63.02/63.26	o 1298661376
63.12/63.32	o 1298137088
63.12/63.38	o 1293942784
63.22/63.43	o 1291845632
63.32/63.51	o 1283293184
63.32/63.58	o 1283292160
63.42/63.65	o 1283283968
63.52/63.71	o 1283279872
63.52/63.77	o 1283277824
63.62/63.82	o 1283276800
63.62/63.87	o 1283260416
63.72/63.93	o 1283194880
63.72/63.98	o 1282670592
63.83/64.03	o 1282408448
63.83/64.09	o 1278214144
63.93/64.14	o 1276116992
63.93/64.19	o 1275068416
64.02/64.26	o 1274280960
77.38/77.66	o 1274149888
77.48/77.75	o 1274133504
77.58/77.84	o 1274125312
77.68/77.93	o 1274121216
77.79/78.02	o 1274119168
77.79/78.11	o 1274118144
77.89/78.19	o 1274117120
82.67/82.99	o 1274100736
82.78/83.09	o 1274092544
82.89/83.18	o 1274088448
82.97/83.27	o 1274086400
83.07/83.37	o 1274085376
83.17/83.46	o 1274019840
83.27/83.56	o 1273954304
83.37/83.65	o 1273953280
83.47/83.78	o 1273936896
83.57/83.87	o 1273928704
83.67/83.96	o 1273924608
83.78/84.06	o 1273922560
83.88/84.15	o 1273921536
83.97/84.24	o 1273888768
84.07/84.33	o 1273789440
91.95/92.24	o 1273781248
92.05/92.34	o 1273777152
92.15/92.45	o 1273775104
92.25/92.55	o 1273774080
92.35/92.66	o 1273757696
92.45/92.78	o 1273625600
115.88/116.24	o 1273617408
147.72/148.18	o 1273613312
147.81/148.23	o 1273611264
147.81/148.28	o 1273610240
147.91/148.33	o 1273593856
147.91/148.38	o 1273561088
148.01/148.43	o 1273495552
148.01/148.49	o 1272971264
148.11/148.55	o 1270349824
148.21/148.60	o 1270348800
155.19/155.63	o 1270217728
155.29/155.70	o 1270184960
155.29/155.76	o 1270168576
155.39/155.83	o 1270160384
155.49/155.90	o 1270156288
155.49/155.96	o 1270154240
155.60/156.03	o 1270153216
155.60/156.10	o 1270087680
155.70/156.16	o 1269825536
155.79/156.23	o 1268776960
155.89/156.30	o 1268219904
155.89/156.37	o 1268218880
157.78/158.29	o 1268202496
157.88/158.36	o 1268194304
157.98/158.43	o 1268190208
158.08/158.51	o 1268188160
158.08/158.58	o 1268187136
158.18/158.65	o 1267924992
158.28/158.72	o 1267793920
158.28/158.79	o 1267728384
158.38/158.86	o 1266679808
159.59/160.04	o 1266580480
339.90/340.83	o 1266576384
339.90/340.83	o 1266574336
339.90/340.83	o 1266573312
339.90/340.84	o 1266556928
339.90/340.84	o 1266548736
339.90/340.86	o 1266024448
339.90/340.86	o 1265762304
339.90/340.88	o 1265761280
340.00/340.94	o 1265728512
340.00/340.95	o 1265712128
340.00/340.95	o 1265703936
340.00/340.95	o 1265699840
340.00/340.96	o 1265697792
340.00/340.96	o 1265696768
340.00/340.96	o 1265631232
340.12/341.05	o 1265598464
340.12/341.05	o 1265597440
352.48/353.47	o 1265466368
352.57/353.51	o 1265449984
352.57/353.55	o 1265441792
352.57/353.59	o 1265437696
352.67/353.62	o 1265435648
352.67/353.66	o 1265434624
352.67/353.70	o 1265433600
352.97/353.90	o 1265425408
352.97/353.94	o 1265421312
352.97/353.98	o 1265419264
353.09/354.01	o 1265418240
353.09/354.05	o 1265385472
353.09/354.09	o 1265369088
353.37/354.32	o 1265270784
353.37/354.35	o 1265269760
539.00/540.41	o 1265265664
539.00/540.41	o 1265263616
539.00/540.41	o 1265262592
539.00/540.42	o 1265131520
539.00/540.42	o 1265115136
539.00/540.42	o 1265106944
539.00/540.42	o 1264975872
539.00/540.43	o 1264942080
539.00/540.46	o 1264941056
539.00/540.46	o 1264924672
539.00/540.46	o 1264859136
539.00/540.46	o 1264850944
539.00/540.47	o 1264846848
539.00/540.47	o 1264844800
539.00/540.49	o 1264779264
539.00/540.49	o 1264778240
763.55/765.53	o 1264745472
763.55/765.53	o 1264729088
763.55/765.53	o 1264724992
763.55/765.53	o 1264722944
763.55/765.53	o 1264721920
763.55/765.54	o 1264713728
763.55/765.54	o 1264582656
763.55/765.57	o 1264451584
763.55/765.57	o 1264450560
790.00/792.07	o 1264442368
790.10/792.14	o 1264438272
790.19/792.20	o 1264436224
790.19/792.27	o 1264435200
790.29/792.33	o 1264369664
790.39/792.40	o 1264336896
790.39/792.46	o 1264320512
790.49/792.53	o 1264287744
790.49/792.59	o 1264286720
893.15/895.40	o 1264221184
893.25/895.56	o 1264212992
893.45/895.72	o 1264208896
893.55/895.87	o 1264206848
893.76/896.03	o 1264205824
893.86/896.19	o 1264189440
894.05/896.35	o 1264123904
894.25/896.51	o 1264122880
894.55/896.80	o 1264090112
894.65/896.96	o 1264073728
894.86/897.11	o 1264069632
894.95/897.27	o 1264067584
895.15/897.43	o 1264066560
895.24/897.59	o 1264058368
896.24/898.56	o 1263960064
896.44/898.71	o 1263959040
932.26/934.61	o 1263942656
932.26/934.68	o 1263934464
932.36/934.75	o 1263930368
932.46/934.83	o 1263928320
932.55/934.90	o 1263927296
932.55/934.98	o 1263796224
932.67/935.05	o 1263795200
965.18/967.65	o 1263729664
965.28/967.76	o 1263696896
965.38/967.87	o 1263680512
965.48/967.98	o 1263676416
965.59/968.09	o 1263674368
965.78/968.20	o 1263673344
965.88/968.31	o 1263665152
965.98/968.42	o 1263632384
966.08/968.53	o 1263631360
1089.89/1092.62	o 1263565824
1089.89/1092.62	o 1263557632
1089.89/1092.62	o 1263553536
1089.89/1092.62	o 1263551488
1089.89/1092.62	o 1263550464
1089.89/1092.62	o 1263534080
1089.89/1092.66	o 1263139840
1089.99/1092.76	o 1263131648
1089.99/1092.76	o 1263127552
1089.99/1092.77	o 1263125504
1089.99/1092.77	o 1263124480
1089.99/1092.77	o 1263108096
1089.99/1092.77	o 1263075328
1089.99/1092.77	o 1263009792
1090.09/1092.82	o 1262976000
1094.08/1096.81	o 1262959616
1094.08/1096.83	o 1262955520
1094.08/1096.85	o 1262953472
1094.08/1096.87	o 1262952448
1094.08/1096.89	o 1262886912
1094.18/1096.91	o 1262878720
1094.18/1096.93	o 1262813184
1094.18/1096.95	o 1262812160
1141.18/1144.02	o 1262779392
1141.18/1144.11	o 1262763008
1141.37/1144.20	o 1262754816
1141.37/1144.29	o 1262750720
1141.47/1144.38	o 1262748672
1141.57/1144.46	o 1262747648
1141.67/1144.55	o 1262485504
1141.77/1144.64	o 1261993984
1141.87/1144.73	o 1261992960
1146.56/1149.46	o 1261988864
1146.66/1149.55	o 1261986816
1146.76/1149.64	o 1261985792
1146.86/1149.72	o 1261969408
1146.96/1149.81	o 1261961216
1146.96/1149.89	o 1261830144
1147.06/1149.98	o 1261829120
1287.44/1290.69	o 1261796352
1287.44/1290.69	o 1261779968
1287.44/1290.69	o 1261771776
1287.44/1290.69	o 1261767680
1287.44/1290.69	o 1261765632
1287.44/1290.69	o 1261764608
1287.44/1290.69	o 1260716032
1287.44/1290.69	o 1260453888
1287.44/1290.69	o 1260355584
1287.44/1290.69	o 1260354560
1287.54/1290.71	o 1260092416
1287.54/1290.71	o 1259961344
1287.54/1290.71	o 1259895808
1287.54/1290.71	o 1259863040
1516.53/1520.27	o 1259830272
1516.53/1520.28	o 1259813888
1516.53/1520.29	o 1259805696
1516.53/1520.29	o 1259801600
1516.53/1520.29	o 1259799552
1516.53/1520.29	o 1259798528
1516.53/1520.29	o 1259536384
1516.63/1520.30	o 1258487808
1516.63/1520.30	o 1258356736
1516.63/1520.30	o 1258291200
1516.63/1520.35	o 1258029056
1516.63/1520.35	o 1257897984
1516.63/1520.36	o 1257896960
2200.82/2206.18	o 1257831424
2200.82/2206.18	o 1257798656
2200.82/2206.19	o 1257782272
2200.82/2206.19	o 1257774080
2200.82/2206.19	o 1257773056
2200.82/2206.19	o 1257768960
2200.82/2206.19	o 1257766912
2200.82/2206.19	o 1255669760
2200.82/2206.19	o 1255145472
2200.82/2206.19	o 1254948864
2200.82/2206.19	o 1254947840
2200.91/2206.21	o 1254915072
2200.91/2206.21	o 1254898688
2200.91/2206.21	o 1254890496
2200.91/2206.21	o 1254889472
2200.91/2206.21	o 1254885376
2200.91/2206.21	o 1254883328
2200.91/2206.22	o 1250689024
2200.91/2206.22	o 1250164736
2200.91/2206.22	o 1250032640
2202.30/2207.60	o 1250016256
2202.30/2207.61	o 1250008064
2202.30/2207.62	o 1250003968
2202.30/2207.63	o 1250001920
2202.30/2207.64	o 1250000896
2202.30/2207.65	o 1249935360
2202.30/2207.65	o 1249902592
2202.81/2208.15	o 1249868800
2353.50/2359.28	o 1249852416
2441.75/2447.79	o 1249844224
2441.75/2447.79	o 1249840128
2441.75/2447.79	o 1249838080
2441.75/2447.79	o 1249837056
2441.85/2447.80	o 1249771520
2441.85/2447.80	o 1245577216
2441.85/2447.80	o 1243480064
2441.85/2447.80	o 1243315200
2441.95/2447.93	o 1243184128
2441.95/2447.93	o 1243118592
2441.95/2447.93	o 1243102208
2441.95/2447.94	o 1243094016
2441.95/2447.94	o 1243089920
2441.95/2447.94	o 1243087872
2441.95/2447.94	o 1243086848
2441.95/2447.95	o 1243021312
2441.95/2447.95	o 1242987520
2709.73/2716.45	o 1242971136
2709.73/2716.45	o 1242962944
2709.73/2716.45	o 1242958848
2709.73/2716.45	o 1242956800
2709.73/2716.45	o 1242955776
2709.73/2716.45	o 1242824704
2709.73/2716.45	o 1242562560
2709.73/2716.45	o 1241513984
2709.73/2716.45	o 1233157120
2709.73/2716.47	o 1233140736
2709.73/2716.47	o 1233132544
2709.73/2716.47	o 1233128448
2709.73/2716.47	o 1233126400
2709.73/2716.47	o 1233125376
2709.73/2716.47	o 1228931072
2709.73/2716.48	o 1228275712
2709.73/2716.48	o 1228241920
3018.89/3026.45	o 1228176384
3112.54/3120.30	o 1228160000
3112.54/3120.31	o 1228155904
3112.54/3120.31	o 1228153856
3112.54/3120.31	o 1228152832
3112.54/3120.31	o 1228144640
3112.54/3120.31	o 1228079104
3112.54/3120.31	o 1228078080
3112.54/3120.32	o 1228061696
3112.54/3120.32	o 1228053504
3112.54/3120.32	o 1228049408
3112.54/3120.33	o 1228047360
3112.54/3120.33	o 1228046336
3112.54/3120.33	o 1228013568
3112.54/3120.33	o 1227882496
3112.54/3120.33	o 1225785344
3112.54/3120.33	o 1225128960
3112.54/3120.34	o 1224604672
3112.54/3120.34	o 1224473600
3358.27/3366.77	o 1224440832
3358.27/3366.79	o 1224309760
3358.37/3366.84	o 1224293376
3358.37/3366.86	o 1224285184
3358.37/3366.88	o 1224281088
3358.47/3366.90	o 1224279040
3358.47/3366.91	o 1224278016
3358.47/3366.93	o 1224212480
3358.47/3366.95	o 1224145920
3365.85/3374.31	o 1224113152
3365.85/3374.34	o 1224096768
3365.85/3374.37	o 1224088576
3365.95/3374.41	o 1224084480
3365.95/3374.44	o 1224082432
3365.95/3374.48	o 1224081408
3366.05/3374.51	o 1223983104
3366.05/3374.54	o 1223982080
3366.75/3375.29	o 1223973888
3366.85/3375.32	o 1223969792
3366.85/3375.35	o 1223967744
3366.85/3375.39	o 1223966720
3366.94/3375.42	o 1223950336
3367.34/3375.84	o 1223819264
3367.34/3375.88	o 1223818240
3369.44/3378.00	o 1223785472
3369.55/3378.04	o 1223769088
3369.55/3378.08	o 1223760896
3369.65/3378.12	o 1223756800
3369.65/3378.15	o 1223754752
3369.65/3378.19	o 1223753728
3369.74/3378.23	o 1223688192
3369.74/3378.27	o 1223655424
3369.84/3378.30	o 1223654400
3370.65/3379.15	o 1223638016
3370.65/3379.19	o 1223629824
3370.73/3379.23	o 1223625728
3370.73/3379.27	o 1223623680
3370.83/3379.31	o 1223622656
3370.83/3379.35	o 1223557120
3370.83/3379.39	o 1223490560
3413.12/3421.78	o 1223474176
3413.22/3421.87	o 1223465984
3413.32/3421.97	o 1223461888
3413.43/3422.06	o 1223459840
3413.53/3422.16	o 1223458816
3413.62/3422.25	o 1223426048
3413.72/3422.37	o 1223163904
3413.82/3422.46	o 1223162880
3597.93/3607.07	o 1223130112
3597.93/3607.07	o 1223113728
3597.93/3607.07	o 1223105536
3597.93/3607.07	o 1223101440
3597.93/3607.07	o 1223099392
3597.93/3607.07	o 1223098368
3597.93/3607.08	o 1223000064
3597.93/3607.08	o 1222999040
3600.03/3609.11	c Program interrupted by user.
3600.03/3609.11	s SATISFIABLE
3600.03/3609.11	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	1222999040

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433379-1721068306/watcher-4433379-1721068306 -o /tmp/evaluation-result-4433379-1721068306/solver-4433379-1721068306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809826 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1871565436 HOME/instance-4433379-1721068306.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=813776, runsolver pid=813773

[startup+0.100101 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813777
/proc/meminfo: memFree=126807724/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=34660 memory=15640 CPUtime=0.1 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 2953 0 0 0 10 0 0 0 20 0 1 0 158989437 35491840 3910 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 8665 3910 803 746 0 7729 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34660 KiB
Current children cumulated memory: 15640 KiB

[startup+0.213252 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813777
/proc/meminfo: memFree=126802876/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=37928 memory=18924 CPUtime=0.21 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 3861 0 0 0 21 0 0 0 20 0 1 0 158989437 38838272 4731 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 9482 4731 803 746 0 8546 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 18924 KiB

[startup+0.313153 s]*
/proc/loadavg: 4.08 4.11 4.15 5/244 813777
/proc/meminfo: memFree=126796264/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=41720 memory=24948 CPUtime=0.32 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 4983 0 0 0 31 1 0 0 20 0 1 0 158989437 42721280 6237 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 10430 6237 803 746 0 9494 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 24948 KiB

[startup+0.700346 s]
/proc/loadavg: 4.08 4.11 4.15 5/242 813791
/proc/meminfo: memFree=127903952/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=50496 memory=34592 CPUtime=0.69 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 6996 0 0 0 68 1 0 0 20 0 1 0 158989437 51707904 8648 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 12624 8648 851 746 0 11688 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50496 KiB
Current children cumulated memory: 34592 KiB

[startup+1.50034 s]
/proc/loadavg: 4.08 4.11 4.15 6/240 813803
/proc/meminfo: memFree=127888844/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=64640 memory=57024 CPUtime=1.48 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 10594 0 0 0 146 2 0 0 20 0 1 0 158989437 66191360 14256 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 16160 14256 851 746 0 15224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64640 KiB
Current children cumulated memory: 57024 KiB

[startup+3.11298 s]
/proc/loadavg: 4.08 4.11 4.15 4/239 813857
/proc/meminfo: memFree=128011160/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=98396 memory=92092 CPUtime=3.09 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 17022 0 0 0 305 4 0 0 20 0 1 0 158989437 100757504 23023 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 24599 23023 851 746 0 23663 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98396 KiB
Current children cumulated memory: 92092 KiB

[startup+6.3003 s]
/proc/loadavg: 4.08 4.11 4.15 4/241 813885
/proc/meminfo: memFree=128175612/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=156624 memory=145696 CPUtime=6.28 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 25235 0 0 0 621 7 0 0 20 0 1 0 158989437 160382976 36424 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 39156 36424 851 746 0 38220 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 156624 KiB
Current children cumulated memory: 145696 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 813917
/proc/meminfo: memFree=127662076/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=340460 memory=250976 CPUtime=12.66 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 42377 0 0 0 1253 13 0 0 20 0 1 0 158989437 348631040 62744 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 85115 62744 851 746 0 84179 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 340460 KiB
Current children cumulated memory: 250976 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.15 5/244 813920
/proc/meminfo: memFree=127187364/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=385096 memory=350024 CPUtime=25.43 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 54656 0 0 0 2527 16 0 0 20 0 1 0 158989437 394338304 87506 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 96274 87506 851 746 0 95338 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 385096 KiB
Current children cumulated memory: 350024 KiB

[startup+51.1131 s]
/proc/loadavg: 4.08 4.10 4.14 5/244 813924
/proc/meminfo: memFree=126790260/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=679080 memory=573476 CPUtime=50.97 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 88821 0 0 0 5068 29 0 0 20 0 1 0 158989437 695377920 143369 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 169770 143369 851 746 0 168834 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 679080 KiB
Current children cumulated memory: 573476 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/244 813933
/proc/meminfo: memFree=125829656/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=999264 memory=810232 CPUtime=102.02 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 114813 0 0 0 10159 43 0 0 20 0 1 0 158989437 1023246336 202558 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 249816 202558 851 746 0 248880 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 999264 KiB
Current children cumulated memory: 810232 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.14 5/242 813944
/proc/meminfo: memFree=125385280/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1201772 memory=1041996 CPUtime=161.87 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 152710 0 0 0 16133 54 0 0 20 0 1 0 158989437 1230614528 260499 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 300443 260499 851 746 0 299507 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1201772 KiB
Current children cumulated memory: 1041996 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.13 5/242 813954
/proc/meminfo: memFree=124633580/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1201772 memory=1042324 CPUtime=221.71 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 153166 0 0 0 22117 54 0 0 20 0 1 0 158989437 1230614528 260581 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 300443 260581 851 746 0 299507 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1201772 KiB
Current children cumulated memory: 1042324 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/242 813965
/proc/meminfo: memFree=124001544/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1232116 memory=1075468 CPUtime=281.56 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 158771 0 0 0 28101 55 0 0 20 0 1 0 158989437 1261686784 268867 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308029 268867 851 746 0 307093 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1232116 KiB
Current children cumulated memory: 1075468 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/242 813975
/proc/meminfo: memFree=123919276/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1232116 memory=1107980 CPUtime=341.41 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 159244 0 0 0 34085 56 0 0 20 0 1 0 158989437 1261686784 276995 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308029 276995 851 746 0 307093 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1232116 KiB
Current children cumulated memory: 1107980 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/242 813985
/proc/meminfo: memFree=123879308/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1232116 memory=1144816 CPUtime=401.25 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 159644 0 0 0 40069 56 0 0 20 0 1 0 158989437 1261686784 286204 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308029 286204 851 746 0 307093 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 1232116 KiB
Current children cumulated memory: 1144816 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/241 813996
/proc/meminfo: memFree=123840420/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1232116 memory=1180804 CPUtime=461.1 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 160053 0 0 0 46054 56 0 0 20 0 1 0 158989437 1261686784 295201 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308029 295201 851 746 0 307093 0

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

Current children cumulated memory: 1181316 KiB

[startup+2922.3 s]
/proc/loadavg: 4.56 4.32 4.20 5/244 815014
/proc/meminfo: memFree=123622456/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233004 memory=1181572 CPUtime=2915.07 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 179974 0 0 0 291447 60 0 0 20 0 1 0 158989437 1262596096 295393 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308251 295393 851 746 0 307315 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 1233004 KiB
Current children cumulated memory: 1181572 KiB

[startup+2982.3 s]
/proc/loadavg: 4.25 4.27 4.18 5/244 815024
/proc/meminfo: memFree=123619652/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233004 memory=1181572 CPUtime=2974.91 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 180504 0 0 0 297431 60 0 0 20 0 1 0 158989437 1262596096 295393 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308251 295393 851 746 0 307315 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 1233004 KiB
Current children cumulated memory: 1181572 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.24 4.18 5/245 815037
/proc/meminfo: memFree=123614256/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3034.74 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 180994 0 0 0 303414 60 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/245 815047
/proc/meminfo: memFree=123613180/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3094.59 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 181529 0 0 0 309398 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/245 815058
/proc/meminfo: memFree=123612656/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3154.43 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 181968 0 0 0 315382 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/247 815452
/proc/meminfo: memFree=123611384/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3214.26 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 182495 0 0 0 321365 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.15 4.16 5/244 815463
/proc/meminfo: memFree=123611032/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3274.1 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 183036 0 0 0 327349 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/243 815475
/proc/meminfo: memFree=123597636/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3333.94 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 183488 0 0 0 333333 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/244 815654
/proc/meminfo: memFree=123593788/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3393.77 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 183941 0 0 0 339316 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/244 815665
/proc/meminfo: memFree=123592040/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3453.61 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 184458 0 0 0 345300 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/247 815734
/proc/meminfo: memFree=123589288/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3513.44 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 185004 0 0 0 351283 61 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/246 815744
/proc/meminfo: memFree=123589128/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3573.29 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 185459 0 0 0 357267 62 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.17 4.13 4.14 5/246 815749
/proc/meminfo: memFree=123589068/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3600.03 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 185612 0 0 0 359941 62 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

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

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

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

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

[startup+3609.11 s]
/proc/loadavg: 4.17 4.13 4.14 5/246 815749
/proc/meminfo: memFree=123589068/131655788 swapFree=131071996/131071996
[pid=813776] ppid=813773 vsize=1233260 memory=1181828 CPUtime=3600.03 cores=4,6
/proc/813776/stat : 813776 (Exact_nosoplex) R 813773 813776 809815 0 -1 4194304 185612 0 0 0 359941 62 0 0 20 0 1 0 158989437 1262858240 295457 134679101440 4194304 7248369 140720550235328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 12165120 140720550237100 140720550237279 140720550237279 140720550244294 0
/proc/813776/statm: 308315 295457 851 746 0 307379 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1233260 KiB
Current children cumulated memory: 1181828 KiB

Child status: 10

Real time (s): 3609.13
CPU time (s): 3600.05
CPU user time (s): 3599.42
CPU system time (s): 0.626037
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 1233260
Max. memory (cumulated for all children) (KiB): 1181828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.626037
maximum resident set size= 1181828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185613
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= 85
involuntary context switches= 1428


# summary of solver processes directly reported to runsolver:
#   pid: 813776
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.626037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1014 second user time and 33.8393 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 20:31:58
IDJOB=4433379
IDBENCH=146783
IDSOLVER=3061
FILE ID=nodeC005/4433379-1721068306
RUNJOBID= nodeC005-1721061099-809826
SLURM_JOB_ID= 7505509
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact_no_SoPlex 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_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433379-1721068306/watcher-4433379-1721068306 -o /tmp/evaluation-result-4433379-1721068306/solver-4433379-1721068306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809826 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1871565436 HOME/instance-4433379-1721068306.opb

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=1871565436

nodeC005.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		: 3663.153
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.53
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		: 3651.804
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.35
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.372
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.53
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.202
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.35
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.811
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.53
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		: 3651.916
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.35
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.178
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.53
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.258
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126818516 kB
MemAvailable:   128276844 kB
Buffers:          356528 kB
Cached:          1929172 kB
SwapCached:            0 kB
Active:           589960 kB
Inactive:        3683416 kB
Active(anon):       3448 kB
Inactive(anon):  2022016 kB
Active(file):     586512 kB
Inactive(file):  1661400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6560 kB
Writeback:            44 kB
AnonPages:       1986588 kB
Mapped:           114840 kB
Shmem:             37704 kB
KReclaimable:     101228 kB
Slab:             201856 kB
SReclaimable:     101228 kB
SUnreclaim:       100628 kB
KernelStack:        3936 kB
PageTables:        13156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2482788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1832960 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-15 21:32:08