Trace number 4261230

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
Mistral-2.0 2017-07-28SAT (TO)1300 2520.0701 2520

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n68-k9.xml
MD5SUMd46243a0c717d56f47be278be902a17a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1300
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4692
Number of constraints4623
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}]
Minimum variable degree0
Maximum variable degree133
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}]
Number of extensional constraints0
Number of intensional constraints67
Distribution of constraint types[{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}]
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 

0.00/0.10	c 280717
1.49/1.69	o 7860
1.59/1.70	o 7692
1.59/1.70	o 7532
1.59/1.71	o 7476
1.59/1.72	o 7326
1.59/1.73	o 7170
1.59/1.74	o 7122
1.69/1.81	o 7011
1.69/1.81	o 7008
1.69/1.82	o 6986
1.69/1.83	o 6983
1.69/1.84	o 6971
1.69/1.84	o 6965
1.79/1.99	o 6917
1.89/2.00	o 6910
1.89/2.00	o 6862
1.89/2.01	o 6848
1.89/2.03	o 6800
2.19/2.39	o 6792
2.69/2.81	o 6784
3.09/3.29	o 6620
3.09/3.30	o 6556
3.20/3.30	o 6491
3.20/3.31	o 6484
3.20/3.32	o 6400
3.20/3.32	o 6368
3.20/3.35	o 6322
3.20/3.36	o 6321
3.30/3.46	o 6220
3.39/3.57	o 6181
3.89/4.03	o 6173
3.89/4.04	o 6171
4.59/4.76	o 6162
5.99/6.19	o 6146
6.69/6.87	o 6145
6.69/6.89	o 6092
6.69/6.90	o 6065
6.79/6.90	o 6045
7.49/7.67	o 6035
7.79/7.93	o 6034
11.69/11.89	o 6002
11.79/11.90	o 5919
11.79/11.91	o 5918
11.79/11.92	o 5850
11.79/11.93	o 5843
11.79/11.93	o 5842
12.89/13.02	o 5821
12.89/13.03	o 5745
12.89/13.08	o 5728
12.89/13.08	o 5711
12.89/13.09	o 5707
12.99/13.11	o 5705
13.69/13.84	o 5653
13.69/13.85	o 5638
13.69/13.86	o 5619
13.69/13.87	o 5539
13.69/13.88	o 5536
13.69/13.89	o 5531
13.69/13.89	o 5528
13.79/13.90	o 5527
13.79/13.91	o 5524
13.79/13.93	o 5493
13.89/14.04	o 5452
13.89/14.04	o 5425
13.89/14.05	o 5418
13.99/14.13	o 5390
13.99/14.14	o 5376
13.99/14.15	o 5373
13.99/14.15	o 5369
13.99/14.16	o 5368
14.09/14.28	o 5367
14.30/14.40	o 5259
14.30/14.44	o 5254
14.30/14.44	o 5251
14.30/14.47	o 5244
14.59/14.75	o 5242
14.59/14.76	o 5239
14.59/14.79	o 5238
14.99/15.13	o 5157
14.99/15.14	o 5155
14.99/15.15	o 5152
15.09/15.20	o 5151
15.19/15.37	o 5147
15.19/15.38	o 5107
15.19/15.39	o 5077
15.19/15.40	o 5076
15.30/15.42	o 5024
15.30/15.46	o 5012
15.30/15.50	o 5011
15.30/15.50	o 5009
15.40/15.51	o 4997
15.40/15.52	o 4983
15.40/15.53	o 4982
15.40/15.54	o 4955
15.40/15.56	o 4906
15.59/15.73	o 4905
15.59/15.74	o 4903
15.59/15.75	o 4878
15.59/15.76	o 4872
15.89/16.05	o 4868
15.89/16.06	o 4850
16.19/16.31	o 4836
16.40/16.53	o 4835
16.69/16.82	o 4808
16.89/17.07	o 4807
17.29/17.49	o 4780
17.39/17.50	o 4774
17.39/17.51	o 4746
17.39/17.53	o 4744
18.29/18.45	o 4726
18.29/18.46	o 4721
18.39/18.59	o 4711
18.49/18.60	o 4705
18.49/18.60	o 4698
18.49/18.70	o 4695
18.60/18.78	o 4680
18.60/18.79	o 4670
18.70/18.88	o 4634
18.70/18.88	o 4626
18.79/18.90	o 4605
18.79/18.91	o 4565
18.79/18.91	o 4562
18.79/18.95	o 4561
18.79/18.96	o 4551
18.79/18.97	o 4530
18.79/18.99	o 4521
18.89/19.00	o 4486
18.89/19.02	o 4484
18.89/19.04	o 4461
18.99/19.13	o 4459
19.09/19.26	o 4458
19.09/19.26	o 4457
19.49/19.69	o 4453
19.59/19.70	o 4413
19.59/19.70	o 4402
19.59/19.72	o 4397
19.59/19.73	o 4389
19.59/19.74	o 4381
19.59/19.75	o 4359
19.80/19.91	o 4354
19.80/19.92	o 4348
20.19/20.35	o 4338
20.19/20.37	o 4301
20.19/20.38	o 4291
20.19/20.39	o 4285
20.29/20.41	o 4274
20.29/20.42	o 4263
20.29/20.42	o 4220
20.29/20.45	o 4201
20.29/20.47	o 4174
20.29/20.48	o 4167
20.29/20.49	o 4156
20.39/20.51	o 4151
20.49/20.67	o 4148
20.49/20.68	o 4140
21.69/21.89	o 4139
21.69/21.89	o 4120
21.79/21.90	o 4082
21.79/21.91	o 4064
21.79/21.91	o 4063
21.79/21.93	o 4039
21.79/21.94	o 4009
21.79/21.94	o 3984
21.79/21.98	o 3952
21.79/21.99	o 3937
21.90/22.01	o 3898
21.90/22.01	o 3896
21.90/22.04	o 3866
21.90/22.05	o 3846
22.00/22.10	o 3806
22.09/22.22	o 3800
22.59/22.75	o 3799
23.69/23.83	o 3767
25.59/25.72	o 3764
25.89/26.00	o 3752
25.89/26.01	o 3734
25.89/26.01	o 3726
26.09/26.29	o 3708
26.29/26.41	o 3696
26.59/26.71	o 3689
26.59/26.72	o 3686
27.09/27.26	o 3679
27.49/27.69	o 3664
27.69/27.89	o 3663
27.79/27.90	o 3646
27.79/27.91	o 3636
27.79/27.96	o 3593
27.79/27.98	o 3565
27.89/28.01	o 3564
28.59/28.74	o 3563
29.19/29.35	o 3561
29.19/29.37	o 3560
29.19/29.38	o 3559
29.29/29.44	o 3526
29.29/29.44	o 3524
29.29/29.45	o 3516
29.29/29.46	o 3512
29.29/29.47	o 3482
29.29/29.48	o 3459
29.29/29.49	o 3458
29.29/29.49	o 3454
29.39/29.50	o 3453
29.59/29.77	o 3448
29.59/29.77	o 3446
29.59/29.79	o 3389
29.69/29.81	o 3385
30.99/31.14	o 3384
31.29/31.43	o 3383
31.79/31.98	o 3382
33.59/33.78	o 3348
33.59/33.79	o 3323
33.59/33.79	o 3316
33.69/33.81	o 3274
33.69/33.88	o 3273
34.79/34.98	o 3261
34.79/34.99	o 3255
34.89/35.01	o 3247
34.99/35.20	o 3222
35.09/35.21	o 3189
35.09/35.23	o 3172
35.99/36.13	o 3169
35.99/36.14	o 3159
35.99/36.15	o 3158
35.99/36.17	o 3096
35.99/36.19	o 3092
36.69/36.87	o 3082
36.69/36.90	o 3077
37.69/37.80	o 3072
37.69/37.81	o 3069
37.69/37.83	o 3056
37.69/37.83	o 3053
38.29/38.50	o 3018
38.39/38.51	o 3015
38.59/38.78	o 3004
38.69/38.80	o 3003
38.69/38.89	o 2990
38.89/39.06	o 2980
38.89/39.08	o 2961
38.89/39.09	o 2953
39.30/39.45	o 2944
39.30/39.47	o 2943
39.50/39.69	o 2907
39.50/39.70	o 2886
39.60/39.71	o 2878
39.60/39.75	o 2873
39.60/39.79	o 2870
39.70/39.83	o 2838
39.90/40.01	o 2835
39.90/40.02	o 2826
39.90/40.03	o 2825
39.90/40.03	o 2818
39.90/40.05	o 2796
39.90/40.05	o 2795
40.10/40.28	o 2792
40.40/40.50	o 2789
40.40/40.51	o 2784
40.40/40.54	o 2640
40.40/40.55	o 2639
40.40/40.56	o 2636
40.40/40.58	o 2631
41.09/41.22	o 2624
41.09/41.24	o 2591
41.70/41.82	o 2580
41.89/42.05	o 2560
41.89/42.07	o 2495
41.89/42.08	o 2440
41.99/42.13	o 2437
41.99/42.14	o 2419
41.99/42.16	o 2417
42.09/42.29	o 2415
42.39/42.52	o 2397
42.69/42.90	o 2392
43.49/43.64	o 2376
43.49/43.66	o 2372
43.49/43.68	o 2369
43.69/43.86	o 2368
43.69/43.86	o 2359
43.79/43.98	o 2358
43.90/44.01	o 2352
43.90/44.02	o 2349
43.90/44.08	o 2319
43.90/44.09	o 2308
44.09/44.20	o 2305
44.09/44.22	o 2299
45.79/45.92	o 2262
46.99/47.16	o 2256
47.09/47.22	o 2251
47.09/47.23	o 2250
49.59/49.71	o 2240
49.59/49.76	o 2228
49.59/49.77	o 2217
49.59/49.78	o 2214
49.89/50.08	o 2211
49.89/50.09	o 2189
49.99/50.12	o 2185
51.49/51.60	o 2184
51.89/52.00	o 2180
51.99/52.14	o 2179
51.99/52.15	o 2176
52.29/52.43	o 2136
52.79/52.95	o 2129
53.19/53.36	o 2108
54.59/54.75	o 2105
54.99/55.13	o 2083
54.99/55.15	o 2080
54.99/55.17	o 2076
56.49/56.64	o 2071
56.88/57.05	o 2069
57.58/57.73	o 2028
57.58/57.74	o 1996
57.58/57.75	o 1989
57.88/58.09	o 1988
57.88/58.09	o 1987
57.98/58.16	o 1974
57.98/58.17	o 1967
58.48/58.63	o 1966
59.29/59.47	o 1964
59.29/59.48	o 1951
59.29/59.49	o 1941
59.48/59.64	o 1937
59.58/59.73	o 1928
59.58/59.74	o 1925
59.68/59.83	o 1907
59.78/59.99	o 1901
59.88/60.01	o 1878
59.88/60.01	o 1875
59.88/60.02	o 1874
60.49/60.60	o 1834
60.49/60.61	o 1829
62.38/62.58	o 1825
62.48/62.61	o 1824
62.48/62.62	o 1817
62.69/62.85	o 1814
63.18/63.35	o 1812
64.08/64.20	o 1787
64.08/64.20	o 1785
64.58/64.77	o 1775
64.68/64.80	o 1774
66.78/66.91	o 1761
66.88/67.09	o 1750
67.09/67.26	o 1748
67.38/67.59	o 1717
68.38/68.58	o 1692
68.58/68.70	o 1686
69.08/69.24	o 1684
69.58/69.72	o 1677
73.59/73.76	o 1673
74.59/74.75	o 1662
74.89/75.07	o 1656
75.09/75.20	o 1653
77.99/78.17	o 1643
80.29/80.46	o 1642
80.29/80.49	o 1631
80.29/80.49	o 1629
80.89/81.04	o 1626
80.89/81.06	o 1620
81.19/81.33	o 1607
81.89/82.09	o 1597
81.99/82.10	o 1596
83.39/83.53	o 1595
83.39/83.53	o 1594
85.59/85.71	o 1583
86.89/87.02	o 1581
86.89/87.03	o 1574
89.49/89.62	o 1572
90.69/90.88	o 1570
93.69/93.83	o 1567
93.69/93.86	o 1537
99.29/99.48	o 1480
99.49/99.61	o 1479
110.39/110.51	o 1477
119.19/119.36	o 1475
121.99/122.20	o 1474
122.79/122.90	o 1468
123.89/124.03	o 1467
126.49/126.68	o 1463
126.49/126.69	o 1445
127.99/128.14	o 1436
129.69/129.90	o 1433
130.49/130.60	o 1427
134.09/134.24	o 1424
138.19/138.30	o 1422
150.19/150.31	o 1416
154.89/155.03	o 1414
171.09/171.20	o 1411
178.49/178.65	o 1403
179.99/180.16	o 1398
187.09/187.24	o 1397
188.19/188.37	o 1394
194.19/194.34	o 1393
198.09/198.27	o 1391
212.30/212.49	o 1390
249.10/249.28	o 1388
257.90/258.09	o 1386
291.00/291.11	o 1383
299.50/299.67	o 1381
337.80/337.99	o 1380
384.11/384.23	o 1379
384.11/384.25	o 1375
411.71/411.89	o 1373
559.02/559.10	o 1372
571.02/571.12	o 1371
603.62/603.70	o 1369
619.02/619.18	o 1367
815.14/815.24	o 1363
908.24/908.36	o 1362
936.44/936.54	o 1356
1165.46/1165.55	o 1355
1233.46/1233.53	o 1354
1258.56/1258.63	o 1346
1267.17/1267.22	o 1343
1436.58/1436.63	o 1338
1454.98/1455.06	o 1326
1481.89/1481.93	o 1325
1488.79/1488.81	o 1324
1497.69/1497.76	o 1322
1624.10/1624.13	o 1318
1624.30/1624.39	o 1315
1634.40/1634.46	o 1307
1673.60/1673.67	o 1305
1748.41/1748.49	o 1304
1806.71/1806.72	o 1301
1969.42/1969.46	o 1300
2520.06/2520.00	s SATISFIABLE
2520.06/2520.00	v <instantiation type="solution">
2520.06/2520.00	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] </list>
2520.06/2520.00	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 96 47 35 85 69 86 92 55 35 44 47 99 60 58 99 22 18 75 10 16 30 44 70 52 88 26 100 84 28 27 23 87 100 70 42 92 69 20 72 68 86 97 25 49 11 39 59 43 66 96 75 22 30 49 52 5 34 22 79 67 96 67 91 100 9 76 17 </values>
2520.06/2520.00	v </instantiation>

