0.00/0.10	c 280717
0.69/0.88	o 4
0.69/0.88	o 5
0.69/0.88	o 6
0.69/0.89	o 8
0.69/0.89	o 9
0.69/0.89	o 10
0.79/0.90	o 11
0.79/0.90	o 12
0.89/1.05	o 14
0.89/1.05	o 15
0.89/1.05	o 16
0.89/1.06	o 17
0.89/1.06	o 18
1.09/1.20	o 20
1.09/1.20	o 21
1.09/1.20	o 22
1.09/1.21	o 24
1.09/1.21	o 25
1.09/1.22	o 26
1.19/1.35	o 28
1.19/1.35	o 29
1.19/1.35	o 30
1.19/1.36	o 31
1.19/1.36	o 32
1.19/1.36	o 33
1.19/1.37	o 36
1.19/1.37	o 37
1.19/1.37	o 38
1.19/1.39	o 40
1.29/1.40	o 41
1.29/1.40	o 42
1.39/1.55	o 47
1.49/1.69	o 49
1.49/1.69	o 50
1.49/1.69	o 51
1.59/1.70	o 53
1.59/1.70	o 54
1.59/1.70	o 55
1.59/1.72	o 56
1.59/1.72	o 57
1.59/1.72	o 58
1.59/1.72	o 59
1.69/1.85	o 61
1.69/1.85	o 62
1.69/1.85	o 63
1.69/1.86	o 65
1.69/1.86	o 66
1.69/1.86	o 67
1.69/1.86	o 70
1.69/1.87	o 71
1.69/1.88	o 72
1.69/1.90	o 73
1.89/2.04	o 75
1.89/2.04	o 76
1.89/2.05	o 77
1.89/2.05	o 78
1.89/2.06	o 79
1.89/2.06	o 80
1.89/2.06	o 81
1.89/2.08	o 82
1.99/2.13	o 83
1.99/2.17	o 85
1.99/2.17	o 86
1.99/2.18	o 87
2.20/2.34	o 89
2.20/2.34	o 90
2.20/2.34	o 91
2.20/2.36	o 92
2.20/2.36	o 93
2.20/2.37	o 94
2.20/2.37	o 95
2.20/2.37	o 96
2.20/2.37	o 97
2.39/2.51	o 100
2.39/2.51	o 101
2.39/2.51	o 102
2.39/2.52	o 103
2.39/2.52	o 104
2.39/2.52	o 105
2.39/2.52	o 106
2.39/2.53	o 108
2.39/2.53	o 109
2.49/2.66	o 111
2.49/2.67	o 112
2.49/2.67	o 113
2.49/2.67	o 114
2.49/2.67	o 115
2.49/2.68	o 116
2.49/2.68	o 117
2.69/2.85	o 120
2.79/2.95	o 122
2.89/3.02	o 123
2.99/3.10	o 124
3.09/3.20	o 126
3.79/3.95	o 170
3.79/3.98	o 171
3.79/3.98	o 172
3.79/3.98	o 173
3.79/3.98	o 174
3.79/3.98	o 175
3.79/3.98	o 176
3.79/3.99	o 177
3.99/4.11	o 178
4.29/4.41	o 179
4.29/4.41	o 181
4.29/4.41	o 182
4.29/4.44	o 184
4.29/4.44	o 185
4.29/4.44	o 186
4.89/5.01	o 193
4.99/5.15	o 194
5.09/5.29	o 195
5.09/5.30	o 196
5.19/5.30	o 197
5.19/5.30	o 198
5.69/5.85	o 199
5.69/5.89	o 200
5.79/5.97	o 207
5.79/5.98	o 208
5.79/5.98	o 209
7.19/7.33	o 213
7.19/7.35	o 214
7.19/7.35	o 215
7.39/7.50	o 216
7.39/7.50	o 217
7.39/7.51	o 218
7.39/7.52	o 219
7.49/7.67	o 220
7.49/7.68	o 221
7.59/7.77	o 222
8.29/8.44	o 223
8.39/8.50	o 224
8.39/8.51	o 225
8.49/8.60	o 226
8.49/8.62	o 227
8.49/8.65	o 228
9.59/9.74	o 229
9.99/10.19	o 230
10.29/10.44	o 231
10.59/10.72	o 240
10.79/10.96	o 241
10.90/11.01	o 242
10.90/11.05	o 243
11.89/12.03	o 246
11.89/12.04	o 247
12.19/12.37	o 248
12.19/12.37	o 249
12.99/13.15	o 250
13.10/13.29	o 251
13.69/13.88	o 256
13.98/14.18	o 257
15.59/15.72	o 264
15.79/15.96	o 270
15.79/15.99	o 271
16.59/16.74	o 272
16.89/17.00	o 273
17.29/17.41	o 274
17.39/17.58	o 275
18.19/18.34	o 300
18.29/18.41	o 301
18.39/18.54	o 302
18.39/18.55	o 303
18.39/18.57	o 304
18.39/18.58	o 305
18.49/18.60	o 306
18.49/18.64	o 307
18.49/18.66	o 308
18.49/18.68	o 309
18.79/18.96	o 310
19.19/19.37	o 316
19.19/19.37	o 317
19.29/19.42	o 318
19.89/20.07	o 319
20.09/20.22	o 320
20.49/20.62	o 321
20.80/20.98	o 323
21.79/21.95	o 325
23.89/24.08	o 327
23.89/24.08	o 328
24.99/25.10	o 329
24.99/25.13	o 330
27.50/27.64	o 331
27.69/27.81	o 332
27.99/28.14	o 333
28.29/28.48	o 344
28.39/28.50	o 345
30.09/30.28	o 350
30.59/30.78	o 351
31.19/31.32	o 354
32.39/32.54	o 357
32.49/32.63	o 358
32.49/32.63	o 359
33.79/33.92	o 361
33.79/33.92	o 362
33.79/33.92	o 363
33.79/33.93	o 364
33.79/33.93	o 365
34.69/34.81	o 366
34.79/34.95	o 367
34.89/35.09	o 368
35.99/36.14	o 369
36.09/36.25	o 370
36.20/36.37	o 371
37.19/37.32	o 372
40.99/41.18	o 373
42.90/43.01	o 374
42.90/43.03	o 375
49.19/49.32	o 379
52.99/53.15	o 380
54.19/54.33	o 390
54.29/54.44	o 393
54.49/54.61	o 394
54.49/54.62	o 395
55.39/55.54	o 396
55.39/55.57	o 397
55.49/55.67	o 398
57.99/58.10	o 403
59.89/60.07	o 404
59.99/60.10	o 405
63.29/63.42	o 406
64.39/64.51	o 407
68.19/68.36	o 408
68.99/69.10	o 409
71.59/71.71	o 414
72.59/72.75	o 460
80.08/80.25	o 461
80.08/80.30	o 462
80.19/80.32	o 463
80.19/80.35	o 464
81.29/81.45	o 465
82.28/82.50	o 466
83.68/83.83	o 467
88.59/88.77	o 477
91.59/91.70	o 480
93.09/93.23	o 481
93.09/93.28	o 482
93.19/93.32	o 483
106.79/106.93	o 484
108.19/108.30	o 485
129.98/130.13	o 489
146.57/146.71	o 490
168.96/169.18	o 491
253.13/253.30	o 497
267.92/268.13	o 498
268.62/268.80	o 499
278.82/279.01	o 500
282.52/282.70	o 501
378.32/378.53	o 502
418.71/418.99	o 503
484.61/484.82	o 504
484.61/484.83	o 505
485.31/485.56	o 506
485.81/486.07	o 507
507.21/507.45	o 508
551.91/552.10	o 509
586.51/586.78	o 510
610.51/610.78	o 511
686.01/686.22	o 512
734.50/734.77	o 513
778.50/778.80	o 514
1775.29/1775.51	o 515
2428.58/2428.82	o 516
2519.77/2520.00	s SATISFIABLE
2519.77/2520.00	v <instantiation type="solution">
2519.77/2520.00	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2519.77/2520.00	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 1 0 1 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 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 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 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 16 17 19 26 31 36 42 43 44 48 50 51 54 56 58 60 60 61 63 66 68 68 69 72 73 75 80 85 87 87 90 91 98 112 516 </values>
2519.77/2520.00	v </instantiation>

