Trace number 4433372

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)5244928 3600.04 3610.41

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
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 benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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.10/0.19	o 33738246
0.10/0.20	o 13441633
0.10/0.21	o 13350497
0.10/0.21	o 13261409
0.10/0.21	o 13176417
0.10/0.22	o 13043297
0.10/0.22	o 12959329
0.10/0.22	o 12862049
0.10/0.22	o 12748385
0.21/0.22	o 12643937
0.21/0.23	o 12528225
0.21/0.23	o 12379745
0.21/0.23	o 12313185
0.21/0.23	o 12203617
0.21/0.24	o 12136033
0.21/0.24	o 12040801
0.21/0.24	o 11903585
0.21/0.24	o 11754081
0.21/0.25	o 11615841
0.21/0.25	o 11576932
0.21/0.25	o 11576925
0.21/0.27	o 11576885
0.21/0.28	o 11576764
0.21/0.28	o 11576756
0.21/0.29	o 11576738
0.31/0.35	o 11575678
0.31/0.37	o 11575676
0.31/0.39	o 11455876
0.31/0.40	o 11319829
0.31/0.41	o 11319824
0.31/0.41	o 11319816
0.41/0.45	o 11216827
0.41/0.45	o 11216819
0.41/0.46	o 11216627
0.41/0.47	o 11216563
0.41/0.50	o 11216530
0.41/0.51	o 11216524
0.51/0.56	o 11134606
0.59/0.65	o 11124379
0.59/0.67	o 11124374
0.59/0.68	o 11124370
0.77/0.81	o 11117198
0.77/0.82	o 11117196
0.77/0.82	o 11117195
0.77/0.84	o 11117186
0.77/0.89	o 11112790
1.48/1.53	o 11094605
1.48/1.54	o 11094599
1.48/1.56	o 11094593
1.48/1.59	o 11094590
1.57/1.64	o 10944062
1.67/1.71	o 10944050
1.67/1.72	o 10943026
1.67/1.74	o 10940466
1.87/1.95	o 10939954
1.87/1.98	o 10939946
2.08/2.12	o 10928695
2.08/2.13	o 10846775
2.08/2.14	o 10740279
2.08/2.15	o 10615351
2.16/2.25	o 10615349
2.27/2.31	o 10615347
2.27/2.33	o 10540595
2.37/2.46	o 10502820
2.37/2.47	o 10502813
2.37/2.49	o 10502291
2.47/2.50	o 10502289
2.47/2.51	o 10502282
2.47/2.52	o 10502280
2.47/2.56	o 10502277
2.47/2.57	o 10502270
2.67/2.74	o 10502263
3.66/3.72	o 10502259
3.66/3.74	o 10502243
3.66/3.76	o 10502235
3.66/3.78	o 10502221
4.26/4.32	o 10459633
4.26/4.39	o 10459608
4.36/4.43	o 10459601
4.86/4.99	o 10459580
4.97/5.03	o 10459574
4.97/5.05	o 10459573
6.36/6.46	o 10431359
6.36/6.49	o 10431355
6.46/6.54	o 10431351
6.56/6.67	o 10430583
6.85/6.92	o 10430575
6.97/7.03	o 10428527
7.25/7.32	o 10428520
7.25/7.35	o 10428516
7.25/7.38	o 10428508
7.35/7.41	o 10428507
7.35/7.43	o 10428500
7.35/7.47	o 10428492
7.35/7.49	o 10359749
7.55/7.64	o 10359747
7.65/7.74	o 10348501
7.65/7.78	o 10348493
7.75/7.80	o 10348489
7.75/7.82	o 10348449
7.85/7.97	o 10263509
7.96/8.02	o 10263485
7.96/8.10	o 10263461
8.06/8.14	o 10257125
12.95/13.06	o 10162536
12.95/13.09	o 10162530
13.05/13.12	o 10162529
13.05/13.15	o 10162522
13.05/13.17	o 10162520
13.05/13.19	o 10024280
13.13/13.20	o 9938264
13.13/13.21	o 9858392
13.13/13.22	o 9769304
13.33/13.46	o 9769297
13.43/13.50	o 9769294
13.43/13.52	o 9769293
13.43/13.53	o 9769286
13.43/13.55	o 9769094
13.43/13.58	o 9769039
13.53/13.60	o 9768998
13.63/13.73	o 9768550
13.63/13.76	o 9768365
13.63/13.78	o 9768351
13.63/13.79	o 9768344
13.73/13.80	o 9768340
13.73/13.82	o 9768333
13.73/13.83	o 9768326
14.23/14.35	o 9768320
14.42/14.59	o 9768275
14.52/14.61	o 9768271
14.62/14.79	o 9768047
15.52/15.60	o 9768044
15.52/15.67	o 9768042
17.32/17.46	o 9768036
17.42/17.55	o 9768029
17.42/17.58	o 9768015
20.80/20.92	o 9768013
21.40/21.54	o 9740321
24.00/24.14	o 9740209
33.36/33.52	o 9693335
33.46/33.60	o 9693329
33.46/33.62	o 9693328
55.39/55.67	o 9693323
55.49/55.72	o 9693322
56.38/56.62	o 9693319
56.38/56.63	o 9693318
56.58/56.88	o 9693311
57.08/57.31	o 9693255
58.08/58.36	o 9564514
58.79/59.02	o 9564513
58.98/59.27	o 9550279
59.07/59.31	o 9550276
59.07/59.38	o 9550275
59.27/59.51	o 9550270
59.27/59.54	o 9550268
59.27/59.57	o 9550267
61.37/61.62	o 9550264
61.47/61.75	o 9550259
61.47/61.79	o 9550255
61.57/61.82	o 9550253
61.88/62.17	o 9550249
61.96/62.22	o 9550245
61.96/62.25	o 9550241
61.96/62.28	o 9546145
62.16/62.46	o 9513377
65.05/65.39	o 9513375
65.15/65.43	o 9513345
65.45/65.77	o 9513336
65.55/65.86	o 9513272
76.51/76.80	o 9513256
90.37/90.77	o 9474159
90.47/90.83	o 9474150
90.47/90.88	o 9474130
91.07/91.40	o 9474102
92.06/92.47	o 9402422
94.25/94.61	o 9402374
94.45/94.80	o 9402368
94.95/95.30	o 9402365
95.05/95.45	o 9400235
95.15/95.54	o 9400226
95.25/95.64	o 9400224
95.84/96.26	o 9288236
95.84/96.28	o 9288128
95.94/96.34	o 9283520
96.04/96.41	o 9210168
96.04/96.45	o 9210166
98.14/98.57	o 9210136
98.34/98.70	o 9140004
98.34/98.75	o 9139996
98.43/98.86	o 9139994
99.53/99.99	o 9139993
99.83/100.22	o 9139992
99.83/100.26	o 9139991
99.83/100.29	o 9139990
100.23/100.65	o 9127095
100.23/100.69	o 9127094
100.43/100.89	o 9127093
100.53/100.93	o 9126837
100.53/100.97	o 9126830
100.64/101.10	o 8991670
102.32/102.79	o 8991628
102.42/102.84	o 8991622
103.02/103.43	o 8991619
114.08/114.50	o 8991603
114.08/114.51	o 8991602
114.08/114.53	o 8991218
114.18/114.60	o 8954610
114.18/114.62	o 8954034
114.28/114.70	o 8954028
114.28/114.73	o 8954012
114.28/114.74	o 8954004
114.69/115.13	o 8953492
115.97/116.47	o 8953460
116.17/116.64	o 8945524
116.17/116.69	o 8945508
116.47/116.96	o 8936556
116.47/116.99	o 8936550
116.59/117.01	o 8935754
116.59/117.03	o 8935748
131.64/132.15	o 8935742
131.72/132.22	o 8935740
131.72/132.27	o 8935734
142.28/142.87	o 8935731
142.28/142.89	o 8935725
142.38/142.90	o 8935713
142.38/142.91	o 8935707
142.50/143.02	o 8935704
142.50/143.04	o 8935698
142.50/143.04	o 8935692
142.50/143.05	o 8935686
142.50/143.06	o 8935680
142.68/143.21	o 8923392
142.98/143.54	o 8923391
142.98/143.55	o 8923388
143.18/143.77	o 8923387
143.59/144.17	o 8923385
146.07/146.65	o 8923384
146.77/147.33	o 8923288
186.82/187.58	o 8923272
187.12/187.84	o 8915080
187.22/187.98	o 8787080
189.33/190.03	o 8787072
189.33/190.06	o 8787064
189.33/190.07	o 8787048
189.43/190.11	o 8787044
206.06/206.80	o 8786996
206.06/206.83	o 8786804
206.37/207.18	o 8786798
206.37/207.19	o 8786792
207.85/208.64	o 8786789
207.85/208.66	o 8786787
207.85/208.67	o 8786786
207.95/208.79	o 8786783
208.05/208.80	o 8786780
208.05/208.82	o 8786756
208.85/209.60	o 8786753
209.36/210.14	o 8786752
209.36/210.16	o 8786750
209.74/210.53	o 8597652
210.04/210.85	o 8597524
210.25/211.02	o 8597518
210.25/211.04	o 8597516
210.25/211.05	o 8597512
210.25/211.07	o 8597504
210.25/211.09	o 8597500
210.35/211.13	o 8593404
210.54/211.33	o 8593400
210.54/211.37	o 8593396
213.24/214.01	o 8593392
213.34/214.15	o 8593384
213.43/214.21	o 8593382
213.43/214.27	o 8593350
214.13/214.99	o 8593347
214.24/215.01	o 8593343
214.24/215.04	o 8593319
214.24/215.06	o 8593306
214.52/215.36	o 8593291
214.62/215.40	o 8593278
214.92/215.79	o 8593250
215.52/216.31	o 8593244
215.62/216.47	o 8593242
215.72/216.51	o 8593238
215.72/216.55	o 8593235
216.42/217.23	o 8573443
216.52/217.35	o 8573441
217.23/218.04	o 8573439
217.23/218.11	o 8572415
217.33/218.15	o 8551935
217.41/218.23	o 8551927
217.61/218.41	o 8551926
219.22/220.10	o 8551925
219.41/220.22	o 8548853
219.51/220.32	o 8548851
224.31/225.17	o 8548849
233.36/234.29	o 8548833
234.56/235.49	o 8548828
234.56/235.49	o 8548748
234.66/235.50	o 8548744
234.66/235.55	o 8548743
234.66/235.57	o 8548740
234.66/235.58	o 8548737
234.66/235.58	o 8547969
234.76/235.68	o 8547965
234.76/235.69	o 8547959
234.96/235.84	o 8547958
234.96/235.87	o 8547955
235.85/236.76	o 8547953
235.95/236.81	o 8547947
235.95/236.83	o 8547944
235.95/236.88	o 8547943
236.75/237.61	o 8547941
236.75/237.63	o 8547940
236.95/237.82	o 8547916
237.05/238.00	o 8547911
237.16/238.02	o 8547908
237.26/238.12	o 8547899
237.26/238.13	o 8547898
237.26/238.15	o 8547858
237.26/238.18	o 8547857
237.26/238.19	o 8547852
237.35/238.21	o 8547838
237.35/238.26	o 8547833
237.35/238.28	o 8547832
237.35/238.29	o 8547827
237.45/238.31	o 8547825
237.45/238.33	o 8547809
237.85/238.78	o 8547807
237.95/238.83	o 8547803
237.95/238.85	o 8547787
237.95/238.86	o 8547673
237.95/238.88	o 8547670
238.05/238.91	o 8547666
238.26/239.15	o 8547664
238.26/239.20	o 8547584
238.35/239.25	o 8547583
238.44/239.33	o 8547582
238.74/239.62	o 8547579
239.34/240.26	o 8547578
239.54/240.47	o 8547488
239.64/240.56	o 8547486
239.64/240.58	o 8547478
239.84/240.73	o 8536847
239.84/240.76	o 8536799
239.84/240.79	o 8536785
240.15/241.06	o 8536784
240.15/241.09	o 8536782
241.53/242.49	o 8536766
241.63/242.51	o 8536763
241.63/242.56	o 8536728
241.63/242.59	o 8536727
241.73/242.61	o 8536723
241.73/242.69	o 8536722
241.83/242.72	o 8536708
241.83/242.74	o 8536703
241.93/242.87	o 8536671
242.03/242.98	o 8536061
242.15/243.01	o 8536056
242.15/243.04	o 8536046
242.33/243.25	o 8536038
242.73/243.65	o 8536028
242.73/243.68	o 8536024
242.83/243.77	o 8536021
243.03/243.91	o 8536000
243.03/243.95	o 8535995
243.03/244.00	o 8535991
243.14/244.02	o 8535983
243.14/244.05	o 8515503
243.14/244.09	o 8510396
243.14/244.11	o 8510391
244.32/245.27	o 8510378
244.32/245.29	o 8510373
244.42/245.32	o 8510369
244.92/245.80	o 8510365
244.92/245.85	o 8510363
244.92/245.88	o 8510358
245.02/245.91	o 8510353
251.30/252.25	o 8508950
251.30/252.29	o 8508945
251.40/252.33	o 8508940
251.40/252.36	o 8508925
251.40/252.38	o 8508920
251.50/252.41	o 8370680
252.30/253.23	o 8370645
252.30/253.26	o 8370640
252.79/253.71	o 8370636
252.89/253.89	o 8370633
252.99/253.93	o 8370627
252.99/253.96	o 8370622
252.99/253.98	o 8370542
253.11/254.01	o 8370502
253.29/254.26	o 8370497
254.79/255.74	o 8370477
258.37/259.38	o 8370474
258.67/259.60	o 8370471
258.77/259.76	o 8370295
258.77/259.79	o 8370289
259.67/260.66	o 8351427
259.77/260.71	o 8351419
259.77/260.75	o 8351355
264.35/265.38	o 8351354
264.35/265.39	o 8351306
264.35/265.39	o 8189514
264.45/265.41	o 8135242
264.45/265.41	o 8135236
264.45/265.42	o 8135232
264.75/265.76	o 8135226
264.75/265.78	o 8135222
276.71/277.70	o 8135126
277.30/278.33	o 8135123
277.40/278.43	o 8135099
281.39/282.47	o 8125883
282.19/283.21	o 8125849
282.19/283.27	o 8122777
289.08/290.13	o 8122771
289.08/290.19	o 8122763
289.16/290.20	o 8122735
289.16/290.23	o 8122729
289.16/290.24	o 8122723
289.26/290.39	o 8122709
289.36/290.43	o 8044885
291.65/292.77	o 8028501
292.25/293.39	o 8028494
292.35/293.41	o 8028482
319.75/320.99	o 8028479
319.96/321.12	o 8028458
319.96/321.14	o 8028457
320.25/321.47	o 8028437
320.35/321.54	o 8028433
320.45/321.63	o 8028426
320.86/322.02	o 8028424
321.35/322.51	o 8028402
321.35/322.53	o 8028396
321.35/322.54	o 8028394
321.86/323.02	o 8028370
321.86/323.10	o 8028361
321.86/323.11	o 8028358
321.96/323.15	o 8028269
321.96/323.17	o 8028265
321.96/323.18	o 8028262
338.68/339.97	o 8028238
338.68/339.99	o 8028226
339.48/340.75	o 8028198
339.68/340.93	o 8028196
345.46/346.71	o 8028192
346.95/348.25	o 8028184
347.25/348.58	o 8004666
347.35/348.62	o 8004663
347.65/348.99	o 8003767
347.76/349.03	o 8003711
347.76/349.06	o 8003683
348.05/349.37	o 8003669
348.45/349.70	o 8003667
349.04/350.36	o 8003660
351.54/352.83	o 8003656
351.93/353.22	o 8003624
352.13/353.48	o 7877672
353.43/354.72	o 7877656
354.23/355.50	o 7796856
354.92/356.25	o 7791032
354.92/356.28	o 7790808
355.02/356.36	o 7790780
355.12/356.40	o 7790766
355.12/356.43	o 7790759
355.12/356.45	o 7712935
359.41/360.70	o 7712929
359.41/360.76	o 7712928
366.08/367.47	o 7711648
366.08/367.48	o 7711647
366.38/367.70	o 7711646
366.48/367.82	o 7711630
366.48/367.84	o 7617422
366.58/368.00	o 7617342
366.70/368.02	o 7617341
366.70/368.02	o 7617340
367.18/368.54	o 7617330
367.18/368.58	o 7617320
367.28/368.66	o 7617319
367.28/368.67	o 7617318
367.28/368.69	o 7617310
367.38/368.72	o 7617294
367.38/368.77	o 7616270
367.48/368.80	o 7616254
367.58/368.96	o 7615758
367.69/369.05	o 7615630
367.98/369.33	o 7615629
369.78/371.16	o 7615628
370.68/372.10	o 7615626
371.07/372.48	o 7615624
371.17/372.51	o 7615623
371.17/372.55	o 7615622
373.86/375.28	o 7615615
373.96/375.32	o 7615614
375.35/376.78	o 7615454
379.54/380.96	o 7615450
402.16/403.63	o 7615445
402.36/403.80	o 7615440
403.35/404.87	o 7608719
403.35/404.89	o 7608717
403.45/404.90	o 7608713
410.64/412.14	o 7608711
410.64/412.16	o 7608693
410.73/412.28	o 7608641
410.83/412.30	o 7608629
411.03/412.59	o 7607861
411.32/412.80	o 7607860
411.42/412.93	o 7607804
412.32/413.86	o 7607788
435.14/436.75	o 7607778
436.55/438.19	o 7607714
436.64/438.20	o 7607364
436.64/438.21	o 7607354
444.52/446.11	o 7607334
444.52/446.12	o 7607324
444.52/446.14	o 7607304
445.31/446.99	o 7607300
445.52/447.18	o 7607220
447.80/449.45	o 7607218
452.08/453.78	o 7607210
452.28/453.95	o 7607207
452.28/453.97	o 7607205
452.39/454.02	o 7588027
452.39/454.04	o 7588022
465.63/467.32	o 7588021
465.93/467.60	o 7587957
465.93/467.64	o 7587941
465.93/467.70	o 7587938
466.03/467.73	o 7577694
466.03/467.74	o 7577182
466.13/467.86	o 7577181
466.23/467.94	o 7577180
466.23/467.98	o 7577179
466.63/468.39	o 7575131
466.73/468.43	o 7575129
466.73/468.44	o 7575128
466.73/468.45	o 7575126
466.73/468.46	o 7575125
466.93/468.61	o 7575119
467.13/468.86	o 7575115
467.23/468.90	o 7575113
467.23/468.92	o 7575111
467.23/468.97	o 7554628
467.23/469.00	o 7554625
467.34/469.02	o 7554624
467.62/469.33	o 7554620
467.82/469.51	o 7554619
467.82/469.54	o 7554491
467.82/469.55	o 7554490
467.82/469.57	o 7554487
468.72/470.42	o 7554483
471.71/473.49	o 7554482
472.11/473.88	o 7554354
472.32/474.09	o 7554346
472.42/474.12	o 7554344
472.42/474.13	o 7554340
472.42/474.15	o 7554338
472.51/474.29	o 7439121
472.61/474.38	o 7439085
472.71/474.40	o 7439069
473.42/475.19	o 7439066
473.50/475.21	o 7439063
474.60/476.34	o 7439061
474.70/476.41	o 7432917
477.89/479.64	o 7432914
477.99/479.72	o 7432890
477.99/479.76	o 7432887
477.99/479.78	o 7432884
478.09/479.81	o 7432860
478.30/480.01	o 7432859
478.88/480.64	o 7432857
479.18/480.98	o 7432853
481.08/482.86	o 7425727
481.18/482.91	o 7425721
481.18/482.95	o 7425719
481.29/483.01	o 7425711
499.01/500.80	o 7425703
499.01/500.81	o 7425701
499.01/500.89	o 7425661
499.11/500.92	o 7425641
499.41/501.28	o 7425621
499.61/501.42	o 7425620
499.61/501.43	o 7425619
499.61/501.45	o 7425613
500.01/501.87	o 7425608
500.22/502.09	o 7425607
500.51/502.37	o 7425603
500.51/502.39	o 7425601
500.61/502.40	o 7425599
500.61/502.42	o 7425583
500.81/502.67	o 7425582
500.91/502.72	o 7425566
502.00/503.80	o 7425502
502.32/504.18	o 7425494
502.50/504.39	o 7416542
502.60/504.41	o 7416538
502.60/504.43	o 7416522
502.60/504.46	o 7416490
503.10/504.97	o 7416485
508.48/510.36	o 7416453
509.08/510.90	o 7416445
509.29/511.15	o 7416429
509.48/511.32	o 7416413
509.48/511.37	o 7416381
510.77/512.66	o 7416380
511.19/513.03	o 7416374
515.27/517.16	o 7416369
515.36/517.22	o 7416364
515.46/517.31	o 7416284
515.56/517.41	o 7353816
516.06/517.97	o 7353813
517.17/519.09	o 7351765
518.45/520.35	o 7351764
518.45/520.38	o 7351759
518.55/520.42	o 7351754
518.55/520.45	o 7351749
518.55/520.48	o 7351734
518.65/520.52	o 7351729
541.37/543.34	o 7351689
568.98/571.02	o 7351679
568.98/571.07	o 7351359
569.17/571.20	o 7351199
569.17/571.22	o 7351179
576.34/578.42	o 7333892
576.34/578.43	o 7333885
576.34/578.45	o 7333878
581.72/583.86	o 7333873
581.82/583.92	o 7333870
624.48/626.79	o 7333854
624.57/626.83	o 7333851
624.57/626.85	o 7333831
624.79/627.05	o 7333807
624.97/627.23	o 7333804
625.07/627.38	o 7333797
625.17/627.44	o 7240613
635.54/637.87	o 7240229
635.64/637.92	o 7240061
635.85/638.11	o 7240058
646.90/649.22	o 7240054
647.40/649.74	o 7240052
647.59/649.95	o 7240048
647.71/650.03	o 7240046
647.71/650.04	o 7240038
648.09/650.47	o 7240034
648.29/650.60	o 7240032
648.29/650.62	o 7240027
648.29/650.64	o 7240025
648.49/650.81	o 7240015
648.49/650.82	o 7240011
648.80/651.16	o 7240009
648.89/651.21	o 7240007
649.09/651.44	o 7240002
662.44/664.88	o 7239890
673.72/676.15	o 7239878
673.72/676.17	o 7213769
673.72/676.18	o 7213749
673.72/676.18	o 7213736
673.80/676.25	o 7203496
675.00/677.50	o 7203492
675.10/677.51	o 7203488
684.96/687.48	o 7196901
685.06/687.53	o 7196741
685.06/687.57	o 7196613
685.16/687.60	o 7196597
685.26/687.76	o 7196581
685.67/688.16	o 7058341
688.25/690.75	o 7055269
688.35/690.85	o 7055264
688.35/690.88	o 7055259
705.39/708.00	o 7047589
705.50/708.02	o 7047585
706.39/708.95	o 7047580
706.39/708.96	o 7047579
706.50/709.01	o 7047571
706.50/709.07	o 7047567
706.69/709.25	o 7047522
706.69/709.27	o 7047492
706.69/709.28	o 7047487
707.38/709.97	o 7047472
707.38/709.98	o 7047467
707.38/709.99	o 7047457
707.38/710.00	o 7047452
707.49/710.01	o 7047447
707.68/710.28	o 7047446
707.98/710.59	o 7047319
708.59/711.19	o 7037079
708.78/711.30	o 7036055
708.78/711.37	o 7036045
709.08/711.63	o 7036035
709.08/711.67	o 7036030
709.17/711.71	o 7036025
709.27/711.88	o 7035513
709.37/711.98	o 7035508
709.37/712.00	o 7035476
709.49/712.02	o 7035412
709.49/712.04	o 7035410
709.49/712.06	o 7035394
709.97/712.53	o 7035393
709.97/712.55	o 7035137
710.67/713.20	o 7035136
710.67/713.22	o 7035134
710.67/713.23	o 7035130
710.67/713.25	o 7035129
710.67/713.27	o 6934777
710.67/713.28	o 6848761
711.27/713.88	o 6848753
711.37/713.98	o 6848673
711.48/714.09	o 6848663
712.77/715.33	o 6848646
712.86/715.43	o 6848645
727.53/730.11	o 6848644
727.53/730.13	o 6848516
727.72/730.39	o 6848508
727.82/730.40	o 6848504
727.82/730.49	o 6848488
728.61/731.25	o 6848487
732.42/735.07	o 6839271
749.36/752.04	o 6820370
749.36/752.08	o 6820358
749.46/752.12	o 6820352
749.46/752.16	o 6820172
749.55/752.20	o 6820160
752.24/754.91	o 6708647
752.24/754.97	o 6708643
752.24/755.01	o 6708639
752.35/755.04	o 6708515
752.54/755.21	o 6708511
752.94/755.62	o 6708383
752.94/755.67	o 6708259
753.04/755.71	o 6708255
753.04/755.75	o 6708003
753.04/755.79	o 6707999
763.71/766.44	o 6707935
764.01/766.73	o 6707925
764.42/767.13	o 6707923
764.81/767.52	o 6707833
764.81/767.53	o 6707831
766.20/768.91	o 6707789
766.20/768.93	o 6707787
766.20/768.94	o 6707783
766.42/769.15	o 6707747
766.42/769.16	o 6707745
766.42/769.18	o 6707741
766.90/769.64	o 6707737
767.20/770.00	o 6707733
767.31/770.01	o 6707729
767.60/770.39	o 6707727
768.31/771.03	o 6707723
768.79/771.50	o 6707719
768.79/771.53	o 6707715
769.19/771.90	o 6707707
769.19/771.95	o 6707705
782.76/785.57	o 6707687
784.37/787.17	o 6707399
784.45/787.23	o 6707255
784.95/787.71	o 6707247
784.95/787.73	o 6707223
785.26/788.03	o 6707219
785.55/788.39	o 6707179
788.44/791.28	o 6707177
790.44/793.20	o 6707161
790.54/793.31	o 6707153
790.54/793.35	o 6707147
792.25/795.08	o 6707133
792.35/795.12	o 6707129
792.35/795.15	o 6707101
792.35/795.17	o 6705053
792.35/795.19	o 6704029
795.12/797.91	o 6704027
797.33/800.16	o 6704025
799.91/802.72	o 6703907
799.91/802.77	o 6703901
800.01/802.81	o 6703899
800.41/803.29	o 6703889
800.51/803.33	o 6703887
800.51/803.37	o 6703883
814.08/816.98	o 6703851
814.08/816.99	o 6703849
814.08/816.99	o 6703847
814.08/817.00	o 6703843
814.87/817.78	o 6703841
814.87/817.78	o 6703825
814.87/817.79	o 6703821
814.97/817.81	o 6703819
850.09/853.04	o 6703811
854.77/857.76	o 6703779
856.08/859.05	o 6703747
856.08/859.09	o 6703745
856.08/859.10	o 6703739
856.18/859.13	o 6703731
857.17/860.19	o 6703721
872.03/875.03	o 6703713
872.22/875.27	o 6703711
875.91/878.90	o 6703705
875.91/878.94	o 6703671
875.91/878.96	o 6703669
875.91/878.97	o 6703663
875.91/878.99	o 6703661
875.91/879.01	o 6703657
876.12/879.18	o 6703641
876.12/879.19	o 6703633
876.21/879.23	o 6703617
876.21/879.25	o 6701569
877.80/880.81	o 6701565
877.80/880.83	o 6701557
877.80/880.85	o 6701541
879.40/882.40	o 6701413
879.40/882.43	o 6701349
879.50/882.52	o 6608165
880.60/883.60	o 6608161
881.01/884.10	o 6608157
881.39/884.40	o 6608155
882.00/885.08	o 6608025
882.11/885.14	o 6498457
883.29/886.33	o 6498456
883.29/886.36	o 6498440
883.29/886.39	o 6498432
884.88/887.93	o 6498428
889.27/892.33	o 6498410
889.27/892.36	o 6498401
889.27/892.40	o 6498393
889.37/892.43	o 6498361
889.37/892.46	o 6498357
890.17/893.26	o 6478931
890.27/893.30	o 6478919
890.27/893.33	o 6478915
890.37/893.42	o 6478913
907.82/910.98	o 6478907
907.82/910.99	o 6478904
908.93/912.10	o 6478888
909.03/912.12	o 6478872
909.03/912.14	o 6478849
911.93/915.07	o 6478825
911.93/915.10	o 6478821
912.41/915.53	o 6478813
913.61/916.71	o 6476765
921.29/924.47	o 6476725
921.39/924.57	o 6476723
921.49/924.61	o 6476339
921.49/924.66	o 6476243
921.59/924.73	o 6437298
921.90/925.08	o 6437274
922.00/925.11	o 6437226
946.62/949.81	o 6437222
949.61/952.89	o 6437210
950.21/953.48	o 6437206
952.01/955.25	o 6437202
952.01/955.26	o 6437198
952.21/955.48	o 6437174
952.41/955.66	o 6436922
953.21/956.44	o 6436920
953.21/956.46	o 6436919
953.51/956.79	o 6436911
953.61/956.81	o 6436908
954.31/957.51	o 6436900
954.31/957.54	o 6436896
954.31/957.56	o 6436894
954.31/957.59	o 6436878
954.41/957.61	o 6436877
954.41/957.63	o 6436869
954.41/957.68	o 6436852
954.51/957.71	o 6436844
954.51/957.73	o 6436843
954.51/957.74	o 6436841
954.51/957.76	o 6436837
954.51/957.79	o 6434789
955.71/958.91	o 6434773
955.71/958.94	o 6434761
958.70/961.91	o 6434745
958.70/961.94	o 6434733
958.70/961.97	o 6434605
958.70/962.00	o 6434593
958.81/962.03	o 6434577
959.10/962.30	o 6434565
959.50/962.71	o 6434549
959.69/962.96	o 6434485
960.69/964.00	o 6434477
960.80/964.03	o 6434461
960.80/964.07	o 6434445
960.99/964.21	o 6434397
963.48/966.73	o 6434391
963.68/966.91	o 6434351
963.68/966.94	o 6434349
963.68/966.97	o 6434341
963.68/967.01	o 6434319
964.08/967.37	o 6434311
964.48/967.74	o 6434303
964.48/967.78	o 6434302
964.58/967.81	o 6434301
964.68/967.98	o 6434269
964.79/968.07	o 6434261
965.58/968.88	o 6434245
966.58/969.88	o 6434237
975.35/978.61	o 6434235
975.35/978.66	o 6434091
975.35/978.68	o 6434083
987.62/990.97	o 6434079
993.82/997.13	o 6434078
993.82/997.16	o 6434077
993.90/997.20	o 6434073
994.20/997.54	o 6416997
994.20/997.57	o 6416996
994.30/997.64	o 6416994
994.30/997.68	o 6339170
1009.68/1013.04	o 6339159
1009.86/1013.25	o 6339115
1010.56/1013.99	o 6304607
1010.56/1014.00	o 6304603
1010.67/1014.02	o 6304571
1010.67/1014.04	o 6304563
1010.67/1014.05	o 6304547
1010.86/1014.30	o 6304539
1010.96/1014.31	o 6304531
1010.96/1014.32	o 6304499
1010.96/1014.33	o 6304475
1011.26/1014.63	o 6303451
1011.36/1014.72	o 6303387
1011.36/1014.73	o 6303323
1012.26/1015.61	o 6303322
1012.55/1015.95	o 6303290
1012.85/1016.27	o 6303286
1013.55/1016.90	o 6303283
1014.25/1017.62	o 6303282
1014.25/1017.64	o 6303280
1014.35/1017.71	o 6303271
1026.12/1029.52	o 6303259
1026.12/1029.57	o 6303247
1027.12/1030.56	o 6303227
1027.22/1030.61	o 6303223
1040.18/1043.62	o 6291171
1040.18/1043.63	o 6291123
1040.18/1043.66	o 6291115
1040.18/1043.66	o 6197931
1042.97/1046.42	o 6197859
1045.76/1049.27	o 6197856
1046.16/1049.69	o 6197838
1046.68/1050.13	o 6197829
1047.96/1051.41	o 6147656
1047.96/1051.46	o 6139656
1048.06/1051.51	o 6139408
1048.06/1051.56	o 6131216
1052.85/1056.33	o 6131212
1053.94/1057.48	o 6131208
1054.04/1057.50	o 6131204
1054.04/1057.57	o 6130724
1054.34/1057.84	o 6130712
1054.34/1057.86	o 6130708
1054.34/1057.88	o 6130692
1063.32/1066.84	o 6130564
1063.32/1066.85	o 6130500
1063.32/1066.87	o 6130468
1063.32/1066.88	o 6128420
1063.42/1066.91	o 6128412
1064.81/1068.33	o 6128396
1064.91/1068.42	o 6128060
1064.91/1068.44	o 6128020
1064.91/1068.49	o 6127924
1078.38/1081.94	o 6127908
1078.38/1081.97	o 6127892
1078.38/1081.99	o 6127880
1078.68/1082.24	o 6127868
1078.68/1082.26	o 6127844
1078.87/1082.41	o 6127748
1079.27/1082.82	o 6127732
1080.37/1084.01	o 6124649
1080.48/1084.08	o 6124625
1081.37/1084.95	o 6124619
1081.37/1085.00	o 6116427
1081.67/1085.27	o 6116424
1081.77/1085.30	o 6116416
1081.77/1085.33	o 6116400
1081.77/1085.34	o 6116396
1081.77/1085.36	o 6116392
1081.77/1085.37	o 6115368
1081.77/1085.39	o 6114856
1081.87/1085.40	o 6048296
1081.97/1085.55	o 6048292
1081.97/1085.57	o 6048276
1082.48/1086.09	o 6048268
1138.33/1142.08	o 6014488
1138.43/1142.13	o 6014432
1138.43/1142.14	o 6014368
1138.43/1142.17	o 6014112
1138.51/1142.23	o 6014048
1224.28/1228.27	o 6014034
1232.86/1236.89	o 6014002
1232.96/1236.90	o 6013986
1232.96/1236.95	o 6013978
1232.96/1236.96	o 6013974
1239.34/1243.39	o 6013970
1239.54/1243.59	o 5961536
1255.01/1259.02	o 5858112
1264.27/1268.39	o 5857968
1264.37/1268.42	o 5857944
1264.47/1268.59	o 5857920
1271.96/1276.11	o 5857914
1272.06/1276.12	o 5857722
1272.06/1276.13	o 5857626
1272.06/1276.14	o 5857578
1272.06/1276.18	o 5856042
1272.75/1276.83	o 5856030
1272.75/1276.88	o 5790494
1272.85/1276.91	o 5790470
1277.33/1281.46	o 5780230
1281.94/1286.08	o 5780224
1291.10/1295.29	o 5780176
1291.20/1295.36	o 5779792
1291.20/1295.39	o 5779768
1291.40/1295.57	o 5779756
1292.91/1297.05	o 5773612
1297.38/1301.56	o 5691392
1400.30/1404.75	o 5628928
1462.34/1466.91	o 5599232
1463.73/1468.31	o 5510144
2572.00/2579.84	o 5441536
2632.95/2640.92	o 5425152
2633.16/2641.19	o 5391360
2808.51/2816.97	o 5345280
2848.11/2856.67	o 5329920
2870.85/2879.42	o 5262336
2879.33/2887.97	o 5244928
3600.02/3610.40	c Program interrupted by user.
3600.02/3610.40	s SATISFIABLE
3600.02/3610.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 x6403 x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 x7820 x7821 -x7822 x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 x7846 x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 -x7889 -x7890 -x7891 -x7892 x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 x8060

