Trace number 4239982

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)857 2400.03 2401

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.00	c Mistral-2017-06-28
1.29/1.30	o 0
1.29/1.31	o 3
1.29/1.31	o 4
1.29/1.31	o 6
1.29/1.31	o 7
1.29/1.31	o 8
1.29/1.32	o 9
1.29/1.32	o 10
1.29/1.33	o 11
1.29/1.33	o 12
1.59/1.62	o 14
1.59/1.63	o 15
1.59/1.64	o 16
1.89/1.94	o 19
1.89/1.94	o 20
1.89/1.94	o 21
1.89/1.96	o 24
1.89/1.96	o 25
1.89/1.97	o 26
2.20/2.28	o 29
2.20/2.28	o 30
2.20/2.28	o 31
2.20/2.28	o 32
2.20/2.29	o 34
2.20/2.29	o 35
2.20/2.30	o 36
2.30/2.30	o 37
2.30/2.32	o 38
2.59/2.65	o 39
2.59/2.65	o 40
2.59/2.65	o 41
2.89/2.96	o 42
2.89/2.96	o 43
2.89/2.96	o 44
2.89/2.97	o 45
2.89/2.98	o 47
2.89/2.98	o 48
2.89/2.98	o 49
3.19/3.28	o 51
3.19/3.28	o 52
3.19/3.28	o 53
3.19/3.30	o 55
3.30/3.30	o 56
3.30/3.32	o 57
3.30/3.34	o 60
3.30/3.34	o 61
3.59/3.66	o 64
3.59/3.66	o 65
3.59/3.66	o 66
3.59/3.67	o 69
3.59/3.68	o 70
3.59/3.69	o 71
3.59/3.69	o 72
3.69/3.70	o 73
3.69/3.75	o 75
3.79/3.80	o 76
4.08/4.13	o 79
4.08/4.13	o 80
4.08/4.14	o 85
4.08/4.15	o 86
4.08/4.17	o 88
4.08/4.17	o 89
4.39/4.48	o 92
4.39/4.49	o 93
4.39/4.49	o 94
4.39/4.50	o 95
4.39/4.50	o 96
4.39/4.50	o 97
4.49/4.51	o 98
4.49/4.51	o 99
4.49/4.52	o 100
4.79/4.82	o 101
4.79/4.82	o 102
4.79/4.82	o 103
4.79/4.82	o 104
4.79/4.83	o 105
4.79/4.87	o 107
5.09/5.19	o 110
5.19/5.20	o 111
5.19/5.20	o 113
5.19/5.21	o 114
5.19/5.21	o 115
5.19/5.22	o 116
5.19/5.22	o 120
5.19/5.24	o 121
5.19/5.24	o 122
5.19/5.24	o 123
5.19/5.25	o 124
5.49/5.54	o 126
5.49/5.54	o 127
5.49/5.55	o 128
5.49/5.56	o 130
5.49/5.56	o 131
5.49/5.58	o 132
5.49/5.59	o 133
5.89/5.91	o 135
5.89/5.91	o 136
5.89/5.92	o 137
5.89/5.93	o 140
5.89/5.93	o 141
5.89/5.95	o 142
5.98/6.00	o 144
5.98/6.01	o 145
5.98/6.01	o 146
6.29/6.30	o 148
6.29/6.30	o 149
6.29/6.31	o 150
6.29/6.32	o 152
6.29/6.32	o 153
6.29/6.33	o 154
6.29/6.33	o 155
6.29/6.34	o 156
6.29/6.36	o 157
6.29/6.36	o 158
6.29/6.36	o 159
6.29/6.37	o 160
6.39/6.42	o 162
6.39/6.48	o 163
6.69/6.79	o 165
6.69/6.79	o 166
6.69/6.79	o 167
6.79/6.80	o 170
6.79/6.80	o 171
6.79/6.80	o 172
6.79/6.81	o 173
6.79/6.84	o 175
6.79/6.84	o 176
6.79/6.84	o 177
7.39/7.48	o 178
8.09/8.12	o 189
8.29/8.36	o 190
8.39/8.45	o 191
8.49/8.54	o 192
8.59/8.63	o 193
9.79/9.90	o 202
10.00/10.01	o 205
10.68/10.75	o 206
10.68/10.78	o 207
10.78/10.80	o 208
11.38/11.46	o 210
11.58/11.60	o 212
12.98/13.03	o 239
12.98/13.04	o 240
12.98/13.04	o 241
13.08/13.11	o 242
13.08/13.12	o 243
13.48/13.52	o 244
13.48/13.54	o 245
13.48/13.55	o 246
13.48/13.55	o 247
13.48/13.55	o 248
13.48/13.56	o 249
13.48/13.56	o 250
13.48/13.58	o 251
13.48/13.59	o 252
13.48/13.59	o 253
13.58/13.61	o 254
13.58/13.63	o 255
13.68/13.71	o 256
13.88/13.98	o 257
13.88/13.99	o 258
13.88/13.99	o 259
13.88/13.99	o 260
14.29/14.36	o 261
14.29/14.36	o 262
14.29/14.40	o 263
14.39/14.40	o 264
14.39/14.41	o 265
15.78/15.88	o 266
16.18/16.27	o 274
17.19/17.26	o 278
17.49/17.52	o 279
17.49/17.56	o 280
17.59/17.61	o 281
17.59/17.65	o 282
17.59/17.68	o 283
19.79/19.82	o 285
19.79/19.87	o 286
20.89/20.99	o 287
21.08/21.11	o 288
21.18/21.22	o 289
21.38/21.40	o 291
21.48/21.54	o 292
22.28/22.39	o 294
22.58/22.62	o 297
23.68/23.74	o 306
23.78/23.86	o 307
26.08/26.17	o 323
26.38/26.44	o 324
26.38/26.49	o 325
26.68/26.72	o 326
26.68/26.77	o 327
26.78/26.82	o 328
26.78/26.87	o 329
27.78/27.83	o 332
27.88/27.93	o 333
27.98/28.04	o 334
28.08/28.14	o 335
28.28/28.35	o 336
28.38/28.50	o 337
28.48/28.60	o 338
29.69/29.70	o 339
29.98/30.09	o 340
30.28/30.38	o 341
32.68/32.76	o 361
32.68/32.77	o 362
33.28/33.32	o 363
33.28/33.33	o 364
33.28/33.35	o 365
33.28/33.35	o 366
33.28/33.36	o 367
33.28/33.37	o 368
36.38/36.44	o 387
36.38/36.44	o 388
36.38/36.46	o 389
37.88/37.94	o 391
37.98/38.05	o 392
38.08/38.18	o 393
40.98/41.02	o 396
41.88/41.91	o 397
43.77/43.86	o 420
43.87/43.92	o 421
43.87/43.98	o 422
43.98/44.05	o 423
44.27/44.35	o 424
44.37/44.40	o 425
44.57/44.67	o 426
46.57/46.69	o 430
47.17/47.20	o 431
47.17/47.25	o 432
49.97/50.03	o 457
52.77/52.90	o 460
53.56/53.67	o 461
54.86/54.91	o 464
57.96/58.07	o 471
57.96/58.08	o 472
57.96/58.09	o 473
57.96/58.09	o 474
58.06/58.10	o 475
58.66/58.75	o 476
58.66/58.76	o 477
61.56/61.68	o 480
62.56/62.67	o 481
67.65/67.78	o 482
70.95/71.05	o 483
71.15/71.28	o 485
73.95/74.07	o 487
75.04/75.17	o 489
76.44/76.53	o 490
77.84/77.96	o 515
81.24/81.30	o 520
83.95/84.03	o 524
88.05/88.13	o 527
88.44/88.52	o 528
90.74/90.84	o 532
93.04/93.15	o 541
93.04/93.19	o 542
93.34/93.48	o 543
95.34/95.48	o 544
95.84/95.90	o 545
95.84/95.99	o 546
96.44/96.51	o 547
96.44/96.56	o 548
98.43/98.56	o 551
103.83/103.93	o 552
105.33/105.41	o 554
107.33/107.49	o 555
107.72/107.82	o 556
109.62/109.74	o 567
110.52/110.63	o 568
111.32/111.48	o 569
113.22/113.34	o 572
113.32/113.43	o 573
115.22/115.39	o 575
115.52/115.64	o 576
118.51/118.60	o 579
118.51/118.61	o 580
118.51/118.63	o 582
118.51/118.63	o 583
118.51/118.64	o 584
118.51/118.68	o 585
118.51/118.69	o 586
122.11/122.22	o 587
122.11/122.25	o 588
123.41/123.56	o 589
123.61/123.76	o 590
126.31/126.48	o 593
134.90/135.03	o 598
135.30/135.41	o 599
135.30/135.42	o 600
135.30/135.42	o 601
135.60/135.71	o 602
135.60/135.72	o 603
135.90/136.02	o 604
135.90/136.03	o 605
136.80/136.97	o 606
141.09/141.25	o 611
143.59/143.71	o 619
146.20/146.36	o 620
146.39/146.51	o 632
146.39/146.57	o 633
153.78/153.90	o 634
154.78/154.99	o 638
155.18/155.39	o 639
159.87/160.05	o 644
160.48/160.68	o 646
160.48/160.69	o 647
160.48/160.69	o 648
160.48/160.70	o 649
163.37/163.52	o 657
163.57/163.73	o 658
167.77/167.99	o 663
178.36/178.55	o 674
179.26/179.41	o 675
180.06/180.22	o 677
180.16/180.35	o 678
184.26/184.45	o 679
186.06/186.20	o 681
188.65/188.82	o 683
188.65/188.85	o 684
194.25/194.42	o 685
194.35/194.57	o 686
194.35/194.58	o 687
194.35/194.59	o 688
197.55/197.72	o 689
197.55/197.77	o 690
200.94/201.10	o 691
206.34/206.51	o 692
208.54/208.72	o 694
209.34/209.59	o 695
216.33/216.58	o 698
218.84/219.09	o 699
219.23/219.44	o 700
219.23/219.48	o 701
219.33/219.57	o 702
220.63/220.88	o 704
221.04/221.22	o 705
225.03/225.25	o 708
228.63/228.81	o 711
233.92/234.19	o 714
234.82/235.00	o 715
236.62/236.88	o 716
247.51/247.73	o 717
249.70/249.96	o 718
265.09/265.34	o 722
276.38/276.63	o 723
278.38/278.62	o 724
288.27/288.53	o 727
288.57/288.83	o 728
288.57/288.88	o 729
291.07/291.36	o 735
298.97/299.27	o 736
311.96/312.24	o 737
327.36/327.65	o 738
331.75/332.09	o 739
336.85/337.19	o 740
336.85/337.19	o 741
366.74/367.03	o 742
366.94/367.29	o 743
370.14/370.41	o 744
423.12/423.42	o 745
426.92/427.24	o 746
428.83/429.14	o 747
429.32/429.64	o 748
435.32/435.62	o 749
451.92/452.21	o 750
457.71/458.03	o 755
466.11/466.41	o 760
472.31/472.64	o 763
505.80/506.16	o 765
509.59/509.92	o 772
512.99/513.37	o 773
525.59/525.98	o 775
553.28/553.62	o 776
556.68/557.02	o 777
578.77/579.16	o 778
578.77/579.17	o 779
578.77/579.17	o 780
631.65/632.02	o 781
631.65/632.03	o 782
631.65/632.05	o 783
631.65/632.07	o 784
631.65/632.07	o 785
631.75/632.17	o 786
631.75/632.18	o 787
650.35/650.76	o 788
653.35/653.78	o 789
668.85/669.27	o 790
672.86/673.24	o 794
676.45/676.89	o 795
680.75/681.15	o 796
680.75/681.18	o 797
716.94/717.38	o 799
726.93/727.30	o 800
740.12/740.51	o 801
751.03/751.48	o 802
758.52/758.91	o 803
770.51/770.99	o 804
835.89/836.33	o 805
859.38/859.85	o 806
859.38/859.87	o 807
881.77/882.25	o 808
909.36/909.89	o 809
972.93/973.43	o 810
973.14/973.61	o 811
989.33/989.88	o 812
1010.72/1011.28	o 813
1073.10/1073.67	o 814
1125.38/1125.93	o 815
1125.38/1125.94	o 816
1212.85/1213.43	o 817
1287.62/1288.27	o 818
1287.71/1288.31	o 819
1303.91/1304.58	o 820
1310.41/1311.00	o 821
1452.87/1453.51	o 822
1552.45/1553.16	o 828
1586.43/1587.16	o 829
1596.93/1597.69	o 830
1600.63/1601.32	o 831
1635.62/1636.38	o 832
1656.91/1657.66	o 833
1656.91/1657.67	o 834
1656.91/1657.68	o 835
1664.00/1664.74	o 836
1677.60/1678.37	o 837
1682.80/1683.58	o 841
1685.00/1685.74	o 843
1685.40/1686.13	o 844
1685.50/1686.26	o 845
1685.50/1686.28	o 846
1685.60/1686.35	o 847
1721.89/1722.62	o 848
1967.19/1968.07	o 853
2048.36/2049.24	o 854
2270.47/2271.46	o 855
2273.67/2274.63	o 856
2312.56/2313.51	o 857
2400.02/2401.00	s SATISFIABLE
2400.02/2401.00	v <instantiation type="solution">
2400.02/2401.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>
2400.02/2401.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>
2400.02/2401.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-4239982-1500637683/watcher-4239982-1500637683 -o /tmp/evaluation-result-4239982-1500637683/solver-4239982-1500637683 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500623787-5249 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 744660343 HOME/instance-4239982-1500637683.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8498
/proc/meminfo: memFree=31290808/32770624 swapFree=6412/509172
[pid=8498] ppid=8495 vsize=28800 CPUtime=0 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 951 0 0 0 0 0 0 0 20 0 1 0 18661528 29491200 765 33554432000 4194304 7402444 140727446717840 140727446714888 140599975504869 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 7200 765 593 784 0 214 0