OK	516

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-4261194-1502342276/watcher-4261194-1502342276 -o /tmp/evaluation-result-4261194-1502342276/solver-4261194-1502342276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 661449082 HOME/instance-4261194-1502342276.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.06 2.00 2/186 26701
/proc/meminfo: memFree=31038472/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26701/stat : 26701 (runsolver) D 26698 26701 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 133880580 24240128 107 18446744073709551615 4194304 4338465 140733655737360 140733655735000 140318631736023 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 9015296 140733655740555 140733655741001 140733655741001 140733655744458 0
/proc/26701/statm: 5918 107 54 36 0 2156 0

[startup+0.100082 s]
/proc/loadavg: 2.18 2.06 2.00 2/186 26701
/proc/meminfo: memFree=31038472/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=6904 CPUtime=0 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4194304 161 0 0 0 0 0 0 0 20 0 1 0 133880580 7069696 36 18446744073709551615 4194304 7396336 140724005872160 140724005869448 140308375078599 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 1726 36 26 782 0 40 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6904

[startup+0.200953 s]
/proc/loadavg: 2.18 2.06 2.00 2/186 26701
/proc/meminfo: memFree=31038472/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=79140 CPUtime=0.09 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 13591 0 0 0 8 1 0 0 20 0 1 0 133880580 81039360 13384 18446744073709551615 4194304 7396336 140724005872160 140724005863240 4252880 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 19785 13384 646 782 0 12801 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 79140

