0.00/0.01	c Mistral 16062018
0.40/0.51	o 0
0.40/0.51	o 3
0.40/0.51	o 4
0.40/0.51	o 6
0.50/0.52	o 7
0.50/0.52	o 8
0.50/0.52	o 9
0.50/0.52	o 10
0.50/0.53	o 11
0.50/0.53	o 12
0.50/0.54	o 13
0.50/0.54	o 14
0.50/0.55	o 15
0.50/0.55	o 16
0.59/0.68	o 18
0.59/0.68	o 19
0.59/0.68	o 20
0.59/0.68	o 22
0.59/0.68	o 23
0.59/0.68	o 24
0.68/0.70	o 25
0.68/0.72	o 26
0.78/0.82	o 28
0.78/0.82	o 29
0.78/0.82	o 30
0.78/0.82	o 31
0.78/0.82	o 32
0.78/0.82	o 33
0.78/0.83	o 34
0.88/0.96	o 35
0.88/0.98	o 36
0.88/1.00	o 37
0.99/1.02	o 38
0.99/1.04	o 39
0.99/1.06	o 40
0.99/1.08	o 42
0.99/1.10	o 43
1.08/1.12	o 44
1.08/1.14	o 45
1.17/1.27	o 47
1.27/1.30	o 48
1.27/1.33	o 49
1.27/1.37	o 50
1.37/1.40	o 51
1.37/1.44	o 52
1.37/1.47	o 53
1.47/1.52	o 54
1.47/1.55	o 55
1.67/1.71	o 56
1.98/2.08	o 93
1.98/2.08	o 94
1.98/2.09	o 95
1.98/2.09	o 96
2.09/2.12	o 97
2.09/2.17	o 98
2.09/2.17	o 99
2.09/2.17	o 100
2.09/2.17	o 101
2.28/2.38	o 102
2.28/2.38	o 103
2.47/2.53	o 124
2.47/2.53	o 125
2.47/2.54	o 126
2.47/2.58	o 127
2.99/3.10	o 128
2.99/3.10	o 129
3.09/3.11	o 130
3.09/3.11	o 131
3.09/3.13	o 133
3.09/3.13	o 134
3.09/3.13	o 135
3.09/3.14	o 136
3.09/3.15	o 137
3.09/3.17	o 138
3.09/3.18	o 139
3.18/3.20	o 140
3.18/3.22	o 141
3.18/3.28	o 145
3.99/4.01	o 147
4.17/4.25	o 148
4.48/4.57	o 149
4.88/4.92	o 165
4.88/4.95	o 166
4.88/4.98	o 167
5.18/5.28	o 175
5.27/5.30	o 176
5.27/5.34	o 177
5.37/5.47	o 178
5.37/5.49	o 179
5.47/5.51	o 180
5.47/5.53	o 181
5.67/5.70	o 182
5.67/5.72	o 183
5.87/5.95	o 184
6.98/7.05	o 185
6.98/7.07	o 186
6.98/7.09	o 187
7.08/7.15	o 188
7.37/7.43	o 189
8.98/9.10	o 203
9.09/9.11	o 204
9.38/9.40	o 206
9.38/9.48	o 207
9.88/9.95	o 208
10.58/10.65	o 209
12.68/12.72	o 213
12.68/12.77	o 214
12.88/13.00	o 215
12.99/13.05	o 218
12.99/13.07	o 219
13.09/13.19	o 220
14.38/14.43	o 221
16.78/16.88	o 266
16.88/16.91	o 267
16.88/16.94	o 268
17.28/17.35	o 269
17.28/17.35	o 270
17.28/17.35	o 271
17.28/17.36	o 272
17.68/17.79	o 273
22.18/22.20	o 286
22.18/22.22	o 287
22.28/22.36	o 288
22.78/22.84	o 289
22.88/22.96	o 290
24.08/24.17	o 291
24.78/24.84	o 292
25.68/25.76	o 293
25.68/25.77	o 294
26.58/26.69	o 295
29.77/29.85	o 296
32.38/32.41	o 297
32.38/32.42	o 298
32.38/32.43	o 299
32.78/32.87	o 300
35.28/35.39	o 314
36.58/36.68	o 315
37.78/37.82	o 316
38.18/38.20	o 331
38.18/38.21	o 332
38.18/38.21	o 333
38.18/38.21	o 334
38.18/38.21	o 335
38.18/38.22	o 336
38.18/38.22	o 337
38.18/38.22	o 338
38.18/38.22	o 339
38.18/38.23	o 340
38.18/38.23	o 341
38.18/38.23	o 342
38.18/38.23	o 343
38.18/38.24	o 344
38.18/38.24	o 345
38.18/38.24	o 346
38.18/38.26	o 347
38.18/38.29	o 348
38.28/38.34	o 349
38.38/38.47	o 350
38.99/39.01	o 351
42.18/42.22	o 352
45.87/45.97	o 353
52.77/52.87	o 354
52.87/52.90	o 355
52.87/52.90	o 357
52.87/52.90	o 358
71.87/71.99	o 368
123.43/123.55	o 379
123.43/123.58	o 380
129.52/129.64	o 381
171.20/171.36	o 382
185.10/185.23	o 384
210.30/210.48	o 385
211.10/211.21	o 386
211.80/211.90	o 387
345.90/346.06	o 393
346.19/346.36	o 394
346.29/346.45	o 410
346.29/346.46	o 411
346.29/346.46	o 412
364.39/364.54	o 413
365.29/365.48	o 414
671.09/671.22	o 415
679.09/679.24	o 417
869.09/869.24	o 418
1458.29/1458.45	o 419
1549.49/1549.68	o 420
1549.59/1549.77	o 421
1556.29/1556.46	o 422
1889.29/1889.45	o 423
1891.59/1891.79	o 424
2400.00/2400.11	s SATISFIABLE
2400.00/2400.11	v <instantiation type="solution">
2400.00/2400.11	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2400.00/2400.11	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 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 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 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 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 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 2 2 1 0 0 0 2 1 1 1 0 0 0 0 0 0 1 1 2 2 1 1 1 0 0 0 0 0 0 0 1 1 0 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 1 1 2 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 2 2 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 2 2 2 1 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 2 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 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 2 1 1 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 2 1 1 2 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 1 0 1 1 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 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 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 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 18 41 52 67 81 98 107 118 131 138 143 148 152 160 166 174 180 183 188 189 193 195 197 199 201 202 205 207 210 212 214 224 424 </values>
2400.00/2400.11	v </instantiation>