Verifier Data 

OK	5244928

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=811849, runsolver pid=811846

[startup+0.100594 s]*
/proc/loadavg: 4.09 4.21 4.22 5/246 811850
/proc/meminfo: memFree=128297964/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=37452 memory=15748 CPUtime=0.1 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 3633 0 0 0 9 1 0 0 20 0 1 0 158628650 38350848 3937 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 9363 3937 803 746 0 8427 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37452 KiB
Current children cumulated memory: 15748 KiB

[startup+0.21428 s]*
/proc/loadavg: 4.09 4.21 4.22 5/246 811852
/proc/meminfo: memFree=128291916/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=39584 memory=18828 CPUtime=0.21 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 4414 0 0 0 20 1 0 0 20 0 1 0 158628650 40534016 4707 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 9896 4707 851 746 0 8960 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 18828 KiB

[startup+0.314025 s]*
/proc/loadavg: 4.09 4.21 4.22 5/246 811852
/proc/meminfo: memFree=128282096/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=41564 memory=23512 CPUtime=0.31 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 5028 0 0 0 30 1 0 0 20 0 1 0 158628650 42561536 5878 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 10391 5878 851 746 0 9455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 23512 KiB

[startup+0.700324 s]
/proc/loadavg: 4.09 4.21 4.22 5/246 811852
/proc/meminfo: memFree=128265592/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=45392 memory=31296 CPUtime=0.67 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 5986 0 0 0 66 1 0 0 20 0 1 0 158628650 46481408 7824 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 11348 7824 851 746 0 10412 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45392 KiB
Current children cumulated memory: 31296 KiB

