Trace number 4261198

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2017-07-28SAT (TO)941 2519.6799 2520

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark941
Best CPU time to get the best result obtained on this benchmark2519.6799
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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.08	c 280717
1.30/1.47	o 0
1.30/1.47	o 3
1.30/1.47	o 4
1.30/1.48	o 6
1.30/1.48	o 7
1.30/1.48	o 8
1.30/1.49	o 9
1.30/1.49	o 10
1.30/1.49	o 11
1.40/1.50	o 12
1.70/1.84	o 15
1.70/1.85	o 16
1.70/1.85	o 17
1.70/1.85	o 18
2.11/2.22	o 19
2.11/2.22	o 20
2.11/2.22	o 21
2.40/2.57	o 23
2.40/2.58	o 24
2.40/2.58	o 25
2.50/2.60	o 26
2.50/2.60	o 27
2.50/2.61	o 28
2.50/2.61	o 29
2.50/2.61	o 30
2.50/2.63	o 31
2.81/2.99	o 35
2.81/2.99	o 36
2.91/3.00	o 37
2.91/3.02	o 39
2.91/3.02	o 40
3.21/3.36	o 45
3.21/3.37	o 47
3.21/3.38	o 48
3.60/3.74	o 49
3.60/3.74	o 50
3.60/3.74	o 51
3.60/3.75	o 52
3.60/3.76	o 53
3.60/3.76	o 54
3.60/3.78	o 56
3.60/3.78	o 57
3.71/3.80	o 58
3.71/3.81	o 59
3.71/3.81	o 60
4.01/4.17	o 61
4.01/4.17	o 62
4.01/4.17	o 63
4.01/4.17	o 64
4.01/4.18	o 69
4.11/4.21	o 73
4.11/4.25	o 74
4.60/4.70	o 77
4.60/4.70	o 78
4.60/4.71	o 82
4.60/4.72	o 85
4.60/4.72	o 86
4.90/5.08	o 87
5.00/5.11	o 89
5.00/5.11	o 90
5.00/5.11	o 91
5.30/5.47	o 93
5.30/5.47	o 94
5.30/5.48	o 95
5.30/5.49	o 97
5.30/5.49	o 98
5.41/5.50	o 99
5.41/5.55	o 101
5.80/5.92	o 103
5.80/5.92	o 104
5.80/5.92	o 105
5.80/5.93	o 106
5.80/5.93	o 107
5.80/5.96	o 108
5.80/5.96	o 109
6.40/6.52	o 111
6.40/6.54	o 112
6.40/6.55	o 113
8.41/8.54	o 117
8.41/8.55	o 118
8.41/8.55	o 119
8.41/8.59	o 120
8.51/8.66	o 121
8.91/9.03	o 122
8.91/9.03	o 123
8.91/9.03	o 124
8.91/9.05	o 125
9.30/9.41	o 128
9.30/9.42	o 129
9.30/9.42	o 130
9.30/9.42	o 131
9.30/9.43	o 132
9.30/9.43	o 133
9.30/9.43	o 134
9.30/9.44	o 135
9.30/9.45	o 136
9.30/9.45	o 137
9.30/9.46	o 138
9.30/9.46	o 139
9.60/9.73	o 141
9.60/9.73	o 142
9.60/9.73	o 143
9.60/9.74	o 144
9.60/9.75	o 145
9.60/9.75	o 146
9.60/9.76	o 147
10.21/10.37	o 150
10.41/10.56	o 151
11.71/11.83	o 157
11.81/11.93	o 159
12.20/12.32	o 161
12.30/12.40	o 162
12.30/12.48	o 163
12.40/12.57	o 164
12.50/12.65	o 165
12.60/12.73	o 166
12.70/12.81	o 167
12.91/13.09	o 168
13.01/13.17	o 169
13.31/13.44	o 170
14.41/14.51	o 178
14.80/14.91	o 181
16.30/16.44	o 194
16.30/16.45	o 195
16.30/16.46	o 196
17.00/17.15	o 197
17.00/17.15	o 198
20.11/20.24	o 203
20.11/20.26	o 204
20.11/20.26	o 205
20.11/20.27	o 206
20.60/20.70	o 207
20.60/20.73	o 209
20.60/20.73	o 210
24.01/24.14	o 213
24.01/24.20	o 214
26.31/26.46	o 218
26.61/26.79	o 219
26.61/26.79	o 220
27.21/27.31	o 221
28.30/28.43	o 223
28.40/28.58	o 224
28.61/28.74	o 225
30.20/30.36	o 226
30.30/30.48	o 227
30.50/30.61	o 228
30.60/30.72	o 229
30.70/30.84	o 230
30.80/30.95	o 231
31.10/31.21	o 232
31.20/31.33	o 233
31.30/31.44	o 234
33.70/33.88	o 236
33.80/33.95	o 240
34.61/34.75	o 241
36.91/37.04	o 259
37.11/37.23	o 260
37.11/37.23	o 261
37.11/37.28	o 263
37.61/37.76	o 264
37.81/37.90	o 265
37.81/37.90	o 266
37.81/37.91	o 267
41.00/41.19	o 268
41.10/41.24	o 269
46.50/46.64	o 272
48.00/48.12	o 273
48.00/48.17	o 274
48.10/48.25	o 275
48.50/48.63	o 276
48.50/48.63	o 277
48.50/48.63	o 278
48.50/48.64	o 279
48.80/48.98	o 280
50.69/50.84	o 282
51.09/51.20	o 283
51.09/51.26	o 284
51.39/51.54	o 286
51.39/51.60	o 287
51.49/51.66	o 288
55.19/55.30	o 296
55.29/55.40	o 297
55.29/55.40	o 298
55.29/55.44	o 299
55.39/55.55	o 300
56.00/56.16	o 301
57.20/57.31	o 304
57.39/57.51	o 305
59.59/59.79	o 314
62.10/62.24	o 321
62.20/62.31	o 326
62.20/62.39	o 327
66.00/66.15	o 349
66.00/66.18	o 350
66.00/66.19	o 351
70.89/71.06	o 356
71.19/71.39	o 357
73.19/73.39	o 358
73.29/73.40	o 360
73.29/73.40	o 361
73.29/73.42	o 362
73.39/73.50	o 364
73.39/73.50	o 365
73.39/73.51	o 366
75.89/76.08	o 367
76.29/76.45	o 368
76.69/76.88	o 369
77.09/77.27	o 370
77.88/78.07	o 371
80.68/80.81	o 401
80.68/80.82	o 402
80.68/80.82	o 403
80.68/80.83	o 404
80.68/80.83	o 405
80.68/80.84	o 406
81.08/81.21	o 407
81.08/81.26	o 408
81.18/81.30	o 409
81.18/81.32	o 410
81.58/81.72	o 411
81.58/81.78	o 412
81.68/81.86	o 413
81.78/81.93	o 414
85.19/85.31	o 417
85.69/85.82	o 419
91.48/91.61	o 421
91.48/91.69	o 422
95.58/95.75	o 425
97.88/98.00	o 429
99.98/100.19	o 430
103.67/103.81	o 444
103.77/103.93	o 445
103.77/103.94	o 446
104.87/105.08	o 447
106.97/107.16	o 462
112.26/112.42	o 464
114.56/114.74	o 466
115.66/115.88	o 467
115.76/115.94	o 468
116.06/116.28	o 469
120.66/120.87	o 470
123.86/124.07	o 471
123.96/124.12	o 472
128.05/128.20	o 480
128.05/128.22	o 481
130.45/130.62	o 483
130.55/130.72	o 484
132.85/133.07	o 485
132.96/133.14	o 486
134.16/134.32	o 497
134.65/134.86	o 498
137.94/138.11	o 513
140.14/140.34	o 517
140.14/140.35	o 518
140.14/140.36	o 519
140.14/140.38	o 520
140.14/140.38	o 521
148.04/148.26	o 523
148.14/148.39	o 524
148.24/148.50	o 525
148.84/149.05	o 527
148.94/149.13	o 528
151.84/152.07	o 542
154.24/154.40	o 544
156.74/156.90	o 545
157.64/157.89	o 546
157.93/158.11	o 547
158.24/158.43	o 548
159.83/160.04	o 549
159.83/160.04	o 550
163.14/163.31	o 551
164.73/164.92	o 555
165.03/165.29	o 556
174.43/174.64	o 557
178.92/179.11	o 558
181.12/181.35	o 563
183.82/184.06	o 567
186.02/186.28	o 568
186.32/186.50	o 569
186.32/186.56	o 570
186.42/186.62	o 571
186.42/186.68	o 572
189.22/189.40	o 584
189.32/189.53	o 585
189.32/189.54	o 586
192.32/192.54	o 588
192.32/192.55	o 589
194.91/195.13	o 592
196.61/196.83	o 595
196.82/197.05	o 596
196.82/197.07	o 597
198.71/198.92	o 598
201.91/202.16	o 605
209.41/209.60	o 607
209.41/209.66	o 609
209.41/209.68	o 610
209.41/209.69	o 611
214.51/214.73	o 613
236.31/236.59	o 616
237.80/238.05	o 617
242.10/242.34	o 618
242.40/242.62	o 619
244.00/244.30	o 620
248.19/248.40	o 636
250.70/250.96	o 637
250.79/251.02	o 638
250.89/251.10	o 639
257.30/257.58	o 643
262.19/262.48	o 644
271.18/271.46	o 645
271.18/271.47	o 646
271.28/271.53	o 647
276.18/276.46	o 648
280.68/280.95	o 661
284.27/284.58	o 663
291.17/291.43	o 668
291.87/292.16	o 669
297.28/297.54	o 674
297.28/297.55	o 675
297.28/297.56	o 676
297.28/297.57	o 677
300.08/300.30	o 680
302.67/302.95	o 687
308.67/308.99	o 688
311.17/311.41	o 689
311.77/312.03	o 690
337.66/337.97	o 691
337.76/338.02	o 692
340.36/340.70	o 695
341.76/342.09	o 696
343.56/343.81	o 697
343.66/343.90	o 698
343.76/344.00	o 699
343.86/344.12	o 700
349.66/349.95	o 715
349.66/349.96	o 716
354.56/354.84	o 717
354.66/354.93	o 718
354.66/354.99	o 719
354.76/355.05	o 720
368.66/368.92	o 722
399.25/399.54	o 723
403.65/403.98	o 724
403.75/404.02	o 725
404.35/404.61	o 726
404.66/404.92	o 727
404.66/404.93	o 728
404.66/404.94	o 729
406.65/406.93	o 730
406.65/406.98	o 731
406.86/407.12	o 732
412.05/412.30	o 737
412.05/412.36	o 738
418.75/419.02	o 753
420.06/420.32	o 754
420.55/420.84	o 755
425.35/425.63	o 757
428.35/428.69	o 758
431.55/431.85	o 759
434.05/434.38	o 760
436.75/437.09	o 761
437.25/437.52	o 765
437.35/437.62	o 766
442.65/442.97	o 768
444.95/445.25	o 769
459.15/459.43	o 775
459.25/459.56	o 776
459.25/459.57	o 777
459.56/459.81	o 778
471.75/472.00	o 782
476.05/476.37	o 783
479.55/479.86	o 784
479.55/479.88	o 785
483.85/484.12	o 786
491.65/491.92	o 790
496.55/496.82	o 792
498.95/499.23	o 793
509.55/509.88	o 801
519.25/519.55	o 803
542.05/542.39	o 804
542.15/542.44	o 805
542.15/542.45	o 806
550.95/551.20	o 807
551.24/551.57	o 808
556.84/557.17	o 809
556.94/557.20	o 811
556.94/557.28	o 812
556.94/557.29	o 813
557.04/557.32	o 814
561.24/561.56	o 819
569.04/569.32	o 821
571.85/572.19	o 822
579.04/579.33	o 823
585.34/585.67	o 825
586.44/586.76	o 826
596.44/596.79	o 834
599.25/599.55	o 835
599.54/599.84	o 842
601.55/601.89	o 843
611.74/612.05	o 844
611.74/612.09	o 845
613.14/613.43	o 846
613.14/613.48	o 848
613.24/613.53	o 849
613.55/613.85	o 850
613.94/614.20	o 851
614.14/614.46	o 852
614.24/614.53	o 853
621.04/621.33	o 854
621.04/621.35	o 855
621.04/621.37	o 856
621.04/621.39	o 857
622.14/622.46	o 858
622.64/622.93	o 859
622.94/623.23	o 860
626.04/626.34	o 861
626.14/626.45	o 862
628.04/628.35	o 863
629.05/629.35	o 864
664.04/664.31	o 871
666.74/667.01	o 877
677.44/677.75	o 879
685.64/685.95	o 881
706.74/707.00	o 882
710.44/710.79	o 883
710.54/710.81	o 884
710.54/710.87	o 886
710.54/710.87	o 887
721.84/722.18	o 888
757.74/758.02	o 889
757.83/758.12	o 890
821.93/822.27	o 891
827.13/827.49	o 892
827.23/827.51	o 893
827.23/827.54	o 894
829.63/829.94	o 897
830.83/831.11	o 898
842.63/842.93	o 899
842.63/842.94	o 900
847.63/847.93	o 901
865.73/866.07	o 907
874.24/874.54	o 908
890.04/890.35	o 909
936.43/936.78	o 910
963.53/963.80	o 911
1022.63/1022.91	o 912
1022.63/1022.95	o 913
1031.33/1031.61	o 916
1051.23/1051.51	o 917
1054.43/1054.76	o 918
1116.93/1117.21	o 919
1116.93/1117.23	o 920
1134.42/1134.78	o 921
1138.02/1138.39	o 922
1161.33/1161.63	o 923
1167.32/1167.63	o 925
1167.42/1167.70	o 926
1167.42/1167.72	o 927
1209.32/1209.61	o 928
1209.32/1209.62	o 929
1215.52/1215.82	o 930
1254.52/1254.89	o 931
1255.12/1255.47	o 932
1256.42/1256.78	o 933
1327.01/1327.34	o 934
1519.61/1519.91	o 935
1591.61/1591.97	o 936
1860.39/1860.78	o 937
1861.29/1861.69	o 938
1950.49/1950.85	o 939
2265.78/2266.13	o 940
2506.27/2506.66	o 941
2519.67/2520.00	s SATISFIABLE
2519.67/2520.00	v <instantiation type="solution">
2519.67/2520.00	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] 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[0][45] 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[1][45] 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[2][45] 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[3][45] 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[4][45] 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[5][45] 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[6][45] 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[7][45] 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[8][45] 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[9][45] 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[10][45] 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[11][45] 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[12][45] 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[13][45] 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[14][45] 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[15][45] 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[16][45] 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[17][45] 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[18][45] 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[19][45] 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[20][45] 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[21][45] 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[22][45] 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[23][45] 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[24][45] 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[25][45] 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[26][45] 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[27][45] 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[28][45] 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[29][45] 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[30][45] 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[31][45] 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[32][45] 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[33][45] 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[34][45] 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[35][45] 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[36][45] 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[37][45] 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[38][45] 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[39][45] 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[40][45] 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[41][45] 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[42][45] 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[43][45] 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] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] 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] ws[45] z </list>
2519.67/2520.00	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 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 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 1 1 2 1 1 1 1 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 1 0 0 1 0 0 0 0 1 1 2 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 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 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 0 0 0 0 0 0 2 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 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 1 0 1 2 1 1 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 1 0 1 1 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 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 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 2 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 2 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 1 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 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 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 0 0 0 0 0 1 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 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 1 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 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 24 40 48 56 61 66 71 73 81 93 98 101 103 106 112 119 123 130 136 141 146 154 161 165 169 175 181 188 195 199 207 211 215 220 226 235 237 241 242 244 245 249 260 262 266 284 941 </values>
2519.67/2520.00	v </instantiation>

