0.00/0.00	c Mistral 01082018
0.21/0.24	o 4
0.21/0.25	o 5
0.21/0.25	o 6
0.21/0.25	o 8
0.21/0.25	o 9
0.21/0.25	o 10
0.21/0.25	o 11
0.21/0.25	o 12
0.21/0.27	o 13
0.21/0.27	o 14
0.21/0.28	o 15
0.21/0.28	o 16
0.31/0.33	o 17
0.31/0.34	o 18
0.31/0.34	o 19
0.31/0.34	o 20
0.31/0.34	o 22
0.31/0.34	o 23
0.31/0.34	o 24
0.31/0.35	o 25
0.31/0.36	o 26
0.31/0.36	o 27
0.41/0.42	o 29
0.41/0.42	o 30
0.41/0.42	o 31
0.41/0.42	o 33
0.41/0.42	o 34
0.41/0.42	o 35
0.41/0.43	o 37
0.41/0.43	o 38
0.41/0.44	o 42
0.41/0.46	o 43
0.41/0.46	o 44
0.41/0.46	o 45
0.41/0.47	o 46
0.41/0.49	o 47
0.51/0.53	o 49
0.51/0.54	o 50
0.51/0.54	o 51
0.51/0.55	o 52
0.51/0.55	o 53
0.51/0.55	o 54
0.51/0.56	o 55
0.51/0.57	o 57
0.51/0.57	o 58
0.51/0.58	o 59
0.51/0.60	o 60
0.60/0.61	o 61
0.60/0.67	o 62
0.60/0.69	o 63
0.69/0.70	o 64
0.69/0.74	o 72
0.69/0.75	o 73
0.69/0.76	o 75
0.69/0.76	o 76
0.69/0.77	o 77
0.79/0.82	o 78
0.79/0.82	o 79
0.89/0.92	o 80
0.89/0.92	o 81
0.89/0.92	o 82
0.89/0.92	o 83
0.89/0.96	o 84
1.00/1.01	o 85
1.10/1.16	o 88
1.10/1.18	o 89
1.39/1.43	o 90
1.39/1.43	o 91
1.39/1.49	o 92
1.49/1.53	o 93
1.59/1.64	o 94
1.59/1.64	o 95
1.59/1.64	o 96
1.79/1.85	o 97
1.79/1.87	o 104
2.10/2.18	o 105
2.10/2.18	o 106
2.10/2.19	o 107
2.39/2.46	o 109
2.39/2.49	o 110
2.49/2.50	o 111
2.49/2.51	o 112
2.69/2.70	o 113
2.89/2.97	o 114
2.89/2.98	o 115
2.89/2.98	o 116
3.29/3.39	o 117
3.89/3.92	o 118
4.19/4.23	o 119
6.49/6.53	o 122
6.49/6.53	o 123
6.59/6.60	o 126
6.59/6.60	o 127
6.59/6.66	o 128
6.59/6.67	o 129
6.79/6.83	o 130
6.79/6.85	o 131
8.10/8.18	o 132
8.18/8.20	o 133
8.18/8.22	o 134
8.18/8.24	o 135
8.38/8.40	o 136
8.38/8.44	o 137
8.38/8.47	o 138
8.48/8.55	o 139
8.58/8.69	o 140
8.78/8.85	o 141
8.99/9.02	o 142
9.18/9.24	o 143
10.00/10.06	o 144
10.59/10.64	o 145
11.69/11.75	o 164
11.69/11.75	o 165
11.69/11.75	o 166
11.69/11.75	o 167
11.69/11.75	o 168
11.69/11.75	o 169
11.69/11.77	o 170
11.89/11.98	o 171
12.10/12.15	o 172
16.69/16.76	o 173
16.79/16.87	o 174
17.69/17.79	o 175
20.58/20.61	o 176
20.58/20.64	o 186
23.88/24.00	o 187
27.79/27.83	o 188
27.79/27.84	o 189
36.09/36.16	o 195
36.28/36.34	o 196
37.18/37.22	o 197
38.58/38.63	o 198
38.58/38.65	o 199
38.78/38.81	o 200
41.57/41.62	o 201
45.48/45.59	o 202
51.08/51.12	o 203
51.08/51.14	o 204
51.77/51.80	o 206
69.76/69.88	o 207
93.13/93.22	o 208
121.83/121.99	o 209
147.43/147.52	o 210
210.63/210.75	o 211
210.63/210.79	o 212
210.73/210.82	o 213
210.94/211.10	o 214
212.73/212.87	o 215
212.73/212.87	o 216
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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 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 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 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 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 9 15 18 25 29 36 43 46 48 51 53 55 62 69 74 78 82 83 83 89 91 94 102 216 </values>
251.94/252.01	v </instantiation>

