0.00/0.01	c Mistral 01082018
0.30/0.36	o 0
0.30/0.36	o 3
0.30/0.36	o 4
0.30/0.36	o 6
0.30/0.36	o 7
0.30/0.36	o 8
0.30/0.37	o 9
0.30/0.37	o 10
0.30/0.37	o 11
0.30/0.37	o 12
0.30/0.38	o 13
0.30/0.39	o 14
0.30/0.39	o 15
0.30/0.39	o 16
0.40/0.48	o 19
0.40/0.48	o 20
0.40/0.48	o 21
0.40/0.49	o 22
0.40/0.49	o 23
0.40/0.49	o 24
0.40/0.50	o 25
0.40/0.51	o 26
0.40/0.51	o 27
0.49/0.59	o 30
0.49/0.59	o 31
0.49/0.59	o 32
0.49/0.60	o 35
0.49/0.60	o 36
0.59/0.62	o 38
0.59/0.62	o 39
0.59/0.62	o 40
0.68/0.71	o 43
0.68/0.71	o 44
0.68/0.71	o 45
0.68/0.72	o 46
0.68/0.72	o 47
0.68/0.72	o 48
0.68/0.73	o 49
0.68/0.77	o 50
0.68/0.77	o 51
0.78/0.88	o 53
0.78/0.88	o 54
0.78/0.88	o 55
0.78/0.88	o 57
0.78/0.88	o 58
0.78/0.88	o 59
0.88/0.90	o 60
0.88/0.90	o 61
0.88/0.90	o 62
0.88/0.91	o 63
0.88/0.92	o 64
0.88/0.94	o 65
0.88/0.95	o 66
0.98/1.09	o 68
0.98/1.09	o 69
0.98/1.09	o 70
0.98/1.09	o 71
0.98/1.10	o 72
1.08/1.11	o 73
1.08/1.11	o 74
1.08/1.13	o 75
1.08/1.14	o 76
1.08/1.14	o 77
1.08/1.15	o 78
1.08/1.15	o 79
1.08/1.17	o 81
1.08/1.18	o 82
1.18/1.21	o 83
1.18/1.24	o 84
1.48/1.57	o 85
1.48/1.58	o 86
1.58/1.60	o 87
1.58/1.60	o 88
1.78/1.84	o 90
1.78/1.84	o 91
1.78/1.84	o 92
1.78/1.84	o 93
1.78/1.84	o 94
1.78/1.84	o 95
1.78/1.84	o 96
1.78/1.84	o 97
1.88/1.90	o 98
1.88/1.90	o 99
2.38/2.45	o 100
2.38/2.45	o 101
2.38/2.45	o 102
2.38/2.45	o 103
2.38/2.46	o 104
2.38/2.46	o 105
2.38/2.48	o 106
2.38/2.49	o 107
2.68/2.78	o 108
2.68/2.79	o 109
2.98/3.08	o 110
2.98/3.08	o 111
2.98/3.08	o 112
2.98/3.08	o 113
2.98/3.08	o 114
2.98/3.08	o 115
2.98/3.09	o 116
2.98/3.09	o 117
3.08/3.16	o 118
3.08/3.17	o 119
3.08/3.19	o 121
4.67/4.78	o 123
4.67/4.78	o 124
4.67/4.78	o 125
4.67/4.79	o 126
4.77/4.80	o 127
4.98/5.01	o 128
4.98/5.01	o 129
4.98/5.01	o 130
5.27/5.36	o 131
7.57/7.63	o 132
8.17/8.20	o 133
8.17/8.21	o 134
8.17/8.26	o 135
8.17/8.26	o 136
8.17/8.26	o 137
9.47/9.53	o 138
9.57/9.60	o 139
9.57/9.66	o 140
9.67/9.72	o 141
9.77/9.83	o 142
10.77/10.82	o 143
11.09/11.15	o 144
11.28/11.37	o 145
11.48/11.52	o 146
11.58/11.67	o 174
11.58/11.67	o 175
11.58/11.67	o 176
11.58/11.68	o 177
11.58/11.68	o 178
11.58/11.68	o 179
11.58/11.68	o 180
11.58/11.68	o 181
11.58/11.68	o 182
11.58/11.68	o 183
11.58/11.68	o 184
11.58/11.69	o 185
11.58/11.69	o 187
11.58/11.69	o 188
11.58/11.69	o 189
11.58/11.69	o 190
11.68/11.70	o 191
11.68/11.71	o 192
11.68/11.72	o 193
11.68/11.74	o 194
11.68/11.76	o 195
11.68/11.77	o 196
11.68/11.78	o 197
11.68/11.79	o 198
11.78/11.81	o 199
11.78/11.82	o 200
11.78/11.83	o 201
11.78/11.84	o 202
12.09/12.11	o 203
12.28/12.39	o 204
12.48/12.54	o 205
12.58/12.67	o 206
12.99/13.09	o 207
12.99/13.09	o 208
13.09/13.14	o 209
13.09/13.14	o 210
13.09/13.14	o 211
13.68/13.73	o 212
13.88/14.00	o 213
14.18/14.26	o 214
15.87/15.94	o 243
15.87/15.94	o 244
16.87/16.99	o 245
17.08/17.16	o 246
17.57/17.65	o 247
22.37/22.46	o 248
23.48/23.55	o 249
23.78/23.89	o 250
24.87/24.93	o 251
27.57/27.61	o 252
28.57/28.66	o 254
29.88/29.96	o 255
29.98/30.02	o 263
29.98/30.02	o 264
29.98/30.02	o 265
29.98/30.03	o 266
30.47/30.51	o 267
30.67/30.75	o 268
39.27/39.36	o 269
41.86/41.99	o 270
52.76/52.81	o 279
52.76/52.90	o 280
108.83/108.97	o 281
108.94/109.06	o 282
142.23/142.32	o 283
142.63/142.79	o 284
170.23/170.38	o 285
170.73/170.88	o 286
172.23/172.32	o 287
207.94/208.02	o 288
251.94/252.01	s SATISFIABLE
251.94/252.01	v <instantiation type="solution">
251.94/252.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
251.94/252.01	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 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 2 2 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 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 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 1 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 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 1 1 0 0 1 0 0 0 1 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 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 2 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 2 0 0 0 1 1 2 1 0 0 0 0 2 0 0 2 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 2 1 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 2 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 2 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 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 1 0 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 13 27 32 37 40 43 46 48 49 52 60 66 73 83 85 87 96 106 122 136 150 158 163 169 173 185 198 288 </values>
251.94/252.01	v </instantiation>

