Trace number 4261197

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)911 2519.6399 2520

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

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.29/1.47	o 0
1.29/1.47	o 3
1.29/1.47	o 4
1.29/1.47	o 6
1.29/1.48	o 7
1.29/1.48	o 8
1.29/1.48	o 9
1.29/1.48	o 10
1.29/1.49	o 11
1.29/1.49	o 12
1.69/1.80	o 14
1.69/1.80	o 15
1.69/1.81	o 16
1.99/2.15	o 20
1.99/2.15	o 21
1.99/2.15	o 22
1.99/2.17	o 25
1.99/2.17	o 26
1.99/2.19	o 27
2.39/2.51	o 31
2.39/2.51	o 32
2.39/2.51	o 33
2.39/2.51	o 34
2.39/2.52	o 35
2.39/2.52	o 38
2.39/2.52	o 39
2.39/2.53	o 40
2.39/2.53	o 41
2.39/2.53	o 42
2.39/2.53	o 43
2.39/2.56	o 44
2.80/2.92	o 46
2.80/2.92	o 47
2.80/2.92	o 48
2.80/2.94	o 49
2.80/2.94	o 50
2.80/2.94	o 51
2.80/2.94	o 52
2.80/2.95	o 53
3.09/3.26	o 55
3.09/3.26	o 56
3.09/3.26	o 57
3.09/3.26	o 58
3.09/3.26	o 59
3.09/3.27	o 62
3.09/3.28	o 63
3.09/3.30	o 65
3.49/3.62	o 67
3.49/3.62	o 68
3.49/3.62	o 69
3.49/3.64	o 71
3.49/3.64	o 72
3.49/3.65	o 73
3.49/3.66	o 74
3.49/3.67	o 75
3.49/3.69	o 76
3.49/3.69	o 77
3.90/4.03	o 83
4.00/4.13	o 86
4.00/4.13	o 87
4.00/4.13	o 88
4.00/4.13	o 94
4.00/4.13	o 98
4.00/4.13	o 100
4.00/4.13	o 101
4.10/4.20	o 102
4.40/4.56	o 104
4.40/4.56	o 105
4.40/4.56	o 106
4.40/4.58	o 108
4.40/4.59	o 109
4.40/4.59	o 110
4.79/4.94	o 111
4.79/4.94	o 112
4.79/4.94	o 113
4.79/4.94	o 114
4.79/4.96	o 115
4.79/4.98	o 116
5.19/5.30	o 118
5.19/5.31	o 119
5.19/5.31	o 120
5.19/5.32	o 121
5.19/5.32	o 122
5.19/5.32	o 123
5.19/5.32	o 124
5.19/5.33	o 125
5.19/5.34	o 126
5.19/5.35	o 127
5.19/5.35	o 128
5.19/5.36	o 129
5.19/5.36	o 130
5.59/5.72	o 132
5.59/5.72	o 133
5.59/5.72	o 134
5.59/5.73	o 137
5.59/5.74	o 138
5.89/6.09	o 140
5.89/6.09	o 141
5.89/6.09	o 142
5.99/6.10	o 144
6.29/6.44	o 146
6.29/6.44	o 147
6.29/6.45	o 148
6.29/6.45	o 149
6.29/6.47	o 151
6.29/6.47	o 152
6.29/6.48	o 153
6.39/6.52	o 154
6.69/6.84	o 158
6.69/6.84	o 159
6.69/6.86	o 160
6.79/6.90	o 163
6.79/6.93	o 164
7.19/7.38	o 166
7.19/7.38	o 167
7.19/7.38	o 168
7.19/7.39	o 170
7.19/7.40	o 171
7.29/7.40	o 172
7.29/7.41	o 173
7.29/7.41	o 174
7.40/7.51	o 176
7.40/7.51	o 177
7.40/7.57	o 178
7.50/7.70	o 179
7.60/7.71	o 180
7.99/8.13	o 182
7.99/8.14	o 183
7.99/8.14	o 184
7.99/8.15	o 185
7.99/8.15	o 186
7.99/8.15	o 187
7.99/8.16	o 188
8.29/8.48	o 192
8.29/8.49	o 193
8.29/8.49	o 194
8.39/8.50	o 196
8.39/8.50	o 197
8.39/8.51	o 198
8.39/8.52	o 199
8.39/8.52	o 200
8.39/8.53	o 201
8.39/8.53	o 202
10.79/10.95	o 204
10.79/10.98	o 205
10.79/10.98	o 206
10.79/10.99	o 207
10.79/11.00	o 208
10.79/11.00	o 209
10.79/11.00	o 210
11.00/11.11	o 211
11.00/11.11	o 212
11.59/11.79	o 213
11.59/11.79	o 214
11.69/11.80	o 215
11.69/11.80	o 216
11.69/11.80	o 217
13.49/13.64	o 218
13.59/13.79	o 219
13.89/14.05	o 220
13.99/14.16	o 221
15.40/15.55	o 225
15.49/15.67	o 227
15.59/15.78	o 228
15.69/15.89	o 229
17.19/17.36	o 230
17.39/17.50	o 231
19.09/19.24	o 232
19.19/19.36	o 233
19.29/19.48	o 234
19.39/19.60	o 235
19.59/19.72	o 236
19.69/19.84	o 237
20.58/20.75	o 238
20.80/20.90	o 239
20.89/21.05	o 240
21.79/21.96	o 243
21.99/22.10	o 244
22.09/22.24	o 245
22.39/22.50	o 246
23.69/23.83	o 247
23.79/23.95	o 248
23.89/24.07	o 249
25.69/25.84	o 258
26.89/27.01	o 268
27.19/27.36	o 269
29.48/29.61	o 306
30.58/30.75	o 314
31.08/31.26	o 315
31.28/31.44	o 316
31.48/31.61	o 317
33.08/33.22	o 322
34.18/34.33	o 323
37.29/37.42	o 324
38.09/38.29	o 325
39.98/40.13	o 399
39.98/40.14	o 400
39.98/40.16	o 401
39.98/40.18	o 402
42.08/42.29	o 404
42.28/42.43	o 405
43.78/43.95	o 406
47.08/47.21	o 418
47.08/47.27	o 419
47.58/47.77	o 420
48.68/48.83	o 421
48.78/48.99	o 422
49.68/49.80	o 423
51.88/52.03	o 424
51.98/52.17	o 425
53.18/53.39	o 426
53.38/53.53	o 427
53.48/53.66	o 428
54.68/54.80	o 431
54.78/54.92	o 432
54.88/55.05	o 433
56.58/56.71	o 445
56.58/56.77	o 446
60.48/60.65	o 461
60.87/61.03	o 463
60.87/61.04	o 464
62.47/62.62	o 465
63.87/64.06	o 476
63.97/64.15	o 477
64.47/64.61	o 478
64.47/64.61	o 479
64.47/64.62	o 480
64.77/64.91	o 481
66.47/66.64	o 482
66.67/66.88	o 483
70.16/70.38	o 484
70.26/70.42	o 485
71.96/72.15	o 488
72.06/72.29	o 489
72.26/72.43	o 490
73.96/74.16	o 491
75.66/75.83	o 499
76.06/76.29	o 500
76.16/76.35	o 501
76.26/76.43	o 502
76.86/77.06	o 503
79.16/79.39	o 515
79.25/79.42	o 516
79.25/79.43	o 517
83.47/83.65	o 519
87.35/87.53	o 520
87.35/87.54	o 521
87.35/87.55	o 522
87.35/87.56	o 523
87.45/87.62	o 524
87.55/87.77	o 525
99.15/99.39	o 526
99.25/99.48	o 527
102.65/102.84	o 528
104.25/104.43	o 531
104.45/104.62	o 532
107.74/107.93	o 547
107.94/108.17	o 548
108.04/108.25	o 549
109.44/109.69	o 550
109.74/109.91	o 551
111.24/111.46	o 552
113.24/113.45	o 557
115.34/115.54	o 559
117.64/117.87	o 586
118.64/118.86	o 587
121.03/121.27	o 593
121.33/121.54	o 594
123.93/124.18	o 607
124.33/124.58	o 608
124.93/125.11	o 609
124.93/125.18	o 610
127.03/127.29	o 613
127.43/127.63	o 614
127.82/128.03	o 615
129.42/129.62	o 622
129.82/130.04	o 623
130.02/130.21	o 624
133.43/133.68	o 640
133.83/134.04	o 641
133.83/134.04	o 642
150.21/150.46	o 643
152.11/152.31	o 644
155.71/155.90	o 646
159.11/159.36	o 658
162.31/162.57	o 659
162.41/162.65	o 660
169.21/169.44	o 676
169.71/169.94	o 677
170.31/170.50	o 679
170.90/171.13	o 683
171.30/171.51	o 684
171.90/172.11	o 685
171.90/172.14	o 686
171.90/172.16	o 687
172.00/172.20	o 688
174.40/174.60	o 692
174.40/174.63	o 693
174.40/174.69	o 694
174.50/174.77	o 698
174.90/175.17	o 699
178.00/178.25	o 701
178.80/179.00	o 702
190.79/191.05	o 703
200.89/201.19	o 704
202.09/202.38	o 705
202.89/203.12	o 710
205.29/205.52	o 712
206.59/206.81	o 713
206.69/206.93	o 714
211.18/211.45	o 716
211.68/211.97	o 717
211.78/212.02	o 718
212.09/212.37	o 719
220.68/220.93	o 720
221.08/221.35	o 721
221.08/221.36	o 722
223.88/224.13	o 738
224.38/224.62	o 740
227.37/227.63	o 743
231.27/231.57	o 745
231.98/232.27	o 747
233.87/234.15	o 750
236.97/237.24	o 753
237.77/238.02	o 755
250.86/251.13	o 756
261.25/261.53	o 757
261.35/261.66	o 758
264.25/264.59	o 760
268.95/269.22	o 761
272.65/272.95	o 764
276.05/276.32	o 765
278.44/278.73	o 766
278.54/278.83	o 768
278.64/278.92	o 769
278.94/279.24	o 770
288.65/288.98	o 773
288.65/288.99	o 774
288.75/289.08	o 775
288.95/289.24	o 776
324.94/325.23	o 777
325.74/326.09	o 781
325.84/326.13	o 782
325.94/326.24	o 783
327.54/327.85	o 784
330.14/330.41	o 785
330.14/330.45	o 786
331.04/331.36	o 789
331.34/331.63	o 790
332.14/332.42	o 791
336.94/337.24	o 795
338.73/339.09	o 796
339.93/340.20	o 801
343.13/343.42	o 802
343.13/343.44	o 803
348.93/349.24	o 804
349.03/349.30	o 805
349.03/349.30	o 806
349.13/349.47	o 807
353.63/353.92	o 809
374.94/375.28	o 811
379.83/380.19	o 812
383.43/383.77	o 813
386.23/386.59	o 829
390.53/390.89	o 834
390.93/391.20	o 835
393.43/393.79	o 839
394.33/394.66	o 840
398.43/398.72	o 841
402.73/403.09	o 842
404.93/405.20	o 843
405.43/405.72	o 844
405.53/405.81	o 846
405.53/405.87	o 847
408.63/408.90	o 848
452.73/453.06	o 849
521.72/522.01	o 850
536.53/536.90	o 851
536.63/536.95	o 852
542.82/543.12	o 854
552.52/552.82	o 855
663.51/663.83	o 856
682.51/682.81	o 857
682.51/682.83	o 858
692.82/693.18	o 859
706.61/706.94	o 862
710.21/710.59	o 863
713.72/714.02	o 864
713.81/714.18	o 865
732.91/733.23	o 866
734.52/734.90	o 867
831.11/831.49	o 868
909.30/909.66	o 871
1009.40/1009.77	o 872
1019.90/1020.25	o 873
1035.70/1036.04	o 876
1042.09/1042.44	o 878
1082.69/1083.06	o 879
1129.19/1129.56	o 880
1133.90/1134.20	o 881
1142.69/1143.08	o 884
1148.69/1149.08	o 885
1149.69/1150.04	o 886
1154.49/1154.82	o 887
1169.19/1169.58	o 888
1334.58/1334.90	o 891
1341.98/1342.35	o 892
1344.28/1344.68	o 896
1362.98/1363.32	o 897
1450.58/1450.95	o 898
1450.97/1451.32	o 899
1451.37/1451.76	o 900
1604.16/1604.56	o 901
1706.97/1707.39	o 902
1718.57/1718.92	o 903
1863.76/1864.18	o 904
2017.95/2018.36	o 905
2031.25/2031.61	o 907
2034.55/2034.98	o 908
2040.35/2040.71	o 910
2301.63/2302.07	o 911
2519.62/2520.00	s SATISFIABLE
2519.62/2520.00	v <instantiation type="solution">
2519.62/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
2519.62/2520.00	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 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 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 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 1 1 0 0 0 0 0 0 0 0 2 1 0 0 0 2 1 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 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 1 1 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 0 0 0 1 0 0 0 0 0 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 0 0 0 0 0 1 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 1 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 1 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 1 0 1 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 0 0 1 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 1 2 1 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 0 0 0 0 0 0 0 0 1 1 1 1 1 0 2 0 1 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 1 2 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 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 1 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 1 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 1 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 2 1 1 1 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 1 1 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 1 0 1 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 1 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 2 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 1 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 1 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 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 26 43 52 56 62 67 70 71 71 74 76 77 82 88 90 93 95 99 105 111 116 122 128 130 133 138 140 143 150 156 160 165 167 170 174 178 182 183 188 193 195 201 204 209 226 911 </values>
2519.62/2520.00	v </instantiation>