[startup+0.300951 s]
/proc/loadavg: 2.18 2.06 2.00 2/186 26701
/proc/meminfo: memFree=31038472/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=157576 CPUtime=0.19 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 33210 0 0 0 16 3 0 0 20 0 1 0 133880580 161357824 32986 18446744073709551615 4194304 7396336 140724005872160 140724005863672 4252950 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 39394 32986 646 782 0 32410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 157576

[startup+0.700176 s]
/proc/loadavg: 2.18 2.06 2.00 2/186 26701
/proc/meminfo: memFree=31038472/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=272716 CPUtime=0.59 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 62102 0 0 0 52 7 0 0 20 0 1 0 133880580 279261184 61894 18446744073709551615 4194304 7396336 140724005872160 140724005863240 6009376 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 68179 61894 750 782 0 61195 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 272716

[startup+1.50021 s]
/proc/loadavg: 2.18 2.06 2.00 3/187 26702
/proc/meminfo: memFree=30790300/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=276792 CPUtime=1.39 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 63271 0 0 0 132 7 0 0 20 0 1 0 133880580 283435008 62894 18446744073709551615 4194304 7396336 140724005872160 140724005863240 4399564 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69198 62894 789 782 0 62214 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 276792

[startup+3.10025 s]
/proc/loadavg: 2.17 2.06 2.00 3/187 26702
/proc/meminfo: memFree=30788812/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=277716 CPUtime=2.99 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 100565 0 0 0 290 9 0 0 20 0 1 0 133880580 284381184 63196 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792070 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69429 63196 791 782 0 62445 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 277716

[startup+6.30023 s]
/proc/loadavg: 2.17 2.06 2.00 3/187 26702
/proc/meminfo: memFree=30787420/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=278376 CPUtime=6.19 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 140803 0 0 0 607 12 0 0 20 0 1 0 133880580 285057024 63365 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69594 63365 791 782 0 62610 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 278376