OK	288

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 (12222 MiB free)
  memory of node 1: 16384 MiB (9406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312445-1534698887/watcher-4312445-1534698887 -o /tmp/evaluation-result-4312445-1534698887/solver-4312445-1534698887 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534698887-10499 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2012653666 HOME/instance-4312445-1534698887.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=10520, runsolver pid=10516
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 10531
/proc/meminfo: memFree=22073208/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=81304 memory=55872 CPUtime=0.09 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 14140 0 5 0 7 2 0 0 20 0 1 0 287451834 83255296 13968 33554432000 4194304 7499544 140720395645472 140720395635744 139681608006629 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 20326 13968 696 807 0 13317 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81304 KiB
Current children cumulated memory: 55872 KiB

[startup+0.209877 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 10531
/proc/meminfo: memFree=21987524/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=166356 memory=140880 CPUtime=0.19 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 35414 0 5 0 15 4 0 0 20 0 1 0 287451834 170348544 35220 33554432000 4194304 7499544 140720395645472 140720395635744 139681608006629 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 41622 35220 696 807 0 34613 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 166356 KiB
Current children cumulated memory: 140880 KiB

[startup+0.309606 s]*
/proc/loadavg: 0.00 0.01 0.05 3/189 10531
/proc/meminfo: memFree=21967684/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=179724 memory=154456 CPUtime=0.3 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 38863 0 5 0 25 5 0 0 20 0 1 0 287451834 184037376 38614 33554432000 4194304 7499544 140720395645472 140720395635744 5528528 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 44931 38614 787 807 0 37922 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 179724 KiB
Current children cumulated memory: 154456 KiB

[startup+0.700364 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 10531
/proc/meminfo: memFree=21965824/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=181664 memory=156640 CPUtime=0.68 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 39495 0 5 0 63 5 0 0 20 0 1 0 287451834 186023936 39160 33554432000 4194304 7499544 140720395645472 140720395635744 4541834 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45416 39160 795 807 0 38407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 181664 KiB
Current children cumulated memory: 156640 KiB

[startup+1.50037 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 10531
/proc/meminfo: memFree=21965080/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=182192 memory=157168 CPUtime=1.48 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 39620 0 5 0 143 5 0 0 20 0 1 0 287451834 186564608 39292 33554432000 4194304 7499544 140720395645472 140720395640488 5770051 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45548 39292 796 807 0 38539 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182192 KiB
Current children cumulated memory: 157168 KiB

[startup+3.10944 s]
/proc/loadavg: 0.08 0.03 0.05 3/189 10531
/proc/meminfo: memFree=21964988/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=182456 memory=157500 CPUtime=3.08 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 62700 0 5 0 302 6 0 0 20 0 1 0 287451834 186834944 39375 33554432000 4194304 7499544 140720395645472 140720395640488 4540505 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45614 39375 796 807 0 38605 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 182456 KiB
Current children cumulated memory: 157500 KiB

[startup+6.30034 s]
/proc/loadavg: 0.08 0.03 0.05 3/189 10531
/proc/meminfo: memFree=21963772/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=182596 memory=157640 CPUtime=6.27 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 85856 0 5 0 620 7 0 0 20 0 1 0 287451834 186978304 39410 33554432000 4194304 7499544 140720395645472 140720395640488 5790987 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45649 39410 796 807 0 38640 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182596 KiB
Current children cumulated memory: 157640 KiB

[startup+12.7003 s]
/proc/loadavg: 0.38 0.10 0.07 3/189 10531
/proc/meminfo: memFree=21963776/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=182860 memory=157932 CPUtime=12.68 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 109328 0 5 0 1259 9 0 0 20 0 1 0 287451834 187248640 39483 33554432000 4194304 7499544 140720395645472 140720395640488 4257927 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45715 39483 796 807 0 38706 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 182860 KiB
Current children cumulated memory: 157932 KiB

[startup+25.5003 s]
/proc/loadavg: 0.63 0.16 0.09 3/188 10531
/proc/meminfo: memFree=21963680/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=182992 memory=158092 CPUtime=25.47 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 152607 0 5 0 2537 10 0 0 20 0 1 0 287451834 187383808 39523 33554432000 4194304 7499544 140720395645472 140720395640488 4253161 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45748 39523 797 807 0 38739 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 182992 KiB
Current children cumulated memory: 158092 KiB

[startup+51.1094 s]
/proc/loadavg: 1.10 0.31 0.14 3/188 10531
/proc/meminfo: memFree=21963980/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=183124 memory=158188 CPUtime=51.07 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 171607 0 5 0 5095 12 0 0 20 0 1 0 287451834 187518976 39547 33554432000 4194304 7499544 140720395645472 140720395640488 4249975 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45781 39547 797 807 0 38772 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 183124 KiB
Current children cumulated memory: 158188 KiB

[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.25 3/188 10532
/proc/meminfo: memFree=21964152/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=183256 memory=158244 CPUtime=102.23 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 180374 0 5 0 10211 12 0 0 20 0 1 0 287451834 187654144 39561 33554432000 4194304 7499544 140720395645472 140720395639816 4249975 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45814 39561 797 807 0 38805 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 183256 KiB
Current children cumulated memory: 158244 KiB

[startup+162.3 s]
/proc/loadavg: 1.84 0.84 0.35 3/188 10596
/proc/meminfo: memFree=21405516/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=183256 memory=158272 CPUtime=162.23 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 180734 0 5 0 16211 12 0 0 20 0 1 0 287451834 187654144 39568 33554432000 4194304 7499544 140720395645472 140720395640488 4253155 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45814 39568 797 807 0 38805 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 183256 KiB
Current children cumulated memory: 158272 KiB

[startup+222.3 s]
/proc/loadavg: 1.94 1.05 0.46 3/188 10597
/proc/meminfo: memFree=21405416/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=183256 memory=158300 CPUtime=222.23 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 181287 0 5 0 22211 12 0 0 20 0 1 0 287451834 187654144 39575 33554432000 4194304 7499544 140720395645472 140720395640488 4253220 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45814 39575 797 807 0 38805 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 183256 KiB
Current children cumulated memory: 158300 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 1.96 1.14 0.51 3/188 10598
/proc/meminfo: memFree=21404984/32770624 swapFree=67108368/67108860
[pid=10520] ppid=10516 vsize=183256 memory=158312 CPUtime=251.94 cores=0,2,4,6
/proc/10520/stat : 10520 (MistralXCSP) R 10516 10520 10468 0 -1 4202496 181597 0 5 0 25182 12 0 0 20 0 1 0 287451834 187654144 39578 33554432000 4194304 7499544 140720395645472 140720395640488 4253227 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 20234240 140720395650162 140720395650312 140720395650312 140720395653065 0
/proc/10520/statm: 45814 39578 797 807 0 38805 0
Current children cumulated CPU time: 251.94 s
Current children cumulated vsize: 183256 KiB
Current children cumulated memory: 158312 KiB

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

[startup+252.011 s]
# the end of solver process 10520 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.827 s, system=0.128001 s

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

Child status: 0
Real time (s): 252.011
CPU time (s): 251.955
CPU user time (s): 251.827
CPU system time (s): 0.128001
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 183256
Max. memory (cumulated for all children) (KiB): 158312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.827
system time used= 0.128001
maximum resident set size= 158332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181637
page faults= 5
swaps= 0
block input operations= 3448
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 180


# summary of solver processes directly reported to runsolver:
#   pid: 10520
#   total CPU time (s): 251.955
#   total CPU user time (s): 251.827
#   total CPU system time (s): 0.128001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00505 second user time and 1.83554 second system time

The end

Begin job on node148 at 2018-08-19 19:14:47
IDJOB=4312445
IDBENCH=141034
IDSOLVER=2801
FILE ID=node148/4312445-1534698887
RUNJOBID= node148-1534698887-10499
PBS_JOBID= 21038713
Free space on /tmp= 56676 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/StillLife/StillLife-wastage-25_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-4312445-1534698887/watcher-4312445-1534698887 -o /tmp/evaluation-result-4312445-1534698887/solver-4312445-1534698887 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534698887-10499 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2012653666 HOME/instance-4312445-1534698887.xml

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

MD5SUM BENCH= 633a0f5b4e603fff9205bbaeb6c03cff
RANDOM SEED=2012653666

node148.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.50
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.50
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.50
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.50
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:        22148636 kB
MemAvailable:   31902296 kB
Buffers:          230752 kB
Cached:          9804180 kB
SwapCached:            4 kB
Active:          6637204 kB
Inactive:        3447892 kB
Active(anon):      22828 kB
Inactive(anon):    96192 kB
Active(file):    6614376 kB
Inactive(file):  3351700 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:              5744 kB
Writeback:             0 kB
AnonPages:         57276 kB
Mapped:            20532 kB
Shmem:             65972 kB
Slab:             234576 kB
SReclaimable:     206840 kB
SUnreclaim:        27736 kB
KernelStack:        3120 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     366860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56664 MiB
End job on node148 at 2018-08-19 19:18:59