0.00/0.01	c Mistral 01082018
0.68/0.72	o 17135
0.68/0.72	o 17034
0.68/0.72	o 16933
0.68/0.73	o 16832
0.68/0.73	o 16731
0.68/0.73	o 16633
0.68/0.73	o 16431
0.68/0.74	o 16428
0.68/0.74	o 16427
0.68/0.74	o 16327
0.68/0.75	o 16325
0.68/0.76	o 16324
0.68/0.76	o 16224
1.88/1.90	o 16223
1.99/2.03	o 16222
1.99/2.03	o 16221
1.99/2.04	o 16219
2.57/2.70	o 16218
2.67/2.70	o 16217
2.77/2.89	o 16216
2.87/2.90	o 16215
2.87/2.90	o 16214
2.87/2.94	o 16213
4.76/4.89	o 16212
5.08/5.19	o 16211
5.08/5.19	o 16210
5.08/5.19	o 16209
7.27/7.38	o 16208
9.77/9.83	o 16107
9.77/9.83	o 16008
9.77/9.83	o 16007
9.77/9.83	o 15906
9.77/9.84	o 15806
9.77/9.84	o 15705
9.77/9.84	o 15703
9.77/9.84	o 15602
9.77/9.85	o 15502
9.77/9.87	o 15501
9.87/9.93	o 15401
9.87/9.94	o 15400
9.87/9.94	o 15299
9.87/9.94	o 15198
9.98/10.02	o 15097
10.17/10.24	o 14894
10.87/11.00	o 14892
24.25/24.38	o 14891
24.55/24.60	o 14791
24.55/24.60	o 14790
24.55/24.63	o 14690
24.55/24.64	o 14689
24.55/24.67	o 14589
24.55/24.67	o 14588
24.55/24.68	o 14488
24.55/24.68	o 14487
24.55/24.68	o 14388
24.55/24.68	o 14387
24.55/24.69	o 14386
24.55/24.69	o 14286
24.65/24.70	o 14185
24.65/24.71	o 14084
24.96/25.01	o 13983
25.45/25.55	o 13883
25.45/25.56	o 13882
27.06/27.16	o 13786
27.06/27.16	o 13785
27.06/27.16	o 13783
29.35/29.49	o 13782
29.45/29.59	o 13781
36.95/37.06	o 13681
36.95/37.06	o 13581
37.05/37.19	o 13481
37.44/37.54	o 13380
37.44/37.54	o 13377
37.74/37.89	o 13277
37.74/37.89	o 13276
38.44/38.54	o 13176
46.14/46.28	o 13075
46.14/46.28	o 12974
46.14/46.28	o 12873
46.14/46.29	o 12772
46.14/46.29	o 12671
46.14/46.29	o 12570
46.14/46.29	o 12470
46.14/46.30	o 12468
46.24/46.30	o 12367
46.24/46.30	o 12366
46.24/46.30	o 12365
46.24/46.30	o 12265
46.24/46.31	o 12165
46.24/46.31	o 12067
46.24/46.31	o 12066
46.24/46.32	o 11965
46.24/46.33	o 11964
46.24/46.34	o 11963
46.24/46.35	o 11862
46.24/46.38	o 11762
46.44/46.50	o 11761
46.44/46.56	o 11661
46.44/46.56	o 11660
46.44/46.57	o 11560
48.64/48.78	o 11559
48.64/48.79	o 11461
48.74/48.81	o 11459
51.74/51.80	o 11458
51.74/51.82	o 11358
55.53/55.66	o 11258
112.73/112.83	o 11257
112.73/112.84	o 11256
124.22/124.30	o 11060
124.22/124.30	o 11059
124.32/124.42	o 11058
124.32/124.47	o 11057
124.32/124.47	o 10956
125.42/125.54	o 10856
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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list>
251.94/252.01	v   <values> 0 0 3 3 1 3 0 0 3 0 0 3 0 1 0 2 3 3 1 3 0 0 3 3 1 3 0 0 0 0 0 3 0 2 0 3 3 3 3 3 0 0 1 0 1 0 3 0 0 0 0 3 1 3 0 3 1 3 3 3 0 0 1 0 3 0 3 1 0 0 0 3 3 3 0 1 1 3 3 0 0 0 1 0 3 0 0 2 0 0 0 0 3 3 0 3 3 2 1 3 3 3 3 0 0 3 0 3 1 3 1 0 3 3 3 3 3 2 1 3 3 3 3 3 0 3 0 3 3 3 3 0 1 0 3 3 3 3 3 3 3 3 2 3 0 2 0 3 3 3 3 0 1 0 3 3 1 3 3 0 3 3 2 0 3 2 0 3 0 3 3 1 1 0 3 3 3 3 3 3 1 0 2 0 3 3 3 0 1 0 3 1 2 0 0 1 3 0 3 3 1 0 3 0 3 3 3 1 1 0 3 3 3 0 0 3 3 0 3 3 3 3 3 0 1 0 0 1 3 0 0 3 3 3 0 3 1 0 0 3 3 3 0 3 2 0 0 3 3 0 0 3 3 3 0 1 3 3 3 0 0 0 0 3 3 0 0 3 3 0 0 0 3 3 0 1 3 3 3 1 1 0 1 0 3 3 0 3 0 3 1 0 3 1 3 3 3 3 3 1 3 1 3 0 0 3 0 3 1 3 1 0 1 1 3 3 0 3 2 1 3 3 3 0 2 0 3 3 1 3 1 0 1 2 3 3 3 3 3 3 1 3 0 0 2 0 3 0 3 0 3 0 1 3 3 3 3 0 3 3 1 0 0 0 2 0 3 0 3 0 3 3 3 3 3 3 1 3 0 3 3 0 0 3 3 0 3 0 0 0 3 3 3 3 0 1 3 3 0 0 3 3 0 3 3 3 3 0 0 0 3 3 3 0 0 1 3 3 3 3 0 3 3 3 0 3 3 0 3 0 0 0 3 0 0 1 3 1 3 3 0 0 3 3 0 0 0 3 3 3 0 0 1 0 0 1 3 3 1 0 0 0 0 3 0 0 0 3 0 3 0 0 1 0 0 3 1 3 3 3 0 0 0 3 0 0 0 0 0 0 1 0 1 0 0 3 3 3 3 3 1 1 2 0 3 0 0 0 1 0 3 2 1 1 3 3 3 3 3 3 3 3 3 0 3 3 3 0 3 3 3 3 2 3 3 3 3 3 2 3 3 3 3 0 3 3 3 0 3 3 3 3 2 3 3 3 0 0 3 0 10 6 0 12 14 2 0 12 8 4 4 12 16 0 0 12 8 4 4 12 14 0 2 12 16 0 0 12 13 3 1 11 10 6 0 12 17 0 0 11 11 5 0 12 13 2 1 12 2 11 3 12 10 4 2 12 16 0 0 12 0 8 1 19 2 6 0 20 5 1 2 20 3 4 2 19 6 3 0 19 8 3 1 8 9 1 1 9 9 4 0 7 9 4 0 7 10 2 2 6 4 3 1 12 4 1 0 15 5 2 2 11 4 2 2 12 7 4 2 7 6 3 0 11 8 3 0 9 7 1 1 11 9 2 0 9 5 5 0 10 5 6 1 8 3 3 2 12 7 2 1 10 7 2 1 10 9 1 0 10 6 1 0 13 8 2 0 10 10 3 0 7 11 2 0 7 12 2 0 6 5 5 2 8 2 0 2 16 5 0 1 14 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 2 2 1 3 3 0 3 0 1 0 0 0 0 0 0 1 1 1 1 1 1 3 3 3 0 1 1 1 3 3 0 1 1 1 1 0 0 2 2 3 0 3 0 0 0 3 3 3 3 3 2 2 2 2 0 0 0 0 3 0 3 3 3 3 0 1 2 2 2 2 0 0 0 3 3 3 3 3 0 0 0 0 2 0 0 2 2 1 2 2 2 0 0 0 1 1 1 2 2 2 2 3 3 3 0 0 0 0 1 0 0 2 0 0 2 2 2 0 0 0 0 3 3 0 0 2 2 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 300 200 0 5 500 0 0 5 200 200 0 5 100 100 0 7 500 0 0 0 100 200 0 0 600 200 0 1 300 0 0 0 400 0 0 4 0 0 0 4 200 200 0 2 200 100 0 3 200 100 0 3 300 200 0 0 0 100 0 1 0 100 0 0 0 0 0 3 300 100 0 3 300 200 0 3 500 200 0 0 200 200 0 2 100 100 0 6 200 400 0 7 300 300 0 7 300 300 0 1 0 0 0 0 200 0 0 0 700 100 0 </values>
251.94/252.01	v </instantiation>