OK	216

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

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

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

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
Current StackSize limit: 8192 KiB

solver pid=12869, runsolver pid=12866

[startup+0.100118 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23670352/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=98284 memory=72640 CPUtime=0.1 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 18365 0 0 0 7 3 0 0 20 0 1 0 287451880 100642816 18160 33554432000 4194304 7499544 140730200848192 140730200845192 139715831015328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 24571 18160 695 807 0 17562 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98284 KiB
Current children cumulated memory: 72640 KiB

[startup+0.209365 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23626284/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=135200 memory=110152 CPUtime=0.21 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 27751 0 0 0 16 5 0 0 20 0 1 0 287451880 138444800 27538 33554432000 4194304 7499544 140730200848192 140730200845192 5164040 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 33800 27538 787 807 0 26791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135200 KiB
Current children cumulated memory: 110152 KiB

[startup+0.309352 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23625540/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=135728 memory=110680 CPUtime=0.31 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 27889 0 0 0 26 5 0 0 20 0 1 0 287451880 138985472 27670 33554432000 4194304 7499544 140730200848192 140730200845192 4253155 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 33932 27670 794 807 0 26923 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 135728 KiB
Current children cumulated memory: 110680 KiB

[startup+0.700337 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23625168/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136256 memory=111208 CPUtime=0.69 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 28018 0 0 0 64 5 0 0 20 0 1 0 287451880 139526144 27802 33554432000 4194304 7499544 140730200848192 140730200845192 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34064 27802 796 807 0 27055 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136256 KiB
Current children cumulated memory: 111208 KiB

[startup+1.50026 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 12870
/proc/meminfo: memFree=23625212/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136520 memory=111472 CPUtime=1.49 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 28089 0 0 0 144 5 0 0 20 0 1 0 287451880 139796480 27868 33554432000 4194304 7499544 140730200848192 140730200843208 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34130 27868 796 807 0 27121 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136520 KiB
Current children cumulated memory: 111472 KiB

[startup+3.1093 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 12870
/proc/meminfo: memFree=23625168/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136652 memory=111668 CPUtime=3.1 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 43913 0 0 0 304 6 0 0 20 0 1 0 287451880 139931648 27917 33554432000 4194304 7499544 140730200848192 140730200843208 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34163 27917 796 807 0 27154 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136652 KiB
Current children cumulated memory: 111668 KiB

[startup+6.30029 s]
/proc/loadavg: 0.23 0.06 0.06 3/188 12870
/proc/meminfo: memFree=23625164/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136652 memory=111728 CPUtime=6.29 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 58995 0 0 0 622 7 0 0 20 0 1 0 287451880 139931648 27932 33554432000 4194304 7499544 140730200848192 140730200843208 4320976 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34163 27932 796 807 0 27154 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136652 KiB
Current children cumulated memory: 111728 KiB

[startup+12.7003 s]
/proc/loadavg: 0.37 0.10 0.07 3/188 12870
/proc/meminfo: memFree=23624368/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136916 memory=111892 CPUtime=12.69 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 75896 0 0 0 1261 8 0 0 20 0 1 0 287451880 140201984 27973 33554432000 4194304 7499544 140730200848192 140730200843208 5791007 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34229 27973 796 807 0 27220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136916 KiB
Current children cumulated memory: 111892 KiB

[startup+25.5003 s]
/proc/loadavg: 0.62 0.16 0.09 3/187 12870
/proc/meminfo: memFree=23624832/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=136916 memory=111956 CPUtime=25.48 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 98321 0 0 0 2540 8 0 0 20 0 1 0 287451880 140201984 27989 33554432000 4194304 7499544 140730200848192 140730200843208 4404884 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34229 27989 796 807 0 27220 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 136916 KiB
Current children cumulated memory: 111956 KiB

[startup+51.1094 s]
/proc/loadavg: 1.09 0.31 0.14 3/187 12870
/proc/meminfo: memFree=23625220/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=137048 memory=112028 CPUtime=51.08 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 118771 0 0 0 5098 10 0 0 20 0 1 0 287451880 140337152 28007 33554432000 4194304 7499544 140730200848192 140730200843208 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34262 28007 796 807 0 27253 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112028 KiB

[startup+102.3 s]
/proc/loadavg: 1.91 0.66 0.27 3/187 12871
/proc/meminfo: memFree=23625464/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=137048 memory=112072 CPUtime=102.23 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 129575 0 0 0 10212 11 0 0 20 0 1 0 287451880 140337152 28018 33554432000 4194304 7499544 140730200848192 140730200843208 5771088 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34262 28018 796 807 0 27253 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112072 KiB

[startup+162.3 s]
/proc/loadavg: 2.16 0.97 0.40 3/187 12872
/proc/meminfo: memFree=23626268/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=137048 memory=112108 CPUtime=162.23 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 130312 0 0 0 16212 11 0 0 20 0 1 0 287451880 140337152 28027 33554432000 4194304 7499544 140730200848192 140730200843208 4249968 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34262 28027 796 807 0 27253 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112108 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 1.16 0.50 3/187 12873
/proc/meminfo: memFree=23625632/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=137048 memory=112116 CPUtime=222.23 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 131046 0 0 0 22212 11 0 0 20 0 1 0 287451880 140337152 28029 33554432000 4194304 7499544 140730200848192 140730200843208 4258008 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34262 28029 796 807 0 27253 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.04 1.24 0.55 3/182 12882
/proc/meminfo: memFree=23669116/32770624 swapFree=67108836/67108860
[pid=12869] ppid=12866 vsize=137048 memory=112132 CPUtime=251.94 cores=1,3,5,7
/proc/12869/stat : 12869 (MistralXCSP) R 12866 12869 12808 0 -1 4202496 131778 0 0 0 25183 11 0 0 20 0 1 0 287451880 140337152 28033 33554432000 4194304 7499544 140730200848192 140730200843208 5790960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33763328 140730200855666 140730200855816 140730200855816 140730200858569 0
/proc/12869/statm: 34262 28033 796 807 0 27253 0
Current children cumulated CPU time: 251.94 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112132 KiB

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

[startup+252.011 s]
# the end of solver process 12869 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.832 s, system=0.112989 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.945
CPU user time (s): 251.832
CPU system time (s): 0.112989
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 137048
Max. memory (cumulated for all children) (KiB): 112132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.832
system time used= 0.112989
maximum resident set size= 112164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 158


# summary of solver processes directly reported to runsolver:
#   pid: 12869
#   total CPU time (s): 251.945
#   total CPU user time (s): 251.832
#   total CPU system time (s): 0.112989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.983608 second user time and 1.78009 second system time

The end

Begin job on node139 at 2018-08-19 19:14:47
IDJOB=4312448
IDBENCH=141037
IDSOLVER=2801
FILE ID=node139/4312448-1534698887
RUNJOBID= node139-1534698887-12840
PBS_JOBID= 21038714
Free space on /tmp= 55156 MiB

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

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

MD5SUM BENCH= a6f0507a9e94bceb0819229116432592
RANDOM SEED=2012653666

node139.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.80
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.80
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.80
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.80
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:        23734796 kB
MemAvailable:   31848188 kB
Buffers:          255332 kB
Cached:          8114692 kB
SwapCached:           16 kB
Active:          4749160 kB
Inactive:        3715212 kB
Active(anon):      72604 kB
Inactive(anon):    90440 kB
Active(file):    4676556 kB
Inactive(file):  3624772 kB
Unevictable:        7172 kB
Mlocked:            7172 kB
SwapTotal:      67108860 kB
SwapFree:       67108836 kB
Dirty:             11744 kB
Writeback:             0 kB
AnonPages:        101196 kB
Mapped:            25416 kB
Shmem:             66164 kB
Slab:             268476 kB
SReclaimable:     240524 kB
SUnreclaim:        27952 kB
KernelStack:        3104 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     434680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

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