OK	424

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10136 MiB free)
  memory of node 1: 16384 MiB (10863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289269-1532190501/watcher-4289269-1532190501 -o /tmp/evaluation-result-4289269-1532190501/solver-4289269-1532190501 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532190501-29367 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1695990079 HOME/instance-4289269-1532190501.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29394, runsolver pid=29390

[startup+0.100193 s]*
/proc/loadavg: 0.08 0.03 0.05 3/195 29399
/proc/meminfo: memFree=21430904/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=77312 memory=51648 CPUtime=0.09 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 13104 0 2 0 8 1 0 0 20 0 1 0 36613375 79167488 12912 33554432000 4194304 7498468 140729275519920 140729275514272 140063947302816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 19328 12912 697 807 0 12319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77312 KiB
Current children cumulated memory: 51648 KiB

[startup+0.211165 s]*
/proc/loadavg: 0.08 0.03 0.05 4/195 29399
/proc/meminfo: memFree=21344972/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=162128 memory=136656 CPUtime=0.2 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 34352 0 2 0 17 3 0 0 20 0 1 0 36613375 166019072 34164 33554432000 4194304 7498468 140729275519920 140729275514272 5790441 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 40532 34164 697 807 0 33523 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 162128 KiB
Current children cumulated memory: 136656 KiB

[startup+0.310042 s]*
/proc/loadavg: 0.08 0.03 0.05 3/195 29399
/proc/meminfo: memFree=21268416/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=238128 memory=212568 CPUtime=0.3 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 53369 0 2 0 25 5 0 0 20 0 1 0 36613375 243843072 53142 33554432000 4194304 7498468 140729275519920 140729275514272 140063947254757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 59532 53142 697 807 0 52523 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 238128 KiB
Current children cumulated memory: 212568 KiB

[startup+0.700362 s]
/proc/loadavg: 0.08 0.03 0.05 3/195 29399
/proc/meminfo: memFree=21251676/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=248056 memory=222816 CPUtime=0.68 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 56100 0 2 0 63 5 0 0 20 0 1 0 36613375 254009344 55704 33554432000 4194304 7498468 140729275519920 140729275514272 140063947254757 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62014 55704 791 807 0 55005 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248056 KiB
Current children cumulated memory: 222816 KiB

[startup+1.50041 s]
/proc/loadavg: 0.08 0.03 0.05 4/195 29399
/proc/meminfo: memFree=21250380/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=248716 memory=223608 CPUtime=1.47 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 56268 0 2 0 142 5 0 0 20 0 1 0 36613375 254685184 55902 33554432000 4194304 7498468 140729275519920 140729275514936 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62179 55902 793 807 0 55170 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 248716 KiB
Current children cumulated memory: 223608 KiB

[startup+3.10994 s]
/proc/loadavg: 0.08 0.03 0.05 3/195 29399
/proc/meminfo: memFree=21249476/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=249508 memory=224396 CPUtime=3.09 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 89246 0 2 0 302 7 0 0 20 0 1 0 36613375 255496192 56099 33554432000 4194304 7498468 140729275519920 140729275514456 4405912 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62377 56099 795 807 0 55368 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 249508 KiB
Current children cumulated memory: 224396 KiB

[startup+6.3003 s]
/proc/loadavg: 0.16 0.05 0.06 3/195 29399
/proc/meminfo: memFree=21248964/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=249772 memory=224728 CPUtime=6.27 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 123695 0 2 0 619 8 0 0 20 0 1 0 36613375 255766528 56182 33554432000 4194304 7498468 140729275519920 140729275514456 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62443 56182 795 807 0 55434 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 249772 KiB
Current children cumulated memory: 224728 KiB

[startup+12.7004 s]
/proc/loadavg: 0.30 0.08 0.07 3/195 29399
/proc/meminfo: memFree=21249840/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250036 memory=224940 CPUtime=12.68 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 156741 0 2 0 1258 10 0 0 20 0 1 0 36613375 256036864 56235 33554432000 4194304 7498468 140729275519920 140729275514936 5791399 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62509 56235 795 807 0 55500 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 250036 KiB
Current children cumulated memory: 224940 KiB

[startup+25.5003 s]
/proc/loadavg: 0.75 0.19 0.10 3/195 29399
/proc/meminfo: memFree=21250180/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250300 memory=225216 CPUtime=25.48 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 202362 0 2 0 2535 13 0 0 20 0 1 0 36613375 256307200 56304 33554432000 4194304 7498468 140729275519920 140729275514936 5791419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62575 56304 795 807 0 55566 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 250300 KiB
Current children cumulated memory: 225216 KiB

[startup+51.1098 s]
/proc/loadavg: 1.17 0.34 0.15 3/194 29399
/proc/meminfo: memFree=21248640/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250564 memory=225492 CPUtime=51.08 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 239335 0 2 0 5094 14 0 0 20 0 1 0 36613375 256577536 56373 33554432000 4194304 7498468 140729275519920 140729275514936 4404919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62641 56373 795 807 0 55632 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 250564 KiB
Current children cumulated memory: 225492 KiB

[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.25 3/194 29408
/proc/meminfo: memFree=21247252/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250696 memory=225600 CPUtime=102.25 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 285623 0 2 0 10208 17 0 0 20 0 1 0 36613375 256712704 56400 33554432000 4194304 7498468 140729275519920 140729275514936 4258039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62674 56400 795 807 0 55665 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 250696 KiB
Current children cumulated memory: 225600 KiB

[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.36 3/193 29409
/proc/meminfo: memFree=21249104/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250696 memory=225632 CPUtime=162.21 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 301813 0 2 0 16203 18 0 0 20 0 1 0 36613375 256712704 56408 33554432000 4194304 7498468 140729275519920 140729275514936 4580178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62674 56408 795 807 0 55665 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 250696 KiB
Current children cumulated memory: 225632 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.46 3/194 29411
/proc/meminfo: memFree=21248032/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250828 memory=225840 CPUtime=222.2 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 302761 0 2 0 22202 18 0 0 20 0 1 0 36613375 256847872 56460 33554432000 4194304 7498468 140729275519920 140729275514936 5791513 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62707 56460 795 807 0 55698 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 250828 KiB
Current children cumulated memory: 225840 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 1.24 0.56 3/195 29413
/proc/meminfo: memFree=21247804/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250828 memory=225872 CPUtime=282.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 303615 0 2 0 28201 18 0 0 20 0 1 0 36613375 256847872 56468 33554432000 4194304 7498468 140729275519920 140729275514936 5838460 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62707 56468 795 807 0 55698 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 250828 KiB
Current children cumulated memory: 225872 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 1.38 0.65 3/192 29414
/proc/meminfo: memFree=21248216/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250828 memory=225884 CPUtime=342.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 304165 0 2 0 34201 18 0 0 20 0 1 0 36613375 256847872 56471 33554432000 4194304 7498468 140729275519920 140729275514936 5791638 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62707 56471 795 807 0 55698 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 250828 KiB
Current children cumulated memory: 225884 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/191 29415
/proc/meminfo: memFree=21248256/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250960 memory=225912 CPUtime=402.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 305170 0 2 0 40201 18 0 0 20 0 1 0 36613375 256983040 56478 33554432000 4194304 7498468 140729275519920 140729275514936 4580322 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62740 56478 795 807 0 55731 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 250960 KiB
Current children cumulated memory: 225912 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 3/191 29416
/proc/meminfo: memFree=21248528/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=250960 memory=225920 CPUtime=462.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 305830 0 2 0 46201 18 0 0 20 0 1 0 36613375 256983040 56480 33554432000 4194304 7498468 140729275519920 140729275514936 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62740 56480 795 807 0 55731 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 250960 KiB
Current children cumulated memory: 225920 KiB


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

/proc/29394/statm: 62782 56529 795 807 0 55773 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226116 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/190 29455
/proc/meminfo: memFree=21248144/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226120 CPUtime=1722.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 321154 0 2 0 172201 18 0 0 20 0 1 0 36613375 257155072 56530 33554432000 4194304 7498468 140729275519920 140729275514936 4253145 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56530 795 807 0 55773 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226120 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.00 1.72 3/191 29458
/proc/meminfo: memFree=21247736/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226120 CPUtime=1782.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 321702 0 2 0 178201 18 0 0 20 0 1 0 36613375 257155072 56530 33554432000 4194304 7498468 140729275519920 140729275514936 5791496 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56530 795 807 0 55773 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226120 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 1.74 3/192 29460
/proc/meminfo: memFree=21247720/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226120 CPUtime=1842.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 322251 0 2 0 184201 18 0 0 20 0 1 0 36613375 257155072 56530 33554432000 4194304 7498468 140729275519920 140729275514936 4545896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56530 795 807 0 55773 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226120 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/192 29468
/proc/meminfo: memFree=21247372/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=1902.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 323160 0 2 0 190201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5585339 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/193 29492
/proc/meminfo: memFree=21245376/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=1962.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 323834 0 2 0 196201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 4404908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/193 29493
/proc/meminfo: memFree=21246744/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2022.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 324508 0 2 0 202201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 4253127 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 1.81 3/192 29494
/proc/meminfo: memFree=21246908/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2082.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 325185 0 2 0 208201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 4253145 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 1.82 3/191 29495
/proc/meminfo: memFree=21247156/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2142.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 325861 0 2 0 214201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5791624 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 1.83 3/191 29496
/proc/meminfo: memFree=21247524/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2202.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 326537 0 2 0 220201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5791450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 1.85 3/191 29497
/proc/meminfo: memFree=21247112/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2262.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 327217 0 2 0 226201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 4404919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 1.86 3/191 29499
/proc/meminfo: memFree=21247400/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2322.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 327894 0 2 0 232201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5791392 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/191 29500
/proc/meminfo: memFree=21247680/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2382.19 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 328571 0 2 0 238201 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5790794 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.01 2.02 1.87 3/191 29500
/proc/meminfo: memFree=21247680/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2400 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 329231 0 2 0 239982 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.11 s]
# the end of solver process 29394 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.82 s, system=0.189999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.11 s]
/proc/loadavg: 2.01 2.02 1.87 3/191 29500
/proc/meminfo: memFree=21247680/32770624 swapFree=67108860/67108860
[pid=29394] ppid=29390 vsize=251128 memory=226124 CPUtime=2400 cores=1,3,5,7
/proc/29394/stat : 29394 (MistralXCSP) R 29390 29394 29334 0 -1 4202496 329231 0 2 0 239982 18 0 0 20 0 1 0 36613375 257155072 56531 33554432000 4194304 7498468 140729275519920 140729275514936 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42258432 140729275524205 140729275524355 140729275524355 140729275527113 0
/proc/29394/statm: 62782 56531 795 807 0 55773 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 226124 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2399.82
CPU system time (s): 0.189999
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 251128
Max. memory (cumulated for all children) (KiB): 226124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.82
system time used= 0.189999
maximum resident set size= 226144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329277
page faults= 2
swaps= 0
block input operations= 2800
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 775


# summary of solver processes directly reported to runsolver:
#   pid: 29394
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2399.82
#   total CPU system time (s): 0.189999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4802 second user time and 16.077 second system time

The end

Begin job on node134 at 2018-07-21 18:28:22
IDJOB=4289269
IDBENCH=141028
IDSOLVER=2741
FILE ID=node134/4289269-1532190501
RUNJOBID= node134-1532190501-29367
PBS_JOBID= 21018933
Free space on /tmp= 55996 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/StillLife/StillLife-wastage-30_c18.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-4289269-1532190501/watcher-4289269-1532190501 -o /tmp/evaluation-result-4289269-1532190501/solver-4289269-1532190501 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532190501-29367 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1695990079 HOME/instance-4289269-1532190501.xml

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

MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481
RANDOM SEED=1695990079

node134.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.68
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.68
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.68
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.68
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:        21505140 kB
MemAvailable:   31940456 kB
Buffers:          217588 kB
Cached:         10396448 kB
SwapCached:            0 kB
Active:          1337532 kB
Inactive:        9330676 kB
Active(anon):      56500 kB
Inactive(anon):    16976 kB
Active(file):    1281032 kB
Inactive(file):  9313700 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             17808 kB
Writeback:             4 kB
AnonPages:         60992 kB
Mapped:            34548 kB
Shmem:             17056 kB
Slab:             294100 kB
SReclaimable:     269044 kB
SUnreclaim:        25056 kB
KernelStack:        3296 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55976 MiB
End job on node134 at 2018-07-21 19:08:22