Trace number 4261228

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)1663 2519.79 2520

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n57-k9.xml
MD5SUM205feda53d99710fee13d320d9c474df
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1663
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables3306
Number of constraints3248
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":57},{"size":2,"count":3192},{"size":101,"count":56}]
Minimum variable degree0
Maximum variable degree111
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":57},{"degree":2,"count":112},{"degree":4,"count":3080},{"degree":111,"count":56}]
Minimum constraint arity1
Maximum constraint arity56
Distribution of constraint arities[{"arity":1,"count":56},{"arity":3,"count":3080},{"arity":56,"count":112}]
Number of extensional constraints0
Number of intensional constraints56
Distribution of constraint types[{"type":"intension","count":56},{"type":"sum","count":3080},{"type":"count","count":112}]
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.11	c 280717
0.89/1.04	o 8804
0.89/1.04	o 8620
0.89/1.04	o 8436
0.89/1.05	o 8340
0.89/1.05	o 8339
0.89/1.07	o 8335
0.89/1.10	o 8231
0.99/1.10	o 8219
0.99/1.11	o 8178
0.99/1.11	o 8154
0.99/1.12	o 8153
0.99/1.12	o 8115
0.99/1.13	o 8095
0.99/1.17	o 8071
1.09/1.22	o 8069
1.19/1.37	o 8047
1.49/1.61	o 7951
1.49/1.62	o 7949
1.49/1.62	o 7948
1.49/1.64	o 7916
1.49/1.64	o 7915
1.59/1.74	o 7734
1.59/1.74	o 7723
1.69/1.80	o 7623
1.69/1.80	o 7620
1.69/1.81	o 7573
1.69/1.81	o 7543
1.69/1.84	o 7533
1.99/2.15	o 7353
1.99/2.16	o 7349
2.09/2.21	o 7279
2.09/2.21	o 7275
2.19/2.33	o 7266
2.19/2.37	o 7253
2.29/2.44	o 7251
2.39/2.50	o 7249
2.39/2.51	o 7188
2.39/2.51	o 7186
2.39/2.52	o 7153
2.49/2.69	o 7152
2.69/2.80	o 7106
2.79/2.93	o 7104
2.79/2.95	o 7089
2.79/2.95	o 7066
2.79/2.95	o 6967
3.19/3.35	o 6946
3.19/3.38	o 6819
3.29/3.45	o 6799
3.29/3.45	o 6777
3.29/3.45	o 6765
3.48/3.63	o 6719
3.48/3.63	o 6715
3.48/3.64	o 6695
3.48/3.64	o 6645
3.48/3.65	o 6642
3.48/3.67	o 6641
3.58/3.75	o 6636
4.08/4.22	o 6629
4.08/4.23	o 6535
4.08/4.23	o 6495
4.08/4.24	o 6483
4.08/4.24	o 6479
4.18/4.34	o 6445
4.18/4.37	o 6438
4.28/4.47	o 6345
4.28/4.48	o 6344
4.28/4.48	o 6339
4.28/4.48	o 6334
4.39/4.50	o 6299
4.48/4.62	o 6286
4.58/4.77	o 6284
4.98/5.12	o 6277
5.48/5.63	o 6181
5.48/5.63	o 6155
5.48/5.64	o 6153
5.48/5.64	o 6063
5.48/5.65	o 6052
5.48/5.65	o 6025
5.48/5.67	o 6018
5.48/5.68	o 6013
5.48/5.69	o 5973
5.48/5.70	o 5969
5.58/5.70	o 5967
5.58/5.71	o 5957
5.58/5.74	o 5954
5.58/5.74	o 5896
5.58/5.78	o 5895
5.68/5.89	o 5777
5.78/5.91	o 5775
5.98/6.19	o 5704
5.98/6.19	o 5667
6.08/6.21	o 5660
6.08/6.22	o 5658
6.18/6.35	o 5555
6.28/6.42	o 5552
6.38/6.59	o 5529
6.48/6.63	o 5511
6.48/6.67	o 5496
6.48/6.68	o 5494
6.48/6.68	o 5471
7.08/7.28	o 5467
7.08/7.29	o 5466
7.18/7.33	o 5460
7.18/7.35	o 5459
7.18/7.39	o 5458
8.37/8.59	o 5366
8.48/8.61	o 5364
8.58/8.78	o 5356
8.69/8.90	o 5178
8.79/8.91	o 5142
8.79/8.91	o 5088
8.79/8.92	o 5034
8.79/8.96	o 5032
8.79/8.98	o 4981
8.88/9.05	o 4980
8.88/9.05	o 4977
8.98/9.18	o 4973
8.98/9.19	o 4910
9.08/9.27	o 4875
9.08/9.29	o 4874
9.38/9.50	o 4865
9.38/9.50	o 4748
9.38/9.51	o 4746
9.38/9.51	o 4745
9.48/9.63	o 4733
9.48/9.64	o 4673
9.48/9.64	o 4642
9.58/9.70	o 4640
9.58/9.79	o 4628
9.58/9.79	o 4622
9.68/9.80	o 4619
10.18/10.37	o 4618
10.18/10.38	o 4611
10.58/10.75	o 4608
10.58/10.75	o 4516
10.58/10.76	o 4510
10.58/10.77	o 4508
10.58/10.79	o 4404
10.58/10.79	o 4392
10.68/10.82	o 4389
10.68/10.84	o 4377
10.68/10.87	o 4335
10.78/10.92	o 4328
11.28/11.44	o 4273
11.48/11.61	o 4270
11.48/11.62	o 4265
12.09/12.25	o 4241
12.09/12.25	o 4186
12.09/12.25	o 4176
12.09/12.26	o 4165
12.28/12.45	o 4138
12.28/12.49	o 4108
12.28/12.49	o 4054
12.38/12.50	o 4044
12.38/12.54	o 4031
12.78/12.93	o 3938
12.78/12.94	o 3935
12.78/12.95	o 3852
12.78/12.95	o 3847
12.78/12.96	o 3832
12.78/12.96	o 3820
12.88/13.05	o 3805
12.98/13.18	o 3703
12.98/13.19	o 3702
12.98/13.19	o 3601
13.09/13.21	o 3600
13.09/13.28	o 3599
13.48/13.69	o 3595
13.98/14.11	o 3563
13.98/14.12	o 3562
13.98/14.13	o 3536
13.98/14.14	o 3497
14.38/14.54	o 3494
14.38/14.58	o 3483
14.38/14.59	o 3469
14.48/14.61	o 3461
14.48/14.62	o 3459
14.48/14.62	o 3445
14.48/14.67	o 3440
17.17/17.33	o 3344
17.48/17.65	o 3258
17.67/17.81	o 3220
18.47/18.61	o 3215
18.47/18.67	o 3172
18.47/18.67	o 3164
18.58/18.76	o 3124
18.68/18.88	o 3122
18.87/19.00	o 3121
18.87/19.02	o 3084
18.87/19.05	o 2990
19.17/19.36	o 2989
19.27/19.42	o 2964
19.27/19.45	o 2956
19.47/19.69	o 2917
19.47/19.69	o 2889
19.87/20.04	o 2869
19.87/20.04	o 2864
20.37/20.58	o 2859
20.57/20.74	o 2738
20.57/20.79	o 2727
20.57/20.79	o 2726
20.67/20.83	o 2706
21.98/22.13	o 2663
22.57/22.71	o 2657
22.57/22.74	o 2656
22.57/22.74	o 2655
23.77/23.94	o 2562
23.77/23.95	o 2560
25.07/25.26	o 2551
25.18/25.37	o 2540
25.18/25.38	o 2515
25.28/25.41	o 2511
25.57/25.72	o 2510
25.67/25.82	o 2509
26.67/26.80	o 2499
27.07/27.27	o 2488
27.67/27.89	o 2478
27.77/27.96	o 2477
28.67/28.80	o 2435
34.87/35.07	o 2335
35.37/35.53	o 2334
35.37/35.54	o 2332
35.37/35.54	o 2331
35.37/35.57	o 2330
35.67/35.82	o 2325
35.87/36.03	o 2287
35.97/36.13	o 2281
36.17/36.40	o 2276
36.87/37.02	o 2275
36.97/37.16	o 2250
37.97/38.10	o 2235
37.97/38.11	o 2206
37.97/38.11	o 2205
38.07/38.21	o 2204
38.07/38.21	o 2200
38.27/38.42	o 2157
38.27/38.42	o 2143
38.27/38.46	o 2142
38.27/38.48	o 2138
38.37/38.51	o 2135
38.77/38.93	o 2132
38.87/39.03	o 2128
38.87/39.04	o 2124
38.97/39.10	o 2123
38.97/39.10	o 2033
38.97/39.18	o 2032
38.97/39.19	o 2026
39.07/39.20	o 2016
39.07/39.23	o 2013
39.77/39.90	o 2011
39.77/39.92	o 2008
39.77/39.94	o 2007
39.77/39.95	o 2006
40.07/40.27	o 2002
42.27/42.44	o 1983
42.27/42.46	o 1978
42.47/42.64	o 1976
42.57/42.77	o 1970
42.57/42.77	o 1941
42.97/43.13	o 1940
42.97/43.14	o 1938
43.27/43.44	o 1923
43.37/43.60	o 1921
43.47/43.60	o 1918
43.77/43.94	o 1917
45.17/45.38	o 1905
45.37/45.50	o 1900
45.77/45.94	o 1899
46.37/46.60	o 1894
46.67/46.82	o 1893
46.67/46.85	o 1892
46.77/46.92	o 1890
46.77/46.94	o 1888
49.57/49.70	o 1886
50.07/50.22	o 1885
50.77/50.94	o 1882
51.07/51.21	o 1881
52.27/52.48	o 1878
52.27/52.49	o 1874
53.07/53.23	o 1854
53.77/53.95	o 1853
54.67/54.88	o 1851
59.67/59.88	o 1844
60.17/60.35	o 1842
61.87/62.09	o 1839
62.57/62.77	o 1828
77.07/77.25	o 1827
77.67/77.89	o 1819
83.47/83.68	o 1818
83.67/83.88	o 1816
84.87/85.00	o 1815
86.67/86.82	o 1804
87.27/87.41	o 1803
93.27/93.42	o 1798
99.57/99.70	o 1796
102.67/102.81	o 1793
112.17/112.37	o 1775
112.67/112.86	o 1773
114.57/114.70	o 1772
117.47/117.69	o 1771
127.37/127.50	o 1768
129.37/129.52	o 1767
134.97/135.13	o 1763
135.07/135.28	o 1761
141.17/141.34	o 1760
141.17/141.34	o 1757
168.36/168.59	o 1756
168.66/168.81	o 1754
174.36/174.50	o 1753
174.66/174.86	o 1752
175.97/176.17	o 1749
177.66/177.87	o 1746
177.66/177.88	o 1743
179.06/179.25	o 1742
180.66/180.88	o 1735
181.96/182.16	o 1734
207.77/208.00	o 1723
207.87/208.03	o 1720
208.76/208.97	o 1718
211.76/211.92	o 1717
216.46/216.65	o 1714
222.17/222.39	o 1709
223.06/223.23	o 1708
243.96/244.16	o 1706
257.06/257.23	o 1703
288.86/289.03	o 1702
298.96/299.17	o 1700
377.06/377.25	o 1699
381.76/381.91	o 1698
479.95/480.12	o 1697
486.95/487.12	o 1694
635.04/635.23	o 1693
1010.53/1010.77	o 1692
1041.03/1041.24	o 1691
1121.03/1121.26	o 1683
1133.72/1133.98	o 1682
1135.42/1135.69	o 1681
1140.02/1140.29	o 1677
1158.23/1158.43	o 1676
1167.32/1167.53	o 1675
1170.72/1170.95	o 1674
1173.53/1173.73	o 1672
1378.72/1378.97	o 1671
1379.41/1379.68	o 1666
1650.11/1650.39	o 1663
2519.78/2520.00	s SATISFIABLE
2519.78/2520.00	v <instantiation type="solution">
2519.78/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
2519.78/2520.00	v   <values> 0 1 0 0 0 0 1 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 1 0 1 0 1 0 0 0 0 1 0 0 0 0 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 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 0 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 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 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 0 0 0 0 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 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 1 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 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 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 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 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 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 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 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 0 0 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 18 48 32 100 72 19 13 4 73 58 74 97 64 14 24 23 62 52 54 99 52 65 43 41 41 84 47 63 26 99 100 100 55 39 73 54 32 6 62 9 50 2 76 81 30 56 8 99 80 80 28 63 11 10 87 89 </values>
2519.78/2520.00	v </instantiation>