Verifier Data 

OK	941

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-4261198-1502340670/watcher-4261198-1502340670 -o /tmp/evaluation-result-4261198-1502340670/solver-4261198-1502340670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1447160414 HOME/instance-4261198-1502340670.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.04 2.05 3/180 27727
/proc/meminfo: memFree=31689440/32770624 swapFree=0/358428
[pid=27727] ppid=27724 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27727/stat : 27727 (runsolver) D 27724 27727 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 22407734 24240128 105 18446744073709551615 4194304 4338465 140727132015488 140727132013128 140415287734999 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10518528 140727132016779 140727132017226 140727132017226 140727132020682 0
/proc/27727/statm: 5918 105 52 36 0 2156 0

[startup+0.100396 s]
/proc/loadavg: 2.04 2.04 2.05 3/180 27727
/proc/meminfo: memFree=31689440/32770624 swapFree=0/358428
[pid=27727] ppid=27724 vsize=30824 CPUtime=0.01 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 1451 0 0 0 1 0 0 0 20 0 1 0 22407734 31563776 1272 18446744073709551615 4194304 7396336 140730048569872 140730048561784 139889627292414 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 7706 1272 608 782 0 722 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30824

[startup+0.200401 s]
/proc/loadavg: 2.04 2.04 2.05 3/180 27727
/proc/meminfo: memFree=31689440/32770624 swapFree=0/358428
[pid=27727] ppid=27724 vsize=67532 CPUtime=0.11 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 10725 0 0 0 10 1 0 0 20 0 1 0 22407734 69152768 10422 18446744073709551615 4194304 7396336 140730048569872 140730048561368 4253136 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 16883 10422 647 782 0 9899 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 67532

