198.84/198.97 c root propagations : 372
198.84/198.97 c restarts enabled, print stats at every restarts
198.84/198.97 c
198.84/198.97 c
198.84/198.97 c
198.84/198.97 c This is cosoco 2.00 --
198.84/198.97 c
198.84/198.97 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389486-1568342842.xml
198.84/198.97 c ========================================[ Problem Statistics ]===========================================
198.84/198.97 c |
198.84/198.97 c | Parse time : 197.95 s
198.84/198.97 c |
198.84/198.97 c | Variables: 1024
198.84/198.97 c | Domain Sizes: 2..2
198.84/198.97 c |
198.84/198.97 c | Constraints: 64
198.84/198.97 c | Arity: 32..32
198.84/198.97 c |
198.84/198.97 c | Types:
198.84/198.97 c | Extension: 64 (nb tuples: 1..1307504) -- (shared: 2)
198.84/198.97 c |
198.84/198.97 c =========================================================================================================
198.84/198.97 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
199.25/199.30 c First solution is found
199.25/199.39 s SATISFIABLE
199.25/199.39 c restarts : 0
199.25/199.39 c conflicts : 29 (0 /sec)
199.25/199.39 c decisions : 1450 (7 /sec)
199.25/199.39 c propagations : 8510 (43 /sec)
199.25/199.39 c root propagations : 372
199.25/199.39 c filter calls : 6496 (33 /sec)
199.25/199.39 c useless filter calls : 4488 (69 %)
199.25/199.39 c Memory used : 1159.27 MB
199.25/199.39 c CPU time : 198.824 s
199.25/199.39 c real time : 199.394 s
199.25/199.39
199.25/199.39 c solution 1
199.25/199.39
199.25/199.39 v <instantiation type='solution'>
199.25/199.39 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
199.25/199.40 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
199.25/199.40 v </instantiation>
199.25/199.40
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: 16375 MiB (13576 MiB free)
memory of node 1: 16384 MiB (13188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389486-1568342842/watcher-4389486-1568342842 -o /tmp/evaluation-result-4389486-1568342842/solver-4389486-1568342842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389486-1568342842.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17022, runsolver pid=17019
[startup+0.100154 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27406736/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=28600 memory=4716 CPUtime=0.1 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 1383 0 0 0 10 0 0 0 20 0 1 0 410290840 29286400 1179 33554432000 4194304 6210612 140729140622128 140729140618664 140710940134373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 7150 1179 808 493 0 455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 4716 KiB
[startup+0.210653 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27405992/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=29192 memory=5244 CPUtime=0.21 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 1535 0 0 0 21 0 0 0 20 0 1 0 410290840 29892608 1311 33554432000 4194304 6210612 140729140622128 140729140618664 5815960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 7298 1311 808 493 0 603 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5244 KiB
[startup+0.310223 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27405620/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=29780 memory=5932 CPUtime=0.31 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 1723 0 0 0 31 0 0 0 20 0 1 0 410290840 30494720 1483 33554432000 4194304 6210612 140729140622128 140729140619400 140710940134373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 7445 1483 808 493 0 750 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 5932 KiB
[startup+0.700294 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27404184/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=32012 memory=8068 CPUtime=0.69 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 2349 0 0 0 69 0 0 0 20 0 1 0 410290840 32780288 2017 33554432000 4194304 6210612 140729140622128 140729140619400 5743229 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 8003 2017 808 493 0 1308 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32012 KiB
Current children cumulated memory: 8068 KiB
[startup+1.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27401208/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=36608 memory=12604 CPUtime=1.49 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 3654 0 0 0 149 0 0 0 20 0 1 0 410290840 37486592 3151 33554432000 4194304 6210612 140729140622128 140729140619400 140710940134373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 9152 3151 808 493 0 2457 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36608 KiB
Current children cumulated memory: 12604 KiB
[startup+3.11079 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 17023
/proc/meminfo: memFree=27346372/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=45800 memory=21312 CPUtime=3.1 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 6294 0 0 0 309 1 0 0 20 0 1 0 410290840 46899200 5328 33554432000 4194304 6210612 140729140622128 140729140619400 5489791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 11450 5328 808 493 0 4755 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 45800 KiB
Current children cumulated memory: 21312 KiB
[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 17025
/proc/meminfo: memFree=27333448/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=64052 memory=39772 CPUtime=6.28 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 11076 0 0 0 627 1 0 0 20 0 1 0 410290840 65589248 9943 33554432000 4194304 6210612 140729140622128 140729140619400 5484686 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 16013 9943 808 493 0 9318 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 64052 KiB
Current children cumulated memory: 39772 KiB
[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.06 3/199 17025
/proc/meminfo: memFree=27338940/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=100556 memory=76328 CPUtime=12.68 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 19660 0 0 0 1264 4 0 0 20 0 1 0 410290840 102969344 19082 33554432000 4194304 6210612 140729140622128 140729140619400 140710940134373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 25139 19082 808 493 0 18444 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 100556 KiB
Current children cumulated memory: 76328 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.05 3/199 17025
/proc/meminfo: memFree=27100996/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=335012 memory=308468 CPUtime=25.48 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 84022 0 0 0 2537 11 0 0 20 0 1 0 410290840 343052288 77117 33554432000 4194304 6210612 140729140622128 140729140619400 5707676 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 83753 77117 808 493 0 77058 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 335012 KiB
Current children cumulated memory: 308468 KiB
[startup+51.1107 s]
/proc/loadavg: 2.08 2.04 2.05 3/200 17028
/proc/meminfo: memFree=27062440/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=374312 memory=347028 CPUtime=51.09 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 129030 0 0 0 5094 15 0 0 20 0 1 0 410290840 383295488 86757 33554432000 4194304 6210612 140729140622128 140729140619400 5818217 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 93578 86757 808 493 0 86883 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 374312 KiB
Current children cumulated memory: 347028 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 17031
/proc/meminfo: memFree=26691928/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=759500 memory=717040 CPUtime=102.27 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 226590 0 0 0 10199 28 0 0 20 0 1 0 410290840 777728000 179260 33554432000 4194304 6210612 140729140622128 140729140619400 140710956196992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 189875 179260 813 493 0 183180 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 759500 KiB
Current children cumulated memory: 717040 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17043
/proc/meminfo: memFree=26253372/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=162.25 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 347723 0 0 0 16180 45 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 5484824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+199.444 s]
# the end of solver process 17022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=198.825 s, system=0.574899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17045
/proc/meminfo: memFree=26254204/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=179.15 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 360103 0 0 0 17868 47 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 5484108 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 179.15 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+192 s]*
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26253464/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=191.95 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 362497 0 0 0 19147 48 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 5818456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 191.95 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+195.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26253616/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=195.15 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 368963 0 0 0 19466 49 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 5547735 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 195.15 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+196.8 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26253616/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=196.74 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 369258 0 0 0 19625 49 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 5707718 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 196.74 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+198.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26253740/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153336 CPUtime=198.34 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 375194 0 0 0 19785 49 0 0 20 0 1 0 410290840 1215582208 288334 33554432000 4194304 6210612 140729140622128 140729140619400 140710956196992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288334 813 493 0 290078 0
Current children cumulated CPU time: 198.34 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153336 KiB
[startup+199.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26253740/32770688 swapFree=66919992/67108860
[pid=17022] ppid=17019 vsize=1187092 memory=1153480 CPUtime=199.15 cores=4-7
/proc/17022/stat : 17022 (cosoco) R 17019 17022 9478 0 -1 4202496 451627 0 0 0 19862 53 0 0 20 0 1 0 410290840 1215582208 288370 33554432000 4194304 6210612 140729140622128 140729140619400 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 15904768 140729140626443 140729140626545 140729140626545 140729140629454 0
/proc/17022/statm: 296773 288370 847 493 0 290078 0
Current children cumulated CPU time: 199.15 s
Current children cumulated vsize: 1187092 KiB
Current children cumulated memory: 1153480 KiB
[startup+199.4 s]*
/proc/loadavg: 2.01 2.03 2.05 3/200 17047
/proc/meminfo: memFree=26254260/32770688 swapFree=66919992/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 199.444
CPU time (s): 199.4
CPU user time (s): 198.825
CPU system time (s): 0.574899
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1236248
Max. memory (cumulated for all children) (KiB): 1185232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.825
system time used= 0.574899
maximum resident set size= 1185232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451935
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= 35
involuntary context switches= 201
# summary of solver processes directly reported to runsolver:
# pid: 17022
# total CPU time (s): 199.4
# total CPU user time (s): 198.825
# total CPU system time (s): 0.574899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.866688 second user time and 1.5175 second system time
The end
Begin job on node120 at 2011-12-14 11:07:48
IDJOB=4389486
IDBENCH=134105
IDSOLVER=2829
FILE ID=node120/4389486-1568342842
RUNJOBID= node120-1323826654-9510
PBS_JOBID= 21701129
Free space on /tmp= 58744 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-122-table.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389486-1568342842/watcher-4389486-1568342842 -o /tmp/evaluation-result-4389486-1568342842/solver-4389486-1568342842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389486-1568342842.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=168796118
node120.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 : 2667.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.49
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 : 2667.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.49
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 : 2667.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.49
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 : 2667.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.49
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 : 2667.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 : 5329.69
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 : 2667.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 : 5329.69
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 : 2667.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 : 5329.69
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 : 2667.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 : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 27408420 kB
MemAvailable: 31815504 kB
Buffers: 155612 kB
Cached: 4544360 kB
SwapCached: 77548 kB
Active: 1634060 kB
Inactive: 3148252 kB
Active(anon): 3548 kB
Inactive(anon): 128572 kB
Active(file): 1630512 kB
Inactive(file): 3019680 kB
Unevictable: 108228 kB
Mlocked: 108228 kB
SwapTotal: 67108860 kB
SwapFree: 66919992 kB
Dirty: 417220 kB
Writeback: 0 kB
AnonPages: 114644 kB
Mapped: 49176 kB
Shmem: 41008 kB
Slab: 174352 kB
SReclaimable: 145456 kB
SUnreclaim: 28896 kB
KernelStack: 3472 kB
PageTables: 5696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 545692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 146880 kB
DirectMap2M: 33398784 kB
Free space on /tmp at the end= 58744 MiB
End job on node120 at 2011-12-14 11:11:07