Verifier Data 

OK	1663

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-4261228-1502359981/watcher-4261228-1502359981 -o /tmp/evaluation-result-4261228-1502359981/solver-4261228-1502359981 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 552799917 HOME/instance-4261228-1502359981.xml 

pid=12553
running on 4 cores: 0,2,4,6

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.03 2.05 2/180 12556
/proc/meminfo: memFree=31284940/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12556/stat : 12556 (runsolver) D 12553 12556 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38191674 24240128 106 18446744073709551615 4194304 4338465 140720538085328 140720538082968 140583864697559 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 8597504 140720538091661 140720538092106 140720538092106 140720538095562 0
/proc/12556/statm: 5918 106 53 36 0 2156 0

[startup+0.100147 s]
/proc/loadavg: 2.01 2.03 2.05 2/180 12556
/proc/meminfo: memFree=31284940/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12556/stat : 12556 (runsolver) D 12553 12556 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38191674 24240128 106 18446744073709551615 4194304 4338465 140720538085328 140720538082968 140583864697559 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 8597504 140720538091661 140720538092106 140720538092106 140720538095562 0
/proc/12556/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200275 s]
/proc/loadavg: 2.01 2.03 2.05 2/180 12556
/proc/meminfo: memFree=31284940/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=41508 CPUtime=0.08 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 4376 0 0 0 8 0 0 0 20 0 1 0 38191674 42504192 3982 18446744073709551615 4194304 7396336 140734932021680 140734932018680 6016518 0 0 1 0 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 10377 3982 671 782 0 3393 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41508