Verifier Data 

OK	911

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-4261197-1502342274/watcher-4261197-1502342274 -o /tmp/evaluation-result-4261197-1502342274/solver-4261197-1502342274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 596224768 HOME/instance-4261197-1502342274.xml 

pid=3694
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.00 2.02 2.05 3/181 3697
/proc/meminfo: memFree=31509352/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3697/stat : 3697 (runsolver) D 3694 3697 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 36422966 24240128 106 18446744073709551615 4194304 4338465 140732499723696 140732499721336 139791941198551 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 20803584 140732499730573 140732499731018 140732499731018 140732499734474 0
/proc/3697/statm: 5918 106 53 36 0 2156 0

[startup+0.100149 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3697
/proc/meminfo: memFree=31509352/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 36422966 29065216 539 18446744073709551615 4194304 7396336 140730575111824 140730575108824 140665137072032 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 7096 539 464 782 0 112 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.200281 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3697
/proc/meminfo: memFree=31509352/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=59848 CPUtime=0.1 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 8813 0 0 0 9 1 0 0 20 0 1 0 36422966 61284352 8560 18446744073709551615 4194304 7396336 140730575111824 140730575108824 5791065 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 14995 8560 646 782 0 8011 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 59848

[startup+0.300347 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3697
/proc/meminfo: memFree=31509352/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=137412 CPUtime=0.2 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 28194 0 0 0 16 4 0 0 20 0 1 0 36422966 140709888 27964 18446744073709551615 4194304 7396336 140730575111824 140730575108824 140665137023973 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 34353 27964 646 782 0 27369 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 137412

[startup+0.700295 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3697
/proc/meminfo: memFree=31509352/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=445380 CPUtime=0.59 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 105190 0 0 0 46 13 0 0 20 0 1 0 36422966 456069120 104986 18446744073709551615 4194304 7396336 140730575111824 140730575108824 4565880 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 111390 104986 646 782 0 104406 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 445380

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 3698
/proc/meminfo: memFree=31066856/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=478684 CPUtime=1.39 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 113602 0 0 0 125 14 0 0 20 0 1 0 36422966 490172416 113404 18446744073709551615 4194304 7396336 140730575111824 140730575101112 140665137023973 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 119671 113404 784 782 0 112687 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 478684

[startup+3.10031 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 3698
/proc/meminfo: memFree=31057740/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=479620 CPUtime=2.99 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 180443 0 0 0 281 18 0 0 20 0 1 0 36422966 491130880 113675 18446744073709551615 4194304 7396336 140730575111824 140730575106360 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 119905 113675 789 782 0 112921 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 479620

[startup+6.30037 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 3698
/proc/meminfo: memFree=31055616/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=481204 CPUtime=6.19 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 287111 0 0 0 596 23 0 0 20 0 1 0 36422966 492752896 114078 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792063 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 120301 114078 789 782 0 113317 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 481204

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 3699
/proc/meminfo: memFree=31053384/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=482548 CPUtime=12.59 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 378071 0 0 0 1231 28 0 0 20 0 1 0 36422966 494129152 114431 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792027 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 120637 114431 791 782 0 113653 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 482548

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 3699
/proc/meminfo: memFree=31052640/32770624 swapFree=0/217516
[pid=3697] ppid=3694 vsize=483244 CPUtime=25.39 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 463011 0 0 0 2506 33 0 0 20 0 1 0 36422966 494841856 114585 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4246639 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 120811 114585 791 782 0 113827 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 483244

[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 3699
/proc/meminfo: memFree=31052076/32770624 swapFree=0/217580
[pid=3697] ppid=3694 vsize=484332 CPUtime=50.98 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 575436 0 0 0 5059 39 0 0 20 0 1 0 36422966 495955968 114870 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792027 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121083 114870 791 782 0 114099 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 484332

[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/182 3701
/proc/meminfo: memFree=31052576/32770624 swapFree=0/217588
[pid=3697] ppid=3694 vsize=484892 CPUtime=102.15 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 669417 0 0 0 10171 44 0 0 20 0 1 0 36422966 496529408 115002 18446744073709551615 4194304 7396336 140730575111824 140730575106360 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121223 115002 791 782 0 114239 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 484892

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/181 3703
/proc/meminfo: memFree=31052280/32770624 swapFree=0/217628
[pid=3697] ppid=3694 vsize=485292 CPUtime=162.11 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 721077 0 0 0 16164 47 0 0 20 0 1 0 36422966 496939008 115094 18446744073709551615 4194304 7396336 140730575111824 140730575106184 4253024 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121323 115094 791 782 0 114339 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 485292

[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 3705
/proc/meminfo: memFree=31051836/32770624 swapFree=0/217588
[pid=3697] ppid=3694 vsize=485424 CPUtime=222.08 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 751760 0 0 0 22160 48 0 0 20 0 1 0 36422966 497074176 115130 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4547368 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121356 115130 791 782 0 114372 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 485424

[startup+282.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/181 3707
/proc/meminfo: memFree=31052412/32770624 swapFree=0/217628
[pid=3697] ppid=3694 vsize=485560 CPUtime=282.05 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 759475 0 0 0 28156 49 0 0 20 0 1 0 36422966 497213440 115161 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792000 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121390 115161 791 782 0 114406 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 485560

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 3709
/proc/meminfo: memFree=31052804/32770624 swapFree=0/217616
[pid=3697] ppid=3694 vsize=485560 CPUtime=342.03 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 764097 0 0 0 34154 49 0 0 20 0 1 0 36422966 497213440 115188 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121390 115188 791 782 0 114406 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 485560

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/184 3725
/proc/meminfo: memFree=31050084/32770624 swapFree=0/217684
[pid=3697] ppid=3694 vsize=485692 CPUtime=402.03 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 765063 0 0 0 40154 49 0 0 20 0 1 0 36422966 497348608 115203 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5576225 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121423 115203 791 782 0 114439 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 485692

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 3727
/proc/meminfo: memFree=31049688/32770624 swapFree=0/217692
[pid=3697] ppid=3694 vsize=485824 CPUtime=462.03 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 766066 0 0 0 46154 49 0 0 20 0 1 0 36422966 497483776 115229 18446744073709551615 4194304 7396336 140730575111824 140730575106168 5792262 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121456 115229 791 782 0 114472 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 485824

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 3729
/proc/meminfo: memFree=31052372/32770624 swapFree=0/217676
[pid=3697] ppid=3694 vsize=485824 CPUtime=522.02 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 767074 0 0 0 52153 49 0 0 20 0 1 0 36422966 497483776 115244 18446744073709551615 4194304 7396336 140730575111824 140730575106168 4581738 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121456 115244 791 782 0 114472 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 485824

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 3731
/proc/meminfo: memFree=31052512/32770624 swapFree=0/217704
[pid=3697] ppid=3694 vsize=485956 CPUtime=582.02 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 767772 0 0 0 58153 49 0 0 20 0 1 0 36422966 497618944 115257 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792074 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121489 115257 791 782 0 114505 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 485956


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 3796
/proc/meminfo: memFree=31046216/32770624 swapFree=0/218112
[pid=3697] ppid=3694 vsize=486220 CPUtime=1601.96 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 779408 0 0 0 160147 49 0 0 20 0 1 0 36422966 497889280 115329 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792262 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115329 791 782 0 114571 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 486220

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 3798
/proc/meminfo: memFree=31046164/32770624 swapFree=0/218164
[pid=3697] ppid=3694 vsize=486220 CPUtime=1661.97 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 780276 0 0 0 166147 50 0 0 20 0 1 0 36422966 497889280 115329 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115329 791 782 0 114571 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 486220

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 3800
/proc/meminfo: memFree=31050276/32770624 swapFree=0/218172
[pid=3697] ppid=3694 vsize=486220 CPUtime=1721.97 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 780818 0 0 0 172147 50 0 0 20 0 1 0 36422966 497889280 115330 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4543790 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115330 791 782 0 114571 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 486220

[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 3802
/proc/meminfo: memFree=31050104/32770624 swapFree=0/218232
[pid=3697] ppid=3694 vsize=486220 CPUtime=1781.96 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 781447 0 0 0 178146 50 0 0 20 0 1 0 36422966 497889280 115330 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115330 791 782 0 114571 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 486220

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 3804
/proc/meminfo: memFree=31050724/32770624 swapFree=0/218244
[pid=3697] ppid=3694 vsize=486220 CPUtime=1841.96 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 782283 0 0 0 184146 50 0 0 20 0 1 0 36422966 497889280 115330 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4252913 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115330 791 782 0 114571 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 486220

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 3806
/proc/meminfo: memFree=31050712/32770624 swapFree=0/218256
[pid=3697] ppid=3694 vsize=486220 CPUtime=1901.96 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 782956 0 0 0 190146 50 0 0 20 0 1 0 36422966 497889280 115331 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792016 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115331 791 782 0 114571 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 486220

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 3808
/proc/meminfo: memFree=31051224/32770624 swapFree=0/218272
[pid=3697] ppid=3694 vsize=486220 CPUtime=1961.95 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 783413 0 0 0 196145 50 0 0 20 0 1 0 36422966 497889280 115331 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792078 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115331 791 782 0 114571 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 486220

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3810
/proc/meminfo: memFree=31051344/32770624 swapFree=0/218272
[pid=3697] ppid=3694 vsize=486220 CPUtime=2021.95 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 784286 0 0 0 202145 50 0 0 20 0 1 0 36422966 497889280 115332 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792262 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115332 791 782 0 114571 0
Current children cumulated CPU time (s) 2021.95
Current children cumulated vsize (KiB) 486220

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3812
/proc/meminfo: memFree=31051344/32770624 swapFree=0/218308
[pid=3697] ppid=3694 vsize=486220 CPUtime=2081.95 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 784797 0 0 0 208145 50 0 0 20 0 1 0 36422966 497889280 115332 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115332 791 782 0 114571 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 486220

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3814
/proc/meminfo: memFree=31051096/32770624 swapFree=0/218328
[pid=3697] ppid=3694 vsize=486220 CPUtime=2141.94 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 785628 0 0 0 214144 50 0 0 20 0 1 0 36422966 497889280 115333 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792034 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115333 791 782 0 114571 0
Current children cumulated CPU time (s) 2141.94
Current children cumulated vsize (KiB) 486220

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3830
/proc/meminfo: memFree=31046516/32770624 swapFree=0/218372
[pid=3697] ppid=3694 vsize=486220 CPUtime=2201.94 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 786305 0 0 0 220144 50 0 0 20 0 1 0 36422966 497889280 115334 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4581738 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115334 791 782 0 114571 0
Current children cumulated CPU time (s) 2201.94
Current children cumulated vsize (KiB) 486220

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3832
/proc/meminfo: memFree=31046532/32770624 swapFree=0/218388
[pid=3697] ppid=3694 vsize=486220 CPUtime=2261.94 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 786850 0 0 0 226144 50 0 0 20 0 1 0 36422966 497889280 115334 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115334 791 782 0 114571 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 486220

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3834
/proc/meminfo: memFree=31049828/32770624 swapFree=0/218440
[pid=3697] ppid=3694 vsize=486220 CPUtime=2321.93 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 787653 0 0 0 232143 50 0 0 20 0 1 0 36422966 497889280 115335 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792016 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115335 791 782 0 114571 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 486220

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/194 3929
/proc/meminfo: memFree=31076972/32770624 swapFree=0/218508
[pid=3697] ppid=3694 vsize=486220 CPUtime=2381.93 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 788154 0 0 0 238143 50 0 0 20 0 1 0 36422966 497889280 115335 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115335 791 782 0 114571 0
Current children cumulated CPU time (s) 2381.93
Current children cumulated vsize (KiB) 486220

[startup+2442.3 s]
/proc/loadavg: 1.88 1.98 2.03 2/177 4558
/proc/meminfo: memFree=31086068/32770624 swapFree=0/219376
[pid=3697] ppid=3694 vsize=486220 CPUtime=2441.93 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 788992 0 0 0 244143 50 0 0 20 0 1 0 36422966 497889280 115337 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115337 791 782 0 114571 0
Current children cumulated CPU time (s) 2441.93
Current children cumulated vsize (KiB) 486220

[startup+2502.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/181 4649
/proc/meminfo: memFree=31103872/32770624 swapFree=0/219452
[pid=3697] ppid=3694 vsize=486220 CPUtime=2501.92 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 789635 0 0 0 250142 50 0 0 20 0 1 0 36422966 497889280 115337 18446744073709551615 4194304 7396336 140730575111824 140730575106840 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115337 791 782 0 114571 0
Current children cumulated CPU time (s) 2501.92
Current children cumulated vsize (KiB) 486220



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.97 1.99 2.03 3/181 4650
/proc/meminfo: memFree=31104120/32770624 swapFree=0/219464
[pid=3697] ppid=3694 vsize=486220 CPUtime=2519.62 cores=1,3,5,7
/proc/3697/stat : 3697 (MistralXCSP) R 3694 3697 15981 0 -1 4202496 789671 0 0 0 251912 50 0 0 20 0 1 0 36422966 497889280 115337 18446744073709551615 4194304 7396336 140730575111824 140730575106840 4543790 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 28766208 140730575118772 140730575118921 140730575118921 140730575122377 0
/proc/3697/statm: 121555 115337 791 782 0 114571 0
Current children cumulated CPU time (s) 2519.62
Current children cumulated vsize (KiB) 486220

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 3697 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.64
CPU user time (s): 2519.13
CPU system time (s): 0.506971
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 486220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.13
system time used= 0.506971
maximum resident set size= 461368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 789703
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= 210
involuntary context switches= 773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04169 second user time and 9.99988 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-10 07:03:54
IDJOB=4261197
IDBENCH=115917
IDSOLVER=2649
FILE ID=node126/4261197-1502342274
RUNJOBID= node126-1502333727-2687
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.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-4261197-1502342274/watcher-4261197-1502342274 -o /tmp/evaluation-result-4261197-1502342274/solver-4261197-1502342274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 596224768 HOME/instance-4261197-1502342274.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=596224768

node126.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.81
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.81
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.81
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.81
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:        31509624 kB
MemAvailable:   31928388 kB
Buffers:          244208 kB
Cached:           448872 kB
SwapCached:          524 kB
Active:           515980 kB
Inactive:         288852 kB
Active(anon):      65672 kB
Inactive(anon):    71336 kB
Active(file):     450308 kB
Inactive(file):   217516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:        110708 kB
Mapped:            39936 kB
Shmem:             25248 kB
Slab:             159224 kB
SReclaimable:     133552 kB
SUnreclaim:        25672 kB
KernelStack:        3280 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     372456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62020 MiB
End job on node126 at 2017-08-10 07:45:54