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 | SAT (TO) | 6 | 2400.35 | 2378.43 |
| Name | Opd/Opd-sum-large/ Opd-46-035-010.xml |
| MD5SUM | 9882d57d510e95008d99aa62e0238ec8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1611 |
| Number of constraints | 1082 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 33 |
| Distribution of domain sizes | [{"size":2,"count":1610},{"size":33,"count":1}] |
| Minimum variable degree | 47 |
| Maximum variable degree | 1036 |
| Distribution of variable degrees | [{"degree":47,"count":1610},{"degree":1036,"count":1}] |
| Minimum constraint arity | 35 |
| Maximum constraint arity | 1610 |
| Distribution of constraint arities | [{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":1081}] |
| Optimization problem | YES |
| Type of objective | min VAR |
20.34/5.55 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 20.34/5.55 c This is free software under the dual EPL/GNU LGPL licenses. 20.34/5.55 c See www.sat4j.org for details. 20.34/5.55 c That software uses the Rhino library from the Mozilla project. 20.34/5.55 c version CUSTOM.v20170705 20.34/5.55 c java.runtime.name Java(TM) SE Runtime Environment 20.34/5.55 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 20.34/5.55 c java.vm.version 25.131-b11 20.34/5.55 c java.vm.vendor Oracle Corporation 20.34/5.55 c sun.arch.data.model 64 20.34/5.55 c java.version 1.8.0_131 20.34/5.55 c os.name Linux 20.34/5.55 c os.version 3.10.0-514.16.1.el7.x86_64 20.34/5.55 c os.arch amd64 20.34/5.55 c Free memory 499604488 20.34/5.55 c Max memory 7247757312 20.34/5.55 c Total memory 504889344 20.34/5.55 c Number of processors 8 20.34/5.55 c c --- Begin Solver configuration --- 20.34/5.55 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 20.34/5.55 c Learn all clauses as in MiniSAT 20.34/5.55 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 20.34/5.55 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 20.34/5.55 c No reason simplification 20.34/5.55 c Glucose 2.1 dynamic restart strategy 20.34/5.55 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 20.34/5.55 c timeout=2147483s 20.34/5.55 c DB Simplification allowed=false 20.34/5.55 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 20.34/5.55 c --- End Solver configuration --- 20.34/5.55 c constraints type 20.34/5.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 3222 20.34/5.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1656 20.34/5.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3254894 20.34/5.55 c org.sat4j.minisat.constraints.cnf.UnitClause => 2320 20.34/5.55 c 3262092 constraints processed. 1052.94/1033.78 o 28 1094.41/1074.95 o 24 1109.32/1089.70 o 13 1133.33/1113.75 o 10 1164.54/1144.97 o 9 1215.88/1196.25 o 8 1245.42/1225.75 o 7 1534.12/1514.30 o 6 2400.32/2378.41 c starts : 4855 2400.32/2378.41 c conflicts : 2450859 2400.32/2378.41 c decisions : 252538953 2400.32/2378.41 c propagations : 7284024239 2400.32/2378.41 c inspects : 12555598659 2400.32/2378.41 c shortcuts : 0 2400.32/2378.41 c learnt literals : 10298 2400.32/2378.41 c learnt binary clauses : 161743 2400.32/2378.41 c learnt ternary clauses : 277130 2400.32/2378.41 c learnt constraints : 2440561 2400.32/2378.41 c ignored constraints : 0 2400.32/2378.41 c root simplifications : 0 2400.32/2378.41 c removed literals (reason simplification) : 0 2400.32/2378.41 c reason swapping (by a shorter reason) : 0 2400.32/2378.41 c Calls to reduceDB : 113 2400.32/2378.41 c Number of update (reduction) of LBD : 845694 2400.32/2378.41 c Imported unit clauses : 0 2400.32/2378.41 c number of reductions to clauses (during analyze) : 0 2400.32/2378.41 c number of learned constraints concerned by reduction : 0 2400.32/2378.41 c number of learning phase by resolution : 0 2400.32/2378.41 c number of learning phase by cutting planes : 0 2400.32/2378.41 c number of rounding to 1 operations : 0 2400.32/2378.41 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.32/2378.41 c number of reductions of the coefficients by power 2 : 0 2400.32/2378.41 c number of right shift for reduction by power 2 : 0 2400.32/2378.41 c number of reductions of the coefficients by GCD over coefficients : 0 2400.32/2378.41 c speed (assignments/second) : 3069799.885873278 2400.32/2378.41 c non guided choices 140073727 2400.32/2378.41 c learnt constraints type 2400.32/2378.41 s SATISFIABLE 2400.32/2378.41 v <instantiation type="solution"> 2400.32/2378.41 v <list> z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list> 2400.32/2378.41 v <values> 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2400.32/2378.41 v </instantiation> 2400.32/2378.41
OK 6
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-4243484-1500672977/watcher-4243484-1500672977 -o /tmp/evaluation-result-4243484-1500672977/solver-4243484-1500672977 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500669915-6181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243484-1500672977.xml pid=6778 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: 2.00 2.01 2.46 3/262 6781 /proc/meminfo: memFree=31600344/32770624 swapFree=6268/17920 [pid=6781] ppid=6778 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 2082 0 0 0 0 0 0 0 20 0 2 0 2566151 8550137856 2310 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2087436 2310 1197 1 0 2076347 0 [pid=6781/tid=6782] ppid=6778 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 876 0 0 0 0 0 0 0 20 0 2 0 2566152 8550137856 2442 33554432000 4194304 4196468 140722363626800 140293971413408 140293959460768 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [startup+0.100157 s] /proc/loadavg: 2.00 2.01 2.46 3/262 6781 /proc/meminfo: memFree=31600344/32770624 swapFree=6268/17920 [pid=6781] ppid=6778 vsize=10900456 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 4916 0 0 0 8 1 0 0 20 0 20 0 2566151 11162066944 6032 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725114 6032 2635 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 3004 0 0 0 7 1 0 0 20 0 20 0 2566152 11162066944 6032 33554432000 4194304 4196468 140722363626800 140293971413600 140293967183254 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10900456 [startup+0.200409 s] /proc/loadavg: 2.00 2.01 2.46 3/262 6781 /proc/meminfo: memFree=31600344/32770624 swapFree=6268/17920 [pid=6781] ppid=6778 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 7015 0 0 0 24 3 0 0 20 0 20 0 2566151 11162169344 8331 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725139 8331 2873 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 4667 0 0 0 16 1 0 0 20 0 20 0 2566152 11162169344 8331 33554432000 4194304 4196468 140722363626800 140293971407536 140293967193245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 10900556 [startup+0.300369 s] /proc/loadavg: 2.00 2.01 2.46 3/262 6781 /proc/meminfo: memFree=31600344/32770624 swapFree=6268/17920 [pid=6781] ppid=6778 vsize=10900556 CPUtime=0.46 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 8312 0 0 0 43 3 0 0 20 0 20 0 2566151 11162169344 10135 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725139 10135 2975 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 5238 0 0 0 26 1 0 0 20 0 20 0 2566152 11162169344 10135 33554432000 4194304 4196468 140722363626800 140293971399088 140293967183254 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10900556 [startup+0.700262 s] /proc/loadavg: 2.00 2.01 2.46 3/262 6781 /proc/meminfo: memFree=31600344/32770624 swapFree=6268/17920 [pid=6781] ppid=6778 vsize=10900632 CPUtime=1.94 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 12510 0 0 0 188 6 0 0 20 0 20 0 2566151 11162247168 37786 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725158 37786 3094 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 5997 0 0 0 63 4 0 0 20 0 20 0 2566152 11162247168 37786 33554432000 4194304 4196468 140722363626800 140293971405464 140293583823361 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 10900632 [startup+1.50076 s] /proc/loadavg: 2.00 2.01 2.46 11/282 6801 /proc/meminfo: memFree=31346468/32770624 swapFree=6268/17636 [pid=6781] ppid=6778 vsize=10900632 CPUtime=5.25 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 18944 0 0 0 479 46 0 0 20 0 20 0 2566151 11162247168 96427 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725158 96427 3129 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 6059 0 0 0 129 5 0 0 20 0 20 0 2566152 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293971406216 140293949118799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 93 0 0 0 6 5 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 84 0 0 0 4 4 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 102 0 0 0 8 3 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=10900632 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 87 0 0 0 5 5 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 106 0 0 0 6 5 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 42 0 0 0 3 3 0 0 20 0 20 0 2566153 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) S 6778 6781 2456 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2566155 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293443045616 140293967182466 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2566156 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293441991840 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2566156 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293440938736 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6795/stat : 6795 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293439887312 140293967189915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6796] ppid=6778 vsize=10900632 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6796/stat : 6796 (java) S 6778 6781 2456 0 -1 1077944384 3086 0 0 0 83 1 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293438835440 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6797] ppid=6778 vsize=10900632 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6797/stat : 6797 (java) R 6778 6781 2456 0 -1 4202560 2884 0 0 0 97 1 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293437768920 140293952291889 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6798] ppid=6778 vsize=10900632 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6798/stat : 6798 (java) S 6778 6781 2456 0 -1 1077944384 2676 0 0 0 79 0 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293436729840 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6799] ppid=6778 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6799/stat : 6799 (java) S 6778 6781 2456 0 -1 1077944384 2082 0 0 0 43 1 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293435677296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6800] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 96427 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 5.25 Current children cumulated vsize (KiB) 10900632 [startup+3.10075 s] /proc/loadavg: 2.00 2.01 2.46 10/283 6804 /proc/meminfo: memFree=30941768/32770624 swapFree=6268/17964 [pid=6781] ppid=6778 vsize=10900632 CPUtime=13.7 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 22376 0 0 0 1227 143 0 0 20 0 20 0 2566151 11162247168 171158 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2725158 171158 3136 1 0 2713552 0 [pid=6781/tid=6782] ppid=6778 vsize=10900632 CPUtime=1.69 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) S 6778 6781 2456 0 -1 1077944384 6069 0 0 0 163 6 0 0 20 0 20 0 2566152 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293971407648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=10900632 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 467 0 0 0 90 15 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=10900632 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 235 0 0 0 88 17 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 828 0 0 0 89 12 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=10900632 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 295 0 0 0 88 19 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=10900632 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 243 0 0 0 84 14 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 334 0 0 0 89 19 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=10900632 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 532 0 0 0 87 18 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=10900632 CPUtime=1.03 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 464 0 0 0 88 15 0 0 20 0 20 0 2566153 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) R 6778 6781 2456 0 -1 4202560 235 0 0 0 27 0 0 0 20 0 20 0 2566155 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293443044048 140293951872050 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2566156 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293441991840 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2566156 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293440938736 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6795/stat : 6795 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293439887312 140293967189915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6796] ppid=6778 vsize=10900632 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6796/stat : 6796 (java) S 6778 6781 2456 0 -1 1077944384 3086 0 0 0 84 1 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293438835440 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6797] ppid=6778 vsize=10900632 CPUtime=1.21 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6797/stat : 6797 (java) S 6778 6781 2456 0 -1 1077944384 3459 0 0 0 120 1 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293437782896 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6798] ppid=6778 vsize=10900632 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6798/stat : 6798 (java) S 6778 6781 2456 0 -1 1077944384 2676 0 0 0 79 0 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293436729840 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6799] ppid=6778 vsize=10900632 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6799/stat : 6799 (java) S 6778 6781 2456 0 -1 1077944384 2085 0 0 0 44 1 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293435677296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6800] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566160 11162247168 171158 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 13.7 Current children cumulated vsize (KiB) 10900632 [startup+6.30115 s] /proc/loadavg: 2.08 2.03 2.46 13/281 6896 /proc/meminfo: memFree=30382624/32770624 swapFree=6268/17948 [pid=6781] ppid=6778 vsize=10967196 CPUtime=22.12 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 27359 0 0 0 1986 226 0 0 20 0 21 0 2566151 11230408704 279001 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2741799 279001 3158 1 0 2730193 0 [pid=6781/tid=6782] ppid=6778 vsize=10967196 CPUtime=4.29 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 6932 0 0 0 420 9 0 0 20 0 21 0 2566152 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293971407848 140293585929425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=10967196 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 1086 0 0 0 122 22 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=10967196 CPUtime=1.51 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 542 0 0 0 124 27 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=10967196 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 923 0 0 0 127 21 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=10967196 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 395 0 0 0 120 29 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=10967196 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 367 0 0 0 120 26 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=10967196 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 420 0 0 0 123 30 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=10967196 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 910 0 0 0 122 27 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=10967196 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 860 0 0 0 119 25 0 0 20 0 21 0 2566153 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) S 6778 6781 2456 0 -1 1077944384 806 0 0 0 39 0 0 0 20 0 21 0 2566155 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293443045616 140293967182466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293441991904 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 279001 33554432000 4194304 4196468 140722363626800 140293440938752 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=6781/tid=6800] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=10967196 CPUtime=1.31 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 2009 0 0 0 62 69 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6897] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6897/stat : 6897 (java) S 6778 6781 2456 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2566713 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293432517296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 2284.13 Current children cumulated vsize (KiB) 10967196 [startup+2322.3 s] /proc/loadavg: 8.01 4.45 2.98 10/283 7097 /proc/meminfo: memFree=22183872/32770624 swapFree=6268/21196 [pid=6781] ppid=6778 vsize=10967196 CPUtime=2344.14 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 87045 0 0 0 233944 470 0 0 20 0 21 0 2566151 11230408704 446243 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2741799 446243 3174 1 0 2730193 0 [pid=6781/tid=6782] ppid=6778 vsize=10967196 CPUtime=2318.66 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 36056 0 0 0 231851 15 0 0 20 0 21 0 2566152 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293971410488 140293586115883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=10967196 CPUtime=1.99 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 1358 0 0 0 155 44 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 1013 0 0 0 157 48 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=10967196 CPUtime=2.03 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 1682 0 0 0 160 43 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 977 0 0 0 153 52 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=10967196 CPUtime=2.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 635 0 0 0 156 45 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=10967196 CPUtime=2.07 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 1236 0 0 0 157 50 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 1206 0 0 0 156 49 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=10967196 CPUtime=2 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 1831 0 0 0 156 44 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=10967196 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) S 6778 6781 2456 0 -1 1077944384 2317 0 0 0 42 3 0 0 20 0 21 0 2566155 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293443045616 140293967182466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293441991904 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293440938752 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6795/stat : 6795 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293439887312 140293967189915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6796] ppid=6778 vsize=10967196 CPUtime=2.22 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6796/stat : 6796 (java) S 6778 6781 2456 0 -1 1077944384 10469 0 0 0 220 2 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293438835440 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6797] ppid=6778 vsize=10967196 CPUtime=2.41 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6797/stat : 6797 (java) S 6778 6781 2456 0 -1 1077944384 10362 0 0 0 239 2 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293437782896 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6798] ppid=6778 vsize=10967196 CPUtime=2.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6798/stat : 6798 (java) S 6778 6781 2456 0 -1 1077944384 8463 0 0 0 200 1 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293436729840 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6799] ppid=6778 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6799/stat : 6799 (java) S 6778 6781 2456 0 -1 1077944384 5945 0 0 0 62 1 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293435677296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6800] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=10967196 CPUtime=1.34 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 2042 0 0 0 63 71 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6897] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6897/stat : 6897 (java) S 6778 6781 2456 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2566713 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293432517296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 2344.14 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2378.2 s] /proc/loadavg: 8.57 5.20 3.32 10/282 7098 /proc/meminfo: memFree=22180240/32770624 swapFree=6268/21276 [pid=6781] ppid=6778 vsize=10967196 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 87907 0 0 0 239535 471 0 0 20 0 21 0 2566151 11230408704 446243 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2741799 446243 3174 1 0 2730193 0 [pid=6781/tid=6782] ppid=6778 vsize=10967196 CPUtime=2374.55 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 36864 0 0 0 237439 16 0 0 20 0 21 0 2566152 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293971410488 140293585929327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=10967196 CPUtime=1.99 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 1358 0 0 0 155 44 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 1013 0 0 0 157 48 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=10967196 CPUtime=2.03 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 1682 0 0 0 160 43 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 977 0 0 0 153 52 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=10967196 CPUtime=2.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 635 0 0 0 156 45 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=10967196 CPUtime=2.07 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 1236 0 0 0 157 50 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=10967196 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 1206 0 0 0 156 49 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=10967196 CPUtime=2 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 1831 0 0 0 156 44 0 0 20 0 21 0 2566153 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=10967196 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) S 6778 6781 2456 0 -1 1077944384 2324 0 0 0 42 3 0 0 20 0 21 0 2566155 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293443045616 140293967182466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293441991904 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 2566156 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293440938752 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6795/stat : 6795 (java) S 6778 6781 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293439887312 140293967189915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6796] ppid=6778 vsize=10967196 CPUtime=2.22 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6796/stat : 6796 (java) S 6778 6781 2456 0 -1 1077944384 10471 0 0 0 220 2 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293438835440 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6797] ppid=6778 vsize=10967196 CPUtime=2.41 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6797/stat : 6797 (java) S 6778 6781 2456 0 -1 1077944384 10364 0 0 0 239 2 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293437782896 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6798] ppid=6778 vsize=10967196 CPUtime=2.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6798/stat : 6798 (java) S 6778 6781 2456 0 -1 1077944384 8471 0 0 0 200 1 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293436729840 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6799] ppid=6778 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6799/stat : 6799 (java) S 6778 6781 2456 0 -1 1077944384 5947 0 0 0 62 1 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293435677296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6800] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 2075 0 0 0 65 72 0 0 20 0 21 0 2566160 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6897] ppid=6778 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6897/stat : 6897 (java) S 6778 6781 2456 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2566713 11230408704 446243 33554432000 4194304 4196468 140722363626800 140293432517296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 10967196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6781 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2378.4 s] /proc/loadavg: 8.57 5.20 3.32 10/282 7098 /proc/meminfo: memFree=22180240/32770624 swapFree=6268/21276 [pid=6781] ppid=6778 vsize=11166888 CPUtime=2400.32 cores=1,3,5,7,9,11,13,15 /proc/6781/stat : 6781 (java) S 6778 6781 2456 0 -1 1077944320 88545 0 0 0 239560 472 0 0 20 0 22 0 2566151 11434893312 446341 33554432000 4194304 4196468 140722363626800 140722363609344 140293967171319 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 /proc/6781/statm: 2791722 446341 3176 1 0 2780116 0 [pid=6781/tid=6782] ppid=6778 vsize=11166888 CPUtime=2374.75 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6782/stat : 6782 (java) R 6778 6781 2456 0 -1 4202560 36966 0 0 0 237459 16 0 0 20 0 22 0 2566152 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293971410328 140293580335026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6784] ppid=6778 vsize=11166888 CPUtime=1.99 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6784/stat : 6784 (java) S 6778 6781 2456 0 -1 1077944384 1358 0 0 0 155 44 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293903862288 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6785] ppid=6778 vsize=11166888 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6785/stat : 6785 (java) S 6778 6781 2456 0 -1 1077944384 1013 0 0 0 157 48 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293902809744 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6786] ppid=6778 vsize=11166888 CPUtime=2.03 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6786/stat : 6786 (java) S 6778 6781 2456 0 -1 1077944384 1682 0 0 0 160 43 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293901756688 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6787] ppid=6778 vsize=11166888 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6787/stat : 6787 (java) S 6778 6781 2456 0 -1 1077944384 977 0 0 0 153 52 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293900704144 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6788] ppid=6778 vsize=11166888 CPUtime=2.01 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6788/stat : 6788 (java) S 6778 6781 2456 0 -1 1077944384 635 0 0 0 156 45 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293569375248 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6789] ppid=6778 vsize=11166888 CPUtime=2.07 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6789/stat : 6789 (java) S 6778 6781 2456 0 -1 1077944384 1236 0 0 0 157 50 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293568322704 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6790] ppid=6778 vsize=11166888 CPUtime=2.05 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6790/stat : 6790 (java) S 6778 6781 2456 0 -1 1077944384 1206 0 0 0 156 49 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293567269648 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6791] ppid=6778 vsize=11166888 CPUtime=2 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6791/stat : 6791 (java) S 6778 6781 2456 0 -1 1077944384 1831 0 0 0 156 44 0 0 20 0 22 0 2566153 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293566217104 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6792] ppid=6778 vsize=11166888 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6792/stat : 6792 (java) S 6778 6781 2456 0 -1 1077944384 2360 0 0 0 42 3 0 0 20 0 22 0 2566155 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293443045616 140293967182466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6793] ppid=6778 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6793/stat : 6793 (java) S 6778 6781 2456 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 2566156 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293441991904 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6794] ppid=6778 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6794/stat : 6794 (java) S 6778 6781 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 22 0 2566156 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293440938752 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6795] ppid=6778 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6795/stat : 6795 (java) S 6778 6781 2456 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293439887312 140293967189915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6796] ppid=6778 vsize=11166888 CPUtime=2.24 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6796/stat : 6796 (java) S 6778 6781 2456 0 -1 1077944384 10568 0 0 0 222 2 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293438835440 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6797] ppid=6778 vsize=11166888 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6797/stat : 6797 (java) S 6778 6781 2456 0 -1 1077944384 10378 0 0 0 243 2 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293437782896 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6798] ppid=6778 vsize=11166888 CPUtime=2.02 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6798/stat : 6798 (java) S 6778 6781 2456 0 -1 1077944384 8491 0 0 0 201 1 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293436729840 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6799] ppid=6778 vsize=11166888 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6799/stat : 6799 (java) S 6778 6781 2456 0 -1 1077944384 6054 0 0 0 63 1 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293435677296 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6800] ppid=6778 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6800/stat : 6800 (java) S 6778 6781 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293434624480 140293967181525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 [pid=6781/tid=6801] ppid=6778 vsize=11166888 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/6781/task/6801/stat : 6801 (java) S 6778 6781 2456 0 -1 1077944384 2075 0 0 0 65 72 0 0 20 0 22 0 2566160 11434893312 446341 33554432000 4194304 4196468 140722363626800 140293433572016 140293967182466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20004864 140722363634859 140722363635012 140722363635012 140722363637711 0 Current children cumulated CPU time (s) 2400.32 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2378.43 CPU time (s): 2400.35 CPU user time (s): 2395.61 CPU system time (s): 4.73239 CPU usage (%): 100.921 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.61 system time used= 4.73239 maximum resident set size= 1786376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88753 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1632 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55751 involuntary context switches= 121576 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.07386 second user time and 25.2749 second system time The end
Begin job on node123 at 2017-07-21 23:36:17 IDJOB=4243484 IDBENCH=122959 IDSOLVER=2623 FILE ID=node123/4243484-1500672977 RUNJOBID= node123-1500669915-6181 PBS_JOBID= 20623297 Free space on /tmp= 62012 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243484-1500672977/watcher-4243484-1500672977 -o /tmp/evaluation-result-4243484-1500672977/solver-4243484-1500672977 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500669915-6181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243484-1500672977.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=242743398 node123.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 : 1733.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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.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.12 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.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.12 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 : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31600392 kB MemAvailable: 31499520 kB Buffers: 46732 kB Cached: 109668 kB SwapCached: 0 kB Active: 684112 kB Inactive: 81040 kB Active(anon): 556980 kB Inactive(anon): 63120 kB Active(file): 127132 kB Inactive(file): 17920 kB Unevictable: 6268 kB Mlocked: 6268 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1584 kB Writeback: 0 kB AnonPages: 616744 kB Mapped: 41304 kB Shmem: 8840 kB Slab: 93184 kB SReclaimable: 59624 kB SUnreclaim: 33560 kB KernelStack: 4576 kB PageTables: 6508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1108716 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 550912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62008 MiB End job on node123 at 2017-07-22 00:15:56