OK	10856

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312463-1534699008/watcher-4312463-1534699008 -o /tmp/evaluation-result-4312463-1534699008/solver-4312463-1534699008 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9698 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1719962551 HOME/instance-4312463-1534699008.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=9712, runsolver pid=9709

[startup+0.10016 s]*
/proc/loadavg: 0.16 0.05 0.06 2/186 9714
/proc/meminfo: memFree=24183872/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=37708 memory=12332 CPUtime=0.08 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 3391 0 5 0 8 0 0 0 20 0 1 0 287463982 38612992 3083 33554432000 4194304 7499544 140722903391904 140722903384040 4563992 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 9427 3083 745 807 0 2418 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37708 KiB
Current children cumulated memory: 12332 KiB

[startup+0.20987 s]*
/proc/loadavg: 0.16 0.05 0.06 2/186 9716
/proc/meminfo: memFree=24134004/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=86556 memory=61504 CPUtime=0.19 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 15747 0 5 0 18 1 0 0 20 0 1 0 287463982 88633344 15376 33554432000 4194304 7499544 140722903391904 140722903384040 140476950564729 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 21639 15376 761 807 0 14630 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86556 KiB
Current children cumulated memory: 61504 KiB

[startup+0.309886 s]*
/proc/loadavg: 0.16 0.05 0.06 3/192 9729
/proc/meminfo: memFree=24104960/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=101192 memory=75844 CPUtime=0.29 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 19496 0 5 0 27 2 0 0 20 0 1 0 287463982 103620608 18961 33554432000 4194304 7499544 140722903391904 140722903382904 140476950553738 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 25298 18961 766 807 0 18289 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101192 KiB
Current children cumulated memory: 75844 KiB