[startup+1.50029 s]
/proc/loadavg: 4.00 4.19 4.22 4/240 811883
/proc/meminfo: memFree=128349328/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=47372 memory=37496 CPUtime=1.48 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 6497 0 0 0 146 2 0 0 20 0 1 0 158628650 48508928 9374 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 11843 9374 851 746 0 10907 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47372 KiB
Current children cumulated memory: 37496 KiB

[startup+3.11384 s]
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128225676/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=70756 memory=58740 CPUtime=3.08 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 9487 0 0 0 305 3 0 0 20 0 1 0 158628650 72454144 14685 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 17689 14685 851 746 0 16753 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 58740 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.20 4.22 5/246 811898
/proc/meminfo: memFree=128153652/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=103548 memory=84152 CPUtime=6.26 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 12661 0 0 0 621 5 0 0 20 0 1 0 158628650 106033152 21038 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 25887 21038 851 746 0 24951 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 103548 KiB
Current children cumulated memory: 84152 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.20 4.22 5/246 811899
/proc/meminfo: memFree=127979008/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=161240 memory=115320 CPUtime=12.64 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 17346 0 0 0 1257 7 0 0 20 0 1 0 158628650 165109760 28830 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 40310 28830 851 746 0 39374 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 161240 KiB
Current children cumulated memory: 115320 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.21 4.22 5/246 811901
/proc/meminfo: memFree=127734284/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=183472 memory=165708 CPUtime=25.38 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 21828 0 0 0 2530 8 0 0 20 0 1 0 158628650 187875328 41427 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 45868 41427 851 746 0 44932 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 183472 KiB
Current children cumulated memory: 165708 KiB

