Trace number 4239985

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
R1: Mistral-2.0 2017-06-28SAT (TO)911 2400.05 2401.41

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.00	c Mistral-2017-06-28
1.28/1.35	o 0
1.28/1.35	o 3
1.28/1.35	o 4
1.28/1.35	o 6
1.28/1.35	o 7
1.28/1.36	o 8
1.28/1.36	o 9
1.28/1.36	o 10
1.28/1.37	o 11
1.28/1.37	o 12
1.58/1.68	o 14
1.58/1.68	o 15
1.58/1.69	o 16
1.98/2.02	o 20
1.98/2.03	o 21
1.98/2.03	o 22
1.98/2.05	o 25
1.98/2.05	o 26
1.98/2.06	o 27
2.30/2.39	o 31
2.30/2.39	o 32
2.30/2.39	o 33
2.30/2.39	o 34
2.30/2.40	o 35
2.39/2.40	o 38
2.39/2.40	o 39
2.39/2.40	o 40
2.39/2.41	o 41
2.39/2.41	o 42
2.39/2.41	o 43
2.39/2.44	o 44
2.69/2.79	o 46
2.69/2.79	o 47
2.69/2.79	o 48
2.79/2.81	o 49
2.79/2.81	o 50
2.79/2.81	o 51
2.79/2.82	o 52
2.79/2.83	o 53
3.08/3.13	o 55
3.08/3.13	o 56
3.08/3.14	o 57
3.08/3.14	o 58
3.08/3.14	o 59
3.08/3.15	o 62
3.08/3.15	o 63
3.08/3.18	o 65
3.48/3.50	o 67
3.48/3.50	o 68
3.48/3.50	o 69
3.48/3.52	o 71
3.48/3.52	o 72
3.48/3.53	o 73
3.48/3.54	o 74
3.48/3.55	o 75
3.48/3.57	o 76
3.48/3.57	o 77
3.88/3.90	o 83
3.88/3.91	o 86
3.88/3.91	o 87
3.88/3.91	o 88
3.88/3.91	o 94
3.88/3.92	o 98
3.88/3.96	o 100
3.98/4.00	o 101
3.98/4.08	o 102
4.39/4.44	o 104
4.39/4.44	o 105
4.39/4.44	o 106
4.39/4.46	o 108
4.39/4.46	o 109
4.39/4.46	o 110
4.79/4.81	o 111
4.79/4.81	o 112
4.79/4.82	o 113
4.79/4.82	o 114
4.79/4.84	o 115
4.79/4.86	o 116
5.09/5.18	o 118
5.09/5.18	o 119
5.09/5.19	o 120
5.09/5.20	o 121
5.19/5.20	o 122
5.19/5.20	o 123
5.19/5.20	o 124
5.19/5.21	o 125
5.19/5.21	o 126
5.19/5.23	o 127
5.19/5.23	o 128
5.19/5.24	o 129
5.19/5.24	o 130
5.49/5.60	o 132
5.49/5.60	o 133
5.49/5.60	o 134
5.59/5.61	o 137
5.59/5.62	o 138
5.88/5.98	o 140
5.88/5.98	o 141
5.88/5.98	o 142
5.88/5.99	o 144
6.28/6.32	o 146
6.28/6.32	o 147
6.28/6.32	o 148
6.28/6.33	o 149
6.28/6.35	o 151
6.28/6.35	o 152
6.28/6.35	o 153
6.38/6.40	o 154
6.69/6.72	o 158
6.69/6.72	o 159
6.69/6.74	o 160
6.69/6.78	o 163
6.78/6.81	o 164
7.19/7.27	o 166
7.19/7.27	o 167
7.19/7.27	o 168
7.19/7.28	o 170
7.19/7.28	o 171
7.19/7.28	o 172
7.19/7.29	o 173
7.19/7.29	o 174
7.28/7.39	o 176
7.28/7.39	o 177
7.38/7.46	o 178
7.48/7.58	o 179
7.58/7.60	o 180
7.99/8.01	o 182
7.99/8.02	o 183
7.99/8.02	o 184
7.99/8.03	o 185
7.99/8.03	o 186
7.99/8.04	o 187
7.99/8.04	o 188
8.28/8.36	o 192
8.28/8.37	o 193
8.28/8.38	o 194
8.28/8.38	o 196
8.28/8.39	o 197
8.28/8.39	o 198
8.38/8.40	o 199
8.38/8.41	o 200
8.38/8.41	o 201
8.38/8.41	o 202
10.79/10.85	o 204
10.79/10.87	o 205
10.79/10.88	o 206
10.79/10.89	o 207
10.79/10.89	o 208
10.79/10.89	o 209
10.79/10.90	o 210
10.99/11.01	o 211
10.99/11.01	o 212
11.59/11.69	o 213
11.59/11.69	o 214
11.68/11.70	o 215
11.68/11.70	o 216
11.68/11.70	o 217
13.48/13.55	o 218
13.68/13.70	o 219
13.88/13.96	o 220
13.98/14.07	o 221
15.38/15.46	o 225
15.48/15.58	o 227
15.68/15.70	o 228
15.78/15.81	o 229
17.18/17.28	o 230
17.38/17.42	o 231
19.08/19.17	o 232
19.18/19.29	o 233
19.38/19.40	o 234
19.48/19.52	o 235
19.58/19.65	o 236
19.68/19.77	o 237
20.57/20.69	o 238
20.77/20.84	o 239
20.88/20.98	o 240
21.88/21.90	o 243
21.98/22.03	o 244
22.08/22.17	o 245
22.38/22.43	o 246
23.68/23.76	o 247
23.78/23.89	o 248
23.98/24.00	o 249
25.67/25.78	o 258
26.87/26.96	o 268
27.27/27.31	o 269
29.48/29.57	o 306
30.68/30.71	o 314
31.17/31.22	o 315
31.37/31.40	o 316
31.47/31.57	o 317
33.08/33.19	o 322
34.18/34.29	o 323
37.27/37.39	o 324
38.17/38.26	o 325
40.07/40.11	o 399
40.07/40.13	o 400
40.07/40.14	o 401
40.07/40.16	o 402
42.17/42.28	o 404
42.37/42.42	o 405
43.87/43.93	o 406
47.16/47.20	o 418
47.16/47.25	o 419
47.66/47.73	o 420
48.76/48.80	o 421
48.86/48.96	o 422
49.66/49.77	o 423
51.96/52.02	o 424
52.06/52.16	o 425
53.26/53.39	o 426
53.46/53.52	o 427
53.56/53.66	o 428
54.76/54.80	o 431
54.86/54.93	o 432
54.96/55.05	o 433
56.65/56.72	o 445
56.65/56.78	o 446
60.56/60.69	o 461
60.95/61.07	o 463
60.95/61.08	o 464
62.54/62.68	o 465
64.04/64.12	o 476
64.15/64.21	o 477
64.55/64.66	o 478
64.55/64.67	o 479
64.55/64.67	o 480
64.86/64.97	o 481
66.65/66.71	o 482
66.85/66.95	o 483
70.35/70.43	o 484
70.35/70.46	o 485
72.14/72.22	o 488
72.24/72.36	o 489
72.44/72.51	o 490
74.14/74.24	o 491
75.84/75.91	o 499
76.24/76.37	o 500
76.34/76.43	o 501
76.44/76.51	o 502
77.04/77.14	o 503
79.44/79.50	o 515
79.44/79.53	o 516
79.44/79.53	o 517
83.63/83.78	o 519
87.53/87.67	o 520
87.53/87.67	o 521
87.53/87.69	o 522
87.63/87.70	o 523
87.63/87.76	o 524
87.83/87.91	o 525
99.52/99.63	o 526
99.62/99.73	o 527
103.01/103.11	o 528
104.61/104.72	o 531
104.81/104.91	o 532
108.10/108.23	o 547
108.30/108.47	o 548
108.40/108.56	o 549
109.91/110.02	o 550
110.10/110.24	o 551
111.69/111.81	o 552
113.69/113.81	o 557
115.79/115.91	o 559
118.09/118.26	o 586
119.09/119.25	o 587
121.49/121.69	o 593
121.78/121.96	o 594
124.49/124.61	o 607
124.89/125.01	o 608
125.39/125.55	o 609
125.49/125.62	o 610
127.59/127.74	o 613
127.89/128.07	o 614
128.29/128.48	o 615
129.89/130.09	o 622
130.38/130.52	o 623
130.48/130.69	o 624
133.97/134.18	o 640
134.37/134.55	o 641
134.37/134.55	o 642
150.96/151.14	o 643
152.85/153.01	o 644
156.45/156.60	o 646
159.85/160.10	o 658
163.14/163.33	o 659
163.24/163.41	o 660
170.04/170.26	o 676
170.54/170.76	o 677
171.14/171.33	o 679
171.73/171.96	o 683
172.13/172.34	o 684
172.73/172.94	o 685
172.73/172.97	o 686
172.83/173.00	o 687
172.83/173.03	o 688
175.23/175.44	o 692
175.23/175.48	o 693
175.33/175.54	o 694
175.43/175.61	o 698
175.84/176.02	o 699
178.93/179.12	o 701
179.63/179.89	o 702
191.81/192.04	o 703
202.00/202.27	o 704
203.20/203.47	o 705
204.00/204.22	o 710
206.40/206.64	o 712
207.70/207.93	o 713
207.80/208.06	o 714
212.39/212.64	o 716
212.89/213.16	o 717
212.99/213.21	o 718
213.29/213.57	o 719
221.99/222.22	o 720
222.38/222.63	o 721
222.38/222.64	o 722
225.18/225.44	o 738
225.68/225.92	o 740
228.68/228.94	o 743
232.67/232.93	o 745
233.37/233.63	o 747
235.27/235.52	o 750
238.37/238.64	o 753
239.16/239.43	o 755
252.34/252.67	o 756
262.93/263.21	o 757
263.03/263.34	o 758
265.94/266.30	o 760
270.63/270.99	o 761
274.42/274.77	o 764
277.92/278.21	o 765
280.32/280.65	o 766
280.42/280.75	o 768
280.52/280.84	o 769
280.82/281.16	o 770
290.71/291.00	o 773
290.71/291.01	o 774
290.81/291.11	o 775
290.91/291.27	o 776
327.28/327.67	o 777
328.18/328.52	o 781
328.18/328.57	o 782
328.28/328.67	o 783
329.98/330.30	o 784
332.48/332.88	o 785
332.58/332.93	o 786
333.48/333.84	o 789
333.78/334.12	o 790
334.58/334.92	o 791
339.37/339.79	o 795
341.27/341.67	o 796
342.37/342.78	o 801
345.67/346.02	o 802
345.67/346.04	o 803
351.57/351.92	o 804
351.57/351.97	o 805
351.57/351.98	o 806
351.77/352.15	o 807
356.27/356.64	o 809
377.95/378.37	o 811
382.95/383.32	o 812
386.55/386.92	o 813
389.35/389.77	o 829
393.74/394.11	o 834
394.04/394.43	o 835
396.64/397.04	o 839
397.54/397.93	o 840
401.64/402.05	o 841
406.04/406.47	o 842
408.24/408.60	o 843
408.73/409.11	o 844
408.84/409.21	o 846
408.84/409.27	o 847
411.93/412.34	o 848
456.71/457.15	o 849
526.48/526.99	o 850
541.56/542.06	o 851
541.66/542.12	o 852
547.86/548.36	o 854
557.65/558.19	o 855
670.00/670.58	o 856
689.19/689.78	o 857
689.19/689.80	o 858
699.68/700.26	o 859
713.67/714.28	o 862
717.37/717.95	o 863
720.87/721.43	o 864
720.97/721.58	o 865
740.36/740.91	o 866
742.06/742.60	o 867
839.82/840.46	o 868
918.98/919.68	o 871
1020.22/1020.93	o 872
1030.81/1031.55	o 873
1046.80/1047.59	o 876
1053.30/1054.07	o 878
1094.57/1095.35	o 879
1141.65/1142.49	o 880
1146.35/1147.18	o 881
1155.45/1156.20	o 884
1161.44/1162.27	o 885
1162.44/1163.25	o 886
1167.33/1168.10	o 887
1182.23/1183.07	o 888
1348.86/1349.73	o 891
1356.35/1357.28	o 892
1358.76/1359.63	o 896
1377.64/1378.53	o 897
1466.60/1467.52	o 898
1466.89/1467.89	o 899
1467.39/1468.33	o 900
1622.40/1623.48	o 901
1726.74/1727.81	o 902
1738.44/1739.51	o 903
1886.16/1887.32	o 904
2042.90/2044.14	o 905
2056.39/2057.63	o 907
2059.79/2061.04	o 908
2065.59/2066.85	o 910
2331.46/2332.88	o 911
2400.04/2401.40	s SATISFIABLE
2400.04/2401.40	v <instantiation type="solution">
2400.04/2401.40	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>
2400.04/2401.40	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>
2400.04/2401.40	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-4239985-1500637683/watcher-4239985-1500637683 -o /tmp/evaluation-result-4239985-1500637683/solver-4239985-1500637683 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500623787-2245 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1723416678 HOME/instance-4239985-1500637683.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 4268
/proc/meminfo: memFree=31524984/32770624 swapFree=6244/342192
[pid=4268] ppid=4265 vsize=28800 CPUtime=0 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 931 0 0 0 0 0 0 0 20 0 1 0 17045693 29491200 764 33554432000 4194304 7402444 140735577593824 140735577590872 140484484563948 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 7200 764 593 784 0 214 0

