Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: sat4j-CSP 2017-07-05 | OPT | 2 | 472.512 | 463.315 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml |
| MD5SUM | b572fc31f3d20084dff13bb9f397ec56 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.19129901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1187 |
| Number of constraints | 1162 |
| Number of domains | 29 |
| Minimum domain size | 26 |
| Maximum domain size | 28 |
| Distribution of domain sizes | [{"size":26,"count":27},{"size":27,"count":378},{"size":28,"count":782}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":2,"count":1161},{"degree":44,"count":26}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 27 |
| Distribution of constraint arities | [{"arity":2,"count":1118},{"arity":26,"count":1},{"arity":27,"count":43}] |
| Number of extensional constraints | 1118 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1118},{"type":"ordered","count":1},{"type":"minimum","count":43}] |
| Optimization problem | YES |
| Type of objective | min SUM |
9.19/2.69 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 9.19/2.69 c This is free software under the dual EPL/GNU LGPL licenses. 9.19/2.69 c See www.sat4j.org for details. 9.19/2.69 c That software uses the Rhino library from the Mozilla project. 9.19/2.69 c version CUSTOM.v20170705 9.19/2.69 c java.runtime.name Java(TM) SE Runtime Environment 9.19/2.69 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 9.19/2.69 c java.vm.version 25.131-b11 9.19/2.69 c java.vm.vendor Oracle Corporation 9.19/2.69 c sun.arch.data.model 64 9.19/2.69 c java.version 1.8.0_131 9.19/2.69 c os.name Linux 9.19/2.69 c os.version 3.10.0-514.16.1.el7.x86_64 9.19/2.69 c os.arch amd64 9.19/2.69 c Free memory 499604488 9.19/2.69 c Max memory 7247757312 9.19/2.69 c Total memory 504889344 9.19/2.69 c Number of processors 8 9.19/2.69 c c --- Begin Solver configuration --- 9.19/2.69 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 9.19/2.69 c Learn all clauses as in MiniSAT 9.19/2.69 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 9.19/2.69 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 9.19/2.69 c No reason simplification 9.19/2.69 c Glucose 2.1 dynamic restart strategy 9.19/2.69 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 9.19/2.69 c timeout=2147483s 9.19/2.69 c DB Simplification allowed=false 9.19/2.69 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 9.19/2.69 c --- End Solver configuration --- 9.19/2.69 c constraints type 9.19/2.69 c org.sat4j.minisat.constraints.card.MinWatchCard => 2374 9.19/2.69 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1741376 9.19/2.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1119244 9.19/2.69 c org.sat4j.minisat.constraints.cnf.UnitClause => 2372 9.19/2.69 c 2865366 constraints processed. 103.89/95.50 o 25 153.37/144.55 o 17 189.39/180.40 o 15 225.23/216.01 o 6 259.09/249.84 o 3 400.43/391.12 o 2 472.47/463.28 c starts : 3125 472.47/463.28 c conflicts : 518078 472.47/463.28 c decisions : 99137591 472.47/463.28 c propagations : 1221106265 472.47/463.28 c inspects : 2063874589 472.47/463.28 c shortcuts : 0 472.47/463.28 c learnt literals : 8274 472.47/463.28 c learnt binary clauses : 13415 472.47/463.28 c learnt ternary clauses : 7047 472.47/463.28 c learnt constraints : 509803 472.47/463.28 c ignored constraints : 0 472.47/463.28 c root simplifications : 0 472.47/463.28 c removed literals (reason simplification) : 0 472.47/463.28 c reason swapping (by a shorter reason) : 0 472.47/463.28 c Calls to reduceDB : 53 472.47/463.28 c Number of update (reduction) of LBD : 216896 472.47/463.28 c Imported unit clauses : 0 472.47/463.28 c number of reductions to clauses (during analyze) : 0 472.47/463.28 c number of learned constraints concerned by reduction : 0 472.47/463.28 c number of learning phase by resolution : 0 472.47/463.28 c number of learning phase by cutting planes : 0 472.47/463.28 c number of rounding to 1 operations : 0 472.47/463.28 c number of easy rounding to 1 operations (no literal elimination needed) : 0 472.47/463.28 c number of reductions of the coefficients by power 2 : 0 472.47/463.28 c number of right shift for reduction by power 2 : 0 472.47/463.28 c number of reductions of the coefficients by GCD over coefficients : 0 472.47/463.28 c speed (assignments/second) : 2651385.6464171414 472.47/463.28 c non guided choices 82413465 472.47/463.28 c learnt constraints type 472.47/463.28 s OPTIMUM FOUND 472.47/463.28 v <instantiation type="optimum" cost="2"> 472.47/463.28 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] drd[0][21] drd[0][22] drd[0][23] drd[0][24] drd[0][25] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] drd[1][21] drd[1][22] drd[1][23] drd[1][24] drd[1][25] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] drd[2][21] drd[2][22] drd[2][23] drd[2][24] drd[2][25] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] drd[3][21] drd[3][22] drd[3][23] drd[3][24] drd[3][25] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] drd[4][21] drd[4][22] drd[4][23] drd[4][24] drd[4][25] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] drd[5][21] drd[5][22] drd[5][23] drd[5][24] drd[5][25] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] drd[6][21] drd[6][22] drd[6][23] drd[6][24] drd[6][25] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] drd[7][21] drd[7][22] drd[7][23] drd[7][24] drd[7][25] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] drd[8][21] drd[8][22] drd[8][23] drd[8][24] drd[8][25] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] drd[9][21] drd[9][22] drd[9][23] drd[9][24] drd[9][25] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] drd[10][21] drd[10][22] drd[10][23] drd[10][24] drd[10][25] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] drd[11][21] drd[11][22] drd[11][23] drd[11][24] drd[11][25] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] drd[12][21] drd[12][22] drd[12][23] drd[12][24] drd[12][25] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] drd[13][21] drd[13][22] drd[13][23] drd[13][24] drd[13][25] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] drd[14][21] drd[14][22] drd[14][23] drd[14][24] drd[14][25] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] drd[15][21] drd[15][22] drd[15][23] drd[15][24] drd[15][25] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] drd[16][21] drd[16][22] drd[16][23] drd[16][24] drd[16][25] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] drd[17][21] drd[17][22] drd[17][23] drd[17][24] drd[17][25] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] drd[18][21] drd[18][22] drd[18][23] drd[18][24] drd[18][25] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] drd[19][21] drd[19][22] drd[19][23] drd[19][24] drd[19][25] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] drd[20][21] drd[20][22] drd[20][23] drd[20][24] drd[20][25] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] drd[21][21] drd[21][22] drd[21][23] drd[21][24] drd[21][25] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] drd[22][21] drd[22][22] drd[22][23] drd[22][24] drd[22][25] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] drd[23][21] drd[23][22] drd[23][23] drd[23][24] drd[23][25] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] drd[24][21] drd[24][22] drd[24][23] drd[24][24] drd[24][25] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] drd[25][21] drd[25][22] drd[25][23] drd[25][24] drd[25][25] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] drd[26][21] drd[26][22] drd[26][23] drd[26][24] drd[26][25] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] drd[27][21] drd[27][22] drd[27][23] drd[27][24] drd[27][25] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] drd[28][21] drd[28][22] drd[28][23] drd[28][24] drd[28][25] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] drd[29][21] drd[29][22] drd[29][23] drd[29][24] drd[29][25] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] drd[30][21] drd[30][22] drd[30][23] drd[30][24] drd[30][25] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[31][19] drd[31][20] drd[31][21] drd[31][22] drd[31][23] drd[31][24] drd[31][25] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[32][19] drd[32][20] drd[32][21] drd[32][22] drd[32][23] drd[32][24] drd[32][25] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[33][19] drd[33][20] drd[33][21] drd[33][22] drd[33][23] drd[33][24] drd[33][25] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[34][19] drd[34][20] drd[34][21] drd[34][22] drd[34][23] drd[34][24] drd[34][25] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[35][19] drd[35][20] drd[35][21] drd[35][22] drd[35][23] drd[35][24] drd[35][25] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[36][19] drd[36][20] drd[36][21] drd[36][22] drd[36][23] drd[36][24] drd[36][25] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[37][19] drd[37][20] drd[37][21] drd[37][22] drd[37][23] drd[37][24] drd[37][25] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] drd[38][19] drd[38][20] drd[38][21] drd[38][22] drd[38][23] drd[38][24] drd[38][25] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[39][6] drd[39][7] drd[39][8] drd[39][9] drd[39][10] drd[39][11] drd[39][12] drd[39][13] drd[39][14] drd[39][15] drd[39][16] drd[39][17] drd[39][18] drd[39][19] drd[39][20] drd[39][21] drd[39][22] drd[39][23] drd[39][24] drd[39][25] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[40][6] drd[40][7] drd[40][8] drd[40][9] drd[40][10] drd[40][11] drd[40][12] drd[40][13] drd[40][14] drd[40][15] drd[40][16] drd[40][17] drd[40][18] drd[40][19] drd[40][20] drd[40][21] drd[40][22] drd[40][23] drd[40][24] drd[40][25] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[41][6] drd[41][7] drd[41][8] drd[41][9] drd[41][10] drd[41][11] drd[41][12] drd[41][13] drd[41][14] drd[41][15] drd[41][16] drd[41][17] drd[41][18] drd[41][19] drd[41][20] drd[41][21] drd[41][22] drd[41][23] drd[41][24] drd[41][25] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[42][6] drd[42][7] drd[42][8] drd[42][9] drd[42][10] drd[42][11] drd[42][12] drd[42][13] drd[42][14] drd[42][15] drd[42][16] drd[42][17] drd[42][18] drd[42][19] drd[42][20] drd[42][21] drd[42][22] drd[42][23] drd[42][24] drd[42][25] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] </list> 472.47/463.28 v <values> 23 40 41 50 54 61 101 105 116 124 129 131 175 180 198 206 225 237 263 270 313 337 352 373 397 469 247 230 229 220 216 209 169 165 154 146 141 139 95 90 72 64 45 33 7 0 43 67 82 103 127 199 247 230 229 220 216 209 169 165 154 146 141 139 95 90 72 64 45 33 7 0 43 67 82 103 127 199 77 60 59 50 46 39 1 5 16 24 29 31 75 80 98 106 125 137 163 170 213 237 252 273 297 369 78 61 60 51 47 40 0 4 15 23 28 30 74 79 97 105 124 136 162 169 212 236 251 272 296 368 446 429 428 419 415 408 368 364 353 345 340 338 294 289 271 263 244 232 206 199 156 132 117 96 72 0 17 0 1 10 14 21 61 65 76 84 89 91 135 140 158 166 185 197 223 230 273 297 312 333 357 429 17 0 1 10 14 21 61 65 76 84 89 91 135 140 158 166 185 197 223 230 273 297 312 333 357 429 214 197 196 187 183 176 136 132 121 113 108 106 62 57 39 31 12 0 26 33 76 100 115 136 160 232 214 197 196 187 183 176 136 132 121 113 108 106 62 57 39 31 12 0 26 33 76 100 115 136 160 232 27 10 9 0 4 11 51 55 66 74 79 81 125 130 148 156 175 187 213 220 263 287 302 323 347 419 27 10 9 0 4 11 51 55 66 74 79 81 125 130 148 156 175 187 213 220 263 287 302 323 347 419 329 312 311 302 298 291 251 247 236 228 223 221 177 172 154 146 127 115 89 82 39 15 0 21 45 117 329 312 311 302 298 291 251 247 236 228 223 221 177 172 154 146 127 115 89 82 39 15 0 21 45 117 82 65 64 55 51 44 4 0 11 19 24 26 70 75 93 101 120 132 158 165 208 232 247 268 292 364 82 65 64 55 51 44 4 0 11 19 24 26 70 75 93 101 120 132 158 165 208 232 247 268 292 364 108 91 90 81 77 70 30 26 15 7 2 0 44 49 67 75 94 106 132 139 182 206 221 242 266 338 290 273 272 263 259 252 212 208 197 189 184 182 138 133 115 107 88 76 50 43 0 24 39 60 84 156 290 273 272 263 259 252 212 208 197 189 184 182 138 133 115 107 88 76 50 43 0 24 39 60 84 156 0 17 18 27 31 38 78 82 93 101 106 108 152 157 175 183 202 214 240 247 290 314 329 350 374 446 0 17 18 27 31 38 78 82 93 101 106 108 152 157 175 183 202 214 240 247 290 314 329 350 374 446 18 1 0 9 13 20 60 64 75 83 88 90 134 139 157 165 184 196 222 229 272 296 311 332 356 428 18 1 0 9 13 20 60 64 75 83 88 90 134 139 157 165 184 196 222 229 272 296 311 332 356 428 106 89 88 79 75 68 28 24 13 5 0 2 46 51 69 77 96 108 134 141 184 208 223 244 268 340 183 166 165 156 152 145 105 101 90 82 77 75 31 26 8 0 19 31 57 64 107 131 146 167 191 263 182 165 164 155 151 144 104 100 89 81 76 74 30 25 7 1 20 32 58 65 108 132 147 168 192 264 202 185 184 175 171 164 124 120 109 101 96 94 50 45 27 19 0 12 38 45 88 112 127 148 172 244 202 185 184 175 171 164 124 120 109 101 96 94 50 45 27 19 0 12 38 45 88 112 127 148 172 244 101 84 83 74 70 63 23 19 8 0 5 7 51 56 74 82 101 113 139 146 189 213 228 249 273 345 314 297 296 287 283 276 236 232 221 213 208 206 162 157 139 131 112 100 74 67 24 0 15 36 60 132 314 297 296 287 283 276 236 232 221 213 208 206 162 157 139 131 112 100 74 67 24 0 15 36 60 132 38 21 20 11 7 0 40 44 55 63 68 70 114 119 137 145 164 176 202 209 252 276 291 312 336 408 152 135 134 125 121 114 74 70 59 51 46 44 0 5 23 31 50 62 88 95 138 162 177 198 222 294 374 357 356 347 343 336 296 292 281 273 268 266 222 217 199 191 172 160 134 127 84 60 45 24 0 72 374 357 356 347 343 336 296 292 281 273 268 266 222 217 199 191 172 160 134 127 84 60 45 24 0 72 31 14 13 4 0 7 47 51 62 70 75 77 121 126 144 152 171 183 209 216 259 283 298 319 343 415 240 223 222 213 209 202 162 158 147 139 134 132 88 83 65 57 38 26 0 7 50 74 89 110 134 206 93 76 75 66 62 55 15 11 0 8 13 15 59 64 82 90 109 121 147 154 197 221 236 257 281 353 93 76 75 66 62 55 15 11 0 8 13 15 59 64 82 90 109 121 147 154 197 221 236 257 281 353 350 333 332 323 319 312 272 268 257 249 244 242 198 193 175 167 148 136 110 103 60 36 21 0 24 96 175 158 157 148 144 137 97 93 82 74 69 67 23 18 0 8 27 39 65 72 115 139 154 175 199 271 175 158 157 148 144 137 97 93 82 74 69 67 23 18 0 8 27 39 65 72 115 139 154 175 199 271 157 140 139 130 126 119 79 75 64 56 51 49 5 0 18 26 45 57 83 90 133 157 172 193 217 289 157 140 139 130 126 119 79 75 64 56 51 49 5 0 18 26 45 57 83 90 133 157 172 193 217 289 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 472.47/463.28 v </instantiation> 472.47/463.28
OK 2
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-4244185-1500681617/watcher-4244185-1500681617 -o /tmp/evaluation-result-4244185-1500681617/solver-4244185-1500681617 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500680941-15396 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244185-1500681617.xml pid=15641 running on 8 cores: 1,3,5,7,9,11,13,15 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: 8.89 7.48 5.03 3/264 15644 /proc/meminfo: memFree=28823864/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 2210 0 0 0 0 0 0 0 20 0 2 0 3426531 8550137856 2442 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2087436 2442 1197 1 0 2076347 0 [pid=15644/tid=15645] ppid=15641 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) S 15641 15644 15364 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 4 0 3426532 8552243200 2442 33554432000 4194304 4196468 140729613533600 139775365588688 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 3426533 8553295872 2508 33554432000 4194304 4196468 140729613533600 139775287421920 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 3426533 8554348544 2508 33554432000 4194304 4196468 140729613533600 139775286369120 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 3426533 8555401216 2508 33554432000 4194304 4196468 140729613533600 139775285316320 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 3426533 8556453888 2508 33554432000 4194304 4196468 140729613533600 139775284263520 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 3426533 8557506560 2508 33554432000 4194304 4196468 140729613533600 139775283211744 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 3426533 8558559232 2508 33554432000 4194304 4196468 140729613533600 139774962691424 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=8423504 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 3426533 8625668096 2508 33554432000 4194304 4196468 140729613533600 139774961638624 139775361357525 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) D 15641 15644 15364 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3426533 9095430144 2508 33554432000 4194304 4196468 140729613533600 139774960585016 139775354064471 0 4 0 16784584 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [startup+0.100103 s] /proc/loadavg: 8.89 7.48 5.03 3/264 15644 /proc/meminfo: memFree=28823864/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 4861 0 0 0 8 1 0 0 20 0 20 0 3426531 11162169344 5968 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2725139 5968 2623 1 0 2713552 0 [pid=15644/tid=15645] ppid=15641 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 2961 0 0 0 7 1 0 0 20 0 20 0 3426532 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775365589600 139775361369245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 5968 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10900556 [startup+0.201215 s] /proc/loadavg: 8.89 7.48 5.03 3/264 15644 /proc/meminfo: memFree=28823864/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 7033 0 0 0 24 2 0 0 20 0 20 0 3426531 11162169344 8437 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2725139 8437 2907 1 0 2713552 0 [pid=15644/tid=15645] ppid=15641 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 4687 0 0 0 16 2 0 0 20 0 20 0 3426532 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775365568288 139775361369245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 8437 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 10900556 [startup+0.300959 s] /proc/loadavg: 8.89 7.48 5.03 3/264 15644 /proc/meminfo: memFree=28823864/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=10900556 CPUtime=0.49 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 9000 0 0 0 46 3 0 0 20 0 20 0 3426531 11162169344 11365 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2725139 11365 2983 1 0 2713552 0 [pid=15644/tid=15645] ppid=15641 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 5273 0 0 0 26 2 0 0 20 0 20 0 3426532 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775365579568 139774962842798 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3426533 11162169344 11365 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10900556 [startup+0.7005 s] /proc/loadavg: 8.89 7.48 5.03 3/264 15644 /proc/meminfo: memFree=28823864/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=10900632 CPUtime=2.1 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 12623 0 0 0 195 15 0 0 20 0 20 0 3426531 11162247168 49439 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2725158 49439 3107 1 0 2713552 0 [pid=15644/tid=15645] ppid=15641 vsize=10900632 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 6023 0 0 0 60 5 0 0 20 0 20 0 3426532 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775365581800 139774966722646 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10900632 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 3426533 11162247168 49439 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 10900632 [startup+1.50077 s] /proc/loadavg: 8.89 7.48 5.03 12/284 15664 /proc/meminfo: memFree=28468788/32770624 swapFree=5940/223432 [pid=15644] ppid=15641 vsize=10903204 CPUtime=5.56 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 23433 0 0 0 525 31 0 0 20 0 20 0 3426531 11164880896 98911 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2725801 98911 3131 1 0 2714195 0 [pid=15644/tid=15645] ppid=15641 vsize=10903204 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 6084 0 0 0 131 7 0 0 20 0 20 0 3426532 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775365582936 139774966319456 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10903204 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 4 2 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10903204 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 4 2 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10903204 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 5 1 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10903204 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 4 3 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10903204 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 31 0 0 0 4 2 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10903204 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 34 0 0 0 4 2 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10903204 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 36 0 0 0 4 3 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10903204 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 3426533 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15655] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15655/stat : 15655 (java) S 15641 15644 15364 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3426535 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774702344560 139775361358466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15656] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15656/stat : 15656 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3426536 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774701290592 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15657] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15657/stat : 15657 (java) S 15641 15644 15364 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3426536 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774700237680 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15658] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15658/stat : 15658 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774699186000 139775361365915 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15659] ppid=15641 vsize=10903204 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15659/stat : 15659 (java) R 15641 15644 15364 0 -1 4202560 4034 0 0 0 108 0 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774698120440 139775340603894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15660] ppid=15641 vsize=10903204 CPUtime=1.03 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15660/stat : 15660 (java) R 15641 15644 15364 0 -1 4202560 4195 0 0 0 102 1 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774697068152 139775340593225 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15661] ppid=15641 vsize=10903204 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15661/stat : 15661 (java) R 15641 15644 15364 0 -1 4202560 5209 0 0 0 105 1 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774696014520 139775344903656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15662] ppid=15641 vsize=10903204 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15662/stat : 15662 (java) S 15641 15644 15364 0 -1 1077944384 2071 0 0 0 42 0 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774694975984 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15663] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15663/stat : 15663 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3426540 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774693923424 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15664] ppid=15641 vsize=10903204 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15664/stat : 15664 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3426541 11164880896 98911 33554432000 4194304 4196468 140729613533600 139774692870704 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 5.56 ################ # More data... # ################ ??? kill 15644 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+462.401 s] /proc/loadavg: 2.00 3.18 3.86 3/283 15697 /proc/meminfo: memFree=27777456/32770624 swapFree=5940/223632 [pid=15644] ppid=15641 vsize=10969244 CPUtime=471.77 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 61098 0 0 0 47037 140 0 0 20 0 21 0 3426531 11232505856 210652 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2742311 210652 3157 1 0 2730705 0 [pid=15644/tid=15645] ppid=15641 vsize=10969244 CPUtime=461.76 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 13998 0 0 0 46165 11 0 0 20 0 21 0 3426532 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775365584152 139774969523462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10969244 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 14 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 212 0 0 0 22 14 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 184 0 0 0 24 12 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 15 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10969244 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 166 0 0 0 22 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 481 0 0 0 24 12 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 390 0 0 0 23 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10969244 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 189 0 0 0 20 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15655] ppid=15641 vsize=10969244 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15655/stat : 15655 (java) S 15641 15644 15364 0 -1 1077944384 1659 0 0 0 1 1 0 0 20 0 21 0 3426535 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774702344560 139775361358466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15656] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15656/stat : 15656 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3426536 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774701290592 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15657] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15657/stat : 15657 (java) S 15641 15644 15364 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3426536 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774700237680 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15658] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15658/stat : 15658 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774699186000 139775361365915 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15659] ppid=15641 vsize=10969244 CPUtime=2.21 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15659/stat : 15659 (java) S 15641 15644 15364 0 -1 1077944384 13240 0 0 0 220 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774698134384 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15660] ppid=15641 vsize=10969244 CPUtime=1.87 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15660/stat : 15660 (java) S 15641 15644 15364 0 -1 1077944384 10063 0 0 0 186 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774697081584 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15661] ppid=15641 vsize=10969244 CPUtime=2.11 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15661/stat : 15661 (java) S 15641 15644 15364 0 -1 1077944384 11857 0 0 0 209 2 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774696028784 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15662] ppid=15641 vsize=10969244 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15662/stat : 15662 (java) S 15641 15644 15364 0 -1 1077944384 5284 0 0 0 56 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774694975984 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15663] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15663/stat : 15663 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774693923424 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15664] ppid=15641 vsize=10969244 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15664/stat : 15664 (java) S 15641 15644 15364 0 -1 1077944384 1633 0 0 0 13 13 0 0 20 0 21 0 3426541 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774692870704 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15665] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15665/stat : 15665 (java) S 15641 15644 15364 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3426804 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774691816240 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 471.77 Current children cumulated vsize (KiB) 10969244 [startup+462.801 s] /proc/loadavg: 2.00 3.18 3.86 3/283 15697 /proc/meminfo: memFree=27777456/32770624 swapFree=5940/223632 [pid=15644] ppid=15641 vsize=10969244 CPUtime=472.17 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 61098 0 0 0 47077 140 0 0 20 0 21 0 3426531 11232505856 210652 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2742311 210652 3157 1 0 2730705 0 [pid=15644/tid=15645] ppid=15641 vsize=10969244 CPUtime=462.16 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) R 15641 15644 15364 0 -1 4202560 13998 0 0 0 46205 11 0 0 20 0 21 0 3426532 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775365584152 139774968481049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=10969244 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 14 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 212 0 0 0 22 14 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 184 0 0 0 24 12 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 15 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=10969244 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 166 0 0 0 22 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 481 0 0 0 24 12 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=10969244 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 390 0 0 0 23 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=10969244 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 189 0 0 0 20 13 0 0 20 0 21 0 3426533 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15655] ppid=15641 vsize=10969244 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15655/stat : 15655 (java) S 15641 15644 15364 0 -1 1077944384 1659 0 0 0 1 1 0 0 20 0 21 0 3426535 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774702344560 139775361358466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15656] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15656/stat : 15656 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3426536 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774701290592 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15657] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15657/stat : 15657 (java) S 15641 15644 15364 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3426536 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774700237680 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15658] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15658/stat : 15658 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774699186000 139775361365915 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15659] ppid=15641 vsize=10969244 CPUtime=2.21 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15659/stat : 15659 (java) S 15641 15644 15364 0 -1 1077944384 13240 0 0 0 220 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774698134384 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15660] ppid=15641 vsize=10969244 CPUtime=1.87 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15660/stat : 15660 (java) S 15641 15644 15364 0 -1 1077944384 10063 0 0 0 186 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774697081584 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15661] ppid=15641 vsize=10969244 CPUtime=2.11 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15661/stat : 15661 (java) S 15641 15644 15364 0 -1 1077944384 11857 0 0 0 209 2 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774696028784 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15662] ppid=15641 vsize=10969244 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15662/stat : 15662 (java) S 15641 15644 15364 0 -1 1077944384 5284 0 0 0 56 1 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774694975984 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15663] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15663/stat : 15663 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3426540 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774693923424 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15664] ppid=15641 vsize=10969244 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15664/stat : 15664 (java) S 15641 15644 15364 0 -1 1077944384 1633 0 0 0 13 13 0 0 20 0 21 0 3426541 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774692870704 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15665] ppid=15641 vsize=10969244 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15665/stat : 15665 (java) S 15641 15644 15364 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3426804 11232505856 210652 33554432000 4194304 4196468 140729613533600 139774691816240 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 472.17 Current children cumulated vsize (KiB) 10969244 [startup+463.215 s] /proc/loadavg: 2.00 3.18 3.86 2/283 15699 /proc/meminfo: memFree=27777456/32770624 swapFree=5940/223632 [pid=15644] ppid=15641 vsize=11102372 CPUtime=472.47 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 62548 0 0 0 47107 140 0 0 20 0 21 0 3426531 11368828928 210673 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2775593 210673 3159 1 0 2763987 0 [pid=15644/tid=15645] ppid=15641 vsize=11102372 CPUtime=462.44 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15645/stat : 15645 (java) S 15641 15644 15364 0 -1 1077944384 14549 0 0 0 46233 11 0 0 20 0 21 0 3426532 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775365588000 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15646] ppid=15641 vsize=11102372 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 14 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 212 0 0 0 22 14 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) S 15641 15644 15364 0 -1 1077944384 184 0 0 0 24 12 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775285315984 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15649] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15649/stat : 15649 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 15 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775284263184 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15650] ppid=15641 vsize=11102372 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15650/stat : 15650 (java) S 15641 15644 15364 0 -1 1077944384 166 0 0 0 22 13 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139775283211408 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15651] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15651/stat : 15651 (java) S 15641 15644 15364 0 -1 1077944384 481 0 0 0 24 12 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774962691088 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15652] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15652/stat : 15652 (java) S 15641 15644 15364 0 -1 1077944384 390 0 0 0 23 13 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774961638288 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15653] ppid=15641 vsize=11102372 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15653/stat : 15653 (java) S 15641 15644 15364 0 -1 1077944384 189 0 0 0 20 13 0 0 20 0 21 0 3426533 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774960585488 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15655] ppid=15641 vsize=11102372 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15655/stat : 15655 (java) S 15641 15644 15364 0 -1 1077944384 1659 0 0 0 1 1 0 0 20 0 21 0 3426535 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774702344560 139775361358466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15656] ppid=15641 vsize=11102372 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15656/stat : 15656 (java) S 15641 15644 15364 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3426536 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774701290592 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15657] ppid=15641 vsize=11102372 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15657/stat : 15657 (java) S 15641 15644 15364 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3426536 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774700237680 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15658] ppid=15641 vsize=11102372 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15658/stat : 15658 (java) S 15641 15644 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774699186000 139775361365915 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15659] ppid=15641 vsize=11102372 CPUtime=2.22 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15659/stat : 15659 (java) S 15641 15644 15364 0 -1 1077944384 13277 0 0 0 221 1 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774698134384 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15660] ppid=15641 vsize=11102372 CPUtime=1.88 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15660/stat : 15660 (java) S 15641 15644 15364 0 -1 1077944384 10375 0 0 0 187 1 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774697081584 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15661] ppid=15641 vsize=11102372 CPUtime=2.11 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15661/stat : 15661 (java) S 15641 15644 15364 0 -1 1077944384 11982 0 0 0 209 2 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774696028784 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15662] ppid=15641 vsize=11102372 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15662/stat : 15662 (java) S 15641 15644 15364 0 -1 1077944384 5572 0 0 0 57 1 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774694975984 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15663] ppid=15641 vsize=11102372 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15663/stat : 15663 (java) S 15641 15644 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3426540 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774693923424 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15664] ppid=15641 vsize=11102372 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15664/stat : 15664 (java) S 15641 15644 15364 0 -1 1077944384 1633 0 0 0 13 13 0 0 20 0 21 0 3426541 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774692870704 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15698] ppid=15641 vsize=11102372 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15698/stat : 15698 (java) S 15641 15644 15364 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3472839 11368828928 210673 33554432000 4194304 4196468 140729613533600 139774688666512 139775361358466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 Current children cumulated CPU time (s) 472.47 Current children cumulated vsize (KiB) 11102372 [startup+463.301 s] /proc/loadavg: 2.00 3.18 3.86 2/283 15699 /proc/meminfo: memFree=27777456/32770624 swapFree=5940/223632 [pid=15644] ppid=15641 vsize=11102372 CPUtime=472.49 cores=1,3,5,7,9,11,13,15 /proc/15644/stat : 15644 (java) S 15641 15644 15364 0 -1 1077944320 63480 0 0 0 47109 140 0 0 20 0 18 0 3426531 11368828928 210684 33554432000 4194304 4196468 140729613533600 140729613516144 139775361347319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 /proc/15644/statm: 2775593 210654 3159 1 0 2763987 0 [pid=15644/tid=15646] ppid=15641 vsize=11102372 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15646/stat : 15646 (java) S 15641 15644 15364 0 -1 1077944384 178 0 0 0 21 14 0 0 20 0 17 0 3426533 11368828928 210654 33554432000 4194304 4196468 140729613533600 139775287421584 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15647] ppid=15641 vsize=11102372 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15647/stat : 15647 (java) S 15641 15644 15364 0 -1 1077944384 212 0 0 0 22 14 0 0 20 0 17 0 3426533 11368828928 210654 33554432000 4194304 4196468 140729613533600 139775286368784 139775361357525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25456640 140729613542571 140729613542724 140729613542724 140729613545423 0 [pid=15644/tid=15648] ppid=15641 vsize=0 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15648/stat : 15648 (java) R 15641 15644 15364 0 -1 4195396 185 0 0 0 24 12 0 0 20 0 17 0 3426533 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 [pid=15644/tid=15660] ppid=15641 vsize=0 CPUtime=1.88 cores=1,3,5,7,9,11,13,15 /proc/15644/task/15660/stat : 15660 (java) R 15641 15644 15364 0 -1 4203588 10375 0 0 0 187 1 0 0 20 0 2 0 3426540 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 472.49 Current children cumulated vsize (KiB) 11102372 Child status: 0 Real time (s): 463.315 CPU time (s): 472.512 CPU user time (s): 471.091 CPU system time (s): 1.42167 CPU usage (%): 101.985 Max. virtual memory (cumulated for all children) (KiB): 11102372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 471.091 system time used= 1.42167 maximum resident set size= 843256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63514 page faults= 0 swaps= 0 block input operations= 0 block output operations= 576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13520 involuntary context switches= 24132 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.43948 second user time and 4.32611 second system time The end
Begin job on node151 at 2017-07-22 02:00:17 IDJOB=4244185 IDBENCH=138331 IDSOLVER=2623 FILE ID=node151/4244185-1500681617 RUNJOBID= node151-1500680941-15396 PBS_JOBID= 20623037 Free space on /tmp= 62024 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff06.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244185-1500681617/watcher-4244185-1500681617 -o /tmp/evaluation-result-4244185-1500681617/solver-4244185-1500681617 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500680941-15396 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244185-1500681617.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b572fc31f3d20084dff13bb9f397ec56 RANDOM SEED=819586746 node151.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.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 : 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 : 5342.81 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 : 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.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 : 1600.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 : 5342.81 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.49 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 : 5342.81 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.49 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 : 5342.81 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 : 1600.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.49 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 : 5342.81 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 : 1600.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.49 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 : 2267.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 : 5342.81 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.49 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 : 5342.81 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.49 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28823912 kB MemAvailable: 28856344 kB Buffers: 49472 kB Cached: 291740 kB SwapCached: 0 kB Active: 3334080 kB Inactive: 232100 kB Active(anon): 3227284 kB Inactive(anon): 8668 kB Active(file): 106796 kB Inactive(file): 223432 kB Unevictable: 5940 kB Mlocked: 5972 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1520 kB Writeback: 0 kB AnonPages: 3402712 kB Mapped: 42380 kB Shmem: 8852 kB Slab: 68656 kB SReclaimable: 36076 kB SUnreclaim: 32580 kB KernelStack: 4912 kB PageTables: 11760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4573248 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3211264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62024 MiB End job on node151 at 2017-07-22 02:08:00