Trace number 4432980

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact 2024-07-05SAT (TO)31425984 3600.07 3608.41

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM542a59a1a1b8906e0495f473b09f11e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30102502
Best CPU time to get the best result obtained on this benchmark71252.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
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.20/0.24	o 76600435
0.20/0.24	o 74526403
0.20/0.24	o 71249711
0.20/0.24	o 71206560
0.20/0.24	o 71199021
0.20/0.25	o 69207150
0.20/0.25	o 68846270
0.20/0.25	o 68767428
0.20/0.25	o 68685798
0.20/0.25	o 68685267
0.20/0.26	o 66591367
0.20/0.26	o 66589097
0.20/0.27	o 66439097
0.20/0.27	o 66437697
0.20/0.27	o 66434991
0.20/0.28	o 60876399
0.20/0.28	o 60548063
0.20/0.28	o 55869663
0.20/0.28	o 55512039
0.20/0.28	o 55377930
0.20/0.28	o 55373970
0.20/0.29	o 55038786
2.08/2.18	o 55038304
2.08/2.19	o 55038221
2.18/2.21	o 55038024
2.18/2.24	o 55037959
2.18/2.26	o 55037456
2.18/2.28	o 55035486
2.28/2.30	o 55033348
2.28/2.32	o 55032259
2.28/2.34	o 55031757
2.28/2.36	o 55028192
2.28/2.39	o 55025911
2.38/2.41	o 55024107
2.38/2.43	o 55023802
2.38/2.45	o 55023293
2.38/2.48	o 55019578
2.38/2.49	o 55019095
2.48/2.53	o 55018212
2.48/2.56	o 55017400
2.48/2.58	o 55016967
2.58/2.62	o 55016963
2.58/2.63	o 55015083
2.58/2.65	o 55014321
2.58/2.67	o 55013687
2.68/2.72	o 55008860
2.78/2.83	o 55005022
2.78/2.85	o 55002413
2.87/2.96	o 55002020
2.87/2.98	o 55001276
2.98/3.06	o 54999426
2.98/3.08	o 54997877
3.08/3.10	o 54997232
3.08/3.13	o 54997094
3.17/3.22	o 54995212
3.17/3.24	o 54994980
3.17/3.26	o 54994669
3.27/3.30	o 54994300
3.27/3.36	o 54994168
3.38/3.41	o 54993777
3.38/3.43	o 54991361
3.38/3.45	o 54991202
3.38/3.47	o 54990042
3.38/3.49	o 54988217
3.48/3.58	o 54987402
3.58/3.69	o 54987379
3.68/3.75	o 54986699
3.68/3.77	o 54982356
3.68/3.79	o 54981195
3.78/3.88	o 54980787
3.88/3.93	o 54979983
3.88/3.95	o 54979737
3.88/3.98	o 54979590
3.98/4.08	o 54979160
4.08/4.12	o 54979104
4.08/4.15	o 54978846
4.17/4.26	o 54978786
4.17/4.29	o 54978640
4.37/4.40	o 54973434
4.77/4.87	o 54973112
4.87/4.90	o 54922697
4.87/4.93	o 54916889
6.57/6.63	o 54916879
6.57/6.66	o 54915391
6.67/6.76	o 54915308
6.77/6.81	o 54914960
6.77/6.90	o 54914477
7.27/7.37	o 54914253
7.77/7.81	o 54911979
7.87/7.99	o 54911562
8.46/8.53	o 54911349
8.46/8.57	o 54859392
8.56/8.61	o 54858892
8.77/8.80	o 54858849
8.77/8.86	o 54858845
8.87/8.90	o 54858775
8.87/8.94	o 54858625
8.97/9.01	o 54858488
8.97/9.07	o 54858156
9.07/9.18	o 54856698
9.17/9.22	o 54852342
9.17/9.26	o 54851019
9.17/9.29	o 54850453
10.36/10.43	o 54850446
10.36/10.47	o 54850388
10.46/10.57	o 54848705
10.56/10.62	o 54847343
10.56/10.66	o 54846592
10.76/10.84	o 54846586
10.86/10.92	o 54846368
10.97/11.05	o 54845160
11.07/11.19	o 54845047
11.26/11.32	o 54844557
11.46/11.59	o 54844261
11.56/11.64	o 54843780
11.56/11.69	o 54839424
11.66/11.73	o 54837740
11.66/11.77	o 54835578
11.76/11.81	o 54835463
11.76/11.85	o 54834916
11.86/11.90	o 53519849
11.86/11.94	o 53345309
11.86/11.98	o 53259877
11.96/12.02	o 53216242
11.96/12.05	o 47803762
11.96/12.10	o 47803558
12.06/12.11	o 45097318
12.06/12.12	o 43744198
12.06/12.12	o 43067638
12.06/12.12	o 42729358
12.06/12.12	o 42517933
12.16/12.24	o 42517687
12.16/12.25	o 42517392
12.45/12.53	o 42517024
12.65/12.71	o 42516597
12.65/12.71	o 42516503
12.65/12.73	o 42516484
12.65/12.78	o 42516478
12.65/12.79	o 42515995
20.14/20.27	o 41583902
20.14/20.29	o 41580219
20.24/20.31	o 41579903
20.24/20.33	o 41578645
20.24/20.35	o 41577540
20.24/20.37	o 41577188
20.34/20.40	o 41577010
20.34/20.43	o 41575959
20.34/20.45	o 41573028
20.34/20.49	o 41571540
20.44/20.51	o 41569580
20.44/20.53	o 41568720
20.44/20.55	o 41566481
20.44/20.57	o 41563912
20.44/20.59	o 41561628
20.54/20.63	o 41559210
20.54/20.64	o 41558994
20.54/20.67	o 41558428
20.54/20.69	o 41556285
20.64/20.70	o 41553934
20.64/20.74	o 41549402
20.64/20.76	o 41547033
20.64/20.79	o 41540522
20.74/20.86	o 41537880
20.84/20.92	o 41537655
20.84/20.97	o 41532325
20.94/21.02	o 41527656
21.04/21.11	o 41527443
21.04/21.15	o 41526947
21.04/21.19	o 41524904
21.14/21.21	o 41522980
21.14/21.24	o 41522675
21.24/21.31	o 41521862
21.24/21.38	o 41517731
21.24/21.39	o 41515474
21.44/21.56	o 41513861
21.44/21.58	o 41513666
21.54/21.66	o 41512506
21.54/21.68	o 41512355
21.64/21.72	o 41510530
21.74/21.81	o 41509954
21.74/21.83	o 41504990
21.74/21.85	o 41504930
21.74/21.87	o 41504784
21.84/21.96	o 41503743
21.84/21.99	o 41500225
21.94/22.01	o 41499872
21.94/22.06	o 41499736
21.94/22.09	o 41499102
22.13/22.27	o 41499091
22.33/22.40	o 41498997
22.43/22.59	o 41498675
22.53/22.61	o 41498507
22.53/22.65	o 41498099
22.94/23.03	o 41498074
22.94/23.08	o 41497884
23.33/23.46	o 41497731
23.33/23.49	o 41497536
23.43/23.54	o 41497381
23.43/23.57	o 41496568
23.53/23.60	o 41496519
23.73/23.88	o 41495810
23.83/23.91	o 41494194
23.83/23.95	o 41493118
23.93/24.01	o 41492710
24.23/24.30	o 41492597
24.33/24.40	o 41492359
24.33/24.43	o 41492014
24.33/24.46	o 41487136
24.63/24.72	o 41483953
24.63/24.75	o 41483332
24.93/25.05	o 41483020
24.93/25.09	o 40797564
25.03/25.11	o 40437716
25.03/25.14	o 40347754
25.03/25.18	o 40302773
25.13/25.21	o 40282033
25.43/25.55	o 40281967
25.43/25.57	o 40281902
25.53/25.60	o 40281281
25.63/25.71	o 40281223
25.63/25.77	o 40281140
25.73/25.83	o 40281099
25.73/25.88	o 40281098
25.83/25.93	o 40227806
25.83/25.96	o 40225642
26.03/26.11	o 40225637
27.62/27.73	o 40225598
27.62/27.79	o 40225587
27.72/27.84	o 40225141
27.92/28.06	o 40224122
28.22/28.32	o 40224108
28.32/28.43	o 40224031
29.03/29.10	o 40224028
29.12/29.29	o 40223538
29.72/29.83	o 40222807
29.72/29.89	o 40210347
29.93/30.10	o 40210248
30.03/30.15	o 40209563
30.12/30.22	o 40208961
30.12/30.26	o 40208553
30.22/30.39	o 40208299
30.32/30.43	o 40208258
30.32/30.48	o 40208247
30.42/30.58	o 40203165
30.52/30.62	o 40201376
30.52/30.66	o 40200439
30.62/30.72	o 40199207
30.62/30.76	o 40199166
30.72/30.84	o 40198941
30.72/30.87	o 40198900
30.82/30.91	o 40198197
30.82/30.97	o 40185753
30.92/31.02	o 40183205
30.92/31.09	o 40183122
31.02/31.14	o 40183081
31.02/31.18	o 40182902
31.12/31.24	o 40182190
31.12/31.28	o 40181233
31.22/31.37	o 40181010
31.32/31.44	o 40180917
31.32/31.48	o 40179429
31.81/31.99	o 40179313
31.92/32.04	o 40179202
31.92/32.10	o 40178358
32.02/32.14	o 40178026
32.11/32.29	o 40177715
32.21/32.33	o 40175694
43.19/43.38	o 38371837
43.29/43.42	o 38042549
43.29/43.45	o 38001388
43.39/43.55	o 37993597
43.59/43.73	o 37991889
43.68/43.81	o 37991855
43.68/43.85	o 37991364
43.68/43.89	o 37990757
43.78/43.93	o 37990600
43.78/43.96	o 37989870
43.78/44.00	o 37988257
43.89/44.04	o 37988128
43.99/44.15	o 37987935
44.08/44.24	o 37985513
44.18/44.32	o 37983809
44.18/44.39	o 37983153
44.28/44.43	o 37982595
44.28/44.48	o 37982124
44.38/44.57	o 37979996
44.58/44.78	o 37979769
44.68/44.84	o 37979349
44.68/44.89	o 37975680
44.78/44.92	o 37972871
44.78/44.98	o 37971715
44.89/45.02	o 37969095
44.89/45.09	o 37968827
44.98/45.16	o 37968483
45.08/45.21	o 37968290
45.08/45.26	o 37967169
45.18/45.34	o 37967160
45.28/45.42	o 37962800
45.28/45.45	o 37962299
45.28/45.49	o 37961987
45.38/45.54	o 37959510
45.38/45.59	o 37959099
45.58/45.70	o 37958352
45.58/45.74	o 37956004
45.68/45.81	o 37955993
45.68/45.85	o 37955348
45.78/45.90	o 37955155
45.89/46.08	o 37954712
45.99/46.12	o 37954681
45.99/46.18	o 37954031
46.09/46.23	o 37954020
46.09/46.28	o 37952384
46.19/46.35	o 37951406
46.28/46.44	o 37951107
46.28/46.49	o 37950011
46.38/46.53	o 37948519
46.48/46.62	o 37948471
46.68/46.81	o 37944405
46.68/46.85	o 37944351
46.68/46.90	o 37943785
46.78/46.94	o 37941511
46.99/47.16	o 37940894
47.28/47.43	o 37938854
47.28/47.48	o 37934823
47.38/47.56	o 37934456
47.48/47.62	o 37933565
47.68/47.81	o 37933432
48.38/48.57	o 37933397
48.68/48.81	o 37932564
48.78/48.93	o 37932539
48.88/49.02	o 37932175
48.98/49.13	o 37917259
48.98/49.18	o 37914759
49.07/49.25	o 37908107
49.17/49.36	o 37908035
49.27/49.44	o 37906835
49.27/49.49	o 37905991
49.37/49.56	o 37905659
49.47/49.62	o 37905213
49.88/50.08	o 37905037
50.07/50.21	o 37904619
50.07/50.26	o 37904462
50.17/50.32	o 37901944
50.27/50.41	o 37901533
50.77/50.92	o 37901200
50.87/51.01	o 37891528
51.07/51.29	o 37891459
51.17/51.36	o 37891048
51.27/51.43	o 37890924
55.36/55.56	o 37890773
56.46/56.60	o 37890440
56.76/56.95	o 37888893
59.25/59.44	o 37888686
63.54/63.72	o 37888675
63.54/63.76	o 37888674
64.74/64.93	o 37888673
66.43/66.61	o 37888671
67.03/67.24	o 37888626
70.63/70.83	o 37888625
70.73/70.90	o 37872449
123.30/123.61	o 37711133
123.30/123.61	o 37710845
123.30/123.62	o 37708143
123.30/123.66	o 37708137
123.50/123.87	o 37707805
125.09/125.42	o 37707722
125.09/125.47	o 37704170
130.18/130.50	o 37703549
130.18/130.58	o 37693974
130.28/130.62	o 37693473
130.48/130.84	o 37693059
130.48/130.89	o 37692080
130.58/130.98	o 37691749
130.68/131.06	o 37690905
131.08/131.40	o 37690548
131.08/131.48	o 37690436
133.67/134.09	o 37690403
133.87/134.22	o 37690285
133.87/134.27	o 37690161
133.97/134.31	o 37690010
134.07/134.46	o 37689704
134.17/134.51	o 37689553
134.17/134.56	o 37689084
140.95/141.32	o 37689032
141.05/141.48	o 37688796
141.25/141.69	o 37688795
144.25/144.65	o 37688503
159.81/160.23	o 37607051
161.80/162.22	o 37606837
163.20/163.60	o 37606320
173.47/173.95	o 37606124
175.77/176.25	o 37605862
176.17/176.68	o 37605719
176.37/176.81	o 37605554
176.37/176.89	o 37605346
176.47/176.94	o 37605281
176.67/177.19	o 37605217
177.57/178.03	o 37605161
177.57/178.10	o 37605095
177.67/178.18	o 37605010
177.87/178.35	o 37604946
178.07/178.52	o 37604761
178.07/178.58	o 37604245
178.57/179.08	o 37604244
179.16/179.61	o 37604182
179.16/179.68	o 37604181
179.26/179.79	o 37603920
179.36/179.86	o 37603855
179.46/179.97	o 37603337
179.67/180.19	o 37603180
180.96/181.40	o 37602868
183.66/184.10	o 37602817
183.75/184.20	o 37602785
183.75/184.27	o 37602720
183.85/184.35	o 37602563
183.95/184.47	o 37602516
184.05/184.55	o 37602452
184.25/184.73	o 37602140
184.45/184.91	o 37602139
185.84/186.35	o 37602094
185.94/186.45	o 37602093
186.94/187.42	o 37601962
187.04/187.53	o 37601961
187.14/187.65	o 37601960
190.64/191.16	o 37601302
200.41/200.99	o 37600919
202.71/203.23	o 37600675
207.99/208.53	o 37600613
207.99/208.59	o 37600607
208.79/209.34	o 37600606
209.49/210.03	o 37600400
211.99/212.58	o 37598481
212.09/212.64	o 37567783
212.09/212.68	o 37567389
212.19/212.73	o 37566354
212.19/212.78	o 37565960
212.29/212.83	o 37565791
212.29/212.87	o 37565397
212.39/212.91	o 37564892
212.39/212.96	o 37564517
212.49/213.02	o 37564410
212.59/213.10	o 37564060
212.59/213.14	o 37564059
212.59/213.19	o 37563847
212.69/213.23	o 37563846
213.49/214.04	o 37563137
213.59/214.13	o 37562352
213.68/214.24	o 37561217
213.68/214.29	o 37560912
213.78/214.35	o 37559782
213.88/214.44	o 37559759
213.98/214.57	o 37559409
215.28/215.89	o 37559393
215.48/216.04	o 37558356
215.97/216.59	o 37557963
216.07/216.64	o 37554323
216.17/216.72	o 37553877
218.77/219.34	o 37553792
218.86/219.45	o 37533203
218.96/219.51	o 37532674
218.96/219.57	o 37531717
219.06/219.68	o 37531379
219.47/220.10	o 37531358
219.57/220.17	o 37531290
219.66/220.24	o 37531222
219.76/220.34	o 37531197
219.86/220.40	o 37531129
219.86/220.47	o 37531119
221.46/222.09	o 37530922
221.86/222.44	o 37530899
223.06/223.68	o 37530833
223.16/223.77	o 37525844
223.56/224.15	o 37525722
223.66/224.26	o 37525524
223.76/224.33	o 37525249
223.86/224.42	o 37525113
223.96/224.54	o 37525020
224.26/224.82	o 37524811
233.23/233.86	o 37524802
233.44/234.01	o 37524776
233.44/234.09	o 37524625
247.00/247.64	o 37523433
295.99/296.74	o 37523291
296.68/297.47	o 37523088
303.67/304.42	o 37521908
319.93/320.79	o 36882116
319.93/320.79	o 36562220
320.03/320.81	o 36522233
320.03/320.82	o 36521844
332.10/332.96	o 36521722
332.21/333.07	o 36521716
332.31/333.14	o 36521703
336.89/337.75	o 36521588
366.62/367.57	o 36521536
366.72/367.63	o 36521337
367.42/368.33	o 36521075
370.70/371.62	o 36520971
378.79/379.74	o 36105455
378.89/379.80	o 36104921
378.89/379.87	o 36104873
378.99/379.95	o 36104477
379.10/380.07	o 36103430
379.20/380.14	o 36102780
379.29/380.24	o 36099916
379.39/380.37	o 36099138
379.59/380.51	o 36092894
379.69/380.65	o 36091186
379.89/380.88	o 36090703
379.99/380.99	o 36089215
380.19/381.19	o 36088852
380.39/381.30	o 36087604
380.39/381.36	o 36087538
380.49/381.42	o 36087195
380.49/381.49	o 36086777
380.59/381.56	o 36083173
380.69/381.62	o 36082960
380.69/381.68	o 36082803
381.38/382.37	o 36076822
381.48/382.45	o 36076510
381.68/382.65	o 36075889
381.78/382.72	o 36069882
382.09/383.01	o 36068563
382.48/383.40	o 36068044
382.48/383.47	o 36065687
383.08/384.09	o 36065424
383.18/384.16	o 36059678
383.58/384.56	o 36054794
383.68/384.66	o 36054016
383.87/384.85	o 36053653
385.07/386.05	o 36053187
385.17/386.12	o 36053145
385.78/386.77	o 36052967
385.88/386.88	o 36046463
386.67/387.64	o 36046268
387.47/388.43	o 36046080
387.57/388.52	o 36045923
387.67/388.60	o 36045865
387.77/388.70	o 36039361
387.87/388.80	o 36039319
388.17/389.16	o 36039141
388.96/389.96	o 36039008
390.66/391.61	o 36038712
390.76/391.72	o 36032208
390.86/391.80	o 36032143
391.66/392.69	o 36031992
393.15/394.19	o 36031991
393.65/394.67	o 36031947
393.95/394.92	o 36031919
394.05/395.00	o 36031854
394.05/395.10	o 36031796
394.35/395.32	o 36031795
398.05/399.05	o 36031223
398.05/399.08	o 36024719
399.24/400.23	o 36024645
399.34/400.34	o 36024581
399.34/400.37	o 36024457
399.44/400.41	o 36024371
399.73/400.78	o 36024002
399.83/400.82	o 36023878
399.83/400.85	o 36023792
399.83/400.89	o 36023497
400.14/401.11	o 36023412
400.14/401.15	o 36023373
400.14/401.19	o 36023315
400.23/401.22	o 36023306
400.33/401.32	o 36023215
400.33/401.35	o 36023150
400.63/401.60	o 36022937
400.63/401.64	o 36022801
400.63/401.68	o 36022736
400.74/401.71	o 36022233
400.74/401.79	o 36021994
400.84/401.82	o 36021929
400.84/401.86	o 36021928
400.94/401.92	o 36021637
400.94/402.00	o 36021636
401.04/402.10	o 36021539
401.84/402.85	o 36021397
401.84/402.89	o 36021390
401.94/402.93	o 36021332
401.94/402.96	o 36021036
402.04/403.01	o 36021033
402.33/403.33	o 36020524
402.53/403.58	o 36020247
403.43/404.49	o 36020115
403.53/404.53	o 36020102
403.63/404.60	o 36020094
403.93/404.96	o 36020087
405.52/406.58	o 36018269
405.62/406.64	o 36011765
405.72/406.79	o 36011506
405.82/406.83	o 36011488
410.71/411.79	o 36011480
412.71/413.79	o 36010890
415.11/416.16	o 36010869
415.20/416.25	o 35988665
415.30/416.31	o 35988247
415.30/416.37	o 35985729
415.40/416.44	o 35985154
415.50/416.51	o 35984879
415.80/416.80	o 35984744
417.01/418.00	o 35983596
417.01/418.09	o 35981220
417.30/418.37	o 35981131
417.40/418.46	o 35981069
417.50/418.59	o 35981047
417.70/418.70	o 35980972
417.70/418.77	o 35980896
418.80/419.81	o 35980895
419.00/420.05	o 35980719
420.49/421.58	o 35977109
420.59/421.68	o 35972231
423.28/424.34	o 35972229
423.38/424.44	o 35971727
423.68/424.79	o 35971726
424.08/425.15	o 35970758
424.18/425.23	o 35969823
424.28/425.31	o 35967889
425.58/426.66	o 35967717
426.58/427.62	o 35676880
426.68/427.70	o 35507260
426.78/427.80	o 35505446
426.78/427.88	o 35505028
426.98/428.02	o 35504886
427.08/428.10	o 35503995
427.17/428.24	o 35496741
429.98/431.04	o 35494028
429.98/431.04	o 35493877
429.98/431.06	o 35493316
429.98/431.06	o 35490101
430.07/431.12	o 35454906
430.07/431.12	o 35452530
430.07/431.15	o 35451667
430.27/431.30	o 35450882
430.27/431.30	o 35450745
430.47/431.58	o 35448360
431.16/432.23	o 35447848
431.16/432.29	o 35447653
431.26/432.30	o 35447624
433.36/434.50	o 35445228
452.42/453.59	o 35440965
454.41/455.54	o 35440557
454.91/456.09	o 35438032
455.01/456.11	o 35437219
455.20/456.38	o 35437040
455.40/456.53	o 35436883
456.10/457.21	o 35436653
456.10/457.24	o 35436146
456.20/457.37	o 35435933
456.50/457.63	o 35435931
457.10/458.28	o 35432303
457.20/458.30	o 35431973
457.30/458.44	o 35431699
457.30/458.47	o 35431681
457.40/458.50	o 35431198
457.40/458.55	o 35431169
457.79/459.00	o 35424776
459.00/460.10	o 35424358
459.50/460.68	o 35423856
459.69/460.85	o 35423855
461.99/463.14	o 35419693
463.48/464.68	o 35417153
463.58/464.75	o 35417029
463.68/464.81	o 35416958
463.68/464.86	o 35416763
463.78/464.95	o 35416546
463.88/465.05	o 35416400
464.08/465.23	o 35416239
464.18/465.32	o 35416181
464.38/465.50	o 35416175
464.58/465.73	o 35416003
467.47/468.64	o 35415995
468.58/469.72	o 35415490
469.57/470.71	o 35415043
469.67/470.83	o 35411460
469.67/470.89	o 35409910
469.77/470.97	o 35409360
469.88/471.03	o 35405778
469.98/471.10	o 35405482
470.07/471.20	o 35405043
470.07/471.28	o 35404881
470.17/471.35	o 35404114
470.27/471.45	o 35404060
470.37/471.57	o 35404053
470.47/471.63	o 35403757
470.57/471.71	o 35403595
470.67/471.81	o 35397091
470.67/471.89	o 35396741
476.15/477.32	o 35396461
476.25/477.45	o 35396048
476.55/477.72	o 35396020
476.65/477.81	o 35396018
476.75/477.95	o 35395737
477.05/478.25	o 35395586
477.55/478.77	o 35394634
479.95/481.18	o 35394628
480.84/482.00	o 35394551
484.84/486.05	o 35385629
484.84/486.08	o 35357481
484.84/486.10	o 35354981
484.94/486.13	o 35354789
484.94/486.16	o 35353081
484.94/486.18	o 35352749
485.03/486.22	o 35352340
485.03/486.29	o 35352268
485.23/486.46	o 35351924
485.23/486.48	o 35351773
485.33/486.50	o 35351709
485.33/486.52	o 35351558
485.33/486.54	o 35351471
485.33/486.56	o 35350865
485.33/486.58	o 35350714
485.43/486.60	o 35350533
485.43/486.62	o 35350382
485.43/486.66	o 35350352
485.43/486.69	o 35350266
485.53/486.77	o 35349475
485.63/486.80	o 35348960
485.63/486.82	o 35348022
485.63/486.84	o 35347871
485.63/486.86	o 35347178
485.63/486.88	o 35347027
485.73/486.91	o 35346257
485.73/486.95	o 35346244
485.73/486.97	o 35345912
485.83/487.01	o 35345807
485.83/487.05	o 35345731
485.83/487.07	o 35345645
485.93/487.12	o 35344820
485.93/487.15	o 35344669
486.03/487.23	o 35344573
486.03/487.26	o 35344337
486.13/487.35	o 35344192
486.13/487.38	o 35343441
486.23/487.42	o 35342972
486.33/487.59	o 35342913
486.43/487.61	o 35342759
486.73/487.94	o 35342669
486.73/487.98	o 35342200
486.94/488.11	o 35341987
487.53/488.76	o 35341591
487.63/488.81	o 35341378
489.32/490.55	o 35341299
490.22/491.42	o 35339977
490.32/491.53	o 35338198
490.32/491.57	o 35338047
490.42/491.63	o 35337214
490.52/491.72	o 35337162
491.21/492.47	o 35337155
491.31/492.52	o 35329067
494.61/495.87	o 35328329
495.41/496.68	o 35328174
499.10/500.36	o 35327954
503.59/504.81	o 35327835
504.19/505.47	o 35327659
505.79/507.01	o 35322781
507.68/508.92	o 35322623
519.45/520.77	o 35322336
519.65/520.91	o 35322306
519.75/521.02	o 35321990
520.06/521.32	o 35321901
520.16/521.44	o 35321735
520.55/521.83	o 35321056
520.65/521.99	o 35320117
520.86/522.15	o 35320035
521.35/522.65	o 35319989
521.85/523.17	o 35319923
521.95/523.28	o 35319341
522.15/523.47	o 35318754
522.65/523.91	o 35318324
523.04/524.32	o 35318298
525.14/526.48	o 35318233
526.14/527.43	o 35277752
527.04/528.32	o 35277732
527.64/528.98	o 35277537
533.62/534.99	o 35277189
533.73/535.06	o 35263169
533.73/535.09	o 35260831
533.83/535.16	o 35259439
533.92/535.20	o 35259244
533.92/535.29	o 35256531
534.02/535.36	o 35252635
534.02/535.39	o 35252440
543.20/544.50	o 35227811
543.20/544.56	o 35227199
543.30/544.61	o 35226064
543.30/544.66	o 35225050
543.40/544.72	o 35224975
543.40/544.78	o 35224695
543.50/544.85	o 35224649
543.60/544.91	o 35219323
543.60/544.97	o 35215299
543.80/545.17	o 35214225
543.90/545.26	o 35213215
544.00/545.32	o 35212728
544.20/545.52	o 35211132
544.30/545.60	o 35210632
544.30/545.67	o 35210546
544.39/545.74	o 35209683
544.49/545.89	o 35208440
544.59/545.94	o 35208375
544.70/546.06	o 35208142
545.29/546.63	o 35207976
546.29/547.65	o 35207531
547.29/548.68	o 35207530
547.49/548.89	o 35204035
547.99/549.30	o 35203469
548.19/549.54	o 35200819
561.06/562.40	o 35200223
561.16/562.56	o 35194332
576.72/578.10	o 35192619
576.92/578.35	o 35192244
576.92/578.35	o 35192093
582.61/584.04	o 35192087
593.68/595.10	o 35191785
593.98/595.47	o 35191726
646.65/648.26	o 35190830
646.65/648.26	o 35188084
659.53/661.17	o 35188070
663.42/665.01	o 35188041
663.42/665.08	o 35188039
663.52/665.17	o 35188034
663.61/665.25	o 35187468
663.71/665.35	o 35187005
663.81/665.48	o 35185912
663.91/665.58	o 35185552
664.01/665.66	o 35183445
664.11/665.79	o 35183242
664.21/665.87	o 35182647
664.31/665.99	o 35182547
664.51/666.18	o 35182473
664.61/666.26	o 35174385
665.11/666.73	o 35174127
670.99/672.66	o 35174057
671.09/672.75	o 35174034
671.19/672.87	o 35173788
671.79/673.42	o 35173553
671.89/673.58	o 35171437
671.99/673.68	o 35170784
672.19/673.88	o 35169138
672.29/673.96	o 35167471
672.39/674.04	o 35166553
672.49/674.13	o 35166307
681.07/682.76	o 35166210
681.27/682.90	o 35161332
798.49/800.46	o 35161139
801.98/803.91	o 35160881
802.38/804.33	o 35160833
802.58/804.50	o 35160822
802.78/804.71	o 35160560
802.88/804.82	o 35160091
803.28/805.25	o 35160090
803.48/805.41	o 35159877
803.58/805.53	o 35159866
804.19/806.17	o 35159853
804.98/806.95	o 35159535
805.18/807.15	o 35159521
806.08/808.06	o 35159336
806.18/808.17	o 35159136
806.47/808.41	o 35159102
806.57/808.53	o 35158904
807.87/809.83	o 35158698
808.07/810.05	o 35158692
808.37/810.35	o 35158688
808.47/810.47	o 35158636
808.57/810.58	o 35158430
808.77/810.77	o 35158384
809.17/811.14	o 35158285
809.27/811.28	o 35158215
809.46/811.50	o 35157755
809.66/811.63	o 35157750
810.26/812.25	o 35157743
810.36/812.36	o 35157738
810.76/812.75	o 35157634
810.86/812.87	o 35157469
810.96/812.99	o 35157269
812.46/814.45	o 35157204
812.46/814.47	o 34982538
812.46/814.47	o 34982224
812.46/814.48	o 34980006
812.46/814.49	o 34925113
812.46/814.49	o 34924799
812.56/814.50	o 34922581
812.56/814.50	o 34921281
812.56/814.52	o 34921245
812.56/814.52	o 34921045
812.56/814.53	o 34920792
815.46/817.43	o 34920617
815.56/817.53	o 34920049
816.06/818.03	o 34919831
816.06/818.09	o 34919794
816.75/818.72	o 34919333
817.25/819.28	o 34915499
817.35/819.31	o 34913995
817.35/819.34	o 34913029
817.65/819.64	o 34913011
818.54/820.59	o 34909499
818.64/820.63	o 34908886
822.43/824.49	o 34908155
823.24/825.27	o 34758961
823.34/825.32	o 34757555
823.34/825.37	o 34757345
823.43/825.41	o 34756805
823.43/825.47	o 34756297
823.53/825.52	o 34755757
823.53/825.59	o 34752995
823.64/825.63	o 34752785
823.64/825.67	o 34752245
823.73/825.72	o 34751633
823.73/825.76	o 34751423
823.83/825.81	o 34750883
823.83/825.88	o 34750658
823.93/825.92	o 34750381
823.93/825.97	o 34750157
824.04/826.02	o 34749617
824.04/826.07	o 34747934
824.14/826.11	o 34747363
824.14/826.15	o 34746823
824.23/826.20	o 34746248
824.23/826.24	o 34745971
824.33/826.30	o 34745708
824.33/826.35	o 34745431
824.43/826.48	o 34745244
824.53/826.52	o 34744662
824.53/826.57	o 34743812
824.63/826.62	o 34743230
824.63/826.69	o 34743030
824.73/826.73	o 34742725
824.83/826.84	o 34742500
824.93/826.99	o 34742223
825.03/827.05	o 34741790
825.13/827.19	o 34741302
825.23/827.28	o 34739422
825.33/827.35	o 34002511
825.43/827.40	o 33349183
825.43/827.44	o 33022519
825.53/827.50	o 32859187
825.53/827.54	o 32818354
826.03/828.00	o 32818002
826.13/828.10	o 32816931
826.42/828.45	o 32816826
826.52/828.55	o 32816357
826.62/828.68	o 32815426
826.72/828.72	o 32813718
826.82/828.84	o 32813154
827.72/829.73	o 32812962
827.82/829.82	o 32812790
828.03/830.06	o 32812541
828.13/830.12	o 32812223
828.23/830.20	o 32812118
830.12/832.17	o 32811965
830.21/832.26	o 32788194
830.31/832.38	o 32788037
830.51/832.52	o 32787871
830.51/832.58	o 32787743
830.61/832.65	o 32787442
830.71/832.76	o 32787416
831.12/833.12	o 32787175
831.51/833.59	o 32787149
831.71/833.78	o 32786649
839.40/841.44	o 32741034
839.69/841.70	o 32737077
839.89/841.96	o 32736908
840.10/842.12	o 32736897
840.19/842.22	o 32736432
840.19/842.28	o 32736360
840.29/842.34	o 32734416
840.39/842.40	o 32733984
840.49/842.58	o 32733898
840.59/842.65	o 32733507
840.79/842.86	o 32730300
841.09/843.16	o 32729932
841.59/843.63	o 32728607
841.69/843.71	o 32728596
841.79/843.80	o 32728251
841.79/843.87	o 32727708
841.88/843.93	o 32727512
841.88/844.00	o 32725414
842.10/844.14	o 32725094
842.19/844.29	o 32725014
842.29/844.37	o 32724684
842.49/844.52	o 32724641
842.59/844.60	o 32724573
842.69/844.71	o 32724438
842.89/844.91	o 32723569
842.89/844.98	o 32722802
843.59/845.65	o 32722487
843.69/845.77	o 32722220
844.48/846.52	o 32721866
844.58/846.64	o 32721504
844.88/846.94	o 32721464
845.08/847.18	o 32721458
845.49/847.55	o 32721400
845.58/847.66	o 32720587
845.68/847.75	o 32720504
847.77/849.81	o 32719992
847.77/849.82	o 32629618
847.77/849.83	o 32584637
847.77/849.87	o 32557921
847.77/849.88	o 32556603
847.77/849.89	o 32553971
847.87/849.90	o 32553364
847.87/849.91	o 32551093
847.87/849.92	o 32551021
847.87/849.92	o 32546913
847.87/849.94	o 32545562
847.87/849.96	o 32544244
847.87/849.97	o 32544002
847.87/849.98	o 32543076
851.67/853.76	o 32543025
851.77/853.83	o 32542636
852.66/854.76	o 32542610
852.66/854.79	o 32541218
853.26/855.35	o 32541161
853.36/855.44	o 32540240
853.86/855.95	o 32540063
855.15/857.24	o 32540055
855.85/857.98	o 32539846
857.16/859.25	o 32539130
857.26/859.30	o 32539039
857.26/859.39	o 32538956
857.75/859.87	o 32508566
858.06/860.19	o 32508423
858.15/860.25	o 32508332
858.25/860.33	o 32491328
858.25/860.39	o 32491089
858.45/860.51	o 32491001
858.55/860.62	o 32490907
858.55/860.68	o 32490315
858.65/860.76	o 32475945
858.75/860.81	o 32475614
858.85/860.90	o 32475019
858.85/860.95	o 32474519
858.95/861.01	o 32471890
859.05/861.10	o 32453193
859.05/861.15	o 32449631
859.15/861.20	o 32447002
859.65/861.79	o 32446509
860.34/862.40	o 32446293
863.84/865.94	o 32446276
863.94/866.00	o 32445229
863.94/866.07	o 32444925
868.03/870.13	o 32444907
868.32/870.48	o 32443918
868.52/870.66	o 32443442
868.62/870.75	o 32441994
876.91/879.08	o 32441992
877.10/879.23	o 32441786
878.20/880.37	o 32441423
891.67/893.82	o 32440464
891.98/894.19	o 32439954
892.07/894.29	o 32439659
892.17/894.36	o 32439653
892.27/894.43	o 32438151
892.37/894.53	o 32437836
892.37/894.58	o 32437830
892.47/894.64	o 32437390
892.47/894.69	o 32437384
892.77/894.91	o 32437084
892.77/894.97	o 32437078
892.87/895.06	o 32437073
892.97/895.12	o 32436560
892.97/895.17	o 32436554
893.47/895.68	o 32436347
893.57/895.73	o 32436341
897.45/899.67	o 32435657
897.96/900.12	o 32435490
898.05/900.26	o 32435444
900.05/902.22	o 32435379
902.65/904.87	o 32435307
905.43/907.62	o 32435149
908.43/910.62	o 32434507
908.53/910.73	o 32434496
908.63/910.86	o 32434431
909.43/911.65	o 32434420
909.53/911.77	o 32434405
912.22/914.42	o 32404725
918.91/921.12	o 32404663
923.50/925.75	o 32404598
946.64/948.98	o 32404571
947.04/949.38	o 32404541
947.04/949.39	o 32404468
960.61/962.93	o 32403957
960.81/963.12	o 32402921
1025.76/1028.20	o 32402382
1025.76/1028.21	o 32402225
1025.76/1028.21	o 32401882
1025.86/1028.31	o 32400881
1026.06/1028.59	o 32400826
1041.32/1043.80	o 32400801
1066.16/1068.71	o 32400535
1071.64/1074.28	o 32399518
1072.24/1074.84	o 32399241
1072.45/1075.09	o 32399151
1072.64/1075.23	o 32399137
1072.84/1075.47	o 32399100
1073.04/1075.62	o 32399030
1073.24/1075.84	o 32398751
1076.14/1078.78	o 32398532
1076.44/1079.10	o 32398129
1076.63/1079.22	o 32397978
1076.83/1079.41	o 32397961
1102.48/1105.17	o 32397772
1102.77/1105.45	o 32397325
1102.77/1105.45	o 32394691
1102.77/1105.46	o 32394640
1102.87/1105.56	o 32392762
1104.47/1107.10	o 32392668
1105.47/1108.12	o 32392613
1115.24/1117.91	o 32392483
1116.24/1118.95	o 32391983
1116.64/1119.31	o 32391878
1145.27/1148.06	o 32391723
1165.82/1168.64	o 32391152
1165.82/1168.64	o 32389954
1165.82/1168.65	o 32383648
1167.52/1170.38	o 32382030
1181.58/1184.49	o 32381181
1187.37/1190.24	o 32381096
1206.42/1209.36	o 32381091
1210.41/1213.38	o 32380980
1210.51/1213.42	o 32380886
1212.31/1215.26	o 32380478
1276.65/1279.70	o 32377184
1276.65/1279.71	o 32369580
1276.65/1279.78	o 32368964
1276.65/1279.79	o 32368903
1279.44/1282.50	o 32368865
1279.44/1282.52	o 32368562
1281.15/1284.25	o 32368013
1281.45/1284.54	o 32367445
1333.72/1337.00	o 32367273
1334.02/1337.21	o 32367073
1335.02/1338.25	o 32367047
1335.41/1338.68	o 32366905
1336.81/1340.08	o 32365954
1419.72/1423.18	o 32365389
1467.51/1471.04	o 32365328
1504.81/1508.43	o 32364766
1504.81/1508.46	o 32364684
1505.31/1508.98	o 32364218
1516.17/1519.87	o 32364192
1557.17/1560.99	o 32360466
1620.01/1623.99	o 32360455
1620.22/1624.16	o 32360308
1620.51/1624.40	o 32360242
1621.11/1625.01	o 32359874
1696.04/1700.12	o 32315846
1696.04/1700.12	o 32274985
1697.13/1701.28	o 32234998
1757.39/1761.64	o 32234210
1757.49/1761.79	o 32234198
1838.11/1842.55	o 32193337
1838.11/1842.56	o 32154311
1838.30/1842.72	o 32153810
1865.85/1870.39	o 32153705
1878.32/1882.88	o 32151966
1878.52/1883.03	o 32151766
1878.62/1883.17	o 32151216
1878.72/1883.29	o 32149653
1879.02/1883.59	o 32149477
1879.22/1883.71	o 32147238
1879.42/1883.91	o 32147003
1879.52/1884.02	o 32145981
1879.72/1884.26	o 32142766
1880.01/1884.57	o 32142761
1880.11/1884.69	o 32136542
1880.31/1884.83	o 32131565
1880.41/1884.93	o 32131426
1880.91/1885.44	o 32131142
1881.21/1885.75	o 32129885
1881.41/1885.91	o 32129669
1881.51/1886.02	o 32129643
1883.30/1887.86	o 32128504
1883.50/1888.01	o 32128011
1883.60/1888.11	o 32127872
1883.70/1888.24	o 32127232
1883.80/1888.37	o 32127101
1883.90/1888.47	o 32126831
1884.10/1888.61	o 32126692
1884.30/1888.84	o 32126669
1885.80/1890.30	o 32125862
1886.90/1891.42	o 32123204
1887.00/1891.57	o 32122898
1887.39/1891.99	o 32121743
1887.79/1892.31	o 32121164
1888.39/1892.97	o 32121125
1923.61/1928.29	o 32115297
1923.71/1928.34	o 32113790
1923.71/1928.38	o 32112287
1923.71/1928.39	o 32109442
1923.71/1928.39	o 32108046
1924.01/1928.63	o 32107679
1925.00/1929.65	o 32107625
1925.00/1929.68	o 32107448
1925.20/1929.83	o 32106959
1927.90/1932.52	o 32106834
1928.20/1932.84	o 32106704
1928.20/1932.89	o 32106243
1928.80/1933.46	o 32106173
1928.90/1933.52	o 32105724
1929.00/1933.62	o 32105386
1929.00/1933.65	o 32104731
1929.10/1933.73	o 32104643
1929.20/1933.81	o 32104438
1929.20/1933.87	o 32103563
1929.30/1933.98	o 32103225
1929.40/1934.03	o 32102695
1929.40/1934.07	o 32102570
1929.50/1934.12	o 32101798
1935.19/1939.87	o 32099414
1935.29/1939.93	o 32096628
1935.29/1939.99	o 32096003
1935.39/1940.08	o 32095350
1935.59/1940.21	o 32094928
1935.88/1940.53	o 32094801
1935.88/1940.60	o 32094542
1935.98/1940.65	o 32094030
1949.76/1954.41	o 32093908
1965.72/1970.42	o 32093883
1966.21/1970.94	o 32093445
2002.14/2006.93	o 32092635
2012.72/2017.58	o 32092627
2014.11/2018.98	o 32092613
2014.22/2019.06	o 32091488
2014.32/2019.15	o 32090855
2014.51/2019.39	o 32090816
2014.71/2019.55	o 32089503
2032.28/2037.15	o 32089482
2032.37/2037.28	o 32089211
2032.57/2037.41	o 32089205
2032.67/2037.56	o 32088999
2041.85/2046.71	o 32087742
2042.05/2046.98	o 32087714
2042.26/2047.14	o 32086787
2045.74/2050.62	o 32086656
2045.94/2050.82	o 32080828
2046.14/2051.00	o 32080759
2046.54/2051.42	o 32080721
2073.48/2078.42	o 32078374
2077.57/2082.59	o 32077324
2078.37/2083.30	o 32077070
2078.37/2083.33	o 32077064
2078.37/2083.37	o 32075975
2078.47/2083.41	o 32075607
2080.36/2085.31	o 32075493
2083.36/2088.32	o 32075387
2084.16/2089.17	o 32075227
2085.95/2090.98	o 32071909
2086.06/2091.05	o 32071674
2086.16/2091.13	o 32071637
2086.25/2091.23	o 32071442
2086.95/2091.90	o 32071084
2087.25/2092.29	o 32070150
2098.33/2103.31	o 32069791
2114.38/2119.48	o 32069731
2114.58/2119.63	o 32069618
2114.68/2119.76	o 32069612
2114.88/2119.97	o 32069238
2116.68/2121.77	o 32069199
2126.66/2131.73	o 32069050
2126.66/2131.77	o 32063222
2126.86/2131.97	o 32063166
2126.97/2132.01	o 32062895
2126.97/2132.04	o 32062835
2126.97/2132.09	o 32062744
2127.07/2132.12	o 32062598
2127.07/2132.16	o 32061668
2127.07/2132.19	o 32061522
2127.16/2132.23	o 32061191
2128.06/2133.17	o 32060520
2128.16/2133.22	o 32060481
2131.65/2136.77	o 32058826
2151.01/2156.13	o 32057318
2151.10/2156.22	o 32056409
2153.80/2158.96	o 32055999
2163.58/2168.77	o 32055893
2165.67/2170.88	o 32055562
2200.19/2205.40	o 32055476
2222.44/2227.79	o 32055432
2227.73/2233.10	o 32055394
2261.06/2266.40	o 32055038
2279.41/2284.86	o 31887470
2363.43/2369.06	o 31886862
2366.02/2371.69	o 31886710
2367.22/2372.80	o 31885597
2367.42/2373.05	o 31885588
2367.52/2373.14	o 31885433
2367.52/2373.18	o 31885136
2367.61/2373.21	o 31884926
2367.61/2373.23	o 31883519
2367.61/2373.26	o 31883399
2367.71/2373.30	o 31883018
2397.64/2403.39	o 31881414
2398.85/2404.53	o 31881360
2403.03/2408.78	o 31881153
2403.83/2409.52	o 31881034
2403.83/2409.57	o 31880814
2427.88/2433.64	o 31880795
2428.87/2434.62	o 31880696
2429.87/2435.62	o 31880643
2431.17/2436.95	o 31880409
2431.37/2437.14	o 31880326
2489.84/2495.72	o 31880108
2529.65/2535.60	o 31877405
2529.65/2535.65	o 31877014
2531.06/2537.09	o 31875542
2534.05/2540.09	o 31874742
2535.34/2541.38	o 31874022
2539.23/2545.20	o 31873957
2543.32/2549.39	o 31873814
2555.50/2561.52	o 31873761
2556.10/2562.19	o 31873573
2559.38/2565.43	o 31873563
2601.50/2607.61	o 31869213
2601.50/2607.64	o 31867622
2602.39/2608.56	o 31867574
2606.89/2613.02	o 31865066
2611.07/2617.29	o 31865064
2694.19/2700.59	o 31781706
2694.29/2700.64	o 31780938
2694.39/2700.72	o 31779273
2694.49/2700.88	o 31773359
2694.59/2700.91	o 31773054
2694.99/2701.31	o 31772083
2694.99/2701.35	o 31771924
2695.39/2701.74	o 31771179
2697.88/2704.23	o 31771032
2697.88/2704.23	o 31769939
2697.88/2704.23	o 31769726
2697.98/2704.34	o 31769719
2698.18/2704.59	o 31769594
2698.18/2704.59	o 31768186
2698.28/2704.60	o 31767323
2698.28/2704.62	o 31767110
2698.48/2704.89	o 31766535
2698.58/2704.94	o 31766425
2699.28/2705.65	o 31766111
2699.28/2705.67	o 31765728
2699.47/2705.82	o 31765518
2699.47/2705.84	o 31765336
2699.57/2705.92	o 31765195
2703.96/2710.34	o 31765083
2703.96/2710.39	o 31765061
2707.86/2714.23	o 31764560
2710.15/2716.55	o 31764481
2710.25/2716.60	o 31756991
2711.45/2717.88	o 31756984
2711.55/2717.94	o 31756962
2715.94/2722.33	o 31756945
2738.88/2745.38	o 31756873
2740.39/2746.89	o 31756657
2747.87/2754.39	o 31756427
2749.06/2755.50	o 31756398
2749.16/2755.61	o 31756203
2749.57/2756.04	o 31756039
2753.35/2759.83	o 31755512
2776.31/2782.81	o 31753722
2776.61/2783.14	o 31753623
2776.81/2783.40	o 31753111
2777.40/2783.91	o 31752735
2777.51/2784.00	o 31752430
2777.61/2784.11	o 31751989
2778.00/2784.50	o 31751738
2778.10/2784.61	o 31751713
2779.10/2785.65	o 31746156
2779.20/2785.76	o 31745889
2779.20/2785.76	o 31745719
2779.20/2785.78	o 31745584
2779.30/2785.88	o 31744353
2779.30/2785.89	o 31744209
2780.30/2786.88	o 31744099
2781.69/2788.24	o 31742988
2783.09/2789.68	o 31742953
2783.19/2789.72	o 31741860
2783.99/2790.50	o 31741762
2784.49/2791.07	o 31739934
2784.59/2791.14	o 31739566
2785.08/2791.69	o 31739502
2789.08/2795.69	o 31738224
2789.18/2795.72	o 31738166
2791.07/2797.68	o 31738069
2793.07/2799.61	o 31737636
2793.07/2799.66	o 31737524
2793.57/2800.17	o 31737477
2795.47/2802.08	o 31737257
2795.67/2802.22	o 31737247
2795.67/2802.29	o 31737246
2798.96/2805.59	o 31737245
2799.06/2805.65	o 31706341
2799.15/2805.72	o 31705948
2799.25/2805.89	o 31705660
2799.35/2805.99	o 31705413
2799.46/2806.05	o 31705355
2799.56/2806.15	o 31705270
2799.65/2806.21	o 31704768
2799.85/2806.48	o 31704596
2800.15/2806.77	o 31703468
2816.22/2822.85	o 31703421
2816.32/2822.94	o 31703411
2816.42/2823.03	o 31703410
2817.22/2823.89	o 31703378
2817.82/2824.48	o 31702945
2818.02/2824.60	o 31702640
2820.61/2827.26	o 31702547
2828.69/2835.30	o 31702546
2832.78/2839.43	o 31702491
2833.58/2840.25	o 31702445
2834.08/2840.71	o 31702425
2863.22/2869.99	o 31613971
2863.22/2870.00	o 31612338
2863.32/2870.01	o 31612249
2871.40/2878.18	o 31612185
2873.19/2879.90	o 31612008
2877.88/2884.63	o 31612001
2878.07/2884.86	o 31612000
2881.97/2888.77	o 31611924
2884.67/2891.43	o 31610744
2885.86/2892.65	o 31610643
2886.96/2893.76	o 31610443
2887.26/2894.00	o 31610419
2887.36/2894.13	o 31610276
2887.46/2894.29	o 31609679
2887.76/2894.54	o 31608432
2887.86/2894.60	o 31600942
2887.86/2894.65	o 31598040
2888.16/2894.95	o 31598016
2900.24/2907.10	o 31597872
2900.83/2907.60	o 31585372
2900.83/2907.69	o 31584233
2901.23/2908.05	o 31580211
2902.12/2908.95	o 31580027
2902.93/2909.79	o 31579241
2905.52/2912.32	o 31573170
2905.52/2912.33	o 31572957
2905.91/2912.78	o 31572189
2905.91/2912.79	o 31571188
2907.61/2914.47	o 31569065
2907.81/2914.67	o 31568995
2907.91/2914.71	o 31567251
2908.11/2914.93	o 31566192
2908.11/2914.98	o 31564235
2908.71/2915.51	o 31563124
2910.41/2917.23	o 31560812
2910.41/2917.26	o 31560754
2912.90/2919.71	o 31560715
2912.90/2919.76	o 31553225
2913.10/2919.93	o 31553007
2913.31/2920.12	o 31552938
2913.31/2920.16	o 31552722
2919.39/2926.21	o 31552462
2919.39/2926.27	o 31552404
2919.49/2926.36	o 31552249
2919.68/2926.55	o 31552162
2919.78/2926.65	o 31552140
2920.48/2927.30	o 31552075
2921.18/2928.09	o 31551923
2922.67/2929.57	o 31551748
2923.28/2930.17	o 31551091
2923.98/2930.87	o 31550836
2932.35/2939.24	o 31550667
2957.30/2964.20	o 31549954
2960.50/2967.47	o 31549932
2961.89/2968.83	o 31549874
2968.78/2975.77	o 31549858
2968.88/2975.81	o 31549857
2973.66/2980.62	o 31548689
3015.87/3022.95	o 31543926
3017.36/3024.49	o 31543873
3111.06/3118.30	o 31543811
3148.07/3155.41	o 31543761
3154.96/3162.34	o 31543497
3155.67/3163.01	o 31543474
3155.67/3163.06	o 31543305
3156.16/3163.54	o 31543096
3156.36/3163.70	o 31542938
3156.46/3163.83	o 31542890
3158.85/3166.26	o 31542651
3158.95/3166.35	o 31542269
3159.25/3166.62	o 31542214
3159.25/3166.69	o 31542126
3162.35/3169.74	o 31541996
3162.45/3169.82	o 31541564
3163.24/3170.66	o 31541560
3165.54/3172.98	o 31541461
3170.63/3178.07	o 31541307
3170.93/3178.37	o 31541291
3174.02/3181.45	o 31541255
3176.72/3184.12	o 31541165
3181.00/3188.43	o 31541081
3215.13/3222.60	o 31541056
3216.23/3223.74	o 31541047
3221.11/3228.66	o 31541043
3221.21/3228.72	o 31540920
3237.28/3244.89	o 31540754
3246.35/3253.97	o 31540647
3249.56/3257.16	o 31540577
3249.85/3257.43	o 31540433
3264.81/3272.49	o 31537969
3266.71/3274.36	o 31537692
3266.91/3274.51	o 31537416
3267.51/3275.11	o 31536913
3267.51/3275.15	o 31532020
3267.81/3275.47	o 31530253
3268.51/3276.12	o 31530204
3270.90/3278.57	o 31529967
3273.60/3281.29	o 31528852
3274.99/3282.65	o 31528833
3275.89/3283.50	o 31528680
3275.89/3283.59	o 31528323
3276.09/3283.71	o 31528052
3276.09/3283.75	o 31527218
3278.78/3286.43	o 31526307
3300.44/3308.11	o 31522432
3301.34/3309.10	o 31520745
3303.33/3311.08	o 31520726
3337.75/3345.51	o 31520566
3361.59/3369.49	o 31479665
3367.29/3375.11	o 31476263
3370.97/3378.80	o 31476174
3399.41/3407.39	o 31474541
3399.91/3407.80	o 31433232
3400.01/3407.92	o 31432127
3402.90/3410.83	o 31432102
3403.20/3411.14	o 31431967
3403.40/3411.39	o 31431863
3403.99/3411.90	o 31431742
3403.99/3411.93	o 31431686
3410.19/3418.19	o 31431129
3413.88/3421.83	o 31431011
3415.08/3423.08	o 31430897
3418.57/3426.54	o 31430787
3418.77/3426.78	o 31430644
3421.16/3429.12	o 31430581
3438.42/3446.49	o 31430437
3460.47/3468.57	o 31430069
3491.10/3499.22	o 31429215
3537.59/3545.81	o 31428182
3581.80/3590.15	o 31425984
3600.05/3608.40	c Program interrupted by user.
3600.05/3608.40	s SATISFIABLE
3600.05/3608.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