[startup+0.700324 s]
/proc/loadavg: 0.16 0.05 0.06 3/192 9729
/proc/meminfo: memFree=24072456/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118408 memory=93268 CPUtime=0.68 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 23857 0 5 0 65 3 0 0 20 0 1 0 287463982 121249792 23317 33554432000 4194304 7499544 140722903391904 140722903382904 5163917 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29602 23317 809 807 0 22593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118408 KiB
Current children cumulated memory: 93268 KiB

[startup+1.50037 s]
/proc/loadavg: 0.16 0.05 0.06 3/192 9729
/proc/meminfo: memFree=23909820/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118540 memory=93532 CPUtime=1.48 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 23874 0 5 0 145 3 0 0 20 0 1 0 287463982 121384960 23383 33554432000 4194304 7499544 140722903391904 140722903386360 4540532 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29635 23383 810 807 0 22626 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93532 KiB

[startup+3.10971 s]
/proc/loadavg: 0.16 0.05 0.06 3/192 9729
/proc/meminfo: memFree=23800636/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118540 memory=93572 CPUtime=3.08 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 32798 0 5 0 305 3 0 0 20 0 1 0 287463982 121384960 23393 33554432000 4194304 7499544 140722903391904 140722903386360 5163912 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29635 23393 810 807 0 22626 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93572 KiB

[startup+6.30032 s]
/proc/loadavg: 0.47 0.11 0.08 3/192 9729
/proc/meminfo: memFree=23799956/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118540 memory=93632 CPUtime=6.27 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 39777 0 5 0 623 4 0 0 20 0 1 0 287463982 121384960 23408 33554432000 4194304 7499544 140722903391904 140722903386920 4580374 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29635 23408 810 807 0 22626 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93632 KiB

[startup+12.7003 s]
/proc/loadavg: 0.67 0.16 0.09 3/192 9729
/proc/meminfo: memFree=23799664/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118540 memory=93664 CPUtime=12.67 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 46796 0 5 0 1262 5 0 0 20 0 1 0 287463982 121384960 23416 33554432000 4194304 7499544 140722903391904 140722903386920 4579746 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29635 23416 810 807 0 22626 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93664 KiB

[startup+25.5003 s]
/proc/loadavg: 0.88 0.22 0.11 3/192 9729
/proc/meminfo: memFree=23800220/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93708 CPUtime=25.45 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 60181 0 5 0 2540 5 0 0 20 0 1 0 287463982 121520128 23427 33554432000 4194304 7499544 140722903391904 140722903386920 5576304 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23427 810 807 0 22659 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93708 KiB