Verifier Data 

OK	1300

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-4261230-1502359536/watcher-4261230-1502359536 -o /tmp/evaluation-result-4261230-1502359536/solver-4261230-1502359536 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 250916047 HOME/instance-4261230-1502359536.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.02 2.05 2/189 4527
/proc/meminfo: memFree=31241908/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4527/stat : 4527 (runsolver) D 4524 4527 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 77864728 24240128 106 18446744073709551615 4194304 4338465 140730727491536 140730727489176 139842140336855 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35606528 140730727497867 140730727498313 140730727498313 140730727501770 0
/proc/4527/statm: 5918 106 53 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 2.01 2.02 2.05 2/189 4527
/proc/meminfo: memFree=31241908/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=3428 CPUtime=0 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 77864728 3510272 1 18446744073709551615 4194304 7396336 140729512663600 140729512660888 140602225804999 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 857 1 0 782 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3428

[startup+0.200349 s]
/proc/loadavg: 2.01 2.02 2.05 2/189 4527
/proc/meminfo: memFree=31241908/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=44980 CPUtime=0.09 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 5229 0 0 0 9 0 0 0 20 0 1 0 77864728 46059520 4850 18446744073709551615 4194304 7396336 140729512663600 140729512660600 4566039 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 11245 4850 671 782 0 4261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44980