Verifier Data 

OK	31425984

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: 63931 MiB (61800 MiB free)
  memory of node 1: 64510 MiB (61263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432980-1721066856/watcher-4432980-1721066856 -o /tmp/evaluation-result-4432980-1721066856/solver-4432980-1721066856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808122 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=918882550 HOME/instance-4432980-1721066856.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=812165, runsolver pid=812162

[startup+0.10067 s]*
/proc/loadavg: 4.09 4.17 4.12 5/254 812166
/proc/meminfo: memFree=125996224/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=43080 memory=21280 CPUtime=0.1 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 4837 0 0 0 9 1 0 0 20 0 1 0 158850531 44113920 5320 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 10770 5320 1076 1005 0 9533 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43080 KiB
Current children cumulated memory: 21280 KiB

[startup+0.20561 s]*
/proc/loadavg: 4.09 4.17 4.12 5/254 812166
/proc/meminfo: memFree=125993192/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=43280 memory=21988 CPUtime=0.2 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 4916 0 0 0 19 1 0 0 20 0 1 0 158850531 44318720 5497 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 10820 5497 1124 1005 0 9583 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43280 KiB
Current children cumulated memory: 21988 KiB

[startup+0.305568 s]*
/proc/loadavg: 4.09 4.17 4.12 5/254 812166
/proc/meminfo: memFree=125984504/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=45408 memory=26408 CPUtime=0.29 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 5509 0 0 0 28 1 0 0 20 0 1 0 158850531 46497792 6602 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 11352 6602 1124 1005 0 10115 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45408 KiB
Current children cumulated memory: 26408 KiB

[startup+0.700215 s]
/proc/loadavg: 4.09 4.17 4.12 5/254 812166
/proc/meminfo: memFree=125966248/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=55436 memory=42308 CPUtime=0.69 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 8007 0 0 0 67 2 0 0 20 0 1 0 158850531 56766464 10577 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 13859 10577 1124 1005 0 12622 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55436 KiB
Current children cumulated memory: 42308 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.17 4.12 5/254 812166
/proc/meminfo: memFree=125941364/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=67820 memory=61436 CPUtime=1.49 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 11184 0 0 0 146 3 0 0 20 0 1 0 158850531 69447680 15359 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 16955 15359 1140 1005 0 15718 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67820 KiB
Current children cumulated memory: 61436 KiB

[startup+3.10538 s]
/proc/loadavg: 4.08 4.17 4.12 4/251 812180
/proc/meminfo: memFree=126979352/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=90612 memory=80460 CPUtime=3.08 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 13632 0 0 0 305 3 0 0 20 0 1 0 158850531 92786688 20115 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 22653 20115 1140 1005 0 21416 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90612 KiB
Current children cumulated memory: 80460 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 4.17 4.12 5/254 812213
/proc/meminfo: memFree=126724128/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=132668 memory=118036 CPUtime=6.27 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 18836 0 0 0 620 7 0 0 20 0 1 0 158850531 135852032 29509 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 33167 29509 1140 1005 0 31930 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132668 KiB
Current children cumulated memory: 118036 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.17 4.12 5/254 812213
/proc/meminfo: memFree=126386920/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=226392 memory=196744 CPUtime=12.65 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 30315 0 0 0 1254 11 0 0 20 0 1 0 158850531 231825408 49186 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 56598 49186 1140 1005 0 55361 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 226392 KiB
Current children cumulated memory: 196744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.16 4.12 5/254 812216
/proc/meminfo: memFree=126094072/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=327492 memory=248420 CPUtime=25.43 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 37845 0 0 0 2526 17 0 0 20 0 1 0 158850531 335351808 62105 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 81873 62105 1140 1005 0 80636 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 327492 KiB
Current children cumulated memory: 248420 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.14 4.11 5/255 812220
/proc/meminfo: memFree=125824476/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=359840 memory=286704 CPUtime=50.97 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 43989 0 0 0 5074 23 0 0 20 0 1 0 158850531 368476160 71676 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 89960 71676 1140 1005 0 88723 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 359840 KiB
Current children cumulated memory: 286704 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/255 812229
/proc/meminfo: memFree=125056092/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=365280 memory=291472 CPUtime=102.05 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 45705 0 0 0 10172 33 0 0 20 0 1 0 158850531 374046720 72868 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 91320 72868 1140 1005 0 90083 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 365280 KiB
Current children cumulated memory: 291472 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 812290
/proc/meminfo: memFree=124615196/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=372844 memory=299016 CPUtime=161.9 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 47678 0 0 0 16146 44 0 0 20 0 1 0 158850531 381792256 74754 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 93211 74754 1140 1005 0 91974 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 372844 KiB
Current children cumulated memory: 299016 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 812301
/proc/meminfo: memFree=123759016/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=381860 memory=306392 CPUtime=221.76 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 49627 0 0 0 22127 49 0 0 20 0 1 0 158850531 391024640 76598 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 95465 76598 1140 1005 0 94228 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 381860 KiB
Current children cumulated memory: 306392 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/258 812311
/proc/meminfo: memFree=123136220/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=389484 memory=312432 CPUtime=281.62 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 51270 0 0 0 28105 57 0 0 20 0 1 0 158850531 398831616 78108 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 97371 78108 1140 1005 0 96134 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 389484 KiB
Current children cumulated memory: 312432 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 812322
/proc/meminfo: memFree=122335320/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=394200 memory=317412 CPUtime=341.48 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 52537 0 0 0 34083 65 0 0 20 0 1 0 158850531 403660800 79353 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 98550 79353 1140 1005 0 97313 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 394200 KiB
Current children cumulated memory: 317412 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 812333
/proc/meminfo: memFree=121096952/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=400060 memory=322932 CPUtime=401.34 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 54007 0 0 0 40059 75 0 0 20 0 1 0 158850531 409661440 80733 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 100015 80733 1140 1005 0 98778 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 400060 KiB
Current children cumulated memory: 322932 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 812343
/proc/meminfo: memFree=120313948/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=401632 memory=324404 CPUtime=461.19 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 54469 0 0 0 46035 84 0 0 20 0 1 0 158850531 411271168 81101 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0

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

Current children cumulated memory: 515448 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 813777
/proc/meminfo: memFree=118386060/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=582688 memory=521564 CPUtime=2855.63 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 95675 0 0 0 285096 467 0 0 20 0 1 0 158850531 596672512 130391 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145672 130391 1198 1005 0 144435 0
Current children cumulated CPU time: 2855.63 s
Current children cumulated vsize: 582688 KiB
Current children cumulated memory: 521564 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 813787
/proc/meminfo: memFree=118381484/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522624 CPUtime=2915.5 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96146 0 0 0 291073 477 0 0 20 0 1 0 158850531 597794816 130656 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130656 1198 1005 0 144709 0
Current children cumulated CPU time: 2915.5 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 813799
/proc/meminfo: memFree=118348752/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522844 CPUtime=2975.36 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96279 0 0 0 297051 485 0 0 20 0 1 0 158850531 597794816 130711 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130711 1198 1005 0 144709 0
Current children cumulated CPU time: 2975.36 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522844 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 813978
/proc/meminfo: memFree=118344956/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522844 CPUtime=3035.23 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96347 0 0 0 303025 498 0 0 20 0 1 0 158850531 597794816 130711 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130711 1198 1005 0 144709 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522844 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 813988
/proc/meminfo: memFree=118341020/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3095.1 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96536 0 0 0 308999 511 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3095.1 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/257 814000
/proc/meminfo: memFree=118334952/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3154.96 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96672 0 0 0 314976 520 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3154.96 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 814022
/proc/meminfo: memFree=118326036/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3214.83 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96746 0 0 0 320953 530 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3214.83 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 814032
/proc/meminfo: memFree=118324300/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3274.69 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 96948 0 0 0 326932 537 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3274.69 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 814043
/proc/meminfo: memFree=118323916/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3334.55 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 97076 0 0 0 332908 547 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/255 814054
/proc/meminfo: memFree=118323552/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3394.42 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 97154 0 0 0 338885 557 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3394.42 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/254 814064
/proc/meminfo: memFree=118323056/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3454.28 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 97358 0 0 0 344866 562 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3454.28 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 814074
/proc/meminfo: memFree=118224772/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=583784 memory=522852 CPUtime=3514.15 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 97486 0 0 0 350841 574 0 0 20 0 1 0 158850531 597794816 130713 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 145946 130713 1198 1005 0 144709 0
Current children cumulated CPU time: 3514.15 s
Current children cumulated vsize: 583784 KiB
Current children cumulated memory: 522852 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 814085
/proc/meminfo: memFree=118222880/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=585224 memory=524072 CPUtime=3574.02 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 97921 0 0 0 356820 582 0 0 20 0 1 0 158850531 599269376 131018 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 146306 131018 1198 1005 0 145069 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 585224 KiB
Current children cumulated memory: 524072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.12 4.13 4.10 5/254 814091
/proc/meminfo: memFree=118219960/131524600 swapFree=131071996/131071996
[pid=812165] ppid=812162 vsize=588164 memory=526728 CPUtime=3600.05 cores=4,6
/proc/812165/stat : 812165 (Exact) R 812162 812165 808111 0 -1 4194304 98690 0 0 0 359420 585 0 0 20 0 1 0 158850531 602279936 131682 134679101440 4194304 8309489 140721507149136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 25972736 140721507156927 140721507157096 140721507157096 140721507164111 0
/proc/812165/statm: 147041 131682 1198 1005 0 145804 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 588164 KiB
Current children cumulated memory: 526728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.21 s, system=5.85835 s

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

Child status: 10

Real time (s): 3608.41
CPU time (s): 3600.07
CPU user time (s): 3594.21
CPU system time (s): 5.85835
CPU usage (%): 99.7688
Max. virtual memory (cumulated for all children) (KiB): 588164
Max. memory (cumulated for all children) (KiB): 526728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.21
system time used= 5.85835
maximum resident set size= 526728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98690
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= 67
involuntary context switches= 2201


# summary of solver processes directly reported to runsolver:
#   pid: 812165
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3594.21
#   total CPU system time (s): 5.85835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4821 second user time and 15.6817 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-15 20:07:49
IDJOB=4432980
IDBENCH=146797
IDSOLVER=3060
FILE ID=nodeC024/4432980-1721066856
RUNJOBID= nodeC024-1721059648-808122
SLURM_JOB_ID= 7505503
Free space on /tmp= 890060 MiB

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

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=918882550

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.421
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.319
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.472
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.117
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.453
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.358
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.840
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.022
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126017436 kB
MemAvailable:   128468048 kB
Buffers:          370384 kB
Cached:          2893448 kB
SwapCached:            0 kB
Active:           589580 kB
Inactive:        4275528 kB
Active(anon):       1564 kB
Inactive(anon):  1637436 kB
Active(file):     588016 kB
Inactive(file):  2638092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23832 kB
Writeback:             0 kB
AnonPages:       1601252 kB
Mapped:           117752 kB
Shmem:             37720 kB
KReclaimable:     128304 kB
Slab:             236804 kB
SReclaimable:     128304 kB
SUnreclaim:       108500 kB
KernelStack:        4176 kB
PageTables:        12116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1991904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59648 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1478656 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:      226004 kB
DirectMap2M:    19470336 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC024 at 2024-07-15 21:07:58