[startup+0.100174 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8498
/proc/meminfo: memFree=31290808/32770624 swapFree=6412/509172
[pid=8498] ppid=8495 vsize=46784 CPUtime=0.08 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 5541 0 0 0 8 0 0 0 20 0 1 0 18661528 47906816 5267 33554432000 4194304 7402444 140727446717840 140727446711080 140599975943168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 11696 5267 657 784 0 4710 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46784

[startup+0.200374 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8498
/proc/meminfo: memFree=31290808/32770624 swapFree=6412/509172
[pid=8498] ppid=8495 vsize=100004 CPUtime=0.18 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 18843 0 0 0 16 2 0 0 20 0 1 0 18661528 102404096 18599 33554432000 4194304 7402444 140727446717840 140727446708920 140599975504869 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 25001 18599 663 784 0 18015 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 100004

[startup+0.300336 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8498
/proc/meminfo: memFree=31290808/32770624 swapFree=6412/509172
[pid=8498] ppid=8495 vsize=179184 CPUtime=0.29 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 38663 0 0 0 24 5 0 0 20 0 1 0 18661528 183484416 38399 33554432000 4194304 7402444 140727446717840 140727446709352 140599975504869 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 44829 38399 663 784 0 37843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 179184

[startup+0.700264 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8498
/proc/meminfo: memFree=31290808/32770624 swapFree=6412/509172
[pid=8498] ppid=8495 vsize=448264 CPUtime=0.69 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 105992 0 0 0 55 14 0 0 20 0 1 0 18661528 459022336 105719 33554432000 4194304 7402444 140727446717840 140727446707616 140599981696273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 112066 105719 676 784 0 105080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 448264

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30865212/32770624 swapFree=6412/509092
[pid=8498] ppid=8495 vsize=457992 CPUtime=1.49 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 108445 0 0 0 135 14 0 0 20 0 1 0 18661528 468983808 108221 33554432000 4194304 7402444 140727446717840 140727446712856 5747568 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 114498 108221 787 784 0 107512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 457992

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30859692/32770624 swapFree=6412/509092
[pid=8498] ppid=8495 vsize=459312 CPUtime=3.09 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 172258 0 0 0 291 18 0 0 20 0 1 0 18661528 470335488 108594 33554432000 4194304 7402444 140727446717840 140727446712376 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 114828 108594 792 784 0 107842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 459312

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30857096/32770624 swapFree=6412/509092
[pid=8498] ppid=8495 vsize=460632 CPUtime=6.29 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 276709 0 0 0 606 23 0 0 20 0 1 0 18661528 471687168 108950 33554432000 4194304 7402444 140727446717840 140727446712856 5750759 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115158 108950 792 784 0 108172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 460632

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30855112/32770624 swapFree=6412/509100
[pid=8498] ppid=8495 vsize=461832 CPUtime=12.68 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 372460 0 0 0 1240 28 0 0 20 0 1 0 18661528 472915968 109241 33554432000 4194304 7402444 140727446717840 140727446712376 4464175 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115458 109241 793 784 0 108472 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 461832

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30854492/32770624 swapFree=6412/509120
[pid=8498] ppid=8495 vsize=462628 CPUtime=25.48 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 443147 0 0 0 2517 31 0 0 20 0 1 0 18661528 473731072 109451 33554432000 4194304 7402444 140727446717840 140727446712856 4484465 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115657 109451 793 784 0 108671 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 462628

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8499
/proc/meminfo: memFree=30852592/32770624 swapFree=6412/509168
[pid=8498] ppid=8495 vsize=463288 CPUtime=51.07 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 550768 0 0 0 5070 37 0 0 20 0 1 0 18661528 474406912 109614 33554432000 4194304 7402444 140727446717840 140727446712856 5750759 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115822 109614 793 784 0 108836 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 463288

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8500
/proc/meminfo: memFree=30853180/32770624 swapFree=6412/509240
[pid=8498] ppid=8495 vsize=463684 CPUtime=102.23 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 635721 0 0 0 10182 41 0 0 20 0 1 0 18661528 474812416 109710 33554432000 4194304 7402444 140727446717840 140727446712856 4237755 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115921 109710 794 784 0 108935 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 463684

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8509
/proc/meminfo: memFree=30852916/32770624 swapFree=6412/509344
[pid=8498] ppid=8495 vsize=463948 CPUtime=162.17 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 678926 0 0 0 16174 43 0 0 20 0 1 0 18661528 475082752 109771 33554432000 4194304 7402444 140727446717840 140727446712856 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 115987 109771 794 784 0 109001 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 463948

[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 8510
/proc/meminfo: memFree=30850920/32770624 swapFree=6412/509416
[pid=8498] ppid=8495 vsize=464080 CPUtime=222.14 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 697992 0 0 0 22169 45 0 0 20 0 1 0 18661528 475217920 109800 33554432000 4194304 7402444 140727446717840 140727446712856 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116020 109800 794 784 0 109034 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 464080

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 8511
/proc/meminfo: memFree=30850312/32770624 swapFree=6412/509472
[pid=8498] ppid=8495 vsize=464344 CPUtime=282.08 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 702314 0 0 0 28163 45 0 0 20 0 1 0 18661528 475488256 109870 33554432000 4194304 7402444 140727446717840 140727446712856 5753939 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116086 109870 794 784 0 109100 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 464344

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8512
/proc/meminfo: memFree=30850600/32770624 swapFree=6412/509528
[pid=8498] ppid=8495 vsize=464476 CPUtime=342.05 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 703275 0 0 0 34160 45 0 0 20 0 1 0 18661528 475623424 109876 33554432000 4194304 7402444 140727446717840 140727446712312 4484555 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116119 109876 794 784 0 109133 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 464476

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8513
/proc/meminfo: memFree=30850972/32770624 swapFree=6412/509568
[pid=8498] ppid=8495 vsize=464476 CPUtime=402.03 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 704196 0 0 0 40158 45 0 0 20 0 1 0 18661528 475623424 109913 33554432000 4194304 7402444 140727446717840 140727446712856 4484558 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116119 109913 794 784 0 109133 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 464476

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8515
/proc/meminfo: memFree=30851628/32770624 swapFree=6412/509620
[pid=8498] ppid=8495 vsize=464476 CPUtime=462.01 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 705113 0 0 0 46156 45 0 0 20 0 1 0 18661528 475623424 109915 33554432000 4194304 7402444 140727446717840 140727446712856 4484504 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116119 109915 794 784 0 109133 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 464476

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8516
/proc/meminfo: memFree=30851880/32770624 swapFree=6412/509680
[pid=8498] ppid=8495 vsize=464476 CPUtime=521.99 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 706027 0 0 0 52154 45 0 0 20 0 1 0 18661528 475623424 109916 33554432000 4194304 7402444 140727446717840 140727446712856 4484555 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116119 109916 794 784 0 109133 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 464476

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8517
/proc/meminfo: memFree=30851252/32770624 swapFree=6412/509720
[pid=8498] ppid=8495 vsize=464476 CPUtime=581.97 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 706949 0 0 0 58152 45 0 0 20 0 1 0 18661528 475623424 109917 33554432000 4194304 7402444 140727446717840 140727446712856 4747155 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116119 109917 794 784 0 109133 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 464476


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


[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 8697
/proc/meminfo: memFree=30843196/32770624 swapFree=6412/510400
[pid=8498] ppid=8495 vsize=464872 CPUtime=1481.66 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 721677 0 0 0 148119 47 0 0 20 0 1 0 18661528 476028928 110007 33554432000 4194304 7402444 140727446717840 140727446712856 4465322 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116218 110007 794 784 0 109232 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 464872

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8698
/proc/meminfo: memFree=30842964/32770624 swapFree=6412/510444
[pid=8498] ppid=8495 vsize=464872 CPUtime=1541.66 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 722950 0 0 0 154119 47 0 0 20 0 1 0 18661528 476028928 110008 33554432000 4194304 7402444 140727446717840 140727446712856 4484555 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116218 110008 794 784 0 109232 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 464872

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8699
/proc/meminfo: memFree=30842848/32770624 swapFree=6412/510480
[pid=8498] ppid=8495 vsize=464872 CPUtime=1601.63 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 724064 0 0 0 160116 47 0 0 20 0 1 0 18661528 476028928 110008 33554432000 4194304 7402444 140727446717840 140727446712856 4483946 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116218 110008 794 784 0 109232 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 464872

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8700
/proc/meminfo: memFree=30842716/32770624 swapFree=6412/510516
[pid=8498] ppid=8495 vsize=464872 CPUtime=1661.61 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 725043 0 0 0 166114 47 0 0 20 0 1 0 18661528 476028928 110009 33554432000 4194304 7402444 140727446717840 140727446712856 5753913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116218 110009 794 784 0 109232 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 464872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8701
/proc/meminfo: memFree=30842708/32770624 swapFree=6412/510572
[pid=8498] ppid=8495 vsize=464872 CPUtime=1721.58 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 726043 0 0 0 172111 47 0 0 20 0 1 0 18661528 476028928 110009 33554432000 4194304 7402444 140727446717840 140727446712856 5877690 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116218 110009 794 784 0 109232 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 464872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8702
/proc/meminfo: memFree=30842832/32770624 swapFree=6412/510600
[pid=8498] ppid=8495 vsize=465004 CPUtime=1781.56 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 726934 0 0 0 178109 47 0 0 20 0 1 0 18661528 476164096 110019 33554432000 4194304 7402444 140727446717840 140727446712184 4484558 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110019 794 784 0 109265 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 465004

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8703
/proc/meminfo: memFree=30842692/32770624 swapFree=6412/510636
[pid=8498] ppid=8495 vsize=465004 CPUtime=1841.54 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 728055 0 0 0 184107 47 0 0 20 0 1 0 18661528 476164096 110019 33554432000 4194304 7402444 140727446717840 140727446712184 4484558 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110019 794 784 0 109265 0
Current children cumulated CPU time (s) 1841.54
Current children cumulated vsize (KiB) 465004

[startup+1902.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 8704
/proc/meminfo: memFree=30842812/32770624 swapFree=6412/510668
[pid=8498] ppid=8495 vsize=465004 CPUtime=1901.51 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 728768 0 0 0 190104 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712184 5753904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 1901.51
Current children cumulated vsize (KiB) 465004

[startup+1962.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 8712
/proc/meminfo: memFree=30842344/32770624 swapFree=6412/510704
[pid=8498] ppid=8495 vsize=465004 CPUtime=1961.49 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 729984 0 0 0 196102 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712184 4237755 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 1961.49
Current children cumulated vsize (KiB) 465004

[startup+2022.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 8713
/proc/meminfo: memFree=30842468/32770624 swapFree=6412/510740
[pid=8498] ppid=8495 vsize=465004 CPUtime=2021.47 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 731044 0 0 0 202100 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712856 4709390 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 2021.47
Current children cumulated vsize (KiB) 465004

[startup+2082.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 8714
/proc/meminfo: memFree=30842708/32770624 swapFree=6412/510780
[pid=8498] ppid=8495 vsize=465004 CPUtime=2081.45 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 731915 0 0 0 208098 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712856 5327250 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 2081.45
Current children cumulated vsize (KiB) 465004

[startup+2142.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/187 8715
/proc/meminfo: memFree=30843328/32770624 swapFree=6412/510816
[pid=8498] ppid=8495 vsize=465004 CPUtime=2141.42 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 733068 0 0 0 214095 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712856 4484665 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 2141.42
Current children cumulated vsize (KiB) 465004

[startup+2202.31 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 8716
/proc/meminfo: memFree=30842912/32770624 swapFree=6412/510844
[pid=8498] ppid=8495 vsize=465004 CPUtime=2201.4 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 733799 0 0 0 220093 47 0 0 20 0 1 0 18661528 476164096 110022 33554432000 4194304 7402444 140727446717840 140727446712856 4465341 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110022 794 784 0 109265 0
Current children cumulated CPU time (s) 2201.4
Current children cumulated vsize (KiB) 465004

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 8718
/proc/meminfo: memFree=30842840/32770624 swapFree=6412/510884
[pid=8498] ppid=8495 vsize=465004 CPUtime=2261.37 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 734893 0 0 0 226090 47 0 0 20 0 1 0 18661528 476164096 110023 33554432000 4194304 7402444 140727446717840 140727446712856 4484571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110023 794 784 0 109265 0
Current children cumulated CPU time (s) 2261.37
Current children cumulated vsize (KiB) 465004

[startup+2322.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 8719
/proc/meminfo: memFree=30842968/32770624 swapFree=6412/510920
[pid=8498] ppid=8495 vsize=465004 CPUtime=2321.35 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 735786 0 0 0 232088 47 0 0 20 0 1 0 18661528 476164096 110023 33554432000 4194304 7402444 140727446717840 140727446712856 4529237 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110023 794 784 0 109265 0
Current children cumulated CPU time (s) 2321.35
Current children cumulated vsize (KiB) 465004

[startup+2382.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 8720
/proc/meminfo: memFree=30842972/32770624 swapFree=6412/510948
[pid=8498] ppid=8495 vsize=465004 CPUtime=2381.33 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 736485 0 0 0 238086 47 0 0 20 0 1 0 18661528 476164096 110023 33554432000 4194304 7402444 140727446717840 140727446712856 5877540 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110023 794 784 0 109265 0
Current children cumulated CPU time (s) 2381.33
Current children cumulated vsize (KiB) 465004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 8722
/proc/meminfo: memFree=30842468/32770624 swapFree=6412/510976
[pid=8498] ppid=8495 vsize=465004 CPUtime=2400.02 cores=0,2,4,6
/proc/8498/stat : 8498 (MistralXCSP) R 8495 8498 5218 0 -1 4202496 736775 0 0 0 239955 47 0 0 20 0 1 0 18661528 476164096 110023 33554432000 4194304 7402444 140727446717840 140727446712856 4484571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9500608 9505824 41091072 140727446721705 140727446721854 140727446721854 140727446724553 0
/proc/8498/statm: 116251 110023 794 784 0 109265 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 465004

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

Child status: 0
Real time (s): 2401
CPU time (s): 2400.03
CPU user time (s): 2399.56
CPU system time (s): 0.475832
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 465004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.56
system time used= 0.475832
maximum resident set size= 440116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 736808
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= 192
involuntary context switches= 122932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84708 second user time and 9.36162 second system time

The end

Launcher Data 

Begin job on node106 at 2017-07-21 13:48:03
IDJOB=4239982
IDBENCH=115914
IDSOLVER=2622
FILE ID=node106/4239982-1500637683
RUNJOBID= node106-1500623787-5249
PBS_JOBID= 20623021
Free space on /tmp= 61968 MiB

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

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=744660343

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.30
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		: 1600.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:        31291096 kB
MemAvailable:   31995856 kB
Buffers:          162060 kB
Cached:           830456 kB
SwapCached:            0 kB
Active:           530612 kB
Inactive:         525932 kB
Active(anon):      67000 kB
Inactive(anon):    16760 kB
Active(file):     463612 kB
Inactive(file):   509172 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5624 kB
Writeback:             0 kB
AnonPages:         80464 kB
Mapped:            34812 kB
Shmem:             17044 kB
Slab:             120660 kB
SReclaimable:      95620 kB
SUnreclaim:        25040 kB
KernelStack:        3568 kB
PageTables:         5316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61960 MiB
End job on node106 at 2017-07-21 14:28:04