[startup+51.114 s]
/proc/loadavg: 4.16 4.20 4.22 5/246 811906
/proc/meminfo: memFree=127426140/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=184308 memory=166560 CPUtime=50.91 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 22173 0 0 0 5083 8 0 0 20 0 1 0 158628650 188731392 41640 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 46077 41640 851 746 0 45141 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 184308 KiB
Current children cumulated memory: 166560 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.21 5/247 811916
/proc/meminfo: memFree=127215356/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=256964 memory=198380 CPUtime=101.92 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 23208 0 0 0 10181 11 0 0 20 0 1 0 158628650 263131136 49595 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 64241 49595 851 746 0 63305 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 256964 KiB
Current children cumulated memory: 198380 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.20 5/245 811927
/proc/meminfo: memFree=127202836/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=258684 memory=200084 CPUtime=161.72 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 23670 0 0 0 16161 11 0 0 20 0 1 0 158628650 264892416 50021 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 64671 50021 851 746 0 63735 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 258684 KiB
Current children cumulated memory: 200084 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.19 5/245 811937
/proc/meminfo: memFree=127173660/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=260484 memory=201720 CPUtime=221.5 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 24946 0 0 0 22139 11 0 0 20 0 1 0 158628650 266735616 50430 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 65121 50430 851 746 0 64185 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 260484 KiB
Current children cumulated memory: 201720 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.19 5/242 811948
/proc/meminfo: memFree=127117580/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=266636 memory=207508 CPUtime=281.29 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 26595 0 0 0 28117 12 0 0 20 0 1 0 158628650 273035264 51877 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 66659 51877 851 746 0 65723 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 266636 KiB
Current children cumulated memory: 207508 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/242 811958
/proc/meminfo: memFree=127044496/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=276040 memory=216020 CPUtime=341.07 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 28714 0 0 0 34095 12 0 0 20 0 1 0 158628650 282664960 54005 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 69010 54005 851 746 0 68074 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 276040 KiB
Current children cumulated memory: 216020 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/242 811968
/proc/meminfo: memFree=127023236/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=276040 memory=216056 CPUtime=400.86 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 28797 0 0 0 40074 12 0 0 20 0 1 0 158628650 282664960 54014 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 69010 54014 851 746 0 68074 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 276040 KiB
Current children cumulated memory: 216056 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/242 811980
/proc/meminfo: memFree=126991528/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=276344 memory=222532 CPUtime=460.65 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 28929 0 0 0 46053 12 0 0 20 0 1 0 158628650 282976256 55633 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 69086 55633 851 746 0 68150 0

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

