Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT | 2.91797 | 1.16136 |
Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-13.xml |
MD5SUM | 2c503f7a351e8b8ef7001234fe31d43f |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.5475099 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 30 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":30,"count":900}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":374},{"degree":2,"count":526}] |
Minimum constraint arity | 526 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":526,"count":1},{"arity":900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.27/0.26 c version: 2017-06-30 0.27/0.26 c seed: 1454806414 0.27/0.26 c timeout: 2400 0.27/0.26 c memlimit: 15500 0.27/0.26 c nbcore: 8 0.27/0.28 c Parsing instance... 2.26/1.05 c Parsing done, starting search... 2.77/1.14 s SATISFIABLE 2.77/1.14 v <instantiation> 2.77/1.14 v <list> 2.77/1.14 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 2.77/1.14 v </list> 2.77/1.14 v <values> 2.77/1.14 v 25 12 5 28 15 20 13 16 11 18 14 4 19 27 6 2 8 21 24 26 3 17 0 23 9 29 10 22 7 1 7 4 18 20 5 1 3 0 23 21 27 24 17 11 22 13 6 29 19 15 26 2 8 10 14 12 9 25 28 16 24 21 13 10 26 5 0 19 25 2 3 28 11 17 18 16 12 22 29 8 14 15 4 1 6 23 7 27 9 20 23 27 4 21 22 24 15 3 0 13 8 6 20 10 7 12 9 19 26 5 16 28 25 18 2 14 17 1 29 11 26 19 7 11 25 29 2 6 27 24 16 5 13 28 14 21 17 12 22 0 1 20 3 9 8 10 18 4 23 15 29 13 26 3 21 28 4 8 20 0 15 1 2 7 19 6 24 9 18 14 5 10 22 16 12 17 25 23 11 27 5 8 9 25 19 6 14 17 24 26 12 10 23 18 16 3 0 11 2 1 15 27 13 4 7 20 29 28 22 21 28 0 24 14 16 22 17 15 5 12 18 11 6 9 29 8 26 10 27 7 19 23 1 13 3 4 21 20 2 25 27 24 22 9 0 12 26 14 1 5 21 29 8 3 20 4 10 13 16 17 25 6 28 11 19 18 23 2 15 7 9 22 3 13 17 26 5 23 8 1 7 15 18 19 10 11 28 24 21 27 20 4 12 2 16 6 0 14 25 29 6 11 23 29 28 0 9 20 22 19 24 27 7 15 17 25 16 4 5 10 12 21 14 26 18 2 1 3 8 13 3 1 25 22 23 15 29 4 7 20 10 9 12 16 2 27 11 6 13 18 24 0 17 8 26 19 28 21 14 5 20 18 2 0 13 23 10 1 3 9 17 22 25 26 21 7 4 16 11 12 6 24 27 14 29 28 8 15 5 19 21 23 28 16 2 25 22 27 18 4 9 12 24 6 26 14 5 8 10 3 7 19 20 29 1 11 15 13 17 0 22 3 19 8 18 10 7 12 17 16 23 0 1 29 28 5 20 15 9 4 2 14 6 27 25 21 13 11 24 26 16 2 11 23 10 13 27 18 9 22 1 17 14 21 0 19 15 28 8 25 4 5 29 7 20 26 6 24 3 12 0 9 16 19 7 27 28 13 29 17 4 26 3 20 1 18 14 2 25 22 21 11 15 12 23 8 24 5 6 10 14 25 29 12 1 9 6 7 10 8 13 23 5 0 15 28 18 27 17 2 22 3 26 24 11 16 20 19 21 4 4 28 14 6 27 7 24 5 21 3 11 8 15 22 23 1 19 25 12 29 0 26 18 20 13 9 16 17 10 2 2 15 6 4 12 18 16 26 14 7 29 19 27 25 8 17 21 5 20 23 9 22 10 3 28 1 11 0 13 24 19 16 1 5 8 3 11 21 12 23 20 25 0 4 27 29 22 7 6 13 28 9 2 17 24 15 26 10 18 14 17 14 20 1 29 11 8 2 4 6 5 18 9 13 24 0 25 3 23 28 10 12 16 21 15 27 19 7 26 22 13 10 12 26 9 21 18 25 19 15 2 16 4 1 11 24 7 17 28 6 27 8 23 0 5 22 14 29 20 3 1 29 15 2 4 14 19 10 26 11 25 13 16 8 5 20 27 23 3 24 17 18 7 6 21 0 22 9 12 28 15 17 8 27 6 16 23 24 2 25 22 21 28 14 9 10 3 1 7 20 13 29 11 19 0 5 12 26 4 18 8 6 10 7 24 2 21 22 16 28 19 14 26 12 4 15 23 20 1 11 29 13 9 25 27 3 5 18 0 17 12 26 17 18 11 19 20 29 15 27 28 3 10 24 13 23 2 14 0 9 8 7 21 5 22 25 4 16 1 6 11 7 27 15 14 17 25 9 28 29 6 20 21 23 3 26 13 0 4 16 18 1 5 22 10 24 2 12 19 8 10 5 0 24 20 4 12 11 6 14 26 7 29 2 25 22 1 18 15 21 23 16 19 28 17 13 3 8 27 9 18 20 21 17 3 8 1 28 13 10 0 2 22 5 12 9 29 26 14 19 11 25 24 15 4 7 27 6 16 23 2.77/1.14 v </values> 2.77/1.14 v </instantiation>
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4250097-1500770508/watcher-4250097-1500770508 -o /tmp/evaluation-result-4250097-1500770508/solver-4250097-1500770508 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500753143-27513 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1454806414 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4250097-1500770508.xml pid=31861 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 1774 0 0 0 0 0 0 0 20 0 2 0 12320882 10876108800 2037 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 2655300 2037 1173 1 0 2644211 0 [pid=31864/tid=31865] ppid=31861 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 551 0 0 0 0 0 0 0 20 0 2 0 12320882 10876108800 2102 33554432000 4194304 4196468 140735992215824 139891747506592 139891736448625 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [startup+0.10006 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 6691 0 0 0 9 1 0 0 20 0 20 0 12320882 13582245888 7435 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3315978 7435 3384 1 0 3303698 0 [pid=31864/tid=31865] ppid=31861 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 4748 0 0 0 7 1 0 0 20 0 20 0 12320882 13582245888 7435 33554432000 4194304 4196468 140735992215824 139891747492544 139891743286429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13263912 [startup+0.200272 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 9089 0 0 0 25 2 0 0 20 0 20 0 12320882 13582245888 9927 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3315978 9927 3580 1 0 3303698 0 [pid=31864/tid=31865] ppid=31861 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 6676 0 0 0 16 1 0 0 20 0 20 0 12320882 13582245888 9927 33554432000 4194304 4196468 140735992215824 139891747484128 139891743286429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.300346 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13263932 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 10194 0 0 0 44 3 0 0 20 0 20 0 12320882 13582266368 12414 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3315983 12414 3681 1 0 3303698 0 [pid=31864/tid=31865] ppid=31861 vsize=13263932 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 7236 0 0 0 25 2 0 0 20 0 20 0 12320882 13582266368 12414 33554432000 4194304 4196468 140735992215824 139891747478784 139891727344990 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 13263932 [startup+0.700292 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13268028 CPUtime=1.29 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 12223 0 0 0 124 5 0 0 20 0 20 0 12320882 13586460672 18118 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3317007 18118 3759 1 0 3304722 0 [pid=31864/tid=31865] ppid=31861 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 8347 0 0 0 64 3 0 0 20 0 20 0 12320882 13586460672 18118 33554432000 4194304 4196468 140735992215824 139891747487648 139891743276438 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 13268028 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 31864 sig 9 ??? kill -31864 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800299 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13268028 CPUtime=1.65 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 13652 0 0 0 159 6 0 0 20 0 20 0 12320882 13586460672 21506 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3317007 21506 3768 1 0 3304722 0 [pid=31864/tid=31865] ppid=31861 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 8486 0 0 0 74 3 0 0 20 0 20 0 12320882 13586460672 21506 33554432000 4194304 4196468 140735992215824 139891747498464 139891743276438 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 13268028 [startup+1.00022 s] /proc/loadavg: 1.77 1.83 1.93 2/262 31864 /proc/meminfo: memFree=29801948/32770624 swapFree=5932/350448 [pid=31864] ppid=31861 vsize=13268028 CPUtime=2.26 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 18878 0 0 0 218 8 0 0 20 0 20 0 12320882 13586460672 29695 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3317007 29695 3770 1 0 3304722 0 [pid=31864/tid=31865] ppid=31861 vsize=13268028 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 9692 0 0 0 93 4 0 0 20 0 20 0 12320882 13586460672 29695 33554432000 4194304 4196468 140735992215824 139891747497072 139891727344990 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 13268028 [startup+1.1003 s] /proc/loadavg: 1.95 1.87 1.94 6/282 31884 /proc/meminfo: memFree=29690468/32770624 swapFree=5932/350452 [pid=31864] ppid=31861 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14 /proc/31864/stat : 31864 (java) S 31861 31864 27482 0 -1 1077944320 24412 0 0 0 268 9 0 0 20 0 20 0 12320882 13588557824 32024 33554432000 4194304 4196468 140735992215824 140735992198368 139891743264503 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 /proc/31864/statm: 3317519 32024 3770 1 0 3305234 0 [pid=31864/tid=31865] ppid=31861 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31865/stat : 31865 (java) R 31861 31864 27482 0 -1 4202560 10276 0 0 0 104 4 0 0 20 0 20 0 12320882 13588557824 32024 33554432000 4194304 4196468 140735992215824 139891747500040 139891336317565 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31867] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31867/stat : 31867 (java) S 31861 31864 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32024 33554432000 4194304 4196468 140735992215824 139891661745296 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31868] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31868/stat : 31868 (java) S 31861 31864 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32024 33554432000 4194304 4196468 140735992215824 139891660692496 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31869] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31869/stat : 31869 (java) S 31861 31864 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32024 33554432000 4194304 4196468 140735992215824 139891659639696 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31870] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31870/stat : 31870 (java) S 31861 31864 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32048 33554432000 4194304 4196468 140735992215824 139891658586896 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31871] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31871/stat : 31871 (java) S 31861 31864 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32048 33554432000 4194304 4196468 140735992215824 139891657534096 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31872] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31872/stat : 31872 (java) S 31861 31864 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891656481296 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31873] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31873/stat : 31873 (java) S 31861 31864 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891655428496 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31874] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31874/stat : 31874 (java) S 31861 31864 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12320883 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891654375696 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31875] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31875/stat : 31875 (java) S 31861 31864 27482 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 12320885 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891205094256 139891743275650 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31876] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31876/stat : 31876 (java) S 31861 31864 27482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 12320885 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891204040224 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31877] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31877/stat : 31877 (java) S 31861 31864 27482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12320886 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891202987376 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31878] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31878/stat : 31878 (java) S 31861 31864 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12320888 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891201935696 139891743283099 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31879] ppid=31861 vsize=13270076 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31879/stat : 31879 (java) R 31861 31864 27482 0 -1 4202560 2062 0 0 0 30 0 0 0 20 0 20 0 12320888 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891200882976 139891723964800 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31880] ppid=31861 vsize=13270076 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31880/stat : 31880 (java) R 31861 31864 27482 0 -1 4202560 2736 0 0 0 37 0 0 0 20 0 20 0 12320888 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891199816136 139891724785903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31881] ppid=31861 vsize=13270076 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31881/stat : 31881 (java) R 31861 31864 27482 0 -1 4202560 2152 0 0 0 34 1 0 0 20 0 20 0 12320888 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891198763552 139891729296390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31882] ppid=31861 vsize=13270076 CPUtime=0.61 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31882/stat : 31882 (java) S 31861 31864 27482 0 -1 1077944384 5818 0 0 0 60 1 0 0 20 0 20 0 12320888 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891197724656 139891743275650 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31883] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31883/stat : 31883 (java) S 31861 31864 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12320889 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891196673120 139891743274709 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 [pid=31864/tid=31884] ppid=31861 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/31864/task/31884/stat : 31884 (java) S 31861 31864 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12320889 13588557824 32560 33554432000 4194304 4196468 140735992215824 139891195620400 139891743275650 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23773184 140735992222857 140735992223044 140735992223044 140735992225743 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 13270076 Child status: 0 Real time (s): 1.16136 CPU time (s): 2.91797 CPU user time (s): 2.81954 CPU system time (s): 0.098427 CPU usage (%): 251.255 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.81954 system time used= 0.098427 maximum resident set size= 133152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24709 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3463 involuntary context switches= 237 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.011054 second user time and 0.020675 second system time The end
Begin job on node102 at 2017-07-23 02:41:48 IDJOB=4250097 IDBENCH=138954 IDSOLVER=2628 FILE ID=node102/4250097-1500770508 RUNJOBID= node102-1500753143-27513 PBS_JOBID= 20624584 Free space on /tmp= 61824 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-13.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4250097-1500770508/watcher-4250097-1500770508 -o /tmp/evaluation-result-4250097-1500770508/solver-4250097-1500770508 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500753143-27513 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1454806414 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4250097-1500770508.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2c503f7a351e8b8ef7001234fe31d43f RANDOM SEED=1454806414 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 29802516 kB MemAvailable: 30258584 kB Buffers: 160404 kB Cached: 572400 kB SwapCached: 0 kB Active: 2161120 kB Inactive: 359344 kB Active(anon): 1790596 kB Inactive(anon): 8612 kB Active(file): 370524 kB Inactive(file): 350732 kB Unevictable: 5932 kB Mlocked: 5932 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42388 kB Writeback: 0 kB AnonPages: 1937004 kB Mapped: 46516 kB Shmem: 8852 kB Slab: 135356 kB SReclaimable: 101296 kB SUnreclaim: 34060 kB KernelStack: 4592 kB PageTables: 8680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2670416 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1804288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61780 MiB End job on node102 at 2017-07-23 02:41:49