[startup+0.300327 s]
/proc/loadavg: 2.01 2.02 2.05 2/189 4527
/proc/meminfo: memFree=31241908/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=49324 CPUtime=0.19 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 6378 0 0 0 19 0 0 0 20 0 1 0 77864728 50507776 5905 18446744073709551615 4194304 7396336 140729512663600 140729512654200 4565880 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 12331 5905 681 782 0 5347 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49324

[startup+0.700226 s]
/proc/loadavg: 2.01 2.02 2.05 2/189 4527
/proc/meminfo: memFree=31241908/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=56756 CPUtime=0.59 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 8311 0 0 0 58 1 0 0 20 0 1 0 77864728 58118144 7885 18446744073709551615 4194304 7396336 140729512663600 140729512654200 6146340 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 14189 7885 738 782 0 7205 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 56756

[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4528
/proc/meminfo: memFree=31210496/32770624 swapFree=0/440660
[pid=4527] ppid=4524 vsize=61272 CPUtime=1.39 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 9424 0 0 0 138 1 0 0 20 0 1 0 77864728 62742528 9007 18446744073709551615 4194304 7396336 140729512663600 140729512658248 5771386 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15318 9007 771 782 0 8334 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 61272

[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4528
/proc/meminfo: memFree=31209316/32770624 swapFree=0/440660
[pid=4527] ppid=4524 vsize=62128 CPUtime=2.99 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 9681 0 0 0 298 1 0 0 20 0 1 0 77864728 63619072 9222 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4249727 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9222 771 782 0 8548 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 62128

[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4528
/proc/meminfo: memFree=31209168/32770624 swapFree=0/440656
[pid=4527] ppid=4524 vsize=62128 CPUtime=6.19 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 21910 0 0 0 617 2 0 0 20 0 1 0 77864728 63619072 9232 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5774445 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9232 781 782 0 8548 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 62128

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4528
/proc/meminfo: memFree=31209948/32770624 swapFree=0/440656
[pid=4527] ppid=4524 vsize=62128 CPUtime=12.59 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 28036 0 0 0 1257 2 0 0 20 0 1 0 77864728 63619072 9232 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5165805 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9232 781 782 0 8548 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 62128

[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 4528
/proc/meminfo: memFree=31210296/32770624 swapFree=0/440652
[pid=4527] ppid=4524 vsize=62128 CPUtime=25.39 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 40189 0 0 0 2536 3 0 0 20 0 1 0 77864728 63619072 9232 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4542516 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9232 781 782 0 8548 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 62128

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 4529
/proc/meminfo: memFree=31209792/32770624 swapFree=0/440644
[pid=4527] ppid=4524 vsize=62128 CPUtime=50.99 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 46492 0 0 0 5095 4 0 0 20 0 1 0 77864728 63619072 9234 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771264 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9234 781 782 0 8548 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 62128

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 4532
/proc/meminfo: memFree=31210412/32770624 swapFree=0/440636
[pid=4527] ppid=4524 vsize=62128 CPUtime=102.19 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 47313 0 0 0 10215 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4249698 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 62128

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 4534
/proc/meminfo: memFree=31209668/32770624 swapFree=0/440664
[pid=4527] ppid=4524 vsize=62128 CPUtime=162.19 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 48116 0 0 0 16215 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4246639 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 62128

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4538
/proc/meminfo: memFree=31209792/32770624 swapFree=0/440672
[pid=4527] ppid=4524 vsize=62128 CPUtime=222.2 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 48917 0 0 0 22216 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772915 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 62128

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4542
/proc/meminfo: memFree=31209536/32770624 swapFree=0/440676
[pid=4527] ppid=4524 vsize=62128 CPUtime=282.2 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 48917 0 0 0 28216 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5774439 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 62128

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4544
/proc/meminfo: memFree=31209908/32770624 swapFree=0/440680
[pid=4527] ppid=4524 vsize=62128 CPUtime=342.2 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 49719 0 0 0 34216 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772015 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 62128

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4608
/proc/meminfo: memFree=31168004/32770624 swapFree=0/440712
[pid=4527] ppid=4524 vsize=62128 CPUtime=402.21 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 49719 0 0 0 40217 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5839276 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 62128

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 4610
/proc/meminfo: memFree=31168292/32770624 swapFree=0/440736
[pid=4527] ppid=4524 vsize=62128 CPUtime=462.21 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 50500 0 0 0 46217 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771361 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 62128

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 4627
/proc/meminfo: memFree=31164676/32770624 swapFree=0/440744
[pid=4527] ppid=4524 vsize=62128 CPUtime=522.21 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 50500 0 0 0 52217 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771281 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 62128

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 4654
/proc/meminfo: memFree=31163320/32770624 swapFree=0/440772
[pid=4527] ppid=4524 vsize=62128 CPUtime=582.22 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 51310 0 0 0 58218 4 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771361 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 62128


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


[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/185 4706
/proc/meminfo: memFree=31167136/32770624 swapFree=0/440828
[pid=4527] ppid=4524 vsize=62128 CPUtime=1602.3 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 57719 0 0 0 160225 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771305 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 62128

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/185 4708
/proc/meminfo: memFree=31167268/32770624 swapFree=0/440828
[pid=4527] ppid=4524 vsize=62128 CPUtime=1662.3 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 58526 0 0 0 166225 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5839273 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 62128

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 4725
/proc/meminfo: memFree=31162584/32770624 swapFree=0/440844
[pid=4527] ppid=4524 vsize=62128 CPUtime=1722.31 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 58529 0 0 0 172226 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771386 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 62128

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 4727
/proc/meminfo: memFree=31162428/32770624 swapFree=0/440852
[pid=4527] ppid=4524 vsize=62128 CPUtime=1782.31 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 59338 0 0 0 178226 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4581684 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 62128

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 4729
/proc/meminfo: memFree=31166212/32770624 swapFree=0/440856
[pid=4527] ppid=4524 vsize=62128 CPUtime=1842.31 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 59340 0 0 0 184226 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4246602 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 62128

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 4731
/proc/meminfo: memFree=31166568/32770624 swapFree=0/440856
[pid=4527] ppid=4524 vsize=62128 CPUtime=1902.32 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 60124 0 0 0 190227 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4249727 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 62128

[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 4733
/proc/meminfo: memFree=31166700/32770624 swapFree=0/440856
[pid=4527] ppid=4524 vsize=62128 CPUtime=1962.32 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 60129 0 0 0 196227 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4582271 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 62128

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 4737
/proc/meminfo: memFree=31166692/32770624 swapFree=0/440884
[pid=4527] ppid=4524 vsize=62128 CPUtime=2022.33 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 60925 0 0 0 202228 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4379209 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 62128

[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 4739
/proc/meminfo: memFree=31166684/32770624 swapFree=0/440880
[pid=4527] ppid=4524 vsize=62128 CPUtime=2082.33 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 60929 0 0 0 208228 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5841291 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2082.33
Current children cumulated vsize (KiB) 62128

[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 4741
/proc/meminfo: memFree=31166584/32770624 swapFree=0/440884
[pid=4527] ppid=4524 vsize=62128 CPUtime=2142.33 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 61704 0 0 0 214228 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771317 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 62128

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 4745
/proc/meminfo: memFree=31166092/32770624 swapFree=0/440896
[pid=4527] ppid=4524 vsize=62128 CPUtime=2202.34 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 61710 0 0 0 220229 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5771278 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 62128

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 4747
/proc/meminfo: memFree=31166464/32770624 swapFree=0/440904
[pid=4527] ppid=4524 vsize=62128 CPUtime=2262.34 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 62227 0 0 0 226229 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772942 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 62128

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 4763
/proc/meminfo: memFree=31163364/32770624 swapFree=0/440920
[pid=4527] ppid=4524 vsize=62128 CPUtime=2322.35 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 62496 0 0 0 232230 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5774419 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 62128

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 4765
/proc/meminfo: memFree=31163508/32770624 swapFree=0/440936
[pid=4527] ppid=4524 vsize=62128 CPUtime=2382.35 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 63278 0 0 0 238230 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 4249481 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 62128

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4767
/proc/meminfo: memFree=31166672/32770624 swapFree=0/440936
[pid=4527] ppid=4524 vsize=62128 CPUtime=2442.35 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 63281 0 0 0 244230 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772937 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 62128

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4769
/proc/meminfo: memFree=31167308/32770624 swapFree=0/440952
[pid=4527] ppid=4524 vsize=62128 CPUtime=2502.36 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 64060 0 0 0 250231 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772942 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 62128



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4769
/proc/meminfo: memFree=31167324/32770624 swapFree=0/440948
[pid=4527] ppid=4524 vsize=62128 CPUtime=2520.06 cores=1,3,5,7
/proc/4527/stat : 4527 (MistralXCSP) R 4524 4527 9153 0 -1 4202496 64060 0 0 0 252001 5 0 0 20 0 1 0 77864728 63619072 9261 18446744073709551615 4194304 7396336 140729512663600 140729512658616 5772942 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15155200 140729512669619 140729512669768 140729512669768 140729512673225 0
/proc/4527/statm: 15532 9261 781 782 0 8548 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 62128

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4527 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520
CPU time (s): 2520.07
CPU user time (s): 2520.02
CPU system time (s): 0.054003
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 62128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.054003
maximum resident set size= 37064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64093
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= 22
involuntary context switches= 639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20702 second user time and 9.9108 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-10 11:51:41
IDJOB=4261230
IDBENCH=124439
IDSOLVER=2649
FILE ID=node135/4261230-1502359536
RUNJOBID= node135-1502330739-31366
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261230-1502359536/watcher-4261230-1502359536 -o /tmp/evaluation-result-4261230-1502359536/solver-4261230-1502359536 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 250916047 HOME/instance-4261230-1502359536.xml

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

MD5SUM BENCH= d46243a0c717d56f47be278be902a17a
RANDOM SEED=250916047

node135.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.21
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.21
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.21
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.21
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:        31242280 kB
MemAvailable:   31975832 kB
Buffers:          274124 kB
Cached:           752164 kB
SwapCached:            0 kB
Active:           616676 kB
Inactive:         473812 kB
Active(anon):      64516 kB
Inactive(anon):    33140 kB
Active(file):     552160 kB
Inactive(file):   440672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5864 kB
Writeback:             4 kB
AnonPages:         64540 kB
Mapped:            49892 kB
Shmem:             33464 kB
Slab:             140232 kB
SReclaimable:     113112 kB
SUnreclaim:        27120 kB
KernelStack:        3392 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 62020 MiB
End job on node135 at 2017-08-10 12:33:41