Current children cumulated memory: 292684 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.20 4.22 5/242 812987
/proc/meminfo: memFree=126689328/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=311724 memory=292976 CPUtime=2853.8 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 40586 0 0 0 285365 15 0 0 20 0 1 0 158628650 319205376 73244 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 77931 73244 851 746 0 76995 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 311724 KiB
Current children cumulated memory: 292976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.21 5/241 812997
/proc/meminfo: memFree=126687984/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=311724 memory=293180 CPUtime=2913.65 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 40708 0 0 0 291350 15 0 0 20 0 1 0 158628650 319205376 73295 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 77931 73295 851 746 0 76995 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 311724 KiB
Current children cumulated memory: 293180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.17 4.20 5/243 813011
/proc/meminfo: memFree=126686296/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=312352 memory=293468 CPUtime=2973.49 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 40918 0 0 0 297334 15 0 0 20 0 1 0 158628650 319848448 73367 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 78088 73367 851 746 0 77152 0
Current children cumulated CPU time: 2973.49 s
Current children cumulated vsize: 312352 KiB
Current children cumulated memory: 293468 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.19 6/244 813023
/proc/meminfo: memFree=126668660/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326620 memory=305748 CPUtime=3033.35 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44046 0 0 0 303319 16 0 0 20 0 1 0 158628650 334458880 76437 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81655 76437 851 746 0 80719 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 305748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/244 813033
/proc/meminfo: memFree=126666900/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326620 memory=305748 CPUtime=3093.2 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44144 0 0 0 309304 16 0 0 20 0 1 0 158628650 334458880 76437 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81655 76437 851 746 0 80719 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 305748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.18 5/244 813044
/proc/meminfo: memFree=126639472/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326620 memory=305748 CPUtime=3153.06 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44234 0 0 0 315290 16 0 0 20 0 1 0 158628650 334458880 76437 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81655 76437 851 746 0 80719 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 305748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/244 813054
/proc/meminfo: memFree=126635068/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326620 memory=305748 CPUtime=3212.9 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44343 0 0 0 321274 16 0 0 20 0 1 0 158628650 334458880 76437 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81655 76437 851 746 0 80719 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 305748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/244 813449
/proc/meminfo: memFree=126633532/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326620 memory=305748 CPUtime=3272.75 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44435 0 0 0 327259 16 0 0 20 0 1 0 158628650 334458880 76437 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81655 76437 851 746 0 80719 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 305748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.17 5/243 813459
/proc/meminfo: memFree=126627996/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326816 memory=305816 CPUtime=3332.6 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44596 0 0 0 333244 16 0 0 20 0 1 0 158628650 334659584 76454 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81704 76454 851 746 0 80768 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 326816 KiB
Current children cumulated memory: 305816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.16 5/244 813470
/proc/meminfo: memFree=126626868/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=326816 memory=306072 CPUtime=3392.46 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44724 0 0 0 339230 16 0 0 20 0 1 0 158628650 334659584 76518 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81704 76518 851 746 0 80768 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 326816 KiB
Current children cumulated memory: 306072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/246 813651
/proc/meminfo: memFree=126615052/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=327008 memory=306136 CPUtime=3452.31 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44839 0 0 0 345214 17 0 0 20 0 1 0 158628650 334856192 76534 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81752 76534 851 746 0 80816 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 327008 KiB
Current children cumulated memory: 306136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/246 813717
/proc/meminfo: memFree=126612332/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=327008 memory=306264 CPUtime=3512.16 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 44972 0 0 0 351199 17 0 0 20 0 1 0 158628650 334856192 76566 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81752 76566 851 746 0 80816 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 327008 KiB
Current children cumulated memory: 306264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/244 813727
/proc/meminfo: memFree=126609004/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=327264 memory=308368 CPUtime=3572 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 45117 0 0 0 357183 17 0 0 20 0 1 0 158628650 335118336 77092 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81816 77092 851 746 0 80880 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 327264 KiB
Current children cumulated memory: 308368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 813823
/proc/meminfo: memFree=127718184/131655788 swapFree=131071996/131071996
[pid=811849] ppid=811846 vsize=327456 memory=308408 CPUtime=3600.02 cores=5,7
/proc/811849/stat : 811849 (Exact_nosoplex) R 811846 811849 809815 0 -1 4194304 45181 0 0 0 359985 17 0 0 20 0 1 0 158628650 335314944 77102 134679101440 4194304 7248369 140730557455952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24870912 140730557461420 140730557461599 140730557461599 140730557468614 0
/proc/811849/statm: 81864 77102 851 746 0 80928 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 327456 KiB
Current children cumulated memory: 308408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.86 s, system=0.173226 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.04
CPU user time (s): 3599.86
CPU system time (s): 0.173226
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 327456
Max. memory (cumulated for all children) (KiB): 308408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.173226
maximum resident set size= 308408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45183
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= 55
involuntary context switches= 2141