[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 4268
/proc/meminfo: memFree=31524984/32770624 swapFree=6244/342192
[pid=4268] ppid=4265 vsize=47252 CPUtime=0.09 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 5667 0 0 0 8 1 0 0 20 0 1 0 17045693 48386048 5404 33554432000 4194304 7402444 140735577593824 140735577587064 6138151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 11813 5404 657 784 0 4827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47252

[startup+0.200402 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 4268
/proc/meminfo: memFree=31524984/32770624 swapFree=6244/342192
[pid=4268] ppid=4265 vsize=105016 CPUtime=0.19 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 20117 0 0 0 16 3 0 0 20 0 1 0 17045693 107536384 19858 33554432000 4194304 7402444 140735577593824 140735577585160 140484484103141 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 26254 19858 663 784 0 19268 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 105016

[startup+0.30036 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 4268
/proc/meminfo: memFree=31524984/32770624 swapFree=6244/342192
[pid=4268] ppid=4265 vsize=184708 CPUtime=0.29 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 40031 0 0 0 24 5 0 0 20 0 1 0 17045693 189140992 39790 33554432000 4194304 7402444 140735577593824 140735577584984 140484484103141 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 46177 39790 663 784 0 39191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 184708

[startup+0.700293 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 4268
/proc/meminfo: memFree=31524984/32770624 swapFree=6244/342192
[pid=4268] ppid=4265 vsize=468624 CPUtime=0.69 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 111078 0 0 0 56 13 0 0 20 0 1 0 17045693 479870976 110806 33554432000 4194304 7402444 140735577593824 140735577584504 6047776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 117156 110806 712 784 0 110170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 468624

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31079252/32770624 swapFree=6244/342180
[pid=4268] ppid=4265 vsize=478692 CPUtime=1.48 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 113616 0 0 0 135 13 0 0 20 0 1 0 17045693 490180608 113392 33554432000 4194304 7402444 140735577593824 140735577588840 5327250 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 119673 113392 787 784 0 112687 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 478692

[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31072616/32770624 swapFree=6244/342180
[pid=4268] ppid=4265 vsize=479628 CPUtime=3.08 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 180761 0 0 0 292 16 0 0 20 0 1 0 17045693 491139072 113697 33554432000 4194304 7402444 140735577593824 140735577588840 5753930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 119907 113697 792 784 0 112921 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 479628

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31070708/32770624 swapFree=6244/342188
[pid=4268] ppid=4265 vsize=481212 CPUtime=6.28 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 287634 0 0 0 607 21 0 0 20 0 1 0 17045693 492761088 114083 33554432000 4194304 7402444 140735577593824 140735577588360 4464640 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 120303 114083 792 784 0 113317 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 481212

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31068616/32770624 swapFree=6244/342196
[pid=4268] ppid=4265 vsize=482556 CPUtime=12.69 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 382503 0 0 0 1242 27 0 0 20 0 1 0 17045693 494137344 114437 33554432000 4194304 7402444 140735577593824 140735577588840 4484551 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 120639 114437 793 784 0 113653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 482556

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31068120/32770624 swapFree=6244/342212
[pid=4268] ppid=4265 vsize=483252 CPUtime=25.48 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 463189 0 0 0 2517 31 0 0 20 0 1 0 17045693 494850048 114587 33554432000 4194304 7402444 140735577593824 140735577588840 4709390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 120813 114587 793 784 0 113827 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 483252

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4269
/proc/meminfo: memFree=31066780/32770624 swapFree=6244/342244
[pid=4268] ppid=4265 vsize=484340 CPUtime=51.06 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 575260 0 0 0 5070 36 0 0 20 0 1 0 17045693 495964160 114868 33554432000 4194304 7402444 140735577593824 140735577588840 5753939 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121085 114868 794 784 0 114099 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 484340

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4270
/proc/meminfo: memFree=31065100/32770624 swapFree=6244/342324
[pid=4268] ppid=4265 vsize=484900 CPUtime=102.21 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 670250 0 0 0 10179 42 0 0 20 0 1 0 17045693 496537600 115004 33554432000 4194304 7402444 140735577593824 140735577588840 4484602 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121225 115004 794 784 0 114239 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 484900

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4278
/proc/meminfo: memFree=31064708/32770624 swapFree=6244/342412
[pid=4268] ppid=4265 vsize=485300 CPUtime=162.15 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 722259 0 0 0 16170 45 0 0 20 0 1 0 17045693 496947200 115097 33554432000 4194304 7402444 140735577593824 140735577588840 5750759 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121325 115097 794 784 0 114339 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 485300

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4279
/proc/meminfo: memFree=31063944/32770624 swapFree=6244/342476
[pid=4268] ppid=4265 vsize=485432 CPUtime=222.09 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 752697 0 0 0 22162 47 0 0 20 0 1 0 17045693 497082368 115133 33554432000 4194304 7402444 140735577593824 140735577588840 4466636 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121358 115133 794 784 0 114372 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 485432

[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4280
/proc/meminfo: memFree=31064700/32770624 swapFree=6244/342540
[pid=4268] ppid=4265 vsize=485568 CPUtime=282.01 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 764470 0 0 0 28154 47 0 0 20 0 1 0 17045693 497221632 115164 33554432000 4194304 7402444 140735577593824 140735577588840 4484648 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121392 115164 794 784 0 114406 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 485568

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 4281
/proc/meminfo: memFree=31064588/32770624 swapFree=6244/342600
[pid=4268] ppid=4265 vsize=485568 CPUtime=341.97 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 765946 0 0 0 34149 48 0 0 20 0 1 0 17045693 497221632 115191 33554432000 4194304 7402444 140735577593824 140735577588840 5753939 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121392 115191 794 784 0 114406 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 485568

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4282
/proc/meminfo: memFree=31064592/32770624 swapFree=6244/342668
[pid=4268] ppid=4265 vsize=485700 CPUtime=401.94 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 767013 0 0 0 40146 48 0 0 20 0 1 0 17045693 497356800 115206 33554432000 4194304 7402444 140735577593824 140735577588840 4484644 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121425 115206 794 784 0 114439 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 485700

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4284
/proc/meminfo: memFree=31064584/32770624 swapFree=6244/342720
[pid=4268] ppid=4265 vsize=485832 CPUtime=461.91 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 768097 0 0 0 46143 48 0 0 20 0 1 0 17045693 497491968 115232 33554432000 4194304 7402444 140735577593824 140735577588168 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121458 115232 794 784 0 114472 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 485832

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4285
/proc/meminfo: memFree=31064588/32770624 swapFree=6244/342744
[pid=4268] ppid=4265 vsize=485832 CPUtime=521.87 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 769185 0 0 0 52139 48 0 0 20 0 1 0 17045693 497491968 115247 33554432000 4194304 7402444 140735577593824 140735577588168 4484544 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121458 115247 794 784 0 114472 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 485832

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4286
/proc/meminfo: memFree=31064708/32770624 swapFree=6244/342792
[pid=4268] ppid=4265 vsize=485964 CPUtime=581.84 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 770243 0 0 0 58136 48 0 0 20 0 1 0 17045693 497627136 115260 33554432000 4194304 7402444 140735577593824 140735577588840 4484763 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121491 115260 794 784 0 114505 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 485964


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4340
/proc/meminfo: memFree=31063868/32770624 swapFree=6244/343432
[pid=4268] ppid=4265 vsize=486228 CPUtime=1481.38 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 787398 0 0 0 148088 50 0 0 20 0 1 0 17045693 497897472 115331 33554432000 4194304 7402444 140735577593824 140735577588840 5327171 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115331 794 784 0 114571 0
Current children cumulated CPU time (s) 1481.38
Current children cumulated vsize (KiB) 486228

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4341
/proc/meminfo: memFree=31063988/32770624 swapFree=6244/343468
[pid=4268] ppid=4265 vsize=486228 CPUtime=1541.35 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 788603 0 0 0 154085 50 0 0 20 0 1 0 17045693 497897472 115331 33554432000 4194304 7402444 140735577593824 140735577588840 4484611 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115331 794 784 0 114571 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 486228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4342
/proc/meminfo: memFree=31063776/32770624 swapFree=6244/343496
[pid=4268] ppid=4265 vsize=486228 CPUtime=1601.32 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 789466 0 0 0 160082 50 0 0 20 0 1 0 17045693 497897472 115332 33554432000 4194304 7402444 140735577593824 140735577588840 5753955 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115332 794 784 0 114571 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 486228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4343
/proc/meminfo: memFree=31063956/32770624 swapFree=6244/343536
[pid=4268] ppid=4265 vsize=486228 CPUtime=1661.28 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 790915 0 0 0 166078 50 0 0 20 0 1 0 17045693 497897472 115332 33554432000 4194304 7402444 140735577593824 140735577588840 5327336 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115332 794 784 0 114571 0
Current children cumulated CPU time (s) 1661.28
Current children cumulated vsize (KiB) 486228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4344
/proc/meminfo: memFree=31063872/32770624 swapFree=6244/343564
[pid=4268] ppid=4265 vsize=486228 CPUtime=1721.25 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 792066 0 0 0 172075 50 0 0 20 0 1 0 17045693 497897472 115332 33554432000 4194304 7402444 140735577593824 140735577588840 4466783 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115332 794 784 0 114571 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 486228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4345
/proc/meminfo: memFree=31063284/32770624 swapFree=6244/343608
[pid=4268] ppid=4265 vsize=486228 CPUtime=1781.21 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 793177 0 0 0 178071 50 0 0 20 0 1 0 17045693 497897472 115333 33554432000 4194304 7402444 140735577593824 140735577588840 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115333 794 784 0 114571 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 486228

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4593
/proc/meminfo: memFree=30995416/32770624 swapFree=6244/343748
[pid=4268] ppid=4265 vsize=486228 CPUtime=1841.18 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 794349 0 0 0 184068 50 0 0 20 0 1 0 17045693 497897472 115333 33554432000 4194304 7402444 140735577593824 140735577588840 4484776 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115333 794 784 0 114571 0
Current children cumulated CPU time (s) 1841.18
Current children cumulated vsize (KiB) 486228

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4594
/proc/meminfo: memFree=30995424/32770624 swapFree=6244/343824
[pid=4268] ppid=4265 vsize=486228 CPUtime=1901.15 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 795529 0 0 0 190065 50 0 0 20 0 1 0 17045693 497897472 115334 33554432000 4194304 7402444 140735577593824 140735577588840 5753955 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115334 794 784 0 114571 0
Current children cumulated CPU time (s) 1901.15
Current children cumulated vsize (KiB) 486228

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4603
/proc/meminfo: memFree=30986960/32770624 swapFree=6244/343864
[pid=4268] ppid=4265 vsize=486228 CPUtime=1961.12 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 796449 0 0 0 196062 50 0 0 20 0 1 0 17045693 497897472 115334 33554432000 4194304 7402444 140735577593824 140735577588840 5696256 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115334 794 784 0 114571 0
Current children cumulated CPU time (s) 1961.12
Current children cumulated vsize (KiB) 486228

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4604
/proc/meminfo: memFree=30986744/32770624 swapFree=6244/343892
[pid=4268] ppid=4265 vsize=486228 CPUtime=2021.1 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 797319 0 0 0 202060 50 0 0 20 0 1 0 17045693 497897472 115335 33554432000 4194304 7402444 140735577593824 140735577588840 4484544 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115335 794 784 0 114571 0
Current children cumulated CPU time (s) 2021.1
Current children cumulated vsize (KiB) 486228

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 4605
/proc/meminfo: memFree=30986632/32770624 swapFree=6244/343940
[pid=4268] ppid=4265 vsize=486228 CPUtime=2081.08 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 798843 0 0 0 208057 51 0 0 20 0 1 0 17045693 497897472 115335 33554432000 4194304 7402444 140735577593824 140735577588840 5753947 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115335 794 784 0 114571 0
Current children cumulated CPU time (s) 2081.08
Current children cumulated vsize (KiB) 486228

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 4606
/proc/meminfo: memFree=30985724/32770624 swapFree=6244/343984
[pid=4268] ppid=4265 vsize=486228 CPUtime=2141.05 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 800130 0 0 0 214054 51 0 0 20 0 1 0 17045693 497897472 115336 33554432000 4194304 7402444 140735577593824 140735577588840 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115336 794 784 0 114571 0
Current children cumulated CPU time (s) 2141.05
Current children cumulated vsize (KiB) 486228

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4607
/proc/meminfo: memFree=30985360/32770624 swapFree=6244/344024
[pid=4268] ppid=4265 vsize=486228 CPUtime=2201.03 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 801037 0 0 0 220052 51 0 0 20 0 1 0 17045693 497897472 115337 33554432000 4194304 7402444 140735577593824 140735577588840 4748116 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115337 794 784 0 114571 0
Current children cumulated CPU time (s) 2201.03
Current children cumulated vsize (KiB) 486228

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4609
/proc/meminfo: memFree=30985640/32770624 swapFree=6244/344056
[pid=4268] ppid=4265 vsize=486228 CPUtime=2261 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 802319 0 0 0 226049 51 0 0 20 0 1 0 17045693 497897472 115337 33554432000 4194304 7402444 140735577593824 140735577588840 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115337 794 784 0 114571 0
Current children cumulated CPU time (s) 2261
Current children cumulated vsize (KiB) 486228

[startup+2322.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 4610
/proc/meminfo: memFree=30985804/32770624 swapFree=6244/344088
[pid=4268] ppid=4265 vsize=486228 CPUtime=2320.97 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 803585 0 0 0 232046 51 0 0 20 0 1 0 17045693 497897472 115337 33554432000 4194304 7402444 140735577593824 140735577588840 4484528 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115337 794 784 0 114571 0
Current children cumulated CPU time (s) 2320.97
Current children cumulated vsize (KiB) 486228

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 4611
/proc/meminfo: memFree=30985964/32770624 swapFree=6244/344124
[pid=4268] ppid=4265 vsize=486228 CPUtime=2380.94 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 804477 0 0 0 238043 51 0 0 20 0 1 0 17045693 497897472 115338 33554432000 4194304 7402444 140735577593824 140735577588840 4712981 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115338 794 784 0 114571 0
Current children cumulated CPU time (s) 2380.94
Current children cumulated vsize (KiB) 486228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.41 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 4612
/proc/meminfo: memFree=30986180/32770624 swapFree=6244/344144
[pid=4268] ppid=4265 vsize=486228 CPUtime=2400.04 cores=1,3,5,7
/proc/4268/stat : 4268 (MistralXCSP) R 4265 4268 2213 0 -1 4202496 804751 0 0 0 239953 51 0 0 20 0 1 0 17045693 497897472 115338 33554432000 4194304 7402444 140735577593824 140735577588840 4484665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 34467840 140735577597096 140735577597246 140735577597246 140735577599945 0
/proc/4268/statm: 121557 115338 794 784 0 114571 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 486228

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

Child status: 0
Real time (s): 2401.41
CPU time (s): 2400.05
CPU user time (s): 2399.53
CPU system time (s): 0.518737
CPU usage (%): 99.9434
Max. virtual memory (cumulated for all children) (KiB): 486228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.53
system time used= 0.518737
maximum resident set size= 461376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804789
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= 209
involuntary context switches= 120749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72185 second user time and 9.88731 second system time

The end

Launcher Data 

Begin job on node123 at 2017-07-21 13:48:03
IDJOB=4239985
IDBENCH=115917
IDSOLVER=2622
FILE ID=node123/4239985-1500637683
RUNJOBID= node123-1500623787-2245
PBS_JOBID= 20623010
Free space on /tmp= 62016 MiB

SOLVER NAME= Mistral-2.0 2017-06-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-4239985-1500637683/watcher-4239985-1500637683 -o /tmp/evaluation-result-4239985-1500637683/solver-4239985-1500637683 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500623787-2245 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1723416678 HOME/instance-4239985-1500637683.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1723416678

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

/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		: 1600.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.46
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		: 2133.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		: 1600.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.46
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		: 1733.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.46
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		: 1600.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		: 1600.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.46
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		: 2133.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:        31525356 kB
MemAvailable:   31961252 kB
Buffers:          159400 kB
Cached:           557104 kB
SwapCached:            0 kB
Active:           476208 kB
Inactive:         351252 kB
Active(anon):     113432 kB
Inactive(anon):     8800 kB
Active(file):     362776 kB
Inactive(file):   342452 kB
Unevictable:        6244 kB
Mlocked:            6244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5900 kB
Writeback:             0 kB
AnonPages:        140716 kB
Mapped:            34284 kB
Shmem:              8848 kB
Slab:             118152 kB
SReclaimable:      93004 kB
SUnreclaim:        25148 kB
KernelStack:        3536 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     382460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62012 MiB
End job on node123 at 2017-07-21 14:28:05