[startup+0.300398 s]
/proc/loadavg: 2.04 2.04 2.05 3/180 27727
/proc/meminfo: memFree=31689440/32770624 swapFree=0/358428
[pid=27727] ppid=27724 vsize=146388 CPUtime=0.21 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 30423 0 0 0 18 3 0 0 20 0 1 0 22407734 149901312 30156 18446744073709551615 4194304 7396336 140730048569872 140730048560952 5790856 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 36597 30156 647 782 0 29613 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 146388

[startup+0.700346 s]
/proc/loadavg: 2.04 2.04 2.05 3/180 27727
/proc/meminfo: memFree=31689440/32770624 swapFree=0/358428
[pid=27727] ppid=27724 vsize=459480 CPUtime=0.6 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 108706 0 0 0 47 13 0 0 20 0 1 0 22407734 470507520 108432 18446744073709551615 4194304 7396336 140730048569872 140730048561208 139889626593184 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 114870 108432 647 782 0 107886 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 459480

[startup+1.50033 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 27728
/proc/meminfo: memFree=31225624/32770624 swapFree=0/358392
[pid=27727] ppid=27724 vsize=499724 CPUtime=1.4 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 118823 0 0 0 126 14 0 0 20 0 1 0 22407734 511717376 118619 18446744073709551615 4194304 7396336 140730048569872 140730048564392 5575527 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 124931 118619 784 782 0 117947 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 499724

[startup+3.10029 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 27728
/proc/meminfo: memFree=31215396/32770624 swapFree=0/358392
[pid=27727] ppid=27724 vsize=500780 CPUtime=3 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 189124 0 0 0 282 18 0 0 20 0 1 0 22407734 512798720 118914 18446744073709551615 4194304 7396336 140730048569872 140730048564408 5792023 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 125195 118914 789 782 0 118211 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 500780

[startup+6.30035 s]
/proc/loadavg: 1.95 2.02 2.04 3/181 27728
/proc/meminfo: memFree=31213136/32770624 swapFree=0/358436
[pid=27727] ppid=27724 vsize=502508 CPUtime=6.2 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 300456 0 0 0 597 23 0 0 20 0 1 0 22407734 514568192 119358 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4246647 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 125627 119358 791 782 0 118643 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 502508

[startup+12.7003 s]
/proc/loadavg: 1.88 2.01 2.03 3/181 27728
/proc/meminfo: memFree=31210904/32770624 swapFree=0/358436
[pid=27727] ppid=27724 vsize=504472 CPUtime=12.6 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 401205 0 0 0 1231 29 0 0 20 0 1 0 22407734 516579328 119823 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4252882 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126118 119823 791 782 0 119134 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 504472

[startup+25.5004 s]
/proc/loadavg: 1.91 2.01 2.03 3/181 27728
/proc/meminfo: memFree=31210156/32770624 swapFree=0/358444
[pid=27727] ppid=27724 vsize=505140 CPUtime=25.41 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 490532 0 0 0 2506 35 0 0 20 0 1 0 22407734 517263360 120014 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4399509 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126285 120014 791 782 0 119301 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 505140

[startup+51.1004 s]
/proc/loadavg: 1.94 2.01 2.03 3/181 27729
/proc/meminfo: memFree=31208560/32770624 swapFree=0/358432
[pid=27727] ppid=27724 vsize=505800 CPUtime=50.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 606593 0 0 0 5059 40 0 0 20 0 1 0 22407734 517939200 120161 18446744073709551615 4194304 7396336 140730048569872 140730048564408 5772144 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126450 120161 791 782 0 119466 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 505800

[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.03 3/181 27730
/proc/meminfo: memFree=31207376/32770624 swapFree=0/358456
[pid=27727] ppid=27724 vsize=506328 CPUtime=102.18 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 709672 0 0 0 10172 46 0 0 20 0 1 0 22407734 518479872 120294 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792063 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126582 120294 791 782 0 119598 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 506328

[startup+162.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 27732
/proc/meminfo: memFree=31207664/32770624 swapFree=0/358520
[pid=27727] ppid=27724 vsize=506600 CPUtime=162.13 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 754419 0 0 0 16165 48 0 0 20 0 1 0 22407734 518758400 120358 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5791646 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126650 120358 791 782 0 119666 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 506600

[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 27749
/proc/meminfo: memFree=31203268/32770624 swapFree=0/358592
[pid=27727] ppid=27724 vsize=506856 CPUtime=222.11 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 794046 0 0 0 22161 50 0 0 20 0 1 0 22407734 519020544 120440 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4543802 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126714 120440 791 782 0 119730 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 506856

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 27751
/proc/meminfo: memFree=31203132/32770624 swapFree=0/358648
[pid=27727] ppid=27724 vsize=506992 CPUtime=282.08 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 803203 0 0 0 28157 51 0 0 20 0 1 0 22407734 519159808 120479 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126748 120479 791 782 0 119764 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 506992

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 27753
/proc/meminfo: memFree=31206232/32770624 swapFree=0/358692
[pid=27727] ppid=27724 vsize=507260 CPUtime=342.06 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 811047 0 0 0 34154 52 0 0 20 0 1 0 22407734 519434240 120576 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4246639 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126815 120576 791 782 0 119831 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 507260

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27755
/proc/meminfo: memFree=31206108/32770624 swapFree=0/358720
[pid=27727] ppid=27724 vsize=507392 CPUtime=402.05 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 812359 0 0 0 40153 52 0 0 20 0 1 0 22407734 519569408 120592 18446744073709551615 4194304 7396336 140730048569872 140730048564216 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126848 120592 791 782 0 119864 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 507392

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27757
/proc/meminfo: memFree=31206540/32770624 swapFree=0/358716
[pid=27727] ppid=27724 vsize=507392 CPUtime=462.05 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 813323 0 0 0 46153 52 0 0 20 0 1 0 22407734 519569408 120607 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5773214 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126848 120607 791 782 0 119864 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 507392

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27759
/proc/meminfo: memFree=31206052/32770624 swapFree=0/358716
[pid=27727] ppid=27724 vsize=507524 CPUtime=522.05 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 815023 0 0 0 52153 52 0 0 20 0 1 0 22407734 519704576 120620 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4252939 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126881 120620 791 782 0 119897 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 507524

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27761
/proc/meminfo: memFree=31206424/32770624 swapFree=0/358720
[pid=27727] ppid=27724 vsize=507524 CPUtime=582.04 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 816272 0 0 0 58152 52 0 0 20 0 1 0 22407734 519704576 120623 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4252913 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126881 120623 791 782 0 119897 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 507524


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27851
/proc/meminfo: memFree=31203952/32770624 swapFree=0/358984
[pid=27727] ppid=27724 vsize=507788 CPUtime=1602.01 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 839807 0 0 0 160147 54 0 0 20 0 1 0 22407734 519974912 120713 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4543814 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126947 120713 791 782 0 119963 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 507788

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 27853
/proc/meminfo: memFree=31204472/32770624 swapFree=0/359016
[pid=27727] ppid=27724 vsize=507788 CPUtime=1662 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 840805 0 0 0 166146 54 0 0 20 0 1 0 22407734 519974912 120713 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5839282 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126947 120713 791 782 0 119963 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 507788

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 27855
/proc/meminfo: memFree=31204516/32770624 swapFree=0/359020
[pid=27727] ppid=27724 vsize=507920 CPUtime=1722 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 842600 0 0 0 172146 54 0 0 20 0 1 0 22407734 520110080 120736 18446744073709551615 4194304 7396336 140730048569872 140730048564216 5792000 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120736 791 782 0 119996 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 507920

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27858
/proc/meminfo: memFree=31203320/32770624 swapFree=0/359028
[pid=27727] ppid=27724 vsize=507920 CPUtime=1782 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 843444 0 0 0 178146 54 0 0 20 0 1 0 22407734 520110080 120736 18446744073709551615 4194304 7396336 140730048569872 140730048564216 4252880 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120736 791 782 0 119996 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 507920

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27860
/proc/meminfo: memFree=31203088/32770624 swapFree=0/359044
[pid=27727] ppid=27724 vsize=507920 CPUtime=1841.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 844530 0 0 0 184145 54 0 0 20 0 1 0 22407734 520110080 120736 18446744073709551615 4194304 7396336 140730048569872 140730048564216 4246600 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120736 791 782 0 119996 0
Current children cumulated CPU time (s) 1841.99
Current children cumulated vsize (KiB) 507920

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27862
/proc/meminfo: memFree=31203680/32770624 swapFree=0/359064
[pid=27727] ppid=27724 vsize=507920 CPUtime=1901.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 845736 0 0 0 190145 54 0 0 20 0 1 0 22407734 520110080 120736 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5839273 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120736 791 782 0 119996 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 507920

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27864
/proc/meminfo: memFree=31203432/32770624 swapFree=0/359088
[pid=27727] ppid=27724 vsize=507920 CPUtime=1961.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 846675 0 0 0 196145 54 0 0 20 0 1 0 22407734 520110080 120737 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4257711 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120737 791 782 0 119996 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 507920

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27880
/proc/meminfo: memFree=31200264/32770624 swapFree=0/359124
[pid=27727] ppid=27724 vsize=507920 CPUtime=2021.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 847684 0 0 0 202145 54 0 0 20 0 1 0 22407734 520110080 120737 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120737 791 782 0 119996 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 507920

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27882
/proc/meminfo: memFree=31200000/32770624 swapFree=0/359156
[pid=27727] ppid=27724 vsize=507920 CPUtime=2081.99 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 848824 0 0 0 208145 54 0 0 20 0 1 0 22407734 520110080 120737 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792070 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120737 791 782 0 119996 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 507920

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 27884
/proc/meminfo: memFree=31204236/32770624 swapFree=0/359180
[pid=27727] ppid=27724 vsize=507920 CPUtime=2141.98 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 849766 0 0 0 214144 54 0 0 20 0 1 0 22407734 520110080 120738 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120738 791 782 0 119996 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 507920

[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 27886
/proc/meminfo: memFree=31204216/32770624 swapFree=0/359200
[pid=27727] ppid=27724 vsize=507920 CPUtime=2201.98 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 850838 0 0 0 220144 54 0 0 20 0 1 0 22407734 520110080 120738 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4407410 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120738 791 782 0 119996 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 507920

[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 27888
/proc/meminfo: memFree=31204836/32770624 swapFree=0/359224
[pid=27727] ppid=27724 vsize=507920 CPUtime=2261.97 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 851605 0 0 0 226143 54 0 0 20 0 1 0 22407734 520110080 120738 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5839021 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120738 791 782 0 119996 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 507920

[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 27890
/proc/meminfo: memFree=31204344/32770624 swapFree=0/359240
[pid=27727] ppid=27724 vsize=507920 CPUtime=2321.98 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 852927 0 0 0 232143 55 0 0 20 0 1 0 22407734 520110080 120738 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792043 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120738 791 782 0 119996 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 507920

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27892
/proc/meminfo: memFree=31204252/32770624 swapFree=0/359264
[pid=27727] ppid=27724 vsize=507920 CPUtime=2381.97 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 853940 0 0 0 238142 55 0 0 20 0 1 0 22407734 520110080 120739 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120739 791 782 0 119996 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 507920

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27894
/proc/meminfo: memFree=31203880/32770624 swapFree=0/359284
[pid=27727] ppid=27724 vsize=507920 CPUtime=2441.97 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 854776 0 0 0 244142 55 0 0 20 0 1 0 22407734 520110080 120739 18446744073709551615 4194304 7396336 140730048569872 140730048564888 4252896 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120739 791 782 0 119996 0
Current children cumulated CPU time (s) 2441.97
Current children cumulated vsize (KiB) 507920

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27896
/proc/meminfo: memFree=31204268/32770624 swapFree=0/359308
[pid=27727] ppid=27724 vsize=507920 CPUtime=2501.97 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 855881 0 0 0 250142 55 0 0 20 0 1 0 22407734 520110080 120739 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5792248 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120739 791 782 0 119996 0
Current children cumulated CPU time (s) 2501.97
Current children cumulated vsize (KiB) 507920



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27897
/proc/meminfo: memFree=31204268/32770624 swapFree=0/359312
[pid=27727] ppid=27724 vsize=507920 CPUtime=2519.67 cores=0,2,4,6
/proc/27727/stat : 27727 (MistralXCSP) R 27724 27727 6971 0 -1 4202496 856037 0 0 0 251912 55 0 0 20 0 1 0 22407734 520110080 120739 18446744073709551615 4194304 7396336 140730048569872 140730048564888 5791952 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 27447296 140730048577971 140730048578121 140730048578121 140730048581577 0
/proc/27727/statm: 126980 120739 791 782 0 119996 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 507920

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.68
CPU user time (s): 2519.12
CPU system time (s): 0.554976
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 507920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 0.554976
maximum resident set size= 482976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 856062
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= 212
involuntary context switches= 3154

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30838 second user time and 7.95012 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-10 06:36:55
IDJOB=4261198
IDBENCH=115895
IDSOLVER=2649
FILE ID=node124/4261198-1502340670
RUNJOBID= node124-1502334771-27114
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.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-4261198-1502340670/watcher-4261198-1502340670 -o /tmp/evaluation-result-4261198-1502340670/solver-4261198-1502340670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1447160414 HOME/instance-4261198-1502340670.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=1447160414

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31689688 kB
MemAvailable:   31974304 kB
Buffers:          164040 kB
Cached:           410572 kB
SwapCached:            0 kB
Active:           298296 kB
Inactive:         375196 kB
Active(anon):      99464 kB
Inactive(anon):    16768 kB
Active(file):     198832 kB
Inactive(file):   358428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11692 kB
Writeback:             0 kB
AnonPages:         98592 kB
Mapped:            36000 kB
Shmem:             17128 kB
Slab:             111316 kB
SReclaimable:      86384 kB
SUnreclaim:        24932 kB
KernelStack:        3184 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62020 MiB
End job on node124 at 2017-08-10 07:18:55