[startup+0.300259 s]
/proc/loadavg: 2.01 2.03 2.05 2/180 12556
/proc/meminfo: memFree=31284940/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=45140 CPUtime=0.19 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 5407 0 0 0 18 1 0 0 20 0 1 0 38191674 46223360 4910 18446744073709551615 4194304 7396336 140734932021680 140734932018680 6077226 0 0 1 0 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 11285 4910 681 782 0 4301 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45140

[startup+0.700187 s]
/proc/loadavg: 2.01 2.03 2.05 2/180 12556
/proc/meminfo: memFree=31284940/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=52016 CPUtime=0.59 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 7189 0 0 0 58 1 0 0 20 0 1 0 38191674 53264384 6692 18446744073709551615 4194304 7396336 140734932021680 140734932018680 5165842 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13004 6692 758 782 0 6020 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 52016

[startup+1.50021 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12557
/proc/meminfo: memFree=31260412/32770624 swapFree=0/524576
[pid=12556] ppid=12553 vsize=53248 CPUtime=1.39 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 7506 0 0 0 138 1 0 0 20 0 1 0 38191674 54525952 7022 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5774439 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7022 770 782 0 6328 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 53248

[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12557
/proc/meminfo: memFree=31260148/32770624 swapFree=0/524580
[pid=12556] ppid=12553 vsize=53248 CPUtime=2.99 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 11826 0 0 0 298 1 0 0 20 0 1 0 38191674 54525952 7056 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5165796 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7056 779 782 0 6328 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 53248

[startup+6.30022 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12557
/proc/meminfo: memFree=31259884/32770624 swapFree=0/524576
[pid=12556] ppid=12553 vsize=53248 CPUtime=6.18 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 16156 0 0 0 617 1 0 0 20 0 1 0 38191674 54525952 7056 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771331 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7056 779 782 0 6328 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 53248

[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12558
/proc/meminfo: memFree=31259708/32770624 swapFree=0/524580
[pid=12556] ppid=12553 vsize=53248 CPUtime=12.58 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 20096 0 0 0 1256 2 0 0 20 0 1 0 38191674 54525952 7056 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249447 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7056 779 782 0 6328 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 53248

[startup+25.5004 s]
/proc/loadavg: 1.93 2.01 2.04 3/181 12558
/proc/meminfo: memFree=31259320/32770624 swapFree=0/524572
[pid=12556] ppid=12553 vsize=53248 CPUtime=25.37 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 24624 0 0 0 2535 2 0 0 20 0 1 0 38191674 54525952 7061 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249451 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7061 779 782 0 6328 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 53248

[startup+51.1004 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 12558
/proc/meminfo: memFree=31259380/32770624 swapFree=0/524572
[pid=12556] ppid=12553 vsize=53248 CPUtime=50.97 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 25005 0 0 0 5095 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5586453 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 53248

[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 12575
/proc/meminfo: memFree=31255408/32770624 swapFree=0/524592
[pid=12556] ppid=12553 vsize=53248 CPUtime=102.17 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 25371 0 0 0 10215 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4543790 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 53248

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 12601
/proc/meminfo: memFree=31253892/32770624 swapFree=0/524620
[pid=12556] ppid=12553 vsize=53248 CPUtime=162.16 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 25736 0 0 0 16214 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771361 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 53248

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 12603
/proc/meminfo: memFree=31254380/32770624 swapFree=0/524624
[pid=12556] ppid=12553 vsize=53248 CPUtime=222.17 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 26102 0 0 0 22215 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4542516 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 53248

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 12605
/proc/meminfo: memFree=31257668/32770624 swapFree=0/524636
[pid=12556] ppid=12553 vsize=53248 CPUtime=282.16 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 26466 0 0 0 28214 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4581738 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 53248

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 12607
/proc/meminfo: memFree=31258164/32770624 swapFree=0/524652
[pid=12556] ppid=12553 vsize=53248 CPUtime=342.16 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 26828 0 0 0 34214 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771792 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 53248

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 12609
/proc/meminfo: memFree=31258304/32770624 swapFree=0/524676
[pid=12556] ppid=12553 vsize=53248 CPUtime=402.15 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 27193 0 0 0 40213 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4582297 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 53248

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 12611
/proc/meminfo: memFree=31258752/32770624 swapFree=0/524684
[pid=12556] ppid=12553 vsize=53248 CPUtime=462.15 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 27548 0 0 0 46213 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249732 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 53248

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12613
/proc/meminfo: memFree=31258752/32770624 swapFree=0/524712
[pid=12556] ppid=12553 vsize=53248 CPUtime=522.15 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 27912 0 0 0 52213 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5165805 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 53248

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12615
/proc/meminfo: memFree=31258256/32770624 swapFree=0/524732
[pid=12556] ppid=12553 vsize=53248 CPUtime=582.15 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 28268 0 0 0 58213 2 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771278 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 53248


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12678
/proc/meminfo: memFree=31257248/32770624 swapFree=0/525016
[pid=12556] ppid=12553 vsize=53248 CPUtime=1602.12 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 34256 0 0 0 160209 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771391 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 53248

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 12680
/proc/meminfo: memFree=31257896/32770624 swapFree=0/525032
[pid=12556] ppid=12553 vsize=53248 CPUtime=1662.11 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 34686 0 0 0 166208 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5774073 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 53248

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 12682
/proc/meminfo: memFree=31258144/32770624 swapFree=0/525024
[pid=12556] ppid=12553 vsize=53248 CPUtime=1722.11 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 35042 0 0 0 172208 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4581808 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 53248

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12685
/proc/meminfo: memFree=31257428/32770624 swapFree=0/525040
[pid=12556] ppid=12553 vsize=53248 CPUtime=1782.11 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 35398 0 0 0 178208 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771336 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 53248

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12687
/proc/meminfo: memFree=31257428/32770624 swapFree=0/525068
[pid=12556] ppid=12553 vsize=53248 CPUtime=1842.11 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 35755 0 0 0 184208 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249440 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 53248

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 12704
/proc/meminfo: memFree=31253088/32770624 swapFree=0/525088
[pid=12556] ppid=12553 vsize=53248 CPUtime=1902.1 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 36111 0 0 0 190207 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5772942 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 53248

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 12706
/proc/meminfo: memFree=31253352/32770624 swapFree=0/525120
[pid=12556] ppid=12553 vsize=53248 CPUtime=1962.1 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 36454 0 0 0 196207 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5772880 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 53248

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12708
/proc/meminfo: memFree=31256872/32770624 swapFree=0/525120
[pid=12556] ppid=12553 vsize=53248 CPUtime=2022.1 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 36809 0 0 0 202207 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5839273 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 53248

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12710
/proc/meminfo: memFree=31257368/32770624 swapFree=0/525116
[pid=12556] ppid=12553 vsize=53248 CPUtime=2082.1 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 37165 0 0 0 208207 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771361 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 53248

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12712
/proc/meminfo: memFree=31257616/32770624 swapFree=0/525132
[pid=12556] ppid=12553 vsize=53248 CPUtime=2142.09 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 37521 0 0 0 214206 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4543907 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 53248

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12714
/proc/meminfo: memFree=31257384/32770624 swapFree=0/525144
[pid=12556] ppid=12553 vsize=53248 CPUtime=2202.1 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 37870 0 0 0 220207 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249732 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 53248

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12716
/proc/meminfo: memFree=31257136/32770624 swapFree=0/525160
[pid=12556] ppid=12553 vsize=53248 CPUtime=2262.09 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 38222 0 0 0 226206 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5165771 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 53248

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12718
/proc/meminfo: memFree=31257136/32770624 swapFree=0/525172
[pid=12556] ppid=12553 vsize=53248 CPUtime=2322.09 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 38568 0 0 0 232206 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5772112 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 53248

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12720
/proc/meminfo: memFree=31256764/32770624 swapFree=0/525192
[pid=12556] ppid=12553 vsize=53248 CPUtime=2382.08 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 38919 0 0 0 238205 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 4249727 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 53248

[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 12844
/proc/meminfo: memFree=31273580/32770624 swapFree=0/525244
[pid=12556] ppid=12553 vsize=53248 CPUtime=2442.08 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 39270 0 0 0 244205 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771278 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 53248

[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 12861
/proc/meminfo: memFree=31267140/32770624 swapFree=0/525280
[pid=12556] ppid=12553 vsize=53248 CPUtime=2502.08 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 39621 0 0 0 250205 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5771395 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 53248



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 12861
/proc/meminfo: memFree=31267140/32770624 swapFree=0/525280
[pid=12556] ppid=12553 vsize=53248 CPUtime=2519.78 cores=0,2,4,6
/proc/12556/stat : 12556 (MistralXCSP) R 12553 12556 16590 0 -1 4202496 39896 0 0 0 251975 3 0 0 20 0 1 0 38191674 54525952 7063 18446744073709551615 4194304 7396336 140734932021680 140734932016696 5620248 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 38490112 140734932025780 140734932025929 140734932025929 140734932029385 0
/proc/12556/statm: 13312 7063 781 782 0 6328 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 53248

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 12556 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520
CPU time (s): 2519.79
CPU user time (s): 2519.75
CPU system time (s): 0.034998
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 53248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 0.034998
maximum resident set size= 28272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39933
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= 18
involuntary context switches= 673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01122 second user time and 10.0446 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-10 11:58:55
IDJOB=4261228
IDBENCH=124460
IDSOLVER=2649
FILE ID=node127/4261228-1502359981
RUNJOBID= node127-1502331240-8161
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-n57-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-4261228-1502359981/watcher-4261228-1502359981 -o /tmp/evaluation-result-4261228-1502359981/solver-4261228-1502359981 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 552799917 HOME/instance-4261228-1502359981.xml

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

MD5SUM BENCH= 205feda53d99710fee13d320d9c474df
RANDOM SEED=552799917

node127.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.92
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.92
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.92
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.92
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:        31284944 kB
MemAvailable:   31983412 kB
Buffers:          227404 kB
Cached:           762692 kB
SwapCached:            0 kB
Active:           517152 kB
Inactive:         549532 kB
Active(anon):      77124 kB
Inactive(anon):    24908 kB
Active(file):     440028 kB
Inactive(file):   524624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6096 kB
Writeback:             0 kB
AnonPages:         76848 kB
Mapped:            40584 kB
Shmem:             25252 kB
Slab:             124248 kB
SReclaimable:      99304 kB
SUnreclaim:        24944 kB
KernelStack:        3216 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     337292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-10 12:40:55