[startup+12.7002 s]
/proc/loadavg: 2.14 2.06 2.00 3/187 26703
/proc/meminfo: memFree=30786572/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=278920 CPUtime=12.59 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 180107 0 0 0 1245 14 0 0 20 0 1 0 133880580 285614080 63492 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4252937 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69730 63492 791 782 0 62746 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 278920

[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 2.00 3/187 26703
/proc/meminfo: memFree=30786524/32770624 swapFree=0/422628
[pid=26701] ppid=26698 vsize=279184 CPUtime=25.38 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 257895 0 0 0 2521 17 0 0 20 0 1 0 133880580 285884416 63562 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4581576 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69796 63562 791 782 0 62812 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 279184

[startup+51.1004 s]
/proc/loadavg: 2.22 2.08 2.01 3/186 26703
/proc/meminfo: memFree=30786292/32770624 swapFree=0/422620
[pid=26701] ppid=26698 vsize=279448 CPUtime=50.99 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 297975 0 0 0 5079 20 0 0 20 0 1 0 133880580 286154752 63627 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792248 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69862 63627 791 782 0 62878 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 279448

[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/185 26705
/proc/meminfo: memFree=30786596/32770624 swapFree=0/422628
[pid=26701] ppid=26698 vsize=279588 CPUtime=102.2 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 337522 0 0 0 10197 23 0 0 20 0 1 0 133880580 286298112 63662 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4582426 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69897 63662 791 782 0 62913 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 279588

[startup+162.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/184 26707
/proc/meminfo: memFree=30786444/32770624 swapFree=0/422624
[pid=26701] ppid=26698 vsize=279588 CPUtime=162.16 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 376874 0 0 0 16191 25 0 0 20 0 1 0 133880580 286298112 63667 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792074 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69897 63667 791 782 0 62913 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 279588

[startup+222.306 s]
/proc/loadavg: 2.04 2.06 2.01 3/184 26709
/proc/meminfo: memFree=30786812/32770624 swapFree=0/422644
[pid=26701] ppid=26698 vsize=279588 CPUtime=222.15 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 404042 0 0 0 22188 27 0 0 20 0 1 0 133880580 286298112 63670 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4252905 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69897 63670 791 782 0 62913 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 279588

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/185 26712
/proc/meminfo: memFree=30786924/32770624 swapFree=0/422668
[pid=26701] ppid=26698 vsize=279720 CPUtime=282.12 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 416938 0 0 0 28185 27 0 0 20 0 1 0 133880580 286433280 63684 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5578112 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69930 63684 791 782 0 62946 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 279720

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/185 26736
/proc/meminfo: memFree=30788160/32770624 swapFree=0/422688
[pid=26701] ppid=26698 vsize=279720 CPUtime=342.12 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 417454 0 0 0 34185 27 0 0 20 0 1 0 133880580 286433280 63697 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4406506 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69930 63697 791 782 0 62946 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 279720

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/188 26752
/proc/meminfo: memFree=30784624/32770624 swapFree=0/422712
[pid=26701] ppid=26698 vsize=279720 CPUtime=402.11 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 417987 0 0 0 40184 27 0 0 20 0 1 0 133880580 286433280 63699 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69930 63699 791 782 0 62946 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 279720

[startup+462.3 s]
/proc/loadavg: 1.95 2.01 2.01 3/188 26754
/proc/meminfo: memFree=30784808/32770624 swapFree=0/422732
[pid=26701] ppid=26698 vsize=279720 CPUtime=462.11 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 418527 0 0 0 46184 27 0 0 20 0 1 0 133880580 286433280 63708 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5791475 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69930 63708 791 782 0 62946 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 279720

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/186 26757
/proc/meminfo: memFree=30787976/32770624 swapFree=0/422732
[pid=26701] ppid=26698 vsize=279852 CPUtime=522.11 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 419058 0 0 0 52184 27 0 0 20 0 1 0 133880580 286568448 63716 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63716 791 782 0 62979 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 279852

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/185 26759
/proc/meminfo: memFree=30787952/32770624 swapFree=0/422748
[pid=26701] ppid=26698 vsize=279852 CPUtime=582.11 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 419598 0 0 0 58184 27 0 0 20 0 1 0 133880580 286568448 63718 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63718 791 782 0 62979 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 279852


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


[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/187 26828
/proc/meminfo: memFree=30782220/32770624 swapFree=0/422900
[pid=26701] ppid=26698 vsize=279852 CPUtime=1602.09 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 428575 0 0 0 160181 28 0 0 20 0 1 0 133880580 286568448 63735 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63735 791 782 0 62979 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 279852

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/187 26830
/proc/meminfo: memFree=30781972/32770624 swapFree=0/422932
[pid=26701] ppid=26698 vsize=279852 CPUtime=1662.09 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 429116 0 0 0 166181 28 0 0 20 0 1 0 133880580 286568448 63735 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4252905 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63735 791 782 0 62979 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 279852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/184 26832
/proc/meminfo: memFree=30785620/32770624 swapFree=0/422944
[pid=26701] ppid=26698 vsize=279852 CPUtime=1722.09 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 429664 0 0 0 172181 28 0 0 20 0 1 0 133880580 286568448 63735 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792078 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63735 791 782 0 62979 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 279852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/184 26834
/proc/meminfo: memFree=30785464/32770624 swapFree=0/422952
[pid=26701] ppid=26698 vsize=279852 CPUtime=1782.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 430238 0 0 0 178180 28 0 0 20 0 1 0 133880580 286568448 63735 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63735 791 782 0 62979 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 279852

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 26837
/proc/meminfo: memFree=30785452/32770624 swapFree=0/422960
[pid=26701] ppid=26698 vsize=279852 CPUtime=1842.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 430803 0 0 0 184180 28 0 0 20 0 1 0 133880580 286568448 63736 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63736 791 782 0 62979 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 279852

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 26839
/proc/meminfo: memFree=30785560/32770624 swapFree=0/422968
[pid=26701] ppid=26698 vsize=279852 CPUtime=1902.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 431349 0 0 0 190180 28 0 0 20 0 1 0 133880580 286568448 63736 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63736 791 782 0 62979 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 279852

[startup+1962.3 s]
/proc/loadavg: 1.95 2.00 2.02 3/185 26841
/proc/meminfo: memFree=30785316/32770624 swapFree=0/422972
[pid=26701] ppid=26698 vsize=279852 CPUtime=1962.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 431912 0 0 0 196180 28 0 0 20 0 1 0 133880580 286568448 63736 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792063 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63736 791 782 0 62979 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 279852

[startup+2022.3 s]
/proc/loadavg: 2.09 2.03 2.03 3/185 26843
/proc/meminfo: memFree=30785040/32770624 swapFree=0/422984
[pid=26701] ppid=26698 vsize=279852 CPUtime=2022.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 432430 0 0 0 202180 28 0 0 20 0 1 0 133880580 286568448 63736 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5791952 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63736 791 782 0 62979 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 279852

[startup+2082.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/185 26845
/proc/meminfo: memFree=30785292/32770624 swapFree=0/422988
[pid=26701] ppid=26698 vsize=279852 CPUtime=2082.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 432972 0 0 0 208180 28 0 0 20 0 1 0 133880580 286568448 63736 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4406506 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63736 791 782 0 62979 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 279852

[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/184 26847
/proc/meminfo: memFree=30785152/32770624 swapFree=0/423000
[pid=26701] ppid=26698 vsize=279852 CPUtime=2142.07 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 433535 0 0 0 214179 28 0 0 20 0 1 0 133880580 286568448 63737 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5839012 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63737 791 782 0 62979 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 279852

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.04 3/188 26991
/proc/meminfo: memFree=30945132/32770624 swapFree=0/423012
[pid=26701] ppid=26698 vsize=279852 CPUtime=2202.09 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 434087 0 0 0 220180 29 0 0 20 0 1 0 133880580 286568448 63737 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5839273 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63737 791 782 0 62979 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 279852

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 26993
/proc/meminfo: memFree=30945904/32770624 swapFree=0/423020
[pid=26701] ppid=26698 vsize=279852 CPUtime=2262.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 434645 0 0 0 226179 29 0 0 20 0 1 0 133880580 286568448 63737 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63737 791 782 0 62979 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 279852

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 26996
/proc/meminfo: memFree=30948944/32770624 swapFree=0/423028
[pid=26701] ppid=26698 vsize=279852 CPUtime=2322.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 435105 0 0 0 232179 29 0 0 20 0 1 0 133880580 286568448 63737 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792016 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63737 791 782 0 62979 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 279852

[startup+2382.3 s]
/proc/loadavg: 1.92 2.00 2.03 3/186 26998
/proc/meminfo: memFree=30948896/32770624 swapFree=0/423040
[pid=26701] ppid=26698 vsize=279852 CPUtime=2382.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 435661 0 0 0 238179 29 0 0 20 0 1 0 133880580 286568448 63737 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63737 791 782 0 62979 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 279852

[startup+2442.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/186 27000
/proc/meminfo: memFree=30948740/32770624 swapFree=0/423032
[pid=26701] ppid=26698 vsize=279852 CPUtime=2442.08 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 436220 0 0 0 244179 29 0 0 20 0 1 0 133880580 286568448 63738 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4582165 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63738 791 782 0 62979 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 279852

[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 27002
/proc/meminfo: memFree=30949008/32770624 swapFree=0/423032
[pid=26701] ppid=26698 vsize=279852 CPUtime=2502.07 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 436769 0 0 0 250178 29 0 0 20 0 1 0 133880580 286568448 63738 18446744073709551615 4194304 7396336 140724005872160 140724005867176 4399564 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63738 791 782 0 62979 0
Current children cumulated CPU time (s) 2502.07
Current children cumulated vsize (KiB) 279852



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.08 2.03 2.04 3/185 27002
/proc/meminfo: memFree=30949008/32770624 swapFree=0/423028
[pid=26701] ppid=26698 vsize=279852 CPUtime=2519.77 cores=1,3,5,7
/proc/26701/stat : 26701 (MistralXCSP) R 26698 26701 4525 0 -1 4202496 437288 0 0 0 251948 29 0 0 20 0 1 0 133880580 286568448 63738 18446744073709551615 4194304 7396336 140724005872160 140724005867176 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 36945920 140724005876147 140724005876296 140724005876296 140724005879753 0
/proc/26701/statm: 69963 63738 791 782 0 62979 0
Current children cumulated CPU time (s) 2519.77
Current children cumulated vsize (KiB) 279852

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.78
CPU user time (s): 2519.49
CPU system time (s): 0.292993
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 279852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.292993
maximum resident set size= 254972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437319
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= 116
involuntary context switches= 770

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75724 second user time and 10.2436 second system time

The end

Begin job on node132 at 2017-08-10 07:03:33
IDJOB=4261194
IDBENCH=115918
IDSOLVER=2649
FILE ID=node132/4261194-1502342276
RUNJOBID= node132-1502333491-25568
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.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-4261194-1502342276/watcher-4261194-1502342276 -o /tmp/evaluation-result-4261194-1502342276/solver-4261194-1502342276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 661449082 HOME/instance-4261194-1502342276.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=661449082

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31038744 kB
MemAvailable:   31796928 kB
Buffers:          278604 kB
Cached:           783272 kB
SwapCached:            0 kB
Active:           836208 kB
Inactive:         463440 kB
Active(anon):     238712 kB
Inactive(anon):    40820 kB
Active(file):     597496 kB
Inactive(file):   422620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5836 kB
Writeback:             0 kB
AnonPages:        237580 kB
Mapped:            58000 kB
Shmem:             41660 kB
Slab:             134364 kB
SReclaimable:     107804 kB
SUnreclaim:        26560 kB
KernelStack:        3296 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

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