[startup+51.1093 s]
/proc/loadavg: 1.40 0.41 0.18 3/192 9729
/proc/meminfo: memFree=23800400/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93740 CPUtime=51.05 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 62307 0 5 0 5099 6 0 0 20 0 1 0 287463982 121520128 23435 33554432000 4194304 7499544 140722903391904 140722903386920 4398007 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23435 810 807 0 22659 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93740 KiB

[startup+102.3 s]
/proc/loadavg: 2.22 0.79 0.32 3/192 9730
/proc/meminfo: memFree=23799724/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93780 CPUtime=102.23 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 63247 0 5 0 10217 6 0 0 20 0 1 0 287463982 121520128 23445 33554432000 4194304 7499544 140722903391904 140722903386920 4246863 0 0 4096 16386 0 0 0 17 1 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23445 810 807 0 22659 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93780 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 1.01 0.43 3/192 9731
/proc/meminfo: memFree=23799460/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93800 CPUtime=162.23 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 64220 0 5 0 16217 6 0 0 20 0 1 0 287463982 121520128 23450 33554432000 4194304 7499544 140722903391904 140722903386920 5790785 0 0 4096 16386 0 0 0 17 3 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23450 810 807 0 22659 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93800 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 1.19 0.52 3/192 9740
/proc/meminfo: memFree=23798152/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93812 CPUtime=222.23 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 65021 0 5 0 22217 6 0 0 20 0 1 0 287463982 121520128 23453 33554432000 4194304 7499544 140722903391904 140722903386920 5585262 0 0 4096 16386 0 0 0 17 3 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23453 810 807 0 22659 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93812 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.02 1.27 0.57 3/192 9741
/proc/meminfo: memFree=23798472/32770624 swapFree=67108852/67108860
[pid=9712] ppid=9709 vsize=118672 memory=93812 CPUtime=251.94 cores=1,3,5,7
/proc/9712/stat : 9712 (MistralXCSP) R 9709 9712 9666 0 -1 4202496 65024 0 5 0 25188 6 0 0 20 0 1 0 287463982 121520128 23453 33554432000 4194304 7499544 140722903391904 140722903386920 5576304 0 0 4096 16386 0 0 0 17 3 0 0 1 0 0 9598848 9604096 36483072 140722903397490 140722903397640 140722903397640 140722903400393 0
/proc/9712/statm: 29668 23453 810 807 0 22659 0
Current children cumulated CPU time: 251.94 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93812 KiB

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

[startup+252.011 s]
# the end of solver process 9712 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.887 s, system=0.064997 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.952
CPU user time (s): 251.887
CPU system time (s): 0.064997
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 118672
Max. memory (cumulated for all children) (KiB): 93812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.887
system time used= 0.064997
maximum resident set size= 93836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65059
page faults= 5
swaps= 0
block input operations= 3432
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 280


# summary of solver processes directly reported to runsolver:
#   pid: 9712
#   total CPU time (s): 251.952
#   total CPU user time (s): 251.887
#   total CPU system time (s): 0.064997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08125 second user time and 1.70704 second system time

The end

Begin job on node133 at 2018-08-19 19:16:48
IDJOB=4312463
IDBENCH=141052
IDSOLVER=2801
FILE ID=node133/4312463-1534699008
RUNJOBID= node133-1534699008-9698
PBS_JOBID= 21038720
Free space on /tmp= 55216 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/NurseRostering/NurseRostering-07_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-4312463-1534699008/watcher-4312463-1534699008 -o /tmp/evaluation-result-4312463-1534699008/solver-4312463-1534699008 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9698 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1719962551 HOME/instance-4312463-1534699008.xml

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

MD5SUM BENCH= 39ce033b713bdbb29423ae6f53deb82d
RANDOM SEED=1719962551

node133.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.24
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.24
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.24
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.24
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:        24194916 kB
MemAvailable:   31907956 kB
Buffers:          214616 kB
Cached:          7788800 kB
SwapCached:            4 kB
Active:          4520392 kB
Inactive:        3535176 kB
Active(anon):      32628 kB
Inactive(anon):    88472 kB
Active(file):    4487764 kB
Inactive(file):  3446704 kB
Unevictable:        7068 kB
Mlocked:            7068 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              5844 kB
Writeback:             0 kB
AnonPages:         59316 kB
Mapped:            21720 kB
Shmem:             66200 kB
Slab:             216756 kB
SReclaimable:     188816 kB
SUnreclaim:        27940 kB
KernelStack:        3264 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     367900 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 55204 MiB
End job on node133 at 2018-08-19 19:21:00