# summary of solver processes directly reported to runsolver:
#   pid: 811849
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.173226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1411 second user time and 37.2974 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 19:31:50
IDJOB=4433372
IDBENCH=146743
IDSOLVER=3061
FILE ID=nodeC005/4433372-1721064698
RUNJOBID= nodeC005-1721061099-809828
SLURM_JOB_ID= 7505509
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.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-4433372-1721064698/watcher-4433372-1721064698 -o /tmp/evaluation-result-4433372-1721064698/solver-4433372-1721064698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809828 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1116363460 HOME/instance-4433372-1721064698.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=1116363460

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		: 3669.619
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		: 3653.768
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.403
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.289
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.764
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		: 3491.779
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.411
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.182
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:        128318876 kB
MemAvailable:   129758344 kB
Buffers:          353252 kB
Cached:          1913528 kB
SwapCached:            0 kB
Active:           589404 kB
Inactive:        2185960 kB
Active(anon):       3448 kB
Inactive(anon):   542840 kB
Active(file):     585956 kB
Inactive(file):  1643120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21016 kB
Writeback:             0 kB
AnonPages:        507832 kB
Mapped:           114432 kB
Shmem:             37704 kB
KReclaimable:     101180 kB
Slab:             202112 kB
SReclaimable:     101180 kB
SUnreclaim:       100932 kB
KernelStack:        3964 kB
PageTables:        10204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     848268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    286720 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= 723756 MiB
End job on nodeC005 at 2024-07-15 20:32:01