Trace number 4252691

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
Naxos 1.1.0SAT (TO)20618 2400.1 2402.1

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-069.xml
MD5SUMe65d1522f1056f49054155eb060914b2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1466
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables4829
Number of constraints2482
Number of domains137
Minimum domain size2
Maximum domain size137
Distribution of domain sizes[{"size":2,"count":2416},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}]
Minimum variable degree0
Maximum variable degree68
Distribution of variable degrees[{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}]
Minimum constraint arity2
Maximum constraint arity69
Distribution of constraint arities[{"arity":2,"count":69},{"arity":3,"count":2347},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}]
Number of extensional constraints0
Number of intensional constraints2414
Distribution of constraint types[{"type":"intension","count":2414},{"type":"sum","count":68}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.89/3.95	o 107134
3.98/4.01	o 98022
3.98/4.07	o 97762
4.09/4.13	o 89706
4.09/4.19	o 89446
4.18/4.25	o 89194
4.29/4.31	o 82154
4.29/4.37	o 81878
4.39/4.43	o 81626
4.39/4.49	o 81398
4.49/4.55	o 75334
4.59/4.61	o 75042
4.59/4.67	o 74790
4.69/4.73	o 74546
4.69/4.79	o 74342
4.79/4.85	o 69214
4.89/4.92	o 68906
4.89/4.98	o 68638
4.99/5.04	o 68394
5.09/5.10	o 68174
5.09/5.16	o 67994
5.19/5.22	o 63762
5.19/5.28	o 63438
5.28/5.35	o 63154
5.38/5.41	o 62910
5.38/5.47	o 62674
5.50/5.53	o 62478
5.50/5.59	o 62322
5.59/5.65	o 58946
5.69/5.72	o 58606
5.69/5.78	o 58306
5.79/5.84	o 58046
5.89/5.90	o 57810
5.89/5.97	o 57598
5.99/6.03	o 57426
5.99/6.09	o 57294
6.09/6.15	o 54734
6.18/6.22	o 54378
6.18/6.29	o 54062
6.29/6.35	o 53786
6.39/6.41	o 53550
6.39/6.48	o 53322
6.49/6.54	o 53134
6.49/6.60	o 52986
6.59/6.66	o 52878
6.70/6.72	o 51094
6.79/6.80	o 50722
6.79/6.87	o 50390
6.89/6.95	o 50098
6.99/7.01	o 49846
6.99/7.08	o 49618
7.09/7.14	o 49414
7.18/7.20	o 49250
7.18/7.26	o 49126
7.29/7.32	o 49042
7.29/7.38	o 47994
7.39/7.48	o 47606
7.49/7.57	o 47258
7.59/7.65	o 46950
7.69/7.72	o 46682
7.69/7.79	o 46454
7.79/7.86	o 46234
7.89/7.92	o 46054
7.89/7.99	o 45914
7.99/8.05	o 45814
8.09/8.11	o 45754
8.09/8.17	o 45402
8.29/8.31	o 45390
8.29/8.37	o 44998
8.49/8.50	o 44634
8.59/8.61	o 44310
8.69/8.70	o 44026
8.69/8.78	o 43782
8.79/8.85	o 43562
8.90/8.92	o 43366
8.90/8.99	o 43210
8.99/9.05	o 43094
9.09/9.11	o 43018
9.09/9.17	o 42982
9.39/9.41	o 42862
9.39/9.48	o 42746
9.49/9.54	o 42670
9.59/9.60	o 42602
9.69/9.79	o 42554
9.78/9.85	o 42438
9.90/9.91	o 42330
9.90/9.97	o 42262
10.09/10.13	o 42138
10.09/10.19	o 42030
10.18/10.25	o 41962
10.29/10.37	o 41878
10.39/10.43	o 41770
10.39/10.49	o 41702
10.59/10.60	o 41626
10.59/10.66	o 41550
10.69/10.72	o 41482
10.79/10.80	o 41446
10.79/10.87	o 41338
10.89/10.93	o 41270
11.00/11.00	o 41166
11.00/11.06	o 41098
11.10/11.13	o 41034
11.10/11.20	o 40966
11.19/11.26	o 40942
11.29/11.32	o 40874
11.29/11.38	o 40850
11.39/11.44	o 40822
11.49/11.50	o 40758
11.49/11.56	o 40706
11.59/11.62	o 40694
11.98/12.07	o 40642
12.09/12.12	o 40618
12.09/12.18	o 40550
12.20/12.23	o 40486
12.20/12.28	o 40394
12.29/12.34	o 40342
12.29/12.39	o 40298
12.68/12.70	o 40294
12.68/12.76	o 40266
12.79/12.81	o 40162
12.79/12.86	o 40150
12.89/12.92	o 40070
12.89/12.97	o 39986
12.99/13.02	o 39942
13.19/13.26	o 39878
13.29/13.31	o 39874
13.29/13.37	o 39754
13.38/13.42	o 39670
13.38/13.47	o 39626
13.58/13.65	o 39602
13.69/13.70	o 39478
13.69/13.76	o 39394
13.79/13.81	o 39350
13.89/13.94	o 39334
13.89/14.00	o 39242
13.98/14.05	o 39158
14.08/14.10	o 39114
14.18/14.20	o 39014
14.18/14.26	o 38930
14.30/14.31	o 38918
14.30/14.39	o 38842
14.39/14.45	o 38758
14.48/14.50	o 38714
14.48/14.57	o 38694
14.58/14.62	o 38610
14.58/14.67	o 38566
14.69/14.73	o 38502
14.69/14.79	o 38458
14.79/14.84	o 38434
14.79/14.89	o 38390
14.89/14.95	o 38362
15.68/15.76	o 38302
15.78/15.81	o 38226
15.78/15.87	o 38194
15.88/15.93	o 38118
15.88/15.98	o 38050
15.99/16.04	o 38018
15.99/16.09	o 37970
16.59/16.68	o 37926
16.68/16.74	o 37894
16.68/16.79	o 37818
16.79/16.85	o 37762
16.89/16.90	o 37750
16.89/16.95	o 37718
16.98/17.01	o 37658
16.98/17.06	o 37638
17.39/17.48	o 37570
17.49/17.53	o 37558
17.49/17.59	o 37502
17.59/17.64	o 37426
17.59/17.70	o 37366
17.69/17.75	o 37346
17.99/18.05	o 37274
18.09/18.11	o 37250
18.09/18.16	o 37174
18.19/18.22	o 37114
18.19/18.27	o 37094
18.39/18.48	o 37030
18.49/18.54	o 36962
18.49/18.60	o 36902
18.58/18.65	o 36882
18.69/18.80	o 36874
18.79/18.86	o 36834
18.89/18.91	o 36758
18.89/18.96	o 36698
18.99/19.07	o 36678
19.08/19.13	o 36670
19.08/19.18	o 36594
19.18/19.24	o 36534
19.18/19.29	o 36514
19.28/19.38	o 36486
19.38/19.43	o 36470
19.38/19.48	o 36410
19.49/19.54	o 36390
19.59/19.60	o 36370
19.59/19.66	o 36326
19.68/19.71	o 36306
19.68/19.77	o 36298
19.79/19.83	o 36262
19.79/19.88	o 36258
21.38/21.46	o 36182
21.48/21.54	o 36154
21.59/21.60	o 36126
21.59/21.65	o 36042
21.69/21.72	o 35958
21.69/21.78	o 35914
21.79/21.84	o 35910
21.88/21.90	o 35898
22.98/23.04	o 35818
22.98/23.09	o 35766
23.09/23.17	o 35734
23.19/23.22	o 35682
23.19/23.28	o 35642
23.28/23.33	o 35638
23.28/23.39	o 35634
23.39/23.44	o 35606
23.39/23.49	o 35570
23.48/23.55	o 35558
24.29/24.34	o 35546
24.39/24.41	o 35510
24.39/24.47	o 35434
24.49/24.53	o 35402
24.49/24.58	o 35338
24.58/24.64	o 35306
24.58/24.69	o 35270
25.18/25.25	o 35266
25.29/25.31	o 35238
25.29/25.36	o 35186
25.39/25.42	o 35146
25.39/25.47	o 35078
25.48/25.53	o 35042
25.89/25.91	o 35002
25.89/25.96	o 34950
25.98/26.03	o 34890
25.98/26.08	o 34854
26.08/26.14	o 34822
26.28/26.39	o 34802
26.39/26.45	o 34778
26.49/26.50	o 34710
26.49/26.56	o 34674
26.59/26.61	o 34638
26.59/26.67	o 34634
26.79/26.83	o 34630
26.79/26.89	o 34586
26.88/26.94	o 34570
26.99/27.00	o 34534
26.99/27.05	o 34510
27.09/27.11	o 34490
27.09/27.16	o 34458
27.18/27.21	o 34454
27.28/27.33	o 34394
27.28/27.39	o 34386
27.39/27.44	o 34334
27.39/27.49	o 34298
27.49/27.58	o 34294
27.59/27.63	o 34270
27.59/27.68	o 34250
27.69/27.74	o 34234
27.69/27.79	o 34198
27.79/27.86	o 34158
27.88/27.92	o 34138
27.88/27.98	o 34134
27.98/28.03	o 34122
31.19/31.26	o 34094
31.28/31.38	o 34034
31.39/31.43	o 34002
31.39/31.49	o 33998
31.49/31.54	o 33938
31.59/31.63	o 33902
31.59/31.68	o 33898
31.69/31.73	o 33838
31.79/31.81	o 33778
31.79/31.87	o 33774
31.89/31.92	o 33758
34.19/34.21	o 33726
34.19/34.27	o 33690
34.28/34.32	o 33662
34.38/34.41	o 33642
34.38/34.46	o 33574
34.49/34.52	o 33546
34.49/34.58	o 33534
34.58/34.64	o 33514
34.58/34.69	o 33486
34.69/34.75	o 33482
34.78/34.80	o 33446
34.78/34.86	o 33438
34.88/34.91	o 33434
34.88/34.97	o 33422
36.49/36.52	o 33406
36.58/36.61	o 33394
36.58/36.66	o 33342
36.68/36.71	o 33322
36.68/36.77	o 33294
36.79/36.84	o 33250
36.79/36.89	o 33198
36.89/36.95	o 33166
36.99/37.01	o 33150
36.99/37.06	o 33118
37.09/37.12	o 33106
38.08/38.18	o 33098
38.18/38.23	o 33062
38.29/38.30	o 33038
38.29/38.35	o 32990
38.39/38.41	o 32986
38.39/38.46	o 32958
38.49/38.52	o 32954
38.49/38.57	o 32918
38.59/38.63	o 32874
38.59/38.68	o 32862
39.28/39.38	o 32826
39.38/39.45	o 32802
39.49/39.51	o 32750
39.49/39.56	o 32722
39.59/39.62	o 32714
39.59/39.67	o 32670
39.69/39.73	o 32658
40.08/40.18	o 32602
40.18/40.25	o 32570
40.29/40.30	o 32542
40.29/40.36	o 32518
40.39/40.42	o 32474
40.69/40.71	o 32434
40.69/40.76	o 32382
40.79/40.83	o 32362
40.79/40.88	o 32350
40.89/40.94	o 32318
41.09/41.12	o 32298
41.09/41.17	o 32238
41.18/41.23	o 32218
41.18/41.29	o 32202
41.28/41.34	o 32190
41.38/41.46	o 32162
41.49/41.52	o 32154
41.49/41.57	o 32142
41.58/41.63	o 32126
41.58/41.68	o 32114
41.69/41.77	o 32074
48.18/48.20	o 32010
48.18/48.26	o 31998
48.39/48.44	o 31946
48.49/48.50	o 31926
48.49/48.56	o 31914
48.58/48.61	o 31910
48.58/48.66	o 31898
48.69/48.72	o 31878
48.79/48.83	o 31854
48.79/48.89	o 31834
48.88/48.95	o 31818
48.98/49.00	o 31806
48.98/49.06	o 31786
49.09/49.14	o 31766
49.19/49.20	o 31750
49.19/49.27	o 31738
53.59/53.69	o 31730
53.69/53.75	o 31678
53.89/53.94	o 31670
53.89/53.99	o 31610
53.99/54.05	o 31598
54.09/54.10	o 31578
54.19/54.21	o 31554
54.19/54.28	o 31550
54.29/54.33	o 31506
54.29/54.39	o 31486
54.38/54.47	o 31466
54.48/54.53	o 31450
54.58/54.60	o 31426
57.59/57.68	o 31418
57.68/57.75	o 31398
57.78/57.80	o 31382
57.78/57.86	o 31306
57.88/57.98	o 31290
57.99/58.04	o 31262
58.08/58.13	o 31206
58.08/58.18	o 31162
58.18/58.25	o 31146
60.19/60.29	o 31114
60.39/60.42	o 31082
60.39/60.47	o 31070
60.49/60.53	o 31022
60.49/60.58	o 31010
60.59/60.67	o 30986
60.68/60.72	o 30954
60.79/60.80	o 30914
60.79/60.85	o 30910
60.89/60.91	o 30894
62.08/62.18	o 30874
62.29/62.31	o 30870
62.29/62.36	o 30858
62.39/62.42	o 30810
62.39/62.47	o 30798
62.49/62.56	o 30790
62.58/62.61	o 30778
62.58/62.67	o 30774
62.69/62.73	o 30758
62.69/62.79	o 30746
62.80/62.84	o 30702
62.89/62.90	o 30698
63.69/63.74	o 30658
63.69/63.79	o 30638
63.79/63.88	o 30586
63.89/63.94	o 30574
63.89/63.99	o 30570
63.98/64.06	o 30530
64.09/64.12	o 30526
64.58/64.61	o 30494
64.68/64.70	o 30454
64.68/64.76	o 30410
64.99/65.06	o 30398
65.09/65.15	o 30362
65.19/65.21	o 30314
65.29/65.38	o 30302
65.39/65.47	o 30278
65.49/65.54	o 30254
65.58/65.60	o 30250
65.68/65.71	o 30238
65.78/65.83	o 30214
78.98/79.06	o 30190
79.09/79.15	o 30122
79.19/79.22	o 30094
79.49/79.54	o 29998
79.68/79.71	o 29986
79.78/79.81	o 29962
79.78/79.88	o 29934
79.89/79.99	o 29922
79.98/80.04	o 29918
80.08/80.16	o 29890
80.18/80.21	o 29886
80.18/80.29	o 29870
89.29/89.34	o 29854
89.38/89.40	o 29850
89.38/89.46	o 29846
89.48/89.51	o 29830
89.48/89.57	o 29818
89.79/89.87	o 29754
89.89/89.94	o 29730
89.99/90.00	o 29726
89.99/90.06	o 29706
90.19/90.24	o 29670
90.29/90.39	o 29650
90.38/90.45	o 29614
90.48/90.54	o 29606
90.59/90.60	o 29574
90.59/90.68	o 29558
96.89/96.91	o 29518
96.89/96.98	o 29490
96.99/97.04	o 29438
97.18/97.24	o 29406
97.28/97.31	o 29394
97.38/97.43	o 29378
97.38/97.49	o 29342
97.48/97.55	o 29338
97.59/97.62	o 29330
97.59/97.68	o 29314
97.69/97.74	o 29298
97.78/97.80	o 29278
97.78/97.87	o 29262
101.98/102.04	o 29242
102.09/102.10	o 29214
102.09/102.15	o 29210
102.19/102.20	o 29202
102.19/102.26	o 29162
102.29/102.32	o 29142
102.40/102.45	o 29122
102.49/102.51	o 29106
102.49/102.56	o 29086
102.59/102.65	o 29078
102.68/102.70	o 29062
102.68/102.76	o 29030
105.38/105.43	o 29026
105.38/105.48	o 29022
105.48/105.54	o 29006
105.48/105.60	o 28974
105.59/105.65	o 28946
105.69/105.71	o 28942
105.78/105.84	o 28882
105.88/105.90	o 28846
105.88/105.98	o 28834
105.98/106.06	o 28818
106.08/106.11	o 28810
107.69/107.73	o 28742
107.79/107.86	o 28706
107.89/107.91	o 28670
107.98/108.00	o 28630
108.99/109.00	o 28590
108.99/109.06	o 28586
109.08/109.12	o 28578
109.08/109.17	o 28558
109.18/109.23	o 28554
109.29/109.30	o 28546
109.29/109.36	o 28530
109.39/109.42	o 28482
109.88/109.98	o 28462
109.99/110.04	o 28438
109.99/110.10	o 28434
110.10/110.18	o 28422
110.18/110.24	o 28406
110.28/110.30	o 28386
110.58/110.61	o 28382
110.58/110.66	o 28318
110.68/110.75	o 28306
110.79/110.83	o 28302
110.89/110.97	o 28294
110.98/111.03	o 28286
111.09/111.12	o 28262
137.78/137.80	o 28258
137.78/137.89	o 28246
137.89/137.94	o 28214
137.99/138.01	o 28210
137.99/138.06	o 28194
138.59/138.61	o 28162
138.59/138.67	o 28146
138.69/138.73	o 28118
138.78/138.82	o 28106
138.78/138.87	o 28086
138.88/138.94	o 28070
139.18/139.23	o 28066
139.29/139.32	o 28034
139.29/139.39	o 27990
139.48/139.55	o 27974
139.58/139.60	o 27954
139.69/139.77	o 27942
139.79/139.83	o 27938
157.49/157.55	o 27914
157.58/157.61	o 27890
158.08/158.15	o 27886
158.19/158.21	o 27858
158.19/158.29	o 27846
158.28/158.35	o 27814
158.39/158.43	o 27810
158.39/158.49	o 27782
158.69/158.77	o 27758
158.79/158.82	o 27742
158.89/158.91	o 27730
158.89/158.98	o 27726
158.98/159.05	o 27698
159.08/159.18	o 27694
159.18/159.27	o 27670
159.28/159.33	o 27654
171.09/171.16	o 27634
171.59/171.69	o 27622
171.69/171.75	o 27606
171.79/171.84	o 27574
171.89/171.91	o 27570
171.89/171.96	o 27558
172.19/172.25	o 27522
172.28/172.34	o 27478
172.38/172.40	o 27458
172.38/172.48	o 27442
172.58/172.66	o 27430
172.69/172.73	o 27426
172.69/172.79	o 27414
172.79/172.89	o 27398
172.89/172.95	o 27394
172.99/173.06	o 27382
180.78/180.89	o 27358
180.89/180.98	o 27318
180.99/181.07	o 27314
181.28/181.39	o 27310
181.38/181.44	o 27266
181.49/181.51	o 27262
181.49/181.57	o 27242
181.59/181.62	o 27198
181.78/181.82	o 27174
181.88/181.93	o 27170
181.98/182.00	o 27150
186.78/186.89	o 27126
186.88/186.96	o 27110
187.19/187.29	o 27094
187.29/187.35	o 27062
187.39/187.42	o 27058
187.39/187.47	o 27038
187.48/187.53	o 27026
187.69/187.73	o 27014
187.69/187.78	o 26946
190.88/190.99	o 26898
190.98/191.04	o 26878
191.09/191.11	o 26862
191.28/191.30	o 26806
191.39/191.45	o 26798
191.49/191.51	o 26782
193.18/193.28	o 26758
193.28/193.35	o 26750
193.38/193.41	o 26742
193.49/193.55	o 26738
193.59/193.64	o 26678
193.69/193.77	o 26658
193.78/193.84	o 26642
194.69/194.78	o 26622
194.89/194.95	o 26598
194.98/195.01	o 26582
194.98/195.08	o 26574
195.08/195.19	o 26542
195.69/195.77	o 26518
195.79/195.83	o 26502
196.08/196.18	o 26462
247.49/247.51	o 26454
247.49/247.59	o 26434
247.59/247.65	o 26422
247.68/247.71	o 26418
247.78/247.80	o 26414
247.78/247.87	o 26398
247.89/247.96	o 26354
248.78/248.84	o 26346
248.88/248.99	o 26318
248.99/249.08	o 26306
249.19/249.21	o 26302
249.19/249.26	o 26298
249.28/249.32	o 26286
249.28/249.39	o 26266
249.89/249.94	o 26242
249.98/250.00	o 26226
250.08/250.11	o 26178
250.38/250.41	o 26174
250.48/250.52	o 26158
285.49/285.59	o 26146
285.68/285.73	o 26134
285.78/285.84	o 26118
285.78/285.89	o 26114
286.69/286.74	o 26106
286.69/286.80	o 26094
286.78/286.85	o 26062
286.99/287.03	o 26038
287.09/287.18	o 26030
287.19/287.28	o 26022
287.58/287.64	o 26014
287.79/287.83	o 26006
287.79/287.88	o 25994
287.88/287.96	o 25990
287.98/288.01	o 25958
288.09/288.13	o 25950
288.29/288.39	o 25926
288.48/288.52	o 25906
288.48/288.59	o 25902
311.99/312.00	o 25870
312.89/312.91	o 25866
312.89/312.97	o 25838
313.08/313.16	o 25802
313.29/313.30	o 25790
313.79/313.86	o 25698
313.99/314.00	o 25682
314.28/314.34	o 25674
314.48/314.54	o 25662
329.18/329.26	o 25654
330.09/330.15	o 25646
330.29/330.36	o 25638
330.38/330.42	o 25542
330.48/330.54	o 25534
330.98/331.10	o 25494
331.49/331.51	o 25470
331.49/331.58	o 25454
331.59/331.66	o 25438
341.38/341.46	o 25434
341.48/341.54	o 25402
341.58/341.60	o 25390
341.58/341.68	o 25386
341.69/341.74	o 25358
342.19/342.25	o 25346
342.29/342.38	o 25322
342.38/342.47	o 25314
342.69/342.70	o 25290
342.79/342.84	o 25278
342.89/342.94	o 25266
342.98/343.01	o 25262
348.69/348.72	o 25214
349.19/349.28	o 25174
349.39/349.41	o 25154
349.48/349.50	o 25142
349.79/349.82	o 25086
353.29/353.36	o 25074
353.39/353.46	o 25058
353.49/353.53	o 25034
353.58/353.62	o 25022
353.88/353.94	o 25018
353.99/354.00	o 24990
354.19/354.20	o 24978
355.89/355.97	o 24966
356.18/356.24	o 24958
356.29/356.30	o 24950
356.39/356.40	o 24946
356.39/356.47	o 24942
356.49/356.53	o 24926
356.58/356.63	o 24918
356.68/356.79	o 24898
356.79/356.85	o 24886
356.98/357.04	o 24882
357.88/357.96	o 24874
357.99/358.04	o 24862
358.19/358.26	o 24846
358.39/358.40	o 24838
358.78/358.81	o 24814
358.78/358.88	o 24802
358.98/359.08	o 24782
463.28/463.34	o 24758
463.48/463.60	o 24754
463.69/463.75	o 24734
463.89/463.93	o 24726
463.99/464.01	o 24710
465.78/465.81	o 24678
465.99/466.04	o 24662
466.09/466.17	o 24642
466.19/466.27	o 24638
466.28/466.34	o 24634
466.58/466.60	o 24602
467.49/467.58	o 24594
467.59/467.65	o 24578
467.79/467.80	o 24562
467.79/467.86	o 24546
467.89/467.91	o 24542
467.99/468.07	o 24526
468.08/468.13	o 24514
468.69/468.72	o 24506
468.78/468.83	o 24490
468.99/469.06	o 24478
539.88/539.96	o 24474
540.10/540.16	o 24470
540.19/540.22	o 24466
540.19/540.28	o 24454
541.88/541.96	o 24422
542.19/542.26	o 24398
542.29/542.38	o 24390
542.49/542.57	o 24382
542.69/542.71	o 24374
543.29/543.37	o 24370
543.39/543.43	o 24358
543.50/543.51	o 24326
543.79/543.85	o 24306
543.89/543.92	o 24290
544.09/544.10	o 24270
544.68/544.71	o 24254
544.78/544.80	o 24250
544.78/544.86	o 24234
545.09/545.16	o 24222
545.19/545.21	o 24198
591.79/591.82	o 24190
593.58/593.67	o 24182
593.69/593.77	o 24170
593.79/593.86	o 24138
593.99/594.05	o 24110
594.98/595.09	o 24098
595.09/595.14	o 24066
595.20/595.23	o 24050
595.39/595.40	o 24042
595.89/595.90	o 24030
595.89/595.97	o 24014
596.09/596.16	o 24010
596.19/596.28	o 23994
596.29/596.34	o 23982
596.59/596.60	o 23978
596.59/596.66	o 23966
596.68/596.79	o 23950
627.69/627.73	o 23942
627.69/627.79	o 23926
627.88/627.99	o 23914
627.98/628.06	o 23898
628.09/628.19	o 23874
629.09/629.14	o 23846
629.29/629.36	o 23810
629.39/629.49	o 23794
629.99/630.02	o 23770
630.30/630.39	o 23758
630.49/630.50	o 23730
649.39/649.47	o 23690
650.49/650.53	o 23682
650.69/650.71	o 23674
650.78/650.80	o 23658
650.88/650.90	o 23646
650.88/650.95	o 23618
651.49/651.53	o 23562
651.79/651.88	o 23546
651.98/652.01	o 23538
663.78/663.83	o 23526
663.89/663.99	o 23522
663.99/664.06	o 23502
664.09/664.11	o 23486
664.18/664.23	o 23474
664.18/664.29	o 23462
664.28/664.37	o 23446
664.39/664.45	o 23430
664.99/665.03	o 23406
665.08/665.11	o 23394
665.28/665.38	o 23390
665.39/665.43	o 23382
670.99/671.10	o 23374
672.09/672.17	o 23370
672.29/672.30	o 23342
672.29/672.38	o 23314
672.69/672.79	o 23310
672.89/672.98	o 23290
673.29/673.34	o 23282
673.38/673.45	o 23246
676.69/676.76	o 23234
676.78/676.87	o 23222
677.38/677.43	o 23210
677.38/677.49	o 23194
677.59/677.67	o 23178
677.79/677.89	o 23170
678.08/678.18	o 23158
679.38/679.43	o 23154
679.90/679.99	o 23146
680.09/680.10	o 23134
680.09/680.17	o 23118
680.38/680.45	o 23090
681.38/681.41	o 23078
884.98/885.04	o 23070
885.59/885.68	o 23022
885.68/885.79	o 23006
885.99/886.08	o 22998
886.09/886.14	o 22978
886.28/886.38	o 22974
889.59/889.67	o 22966
890.00/890.06	o 22946
890.29/890.30	o 22918
890.29/890.37	o 22898
890.39/890.47	o 22882
892.48/892.51	o 22878
892.68/892.76	o 22862
892.79/892.82	o 22846
892.99/893.09	o 22830
893.98/894.08	o 22822
894.29/894.33	o 22802
894.40/894.41	o 22786
894.99/895.02	o 22770
1032.38/1032.44	o 22746
1032.68/1032.70	o 22738
1035.78/1035.88	o 22734
1036.29/1036.37	o 22718
1036.49/1036.55	o 22682
1036.59/1036.63	o 22666
1037.18/1037.22	o 22650
1038.39/1038.47	o 22642
1038.49/1038.57	o 22634
1038.88/1038.93	o 22626
1039.08/1039.19	o 22622
1039.29/1039.30	o 22590
1040.29/1040.37	o 22570
1040.39/1040.45	o 22554
1040.69/1040.77	o 22542
1041.38/1041.40	o 22530
1132.19/1132.28	o 22502
1136.08/1136.17	o 22482
1136.29/1136.34	o 22466
1136.49/1136.55	o 22454
1136.68/1136.71	o 22422
1138.59/1138.63	o 22382
1138.69/1138.77	o 22350
1139.78/1139.88	o 22342
1139.99/1140.03	o 22322
1198.49/1198.50	o 22318
1198.49/1198.56	o 22314
1201.69/1201.70	o 22294
1202.19/1202.27	o 22266
1202.39/1202.43	o 22234
1202.68/1202.74	o 22230
1202.78/1202.82	o 22226
1204.49/1204.56	o 22222
1204.69/1204.76	o 22202
1204.78/1204.82	o 22170
1205.08/1205.16	o 22146
1206.09/1206.15	o 22134
1206.39/1206.42	o 22118
1206.49/1206.56	o 22102
1244.09/1244.16	o 22098
1244.19/1244.29	o 22070
1244.49/1244.54	o 22054
1244.69/1244.71	o 22022
1246.89/1246.99	o 22002
1246.98/1247.06	o 21998
1247.19/1247.24	o 21982
1247.89/1247.98	o 21958
1248.28/1248.38	o 21942
1248.88/1248.95	o 21926
1248.98/1249.04	o 21910
1270.38/1270.43	o 21902
1272.19/1272.23	o 21898
1272.29/1272.30	o 21870
1272.29/1272.37	o 21866
1272.59/1272.69	o 21854
1272.69/1272.80	o 21842
1272.88/1272.94	o 21838
1272.99/1273.05	o 21834
1273.69/1273.77	o 21798
1274.09/1274.10	o 21782
1274.69/1274.77	o 21778
1285.68/1285.77	o 21750
1287.79/1287.86	o 21702
1288.78/1288.80	o 21682
1289.19/1289.25	o 21670
1289.69/1289.73	o 21666
1294.19/1294.22	o 21654
1296.28/1296.33	o 21630
1297.39/1297.46	o 21622
1297.48/1297.54	o 21606
1297.69/1297.73	o 21590
1300.88/1300.99	o 21582
1301.89/1301.90	o 21558
1302.49/1302.59	o 21526
1712.59/1712.69	o 21514
1712.69/1712.75	o 21502
1712.88/1712.90	o 21470
1713.99/1714.00	o 21458
1714.59/1714.60	o 21438
1721.09/1721.18	o 21418
1721.29/1721.35	o 21386
1722.19/1722.20	o 21358
1722.59/1722.67	o 21338
1725.89/1725.94	o 21322
1726.69/1726.71	o 21314
1726.69/1726.79	o 21298
1727.59/1727.61	o 21294
1727.79/1727.81	o 21290
1728.98/1729.09	o 21274
1729.79/1729.88	o 21258
2007.59/2007.64	o 21254
2008.38/2008.48	o 21250
2008.79/2008.82	o 21222
2008.89/2008.96	o 21206
2009.38/2009.48	o 21202
2009.59/2009.61	o 21190
2016.30/2016.35	o 21178
2017.19/2017.26	o 21166
2017.29/2017.34	o 21150
2017.39/2017.48	o 21126
2017.88/2017.98	o 21118
2017.98/2018.06	o 21098
2021.58/2021.69	o 21070
2021.90/2021.97	o 21062
2023.88/2023.97	o 21038
2024.19/2024.28	o 21030
2209.38/2209.48	o 21010
2210.00/2210.07	o 21002
2210.09/2210.16	o 20938
2217.48/2217.51	o 20906
2218.19/2218.20	o 20890
2221.69/2221.71	o 20866
2222.10/2222.10	o 20850
2222.59/2222.67	o 20834
2222.69/2222.73	o 20814
2224.39/2224.43	o 20810
2341.19/2341.26	o 20782
2347.69/2347.71	o 20778
2348.29/2348.39	o 20774
2348.89/2348.90	o 20766
2348.89/2348.99	o 20762
2349.08/2349.13	o 20758
2349.39/2349.45	o 20722
2349.60/2349.68	o 20714
2352.90/2352.96	o 20706
2353.39/2353.41	o 20678
2353.49/2353.58	o 20662
2353.99/2354.04	o 20646
2356.29/2356.34	o 20634
2357.99/2358.01	o 20618
2400.09/2400.10	s SATISFIABLE
2400.09/2400.10	v <instantiation>
2400.09/2400.10	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[66][29] y[66][30] y[66][31] y[66][32] y[66][33] y[66][34] y[66][35] y[66][36] y[66][37] y[66][38] y[66][39] y[66][40] y[66][41] y[66][42] y[66][43] y[66][44] y[66][45] y[66][46] y[66][47] y[66][48] y[66][49] y[66][50] y[66][51] y[66][52] y[66][53] y[66][54] y[66][55] y[66][56] y[66][57] y[66][58] y[66][59] y[66][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[67][28] y[67][29] y[67][30] y[67][31] y[67][32] y[67][33] y[67][34] y[67][35] y[67][36] y[67][37] y[67][38] y[67][39] y[67][40] y[67][41] y[67][42] y[67][43] y[67][44] y[67][45] y[67][46] y[67][47] y[67][48] y[67][49] y[67][50] y[67][51] y[67][52] y[67][53] y[67][54] y[67][55] y[67][56] y[67][57] y[67][58] y[67][59] y[67][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] </list>
2400.09/2400.10	v   <values> -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 44 45 44 43 40 37 36 35 32 27 24 23 24 17 18 19 20 17 18 13 14 15 12 13 12 11 10 9 8 7 6 5 4 3 2 1 0 -1 -2 -3 -4 -5 -6 -7 -8 -7 -6 -5 -4 -5 -4 -3 -2 -1 0 1 2 1 2 1 2 1 0 1 2 1 0 1 1936 2025 1936 1849 1600 1369 1296 1225 1024 729 576 529 576 289 324 361 400 289 324 169 196 225 144 169 144 121 100 81 64 49 36 25 16 9 4 1 0 1 4 9 16 25 36 49 64 49 36 25 16 25 16 9 4 1 0 1 4 1 4 1 4 1 0 1 4 1 0 1 </values>
2400.09/2400.10	v </instantiation>

Verifier Data 

OK	20618

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252691-1500927014/watcher-4252691-1500927014 -o /tmp/evaluation-result-4252691-1500927014/solver-4252691-1500927014 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252691-1500927014.xml 

pid=7048
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 7051
/proc/meminfo: memFree=32098368/32770624 swapFree=5780/125740
[pid=7051] ppid=7048 vsize=24868 CPUtime=0 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 974 0 0 0 0 0 0 0 20 0 1 0 2254196 25464832 820 33554432000 4194304 6986860 140736083160464 140736083153816 139929670751212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 6217 820 652 682 0 220 0

[startup+0.100156 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 7051
/proc/meminfo: memFree=32098368/32770624 swapFree=5780/125740
[pid=7051] ppid=7048 vsize=36572 CPUtime=0.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 4003 0 0 0 9 0 0 0 20 0 1 0 2254196 37449728 3836 33554432000 4194304 6986860 140736083160464 140736083153816 5510060 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9143 3836 729 682 0 3146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36572

[startup+0.200337 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 7051
/proc/meminfo: memFree=32098368/32770624 swapFree=5780/125740
[pid=7051] ppid=7048 vsize=36696 CPUtime=0.19 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 4026 0 0 0 19 0 0 0 20 0 1 0 2254196 37576704 3856 33554432000 4194304 6986860 140736083160464 140736083153816 139929670290405 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9174 3856 742 682 0 3177 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36696

[startup+0.300247 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 7051
/proc/meminfo: memFree=32098368/32770624 swapFree=5780/125740
[pid=7051] ppid=7048 vsize=36820 CPUtime=0.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 4050 0 0 0 29 0 0 0 20 0 1 0 2254196 37703680 3856 33554432000 4194304 6986860 140736083160464 140736083153816 5596328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9205 3856 742 682 0 3208 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36820

[startup+0.700214 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 7051
/proc/meminfo: memFree=32098368/32770624 swapFree=5780/125740
[pid=7051] ppid=7048 vsize=37192 CPUtime=0.69 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 4152 0 0 0 69 0 0 0 20 0 1 0 2254196 38084608 3980 33554432000 4194304 6986860 140736083160464 140736083153816 139929670290405 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9298 3980 742 682 0 3301 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37192

[startup+1.50022 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32084888/32770624 swapFree=5780/125728
[pid=7051] ppid=7048 vsize=38060 CPUtime=1.49 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 4353 0 0 0 149 0 0 0 20 0 1 0 2254196 38973440 4197 33554432000 4194304 6986860 140736083160464 140736083152600 139929670282808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9515 4197 742 682 0 3518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38060

[startup+3.10022 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32082484/32770624 swapFree=5780/125728
[pid=7051] ppid=7048 vsize=39676 CPUtime=3.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 5104 0 0 0 308 1 0 0 20 0 1 0 2254196 40628224 4604 33554432000 4194304 6986860 140736083160464 140736083152600 5587211 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 9919 4604 742 682 0 3922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39676

[startup+6.30023 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32072976/32770624 swapFree=5780/125748
[pid=7051] ppid=7048 vsize=48600 CPUtime=6.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 11254 0 0 0 619 10 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48600

[startup+12.7002 s]
/proc/loadavg: 2.05 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32072624/32770624 swapFree=5780/125752
[pid=7051] ppid=7048 vsize=48600 CPUtime=12.68 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 14558 0 0 0 1245 23 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48600

[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32072652/32770624 swapFree=5780/125768
[pid=7051] ppid=7048 vsize=48600 CPUtime=25.48 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 15192 0 0 0 2508 40 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48600

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7052
/proc/meminfo: memFree=32072652/32770624 swapFree=5780/125804
[pid=7051] ppid=7048 vsize=48600 CPUtime=51.08 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 15482 0 0 0 5044 64 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48600

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7053
/proc/meminfo: memFree=32072148/32770624 swapFree=5780/125872
[pid=7051] ppid=7048 vsize=48600 CPUtime=102.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 15773 0 0 0 10142 87 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 48600

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7118
/proc/meminfo: memFree=32069084/32770624 swapFree=5780/125988
[pid=7051] ppid=7048 vsize=48600 CPUtime=162.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 16059 0 0 0 16118 110 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 48600

[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7119
/proc/meminfo: memFree=32069504/32770624 swapFree=5780/126072
[pid=7051] ppid=7048 vsize=48600 CPUtime=222.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 16337 0 0 0 22100 129 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 5476756 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 48600

[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 7120
/proc/meminfo: memFree=32069752/32770624 swapFree=5780/126132
[pid=7051] ppid=7048 vsize=48600 CPUtime=282.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 16617 0 0 0 28085 143 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 48600

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 7121
/proc/meminfo: memFree=32070272/32770624 swapFree=5780/126224
[pid=7051] ppid=7048 vsize=48600 CPUtime=342.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 16899 0 0 0 34067 162 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48600

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 7122
/proc/meminfo: memFree=32070028/32770624 swapFree=5780/126268
[pid=7051] ppid=7048 vsize=48600 CPUtime=402.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 17184 0 0 0 40050 178 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 48600

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7123
/proc/meminfo: memFree=32069648/32770624 swapFree=5780/126316
[pid=7051] ppid=7048 vsize=48600 CPUtime=462.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 17426 0 0 0 46040 188 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 48600

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7124
/proc/meminfo: memFree=32070112/32770624 swapFree=5780/126380
[pid=7051] ppid=7048 vsize=48600 CPUtime=522.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 17714 0 0 0 52027 202 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 48600

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7125
/proc/meminfo: memFree=32069752/32770624 swapFree=5780/126424
[pid=7051] ppid=7048 vsize=48600 CPUtime=582.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 18003 0 0 0 58014 215 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 48600


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

[pid=7051] ppid=7048 vsize=48600 CPUtime=1722.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 23082 0 0 0 171777 452 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 48600

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7163
/proc/meminfo: memFree=32068192/32770624 swapFree=5736/127388
[pid=7051] ppid=7048 vsize=48600 CPUtime=1782.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 23327 0 0 0 177763 465 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 48600

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7171
/proc/meminfo: memFree=32066924/32770624 swapFree=5736/127432
[pid=7051] ppid=7048 vsize=48600 CPUtime=1842.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 23572 0 0 0 183753 476 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 48600

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7172
/proc/meminfo: memFree=32067420/32770624 swapFree=5736/127464
[pid=7051] ppid=7048 vsize=48600 CPUtime=1902.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 23817 0 0 0 189741 487 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 48600

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7173
/proc/meminfo: memFree=32067172/32770624 swapFree=5736/127524
[pid=7051] ppid=7048 vsize=48600 CPUtime=1962.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 24061 0 0 0 195731 498 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 48600

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7174
/proc/meminfo: memFree=32067172/32770624 swapFree=5736/127560
[pid=7051] ppid=7048 vsize=48600 CPUtime=2022.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 24350 0 0 0 201717 512 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 48600

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7175
/proc/meminfo: memFree=32067212/32770624 swapFree=5736/127596
[pid=7051] ppid=7048 vsize=48600 CPUtime=2082.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 24594 0 0 0 207705 524 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 48600

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7176
/proc/meminfo: memFree=32067336/32770624 swapFree=5736/127632
[pid=7051] ppid=7048 vsize=48600 CPUtime=2142.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 24839 0 0 0 213693 535 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 48600

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7177
/proc/meminfo: memFree=32067460/32770624 swapFree=5736/127660
[pid=7051] ppid=7048 vsize=48600 CPUtime=2202.3 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 25083 0 0 0 219681 549 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 48600

[startup+2262.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/182 7178
/proc/meminfo: memFree=32067932/32770624 swapFree=5736/127728
[pid=7051] ppid=7048 vsize=48600 CPUtime=2262.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 25417 0 0 0 225669 560 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 48600

[startup+2322.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 7179
/proc/meminfo: memFree=32067452/32770624 swapFree=5736/127764
[pid=7051] ppid=7048 vsize=48600 CPUtime=2322.29 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 25662 0 0 0 231657 572 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 48600

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7180
/proc/meminfo: memFree=32067460/32770624 swapFree=5736/127812
[pid=7051] ppid=7048 vsize=48600 CPUtime=2382.28 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 25951 0 0 0 237644 584 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155992 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 48600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 7187
/proc/meminfo: memFree=32066672/32770624 swapFree=5736/127832
[pid=7051] ppid=7048 vsize=48600 CPUtime=2400.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) R 7048 7051 3347 0 -1 4202496 26194 0 0 0 239422 587 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083155816 139929670553980 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 48600

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -7051
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7051 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+2400.8 s]
/proc/loadavg: 2.03 2.04 2.05 2/182 7187
/proc/meminfo: memFree=32066664/32770624 swapFree=5736/127832
[pid=7051] ppid=7048 vsize=48600 CPUtime=2400.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) S 7048 7051 3347 0 -1 1077944320 26208 0 0 0 239422 587 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083153784 139929670844668 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 48600

[startup+2401.6 s]
/proc/loadavg: 2.03 2.04 2.05 2/182 7187
/proc/meminfo: memFree=32066800/32770624 swapFree=5736/127836
[pid=7051] ppid=7048 vsize=48600 CPUtime=2400.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) S 7048 7051 3347 0 -1 1077944320 26208 0 0 0 239422 587 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083153784 139929670844668 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 48600

[startup+2402 s]
/proc/loadavg: 2.03 2.04 2.05 2/182 7187
/proc/meminfo: memFree=32066800/32770624 swapFree=5736/127836
[pid=7051] ppid=7048 vsize=48600 CPUtime=2400.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) S 7048 7051 3347 0 -1 1077944320 26208 0 0 0 239422 587 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083153784 139929670844668 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 48600

[startup+2402.1 s]
/proc/loadavg: 2.03 2.04 2.05 2/182 7187
/proc/meminfo: memFree=32066800/32770624 swapFree=5736/127836
[pid=7051] ppid=7048 vsize=48600 CPUtime=2400.09 cores=1,3,5,7
/proc/7051/stat : 7051 (naxos-xcsp3) S 7048 7051 3347 0 -1 1077944320 26208 0 0 0 239422 587 0 0 20 0 1 0 2254196 49766400 6881 33554432000 4194304 6986860 140736083160464 140736083153784 139929670844668 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 10215424 140736083166478 140736083166559 140736083166559 140736083169258 0
/proc/7051/statm: 12150 6881 773 682 0 6153 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 48600

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.1
CPU time (s): 2400.1
CPU user time (s): 2394.22
CPU system time (s): 5.877
CPU usage (%): 99.9166
Max. virtual memory (cumulated for all children) (KiB): 48600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.22
system time used= 5.877
maximum resident set size= 27532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26208
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= 16
involuntary context switches= 615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13927 second user time and 8.06502 second system time

The end

Launcher Data 

Begin job on node117 at 2017-07-24 22:10:14
IDJOB=4252691
IDBENCH=127023
IDSOLVER=2634
FILE ID=node117/4252691-1500927014
RUNJOBID= node117-1500914921-3379
PBS_JOBID= 20625410
Free space on /tmp= 61884 MiB

SOLVER NAME= Naxos 1.1.0
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml
COMMAND LINE= ./naxos-xcsp3 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252691-1500927014/watcher-4252691-1500927014 -o /tmp/evaluation-result-4252691-1500927014/solver-4252691-1500927014 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560  ./naxos-xcsp3 HOME/instance-4252691-1500927014.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e65d1522f1056f49054155eb060914b2
RANDOM SEED=1272745287

node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32098108 kB
MemAvailable:   32046140 kB
Buffers:           36096 kB
Cached:           226956 kB
SwapCached:            0 kB
Active:           186788 kB
Inactive:         134384 kB
Active(anon):      61272 kB
Inactive(anon):     8644 kB
Active(file):     125516 kB
Inactive(file):   125740 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2832 kB
Writeback:             0 kB
AnonPages:         68480 kB
Mapped:            30000 kB
Shmem:              8844 kB
Slab:              50328 kB
SReclaimable:      25224 kB
SUnreclaim:        25104 kB
KernelStack:        3392 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     296552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61880 MiB
End job on node117 at 2017-07-24 22:50:16