Trace number 4261196

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)857 2519.6899 2520

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-42.xml
MD5SUMf0ae775e0a261424aab5dff09c8fa0c4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark857
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables3917
Number of constraints2192
Number of domains4
Minimum domain size2
Maximum domain size3873
Distribution of domain sizes[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree1
Maximum variable degree45
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity2
Maximum constraint arity46
Distribution of constraint arities[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints1932
Number of intensional constraints211
Distribution of constraint types[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"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.09	c 280717
1.20/1.37	o 0
1.20/1.38	o 3
1.20/1.38	o 4
1.20/1.38	o 6
1.20/1.38	o 7
1.20/1.38	o 8
1.20/1.39	o 9
1.20/1.39	o 10
1.20/1.40	o 11
1.30/1.40	o 12
1.50/1.69	o 14
1.60/1.70	o 15
1.60/1.71	o 16
1.90/2.01	o 19
1.90/2.01	o 20
1.90/2.01	o 21
1.90/2.03	o 24
1.90/2.03	o 25
1.90/2.03	o 26
2.20/2.34	o 29
2.20/2.34	o 30
2.20/2.35	o 31
2.20/2.35	o 32
2.20/2.36	o 34
2.20/2.36	o 35
2.20/2.37	o 36
2.20/2.37	o 37
2.20/2.38	o 38
2.60/2.71	o 39
2.60/2.71	o 40
2.60/2.72	o 41
2.90/3.03	o 42
2.90/3.03	o 43
2.90/3.03	o 44
2.90/3.03	o 45
2.90/3.05	o 47
2.90/3.05	o 48
2.90/3.05	o 49
3.21/3.35	o 51
3.21/3.35	o 52
3.21/3.35	o 53
3.21/3.37	o 55
3.21/3.37	o 56
3.21/3.39	o 57
3.31/3.41	o 60
3.31/3.41	o 61
3.59/3.72	o 64
3.59/3.73	o 65
3.59/3.73	o 66
3.59/3.74	o 69
3.59/3.75	o 70
3.59/3.76	o 71
3.59/3.76	o 72
3.59/3.77	o 73
3.69/3.81	o 75
3.69/3.87	o 76
4.09/4.20	o 79
4.09/4.20	o 80
4.09/4.21	o 85
4.09/4.22	o 86
4.09/4.24	o 88
4.09/4.24	o 89
4.41/4.54	o 92
4.41/4.55	o 93
4.41/4.55	o 94
4.41/4.56	o 95
4.41/4.56	o 96
4.41/4.56	o 97
4.41/4.57	o 98
4.41/4.57	o 99
4.41/4.58	o 100
4.70/4.89	o 101
4.70/4.89	o 102
4.70/4.89	o 103
4.70/4.89	o 104
4.70/4.89	o 105
4.80/4.94	o 107
5.10/5.26	o 110
5.10/5.26	o 111
5.10/5.27	o 113
5.10/5.27	o 114
5.10/5.28	o 115
5.10/5.28	o 116
5.10/5.29	o 120
5.20/5.30	o 121
5.20/5.31	o 122
5.20/5.31	o 123
5.20/5.31	o 124
5.51/5.61	o 126
5.51/5.61	o 127
5.51/5.61	o 128
5.51/5.63	o 130
5.51/5.63	o 131
5.51/5.64	o 132
5.51/5.65	o 133
5.79/5.97	o 135
5.79/5.97	o 136
5.79/5.98	o 137
5.79/5.99	o 140
5.79/5.99	o 141
5.90/6.01	o 142
5.90/6.06	o 144
5.90/6.07	o 145
5.90/6.07	o 146
6.19/6.37	o 148
6.19/6.37	o 149
6.19/6.37	o 150
6.19/6.38	o 152
6.19/6.38	o 153
6.19/6.39	o 154
6.30/6.40	o 155
6.30/6.40	o 156
6.30/6.42	o 157
6.30/6.42	o 158
6.30/6.43	o 159
6.30/6.43	o 160
6.30/6.48	o 162
6.40/6.55	o 163
6.70/6.85	o 165
6.70/6.85	o 166
6.70/6.85	o 167
6.70/6.86	o 170
6.70/6.86	o 171
6.70/6.87	o 172
6.70/6.87	o 173
6.80/6.90	o 175
6.80/6.90	o 176
6.80/6.90	o 177
7.40/7.54	o 178
7.99/8.18	o 189
8.30/8.42	o 190
8.40/8.51	o 191
8.50/8.60	o 192
8.50/8.69	o 193
9.80/9.94	o 202
9.91/10.05	o 205
10.60/10.79	o 206
10.70/10.82	o 207
10.70/10.85	o 208
11.40/11.50	o 210
11.50/11.64	o 212
12.90/13.07	o 239
12.90/13.08	o 240
12.90/13.08	o 241
13.00/13.15	o 242
13.00/13.16	o 243
13.40/13.56	o 244
13.40/13.58	o 245
13.40/13.59	o 246
13.40/13.59	o 247
13.40/13.59	o 248
13.40/13.59	o 249
13.50/13.60	o 250
13.50/13.62	o 251
13.50/13.62	o 252
13.50/13.63	o 253
13.50/13.65	o 254
13.50/13.66	o 255
13.60/13.75	o 256
13.90/14.02	o 257
13.90/14.02	o 258
13.90/14.03	o 259
13.90/14.03	o 260
14.20/14.39	o 261
14.20/14.40	o 262
14.30/14.44	o 263
14.30/14.44	o 264
14.30/14.45	o 265
15.79/15.91	o 266
16.09/16.29	o 274
17.10/17.28	o 278
17.39/17.54	o 279
17.39/17.58	o 280
17.50/17.63	o 281
17.50/17.67	o 282
17.50/17.70	o 283
19.70/19.82	o 285
19.70/19.87	o 286
20.80/20.98	o 287
20.99/21.11	o 288
21.09/21.21	o 289
21.29/21.40	o 291
21.39/21.53	o 292
22.20/22.38	o 294
22.50/22.61	o 297
23.60/23.73	o 306
23.70/23.85	o 307
26.00/26.13	o 323
26.20/26.40	o 324
26.30/26.46	o 325
26.50/26.69	o 326
26.60/26.73	o 327
26.60/26.79	o 328
26.70/26.84	o 329
27.60/27.76	o 332
27.69/27.89	o 333
27.90/28.00	o 334
28.00/28.10	o 335
28.20/28.32	o 336
28.30/28.46	o 337
28.40/28.57	o 338
29.50/29.68	o 339
29.90/30.07	o 340
30.20/30.37	o 341
32.60/32.79	o 361
32.70/32.81	o 362
33.19/33.35	o 363
33.19/33.37	o 364
33.19/33.39	o 365
33.19/33.39	o 366
33.29/33.40	o 367
33.29/33.41	o 368
36.30/36.49	o 387
36.30/36.49	o 388
36.39/36.51	o 389
37.79/37.99	o 391
37.99/38.11	o 392
38.09/38.23	o 393
40.99/41.10	o 396
41.89/42.00	o 397
43.79/43.97	o 420
43.90/44.03	o 421
43.90/44.09	o 422
44.00/44.16	o 423
44.29/44.47	o 424
44.39/44.52	o 425
44.59/44.79	o 426
46.69/46.84	o 430
47.19/47.36	o 431
47.30/47.41	o 432
50.09/50.23	o 457
52.99/53.15	o 460
53.80/53.94	o 461
55.09/55.20	o 464
58.19/58.39	o 471
58.29/58.40	o 472
58.29/58.41	o 473
58.29/58.42	o 474
58.29/58.42	o 475
58.90/59.09	o 476
59.00/59.10	o 477
61.99/62.10	o 480
62.99/63.12	o 481
68.20/68.38	o 482
71.59/71.73	o 483
71.79/71.96	o 485
74.70/74.83	o 487
75.80/75.96	o 489
77.19/77.37	o 490
78.69/78.84	o 515
82.20/82.32	o 520
84.99/85.15	o 524
89.29/89.40	o 527
89.69/89.81	o 528
92.09/92.22	o 532
94.50/94.64	o 541
94.50/94.68	o 542
94.79/94.98	o 543
96.89/97.06	o 544
97.39/97.51	o 545
97.49/97.60	o 546
97.99/98.15	o 547
98.09/98.21	o 548
100.10/100.28	o 551
105.79/105.91	o 552
107.29/107.46	o 554
109.50/109.64	o 555
109.80/109.98	o 556
111.90/112.01	o 567
112.80/112.96	o 568
113.70/113.86	o 569
115.70/115.81	o 572
115.80/115.92	o 573
117.90/118.00	o 575
118.10/118.27	o 576
121.29/121.41	o 579
121.29/121.42	o 580
121.29/121.44	o 582
121.29/121.44	o 583
121.29/121.45	o 584
121.39/121.50	o 585
121.39/121.50	o 586
125.09/125.25	o 587
125.09/125.28	o 588
126.50/126.68	o 589
126.69/126.89	o 590
129.59/129.77	o 593
138.49/138.69	o 598
138.99/139.11	o 599
138.99/139.12	o 600
138.99/139.12	o 601
139.29/139.44	o 602
139.29/139.45	o 603
139.59/139.78	o 604
139.59/139.79	o 605
140.59/140.80	o 606
145.20/145.35	o 611
147.79/147.98	o 619
150.70/150.86	o 620
150.89/151.02	o 632
150.89/151.09	o 633
158.79/158.93	o 634
159.99/160.11	o 638
160.38/160.54	o 639
165.38/165.56	o 644
166.09/166.24	o 646
166.09/166.25	o 647
166.09/166.25	o 648
166.09/166.26	o 649
169.08/169.26	o 657
169.28/169.49	o 658
173.97/174.10	o 663
185.27/185.48	o 674
186.27/186.42	o 675
187.07/187.29	o 677
187.27/187.44	o 678
191.67/191.88	o 679
193.57/193.75	o 681
196.37/196.55	o 683
196.37/196.59	o 684
202.27/202.44	o 685
202.46/202.60	o 686
202.46/202.61	o 687
202.46/202.62	o 688
205.76/205.98	o 689
205.86/206.03	o 690
209.46/209.62	o 691
215.15/215.40	o 692
217.55/217.80	o 694
218.55/218.74	o 695
226.05/226.29	o 698
228.85/229.02	o 699
229.25/229.41	o 700
229.25/229.45	o 701
229.35/229.55	o 702
230.74/230.98	o 704
231.14/231.34	o 705
235.44/235.68	o 708
239.24/239.48	o 711
245.04/245.21	o 714
245.94/246.11	o 715
247.94/248.10	o 716
259.53/259.77	o 717
261.83/262.08	o 718
278.32/278.59	o 722
290.12/290.38	o 723
292.22/292.47	o 724
302.72/302.92	o 727
303.02/303.23	o 728
303.02/303.28	o 729
305.72/305.90	o 735
314.01/314.24	o 736
327.51/327.75	o 737
343.40/343.61	o 738
348.00/348.22	o 739
353.40/353.60	o 740
353.40/353.61	o 741
383.48/383.70	o 742
383.69/383.97	o 743
386.88/387.10	o 744
439.37/439.69	o 745
443.17/443.45	o 746
445.07/445.34	o 747
445.57/445.84	o 748
451.47/451.74	o 749
467.77/468.09	o 750
473.57/473.83	o 755
481.87/482.11	o 760
487.97/488.24	o 763
521.06/521.34	o 765
524.76/525.05	o 772
528.16/528.46	o 773
540.56/540.88	o 775
567.86/568.16	o 776
571.26/571.52	o 777
593.06/593.35	o 778
593.06/593.35	o 779
593.06/593.36	o 780
645.06/645.36	o 781
645.06/645.37	o 782
645.06/645.39	o 783
645.16/645.41	o 784
645.16/645.41	o 785
645.26/645.51	o 786
645.26/645.52	o 787
663.66/663.93	o 788
666.66/666.92	o 789
681.96/682.24	o 790
685.86/686.16	o 794
689.46/689.76	o 795
693.66/693.96	o 796
693.66/693.99	o 797
729.45/729.70	o 799
739.25/739.50	o 800
752.26/752.52	o 801
762.95/763.29	o 802
770.35/770.60	o 803
782.25/782.51	o 804
846.65/846.90	o 805
869.75/870.08	o 806
869.75/870.10	o 807
891.85/892.15	o 808
919.14/919.45	o 809
981.75/982.03	o 810
981.95/982.21	o 811
997.95/998.25	o 812
1019.05/1019.36	o 813
1080.44/1080.74	o 814
1131.94/1132.23	o 815
1131.94/1132.24	o 816
1218.24/1218.55	o 817
1292.13/1292.43	o 818
1292.13/1292.46	o 819
1308.23/1308.53	o 820
1314.53/1314.88	o 821
1455.03/1455.38	o 822
1553.02/1553.31	o 828
1586.51/1586.85	o 829
1596.92/1597.21	o 830
1600.41/1600.79	o 831
1635.01/1635.35	o 832
1656.01/1656.34	o 833
1656.01/1656.35	o 834
1656.01/1656.36	o 835
1663.02/1663.33	o 836
1676.52/1676.82	o 837
1681.62/1681.96	o 841
1683.72/1684.09	o 843
1684.12/1684.48	o 844
1684.32/1684.61	o 845
1684.32/1684.63	o 846
1684.32/1684.69	o 847
1720.12/1720.42	o 848
1962.00/1962.37	o 853
2041.99/2042.35	o 854
2261.08/2261.44	o 855
2264.18/2264.56	o 856
2302.28/2302.68	o 857
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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 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 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 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 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 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 1 2 1 0 2 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 0 0 1 1 0 2 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 1 2 1 1 2 1 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 1 2 2 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 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 1 0 1 1 2 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 20 31 36 43 47 54 60 63 69 72 79 90 96 104 113 126 137 146 152 163 172 175 178 180 182 184 185 189 197 200 202 203 205 206 208 212 216 218 220 223 226 233 248 268 857 </values>
2519.67/2520.00	v </instantiation>

Verifier Data 

OK	857

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 2.04 4/184 9431
/proc/meminfo: memFree=31105284/32770624 swapFree=0/519156
[pid=9431] ppid=9428 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9431/stat : 9431 (runsolver) D 9428 9431 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 36411227 24240128 106 18446744073709551615 4194304 4338465 140733170088288 140733170085928 140163281318615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 22220800 140733170090124 140733170090570 140733170090570 140733170094026 0
/proc/9431/statm: 5918 106 53 36 0 2156 0

[startup+0.100092 s]
/proc/loadavg: 1.92 2.01 2.04 4/184 9431
/proc/meminfo: memFree=31105284/32770624 swapFree=0/519156
[pid=9431] ppid=9428 vsize=28792 CPUtime=0 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 950 0 0 0 0 0 0 0 20 0 1 0 36411227 29483008 762 18446744073709551615 4194304 7396336 140721840229664 140721840226664 140708974767077 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 7198 762 591 782 0 214 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28792

[startup+0.200221 s]
/proc/loadavg: 1.92 2.01 2.04 4/184 9431
/proc/meminfo: memFree=31105284/32770624 swapFree=0/519156
[pid=9431] ppid=9428 vsize=65196 CPUtime=0.1 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 10118 0 0 0 9 1 0 0 20 0 1 0 36411227 66760704 9874 18446744073709551615 4194304 7396336 140721840229664 140721840226664 140708974767077 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 16299 9874 646 782 0 9315 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 65196

[startup+0.300298 s]
/proc/loadavg: 1.92 2.01 2.04 4/184 9431
/proc/meminfo: memFree=31105284/32770624 swapFree=0/519156
[pid=9431] ppid=9428 vsize=144172 CPUtime=0.19 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 29862 0 0 0 16 3 0 0 20 0 1 0 36411227 147632128 29608 18446744073709551615 4194304 7396336 140721840229664 140721840226664 140708974767077 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 36043 29608 646 782 0 29059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 144172

[startup+0.700226 s]
/proc/loadavg: 1.92 2.01 2.04 4/184 9431
/proc/meminfo: memFree=31105284/32770624 swapFree=0/519156
[pid=9431] ppid=9428 vsize=448256 CPUtime=0.6 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 105977 0 0 0 48 12 0 0 20 0 1 0 36411227 459014144 105772 18446744073709551615 4194304 7396336 140721840229664 140721840220824 5929861 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 112064 105772 729 782 0 105080 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 448256

[startup+1.50025 s]
/proc/loadavg: 1.85 2.00 2.03 3/185 9432
/proc/meminfo: memFree=30681216/32770624 swapFree=0/519180
[pid=9431] ppid=9428 vsize=457984 CPUtime=1.4 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 107922 0 0 0 128 12 0 0 20 0 1 0 36411227 468975616 108260 18446744073709551615 4194304 7396336 140721840229664 140721840220824 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 114496 108260 785 782 0 107512 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 457984

[startup+3.10028 s]
/proc/loadavg: 1.85 2.00 2.03 3/185 9432
/proc/meminfo: memFree=30673772/32770624 swapFree=0/519180
[pid=9431] ppid=9428 vsize=459304 CPUtime=3 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 171223 0 0 0 285 15 0 0 20 0 1 0 36411227 470327296 108589 18446744073709551615 4194304 7396336 140721840229664 140721840220824 4320624 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 114826 108589 789 782 0 107842 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 459304

[startup+6.30029 s]
/proc/loadavg: 1.85 2.00 2.03 3/185 9432
/proc/meminfo: memFree=30670800/32770624 swapFree=0/519176
[pid=9431] ppid=9428 vsize=460624 CPUtime=6.19 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 275296 0 0 0 600 19 0 0 20 0 1 0 36411227 471678976 108943 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115156 108943 789 782 0 108172 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 460624

[startup+12.7003 s]
/proc/loadavg: 1.87 2.00 2.03 3/185 9433
/proc/meminfo: memFree=30669064/32770624 swapFree=0/519172
[pid=9431] ppid=9428 vsize=461824 CPUtime=12.6 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 370452 0 0 0 1236 24 0 0 20 0 1 0 36411227 472907776 109231 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792078 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115456 109231 791 782 0 108472 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 461824

[startup+25.5004 s]
/proc/loadavg: 1.89 2.00 2.03 3/185 9433
/proc/meminfo: memFree=30668196/32770624 swapFree=0/519180
[pid=9431] ppid=9428 vsize=462620 CPUtime=25.4 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 441280 0 0 0 2512 28 0 0 20 0 1 0 36411227 473722880 109450 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4404918 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115655 109450 791 782 0 108671 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 462620

[startup+51.1004 s]
/proc/loadavg: 1.93 2.00 2.03 3/182 9433
/proc/meminfo: memFree=30669932/32770624 swapFree=0/519172
[pid=9431] ppid=9428 vsize=463280 CPUtime=50.99 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 550540 0 0 0 5066 33 0 0 20 0 1 0 36411227 474398720 109612 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4249751 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115820 109612 791 782 0 108836 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 463280

[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/182 9435
/proc/meminfo: memFree=30670128/32770624 swapFree=0/519184
[pid=9431] ppid=9428 vsize=463676 CPUtime=102.19 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 646895 0 0 0 10181 38 0 0 20 0 1 0 36411227 474804224 109706 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4320981 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115919 109706 791 782 0 108935 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 463676

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/182 9437
/proc/meminfo: memFree=30670492/32770624 swapFree=0/519204
[pid=9431] ppid=9428 vsize=463940 CPUtime=162.18 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 715436 0 0 0 16176 42 0 0 20 0 1 0 36411227 475074560 109766 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5791803 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 115985 109766 791 782 0 109001 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 463940

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 9439
/proc/meminfo: memFree=30671316/32770624 swapFree=0/519228
[pid=9431] ppid=9428 vsize=464072 CPUtime=222.15 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 775264 0 0 0 22170 45 0 0 20 0 1 0 36411227 475209728 109792 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116018 109792 791 782 0 109034 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 464072

[startup+282.3 s]
/proc/loadavg: 2.07 2.01 2.04 3/181 9441
/proc/meminfo: memFree=30671412/32770624 swapFree=0/519248
[pid=9431] ppid=9428 vsize=464336 CPUtime=282.12 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 793004 0 0 0 28166 46 0 0 20 0 1 0 36411227 475480064 109853 18446744073709551615 4194304 7396336 140721840229664 140721840224008 5792260 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116084 109853 791 782 0 109100 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 464336

[startup+342.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/181 9443
/proc/meminfo: memFree=30671508/32770624 swapFree=0/519224
[pid=9431] ppid=9428 vsize=464336 CPUtime=342.1 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 835444 0 0 0 34161 49 0 0 20 0 1 0 36411227 475480064 109871 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4252880 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116084 109871 791 782 0 109100 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 464336

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 9445
/proc/meminfo: memFree=30671536/32770624 swapFree=0/519212
[pid=9431] ppid=9428 vsize=464468 CPUtime=402.07 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 840370 0 0 0 40158 49 0 0 20 0 1 0 36411227 475615232 109908 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116117 109908 791 782 0 109133 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 464468

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9447
/proc/meminfo: memFree=30671376/32770624 swapFree=0/519200
[pid=9431] ppid=9428 vsize=464468 CPUtime=462.07 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 841038 0 0 0 46158 49 0 0 20 0 1 0 36411227 475615232 109910 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792248 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116117 109910 791 782 0 109133 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 464468

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9463
/proc/meminfo: memFree=30666268/32770624 swapFree=0/519256
[pid=9431] ppid=9428 vsize=464468 CPUtime=522.06 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 841703 0 0 0 52157 49 0 0 20 0 1 0 36411227 475615232 109912 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792070 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116117 109912 791 782 0 109133 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 464468

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9465
/proc/meminfo: memFree=30669188/32770624 swapFree=0/519248
[pid=9431] ppid=9428 vsize=464468 CPUtime=582.06 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 842350 0 0 0 58157 49 0 0 20 0 1 0 36411227 475615232 109913 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116117 109913 791 782 0 109133 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 464468


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9517
/proc/meminfo: memFree=30668496/32770624 swapFree=0/519436
[pid=9431] ppid=9428 vsize=464864 CPUtime=1602.01 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 854984 0 0 0 160151 50 0 0 20 0 1 0 36411227 476020736 110004 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4253008 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116216 110004 791 782 0 109232 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 464864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9519
/proc/meminfo: memFree=30668872/32770624 swapFree=0/519456
[pid=9431] ppid=9428 vsize=464864 CPUtime=1662.01 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 855712 0 0 0 166151 50 0 0 20 0 1 0 36411227 476020736 110005 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5791956 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116216 110005 791 782 0 109232 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 464864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9535
/proc/meminfo: memFree=30665216/32770624 swapFree=0/519480
[pid=9431] ppid=9428 vsize=464864 CPUtime=1722.02 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 856461 0 0 0 172151 51 0 0 20 0 1 0 36411227 476020736 110005 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4252905 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116216 110005 791 782 0 109232 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 464864

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9537
/proc/meminfo: memFree=30667072/32770624 swapFree=0/519496
[pid=9431] ppid=9428 vsize=464996 CPUtime=1782.01 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 857212 0 0 0 178150 51 0 0 20 0 1 0 36411227 476155904 110015 18446744073709551615 4194304 7396336 140721840229664 140721840224008 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110015 791 782 0 109265 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 464996

[startup+1842.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 9539
/proc/meminfo: memFree=30667744/32770624 swapFree=0/519512
[pid=9431] ppid=9428 vsize=464996 CPUtime=1842.01 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 857958 0 0 0 184150 51 0 0 20 0 1 0 36411227 476155904 110015 18446744073709551615 4194304 7396336 140721840229664 140721840224008 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110015 791 782 0 109265 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 464996

[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 9541
/proc/meminfo: memFree=30668264/32770624 swapFree=0/519512
[pid=9431] ppid=9428 vsize=464996 CPUtime=1902 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 858684 0 0 0 190149 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224008 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 464996

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 9543
/proc/meminfo: memFree=30668264/32770624 swapFree=0/519520
[pid=9431] ppid=9428 vsize=464996 CPUtime=1962 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 859464 0 0 0 196149 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224008 4249767 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 464996

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9545
/proc/meminfo: memFree=30668264/32770624 swapFree=0/519540
[pid=9431] ppid=9428 vsize=464996 CPUtime=2022 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 860206 0 0 0 202149 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4246562 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 464996

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9547
/proc/meminfo: memFree=30668164/32770624 swapFree=0/519548
[pid=9431] ppid=9428 vsize=464996 CPUtime=2082 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 860968 0 0 0 208149 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4406471 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 464996

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9549
/proc/meminfo: memFree=30668412/32770624 swapFree=0/519564
[pid=9431] ppid=9428 vsize=464996 CPUtime=2141.99 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 861691 0 0 0 214148 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4406506 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 464996

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9551
/proc/meminfo: memFree=30668660/32770624 swapFree=0/519580
[pid=9431] ppid=9428 vsize=464996 CPUtime=2201.99 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 862464 0 0 0 220148 51 0 0 20 0 1 0 36411227 476155904 110018 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110018 791 782 0 109265 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 464996

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9553
/proc/meminfo: memFree=30668288/32770624 swapFree=0/519608
[pid=9431] ppid=9428 vsize=464996 CPUtime=2261.98 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 863198 0 0 0 226147 51 0 0 20 0 1 0 36411227 476155904 110019 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4407280 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110019 791 782 0 109265 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 464996

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9569
/proc/meminfo: memFree=30664208/32770624 swapFree=0/519660
[pid=9431] ppid=9428 vsize=464996 CPUtime=2321.98 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 863940 0 0 0 232147 51 0 0 20 0 1 0 36411227 476155904 110019 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792016 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110019 791 782 0 109265 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 464996

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9571
/proc/meminfo: memFree=30666492/32770624 swapFree=0/519676
[pid=9431] ppid=9428 vsize=464996 CPUtime=2381.98 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 864716 0 0 0 238147 51 0 0 20 0 1 0 36411227 476155904 110019 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792074 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110019 791 782 0 109265 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 464996

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9573
/proc/meminfo: memFree=30666864/32770624 swapFree=0/519688
[pid=9431] ppid=9428 vsize=464996 CPUtime=2441.98 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 865436 0 0 0 244146 52 0 0 20 0 1 0 36411227 476155904 110019 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4252880 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110019 791 782 0 109265 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 464996

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9575
/proc/meminfo: memFree=30667236/32770624 swapFree=0/519704
[pid=9431] ppid=9428 vsize=464996 CPUtime=2501.98 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 866211 0 0 0 250146 52 0 0 20 0 1 0 36411227 476155904 110020 18446744073709551615 4194304 7396336 140721840229664 140721840224680 4257799 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110020 791 782 0 109265 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 464996



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9639
/proc/meminfo: memFree=30849528/32770624 swapFree=0/519936
[pid=9431] ppid=9428 vsize=464996 CPUtime=2519.67 cores=1,3,5,7
/proc/9431/stat : 9431 (MistralXCSP) R 9428 9431 16590 0 -1 4202496 866225 0 0 0 251915 52 0 0 20 0 1 0 36411227 476155904 110020 18446744073709551615 4194304 7396336 140721840229664 140721840224680 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 21368832 140721840230835 140721840230985 140721840230985 140721840234441 0
/proc/9431/statm: 116249 110020 791 782 0 109265 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 464996

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 9431 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.69
CPU user time (s): 2519.16
CPU system time (s): 0.526975
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 464996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.16
system time used= 0.526975
maximum resident set size= 440100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 866261
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= 190
involuntary context switches= 1893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88673 second user time and 10.0214 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-10 07:02:11
IDJOB=4261196
IDBENCH=115914
IDSOLVER=2649
FILE ID=node127/4261196-1502342177
RUNJOBID= node127-1502331240-8162
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-42.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-4261196-1502342177/watcher-4261196-1502342177 -o /tmp/evaluation-result-4261196-1502342177/solver-4261196-1502342177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1774275000 HOME/instance-4261196-1502342177.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1774275000

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31105284 kB
MemAvailable:   31793416 kB
Buffers:          224084 kB
Cached:           755684 kB
SwapCached:            0 kB
Active:           700368 kB
Inactive:         544064 kB
Active(anon):     265000 kB
Inactive(anon):    24908 kB
Active(file):     435368 kB
Inactive(file):   519156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6132 kB
Writeback:             4 kB
AnonPages:        264564 kB
Mapped:            41648 kB
Shmem:             25252 kB
Slab:             123900 kB
SReclaimable:      98888 kB
SUnreclaim:        25012 kB
KernelStack:        3264 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62000 MiB
End job on node127 at 2017-08-10 07:44:11