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) | 180 | 2400.19 | 2351.85 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml |
| MD5SUM | ca8832984a17c67db3e889c6d91adcf4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 66 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1056 |
| Number of constraints | 75 |
| Number of domains | 2 |
| Minimum domain size | 5 |
| Maximum domain size | 32 |
| Distribution of domain sizes | [{"size":5,"count":74},{"size":32,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":3,"count":74},{"arity":32,"count":1}] |
| Number of extensional constraints | 74 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":74},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
19.38/6.40 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 19.38/6.40 c This is free software under the dual EPL/GNU LGPL licenses. 19.38/6.40 c See www.sat4j.org for details. 19.38/6.40 c That software uses the Rhino library from the Mozilla project. 19.38/6.40 c version CUSTOM.v20170705 19.38/6.40 c java.runtime.name Java(TM) SE Runtime Environment 19.38/6.40 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 19.38/6.40 c java.vm.version 25.131-b11 19.38/6.40 c java.vm.vendor Oracle Corporation 19.38/6.40 c sun.arch.data.model 64 19.38/6.40 c java.version 1.8.0_131 19.38/6.40 c os.name Linux 19.38/6.40 c os.version 3.10.0-514.16.1.el7.x86_64 19.38/6.40 c os.arch amd64 19.38/6.40 c Free memory 499604488 19.38/6.40 c Max memory 7247757312 19.38/6.40 c Total memory 504889344 19.38/6.40 c Number of processors 8 19.38/6.40 c c --- Begin Solver configuration --- 19.38/6.40 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 19.38/6.40 c Learn all clauses as in MiniSAT 19.38/6.40 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 19.38/6.40 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 19.38/6.40 c No reason simplification 19.38/6.40 c Glucose 2.1 dynamic restart strategy 19.38/6.40 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 19.38/6.40 c timeout=2147483s 19.38/6.40 c DB Simplification allowed=false 19.38/6.40 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 19.38/6.40 c --- End Solver configuration --- 19.38/6.40 c constraints type 19.38/6.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 212 19.38/6.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5081024 19.38/6.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 880600 19.38/6.40 c org.sat4j.minisat.constraints.cnf.UnitClause => 148 19.38/6.40 c 5961984 constraints processed. 37.84/23.23 o 202 134.01/118.77 o 199 156.99/141.45 o 196 688.63/661.45 o 185 1027.33/998.51 o 180 2400.12/2351.80 c starts : 3036 2400.12/2351.80 c conflicts : 1014761 2400.12/2351.80 c decisions : 352171497 2400.12/2351.80 c propagations : 8418781850 2400.12/2351.80 c inspects : 10952990240 2400.12/2351.80 c shortcuts : 0 2400.12/2351.80 c learnt literals : 0 2400.12/2351.80 c learnt binary clauses : 19436 2400.12/2351.80 c learnt ternary clauses : 19370 2400.12/2351.80 c learnt constraints : 1014761 2400.12/2351.80 c ignored constraints : 0 2400.12/2351.80 c root simplifications : 0 2400.12/2351.80 c removed literals (reason simplification) : 0 2400.12/2351.80 c reason swapping (by a shorter reason) : 0 2400.12/2351.80 c Calls to reduceDB : 68 2400.12/2351.80 c Number of update (reduction) of LBD : 694752 2400.12/2351.80 c Imported unit clauses : 0 2400.12/2351.80 c number of reductions to clauses (during analyze) : 0 2400.12/2351.80 c number of learned constraints concerned by reduction : 0 2400.12/2351.80 c number of learning phase by resolution : 0 2400.12/2351.80 c number of learning phase by cutting planes : 0 2400.12/2351.80 c number of rounding to 1 operations : 0 2400.12/2351.80 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.12/2351.80 c number of reductions of the coefficients by power 2 : 0 2400.12/2351.80 c number of right shift for reduction by power 2 : 0 2400.12/2351.80 c number of reductions of the coefficients by GCD over coefficients : 0 2400.12/2351.80 c speed (assignments/second) : 3589556.992249358 2400.12/2351.80 c non guided choices 75539970 2400.12/2351.80 c learnt constraints type 2400.12/2351.80 s SATISFIABLE 2400.12/2351.81 v <instantiation type="solution"> 2400.12/2351.81 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list> 2400.12/2351.81 v <values> 26 6 10 20 2 8 4 15 1 14 22 17 25 0 16 7 30 29 21 3 12 19 11 31 24 27 23 9 18 13 28 5 0 2 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 2 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 3 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 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 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 2 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 3 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 0 0 0 0 2 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 0 0 0 0 0 1 0 0 2 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 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 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 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 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 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 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 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 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 0 0 0 0 </values> 2400.12/2351.81 v </instantiation> 2400.12/2351.81
OK 180
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-4243502-1500673114/watcher-4243502-1500673114 -o /tmp/evaluation-result-4243502-1500673114/solver-4243502-1500673114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500669910-13857 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243502-1500673114.xml pid=14822 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.97 4.95 4.05 3/262 14825 /proc/meminfo: memFree=24094208/32770624 swapFree=5948/21976 [pid=14825] ppid=14822 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 2199 0 0 0 0 0 0 0 20 0 2 0 2580976 8550137856 1932 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2087436 1932 1197 1 0 2076347 0 [pid=14825/tid=14826] ppid=14822 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) S 14822 14825 9833 0 -1 1077944384 922 0 0 0 0 0 0 0 20 0 3 0 2580976 8551190528 1932 33554432000 4194304 4196468 140736802554880 140082943735504 140082939504341 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 2580977 8551190528 1932 33554432000 4194304 4196468 140736802554880 140082546085216 140082939504341 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [startup+0.10006 s] /proc/loadavg: 2.97 4.95 4.05 3/262 14825 /proc/meminfo: memFree=24094208/32770624 swapFree=5948/21976 [pid=14825] ppid=14822 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 4900 0 0 0 8 2 0 0 20 0 20 0 2580976 11162169344 5472 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725139 5472 2594 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 2980 0 0 0 7 1 0 0 20 0 20 0 2580976 11162169344 5472 33554432000 4194304 4196468 140736802554880 140082943736416 140082939506070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2580977 11162169344 5472 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10900556 [startup+0.200469 s] /proc/loadavg: 2.97 4.95 4.05 3/262 14825 /proc/meminfo: memFree=24094208/32770624 swapFree=5948/21976 [pid=14825] ppid=14822 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 6745 0 0 0 16 2 0 0 20 0 20 0 2580976 11162169344 7192 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725139 7192 2825 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900556 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 4535 0 0 0 12 1 0 0 20 0 20 0 2580976 11162169344 7192 33554432000 4194304 4196468 140736802554880 140082943715904 140082923574622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2580977 11162169344 7192 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 10900556 [startup+0.300457 s] /proc/loadavg: 2.97 4.95 4.05 3/262 14825 /proc/meminfo: memFree=24094208/32770624 swapFree=5948/21976 [pid=14825] ppid=14822 vsize=10900556 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 7601 0 0 0 31 3 0 0 20 0 20 0 2580976 11162169344 8924 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725139 8924 2885 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900556 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 5129 0 0 0 22 2 0 0 20 0 20 0 2580976 11162169344 8924 33554432000 4194304 4196468 140736802554880 140082943732336 140082923574622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2580977 11162169344 8924 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 10900556 [startup+0.700307 s] /proc/loadavg: 2.97 4.95 4.05 3/262 14825 /proc/meminfo: memFree=24094208/32770624 swapFree=5948/21976 [pid=14825] ppid=14822 vsize=10900632 CPUtime=1.85 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 14725 0 0 0 179 6 0 0 20 0 20 0 2580976 11162247168 28253 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725158 28253 3085 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900632 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 5929 0 0 0 60 3 0 0 20 0 20 0 2580976 11162247168 28253 33554432000 4194304 4196468 140736802554880 140082943717880 140082925757166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2580977 11162247168 28253 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 10900632 [startup+1.50089 s] /proc/loadavg: 2.81 4.88 4.03 6/282 14845 /proc/meminfo: memFree=23874820/32770624 swapFree=5948/22012 [pid=14825] ppid=14822 vsize=10900632 CPUtime=4.72 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 21118 0 0 0 441 31 0 0 20 0 20 0 2580976 11162247168 84092 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725158 84092 3122 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900632 CPUtime=1.34 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 6001 0 0 0 129 5 0 0 20 0 20 0 2580976 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082943726008 140082920337047 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 132 0 0 0 5 3 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) S 14822 14825 9833 0 -1 1077944384 93 0 0 0 4 2 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082545032336 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) S 14822 14825 9833 0 -1 1077944384 83 0 0 0 6 2 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082543979280 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) S 14822 14825 9833 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082542926736 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) S 14822 14825 9833 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082541873680 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=10900632 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) S 14822 14825 9833 0 -1 1077944384 81 0 0 0 5 4 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082540821136 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14834/stat : 14834 (java) S 14822 14825 9833 0 -1 1077944384 65 0 0 0 4 3 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082539768080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14835] ppid=14822 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14835/stat : 14835 (java) S 14822 14825 9833 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 2580977 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082538715536 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14836] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14836/stat : 14836 (java) S 14822 14825 9833 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2580979 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082011863792 140082939505282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14837] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14837/stat : 14837 (java) S 14822 14825 9833 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2580980 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082010810016 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14838] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14838/stat : 14838 (java) S 14822 14825 9833 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2580981 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082009756912 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14839] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14839/stat : 14839 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2580984 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082008705488 140082939512731 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14840] ppid=14822 vsize=10900632 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14840/stat : 14840 (java) S 14822 14825 9833 0 -1 1077944384 5174 0 0 0 79 1 0 0 20 0 20 0 2580984 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082007652592 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14841] ppid=14822 vsize=10900632 CPUtime=0.74 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14841/stat : 14841 (java) S 14822 14825 9833 0 -1 1077944384 3038 0 0 0 74 0 0 0 20 0 20 0 2580984 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082006600048 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14842] ppid=14822 vsize=10900632 CPUtime=0.85 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14842/stat : 14842 (java) S 14822 14825 9833 0 -1 1077944384 2952 0 0 0 85 0 0 0 20 0 20 0 2580984 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082005546992 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14843] ppid=14822 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14843/stat : 14843 (java) S 14822 14825 9833 0 -1 1077944384 1918 0 0 0 35 0 0 0 20 0 20 0 2580984 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082004494448 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14844] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14844/stat : 14844 (java) S 14822 14825 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2580985 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082003442656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14845] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14845/stat : 14845 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2580985 11162247168 84092 33554432000 4194304 4196468 140736802554880 140082002390192 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 10900632 [startup+3.10123 s] /proc/loadavg: 2.81 4.88 4.03 3/282 14845 /proc/meminfo: memFree=23570604/32770624 swapFree=5948/22012 [pid=14825] ppid=14822 vsize=10900632 CPUtime=9.52 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 24732 0 0 0 803 149 0 0 20 0 20 0 2580976 11162247168 222440 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725158 222440 3133 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900632 CPUtime=2.49 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) S 14822 14825 9833 0 -1 1077944384 6441 0 0 0 240 9 0 0 20 0 20 0 2580976 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082943728192 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900632 CPUtime=0.46 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) R 14822 14825 9833 0 -1 4202560 550 0 0 0 31 15 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082546085080 140082924191910 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=10900632 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) R 14822 14825 9833 0 -1 4202560 485 0 0 0 34 14 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082545032224 140082924445607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=10900632 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) R 14822 14825 9833 0 -1 4202560 370 0 0 0 33 18 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082543979480 140082921047386 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=10900632 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) R 14822 14825 9833 0 -1 4202560 421 0 0 0 34 16 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082542926936 140082924191774 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=10900632 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) R 14822 14825 9833 0 -1 4202560 299 0 0 0 31 17 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082541873880 140082924479431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=10900632 CPUtime=0.53 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) R 14822 14825 9833 0 -1 4202560 363 0 0 0 35 18 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082540821336 140082924191910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=10900632 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14834/stat : 14834 (java) R 14822 14825 9833 0 -1 4202560 420 0 0 0 33 18 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082539768280 140082924191927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14835] ppid=14822 vsize=10900632 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14835/stat : 14835 (java) R 14822 14825 9833 0 -1 4202560 320 0 0 0 29 15 0 0 20 0 20 0 2580977 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082538715736 140082924479431 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14836] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14836/stat : 14836 (java) S 14822 14825 9833 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 20 0 2580979 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082011862112 140082939504341 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14837] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14837/stat : 14837 (java) S 14822 14825 9833 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2580980 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082010810016 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14838] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14838/stat : 14838 (java) S 14822 14825 9833 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2580981 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082009756912 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14839] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14839/stat : 14839 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2580984 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082008705488 140082939512731 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14840] ppid=14822 vsize=10900632 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14840/stat : 14840 (java) S 14822 14825 9833 0 -1 1077944384 5182 0 0 0 98 1 0 0 20 0 20 0 2580984 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082007637584 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14841] ppid=14822 vsize=10900632 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14841/stat : 14841 (java) S 14822 14825 9833 0 -1 1077944384 3041 0 0 0 75 0 0 0 20 0 20 0 2580984 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082006600048 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14842] ppid=14822 vsize=10900632 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14842/stat : 14842 (java) S 14822 14825 9833 0 -1 1077944384 2956 0 0 0 87 0 0 0 20 0 20 0 2580984 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082005546992 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14843] ppid=14822 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14843/stat : 14843 (java) S 14822 14825 9833 0 -1 1077944384 1943 0 0 0 37 0 0 0 20 0 20 0 2580984 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082004494448 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14844] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14844/stat : 14844 (java) S 14822 14825 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2580985 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082003442656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14845] ppid=14822 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14845/stat : 14845 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2580985 11162247168 222440 33554432000 4194304 4196468 140736802554880 140082002390192 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 9.52 Current children cumulated vsize (KiB) 10900632 [startup+6.30089 s] /proc/loadavg: 2.74 4.83 4.02 3/282 14845 /proc/meminfo: memFree=23071032/32770624 swapFree=5948/22024 [pid=14825] ppid=14822 vsize=10900632 CPUtime=19.26 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 30026 0 0 0 1628 298 0 0 20 0 20 0 2580976 11162247168 365892 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2725158 365892 3142 1 0 2713552 0 [pid=14825/tid=14826] ppid=14822 vsize=10900632 CPUtime=4.27 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 7789 0 0 0 416 11 0 0 20 0 20 0 2580976 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082943728576 140082921440912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10900632 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 913 0 0 0 104 34 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=10900632 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) S 14822 14825 9833 0 -1 1077944384 1107 0 0 0 107 32 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082545032336 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=10900632 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) S 14822 14825 9833 0 -1 1077944384 1117 0 0 0 105 36 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082543979280 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=10900632 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) S 14822 14825 9833 0 -1 1077944384 805 0 0 0 110 32 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082542926736 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=10900632 CPUtime=1.4 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) S 14822 14825 9833 0 -1 1077944384 548 0 0 0 104 36 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082541873680 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=10900632 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) S 14822 14825 9833 0 -1 1077944384 936 0 0 0 109 36 0 0 20 0 20 0 2580977 11162247168 365892 33554432000 4194304 4196468 140736802554880 140082540821136 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=10900632 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ /proc/14825/task/14846/stat : 14846 (java) S 14822 14825 9833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2581621 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082001335472 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 2310.67 Current children cumulated vsize (KiB) 10967196 [startup+2322.3 s] /proc/loadavg: 4.74 5.69 4.04 3/283 15127 /proc/meminfo: memFree=26597004/32770624 swapFree=5932/25220 [pid=14825] ppid=14822 vsize=10967196 CPUtime=2370.7 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 249071 0 0 0 235958 1112 0 0 20 0 21 0 2580976 11230408704 795705 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2741799 795705 3172 1 0 2730193 0 [pid=14825/tid=14826] ppid=14822 vsize=10967196 CPUtime=2312.74 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 137287 0 0 0 231247 27 0 0 20 0 21 0 2580976 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082943733152 140082581256780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 7106 0 0 0 477 124 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) S 14822 14825 9833 0 -1 1077944384 9510 0 0 0 477 124 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082545032336 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=10967196 CPUtime=6.02 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) S 14822 14825 9833 0 -1 1077944384 9088 0 0 0 472 130 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082543979280 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=10967196 CPUtime=5.86 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) S 14822 14825 9833 0 -1 1077944384 5099 0 0 0 471 115 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082542926736 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) S 14822 14825 9833 0 -1 1077944384 7347 0 0 0 467 134 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082541873680 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=10967196 CPUtime=6.04 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) S 14822 14825 9833 0 -1 1077944384 8810 0 0 0 479 125 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082540821136 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=10967196 CPUtime=6 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14834/stat : 14834 (java) S 14822 14825 9833 0 -1 1077944384 7650 0 0 0 465 135 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082539768080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14835] ppid=14822 vsize=10967196 CPUtime=5.96 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14835/stat : 14835 (java) S 14822 14825 9833 0 -1 1077944384 6711 0 0 0 470 126 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082538715536 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14836] ppid=14822 vsize=10967196 CPUtime=2.5 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14836/stat : 14836 (java) S 14822 14825 9833 0 -1 1077944384 9603 0 0 0 247 3 0 0 20 0 21 0 2580979 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082011863792 140082939505282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14837] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14837/stat : 14837 (java) S 14822 14825 9833 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2580980 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082010810080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14838] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14838/stat : 14838 (java) S 14822 14825 9833 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 2580981 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082009756928 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14839] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14839/stat : 14839 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082008705488 140082939512731 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14840] ppid=14822 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14840/stat : 14840 (java) S 14822 14825 9833 0 -1 1077944384 10017 0 0 0 170 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082007652592 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14841] ppid=14822 vsize=10967196 CPUtime=1.88 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14841/stat : 14841 (java) S 14822 14825 9833 0 -1 1077944384 10766 0 0 0 186 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082006600048 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14842] ppid=14822 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14842/stat : 14842 (java) S 14822 14825 9833 0 -1 1077944384 9201 0 0 0 170 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082005546992 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14843] ppid=14822 vsize=10967196 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14843/stat : 14843 (java) S 14822 14825 9833 0 -1 1077944384 7447 0 0 0 52 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082004494448 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14844] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14844/stat : 14844 (java) S 14822 14825 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2580985 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082003442656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14845] ppid=14822 vsize=10967196 CPUtime=1.54 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14845/stat : 14845 (java) S 14822 14825 9833 0 -1 1077944384 2011 0 0 0 85 69 0 0 20 0 21 0 2580985 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082002390192 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14846] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14846/stat : 14846 (java) S 14822 14825 9833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2581621 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082001335472 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 2370.7 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2351.6 s] /proc/loadavg: 3.81 5.40 3.98 3/283 15128 /proc/meminfo: memFree=26595624/32770624 swapFree=5932/25252 [pid=14825] ppid=14822 vsize=10967196 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 249787 0 0 0 238888 1113 0 0 20 0 21 0 2580976 11230408704 795705 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2741799 795705 3172 1 0 2730193 0 [pid=14825/tid=14826] ppid=14822 vsize=10967196 CPUtime=2342.03 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) R 14822 14825 9833 0 -1 4202560 137957 0 0 0 234176 27 0 0 20 0 21 0 2580976 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082943733152 140082576908356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 7106 0 0 0 477 124 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) S 14822 14825 9833 0 -1 1077944384 9510 0 0 0 477 124 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082545032336 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=10967196 CPUtime=6.02 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) S 14822 14825 9833 0 -1 1077944384 9088 0 0 0 472 130 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082543979280 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=10967196 CPUtime=5.86 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) S 14822 14825 9833 0 -1 1077944384 5099 0 0 0 471 115 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082542926736 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=10967196 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) S 14822 14825 9833 0 -1 1077944384 7347 0 0 0 467 134 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082541873680 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=10967196 CPUtime=6.04 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) S 14822 14825 9833 0 -1 1077944384 8810 0 0 0 479 125 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082540821136 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=10967196 CPUtime=6 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14834/stat : 14834 (java) S 14822 14825 9833 0 -1 1077944384 7650 0 0 0 465 135 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082539768080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14835] ppid=14822 vsize=10967196 CPUtime=5.96 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14835/stat : 14835 (java) S 14822 14825 9833 0 -1 1077944384 6711 0 0 0 470 126 0 0 20 0 21 0 2580977 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082538715536 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14836] ppid=14822 vsize=10967196 CPUtime=2.5 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14836/stat : 14836 (java) S 14822 14825 9833 0 -1 1077944384 9613 0 0 0 247 3 0 0 20 0 21 0 2580979 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082011863792 140082939505282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14837] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14837/stat : 14837 (java) S 14822 14825 9833 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2580980 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082010810080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14838] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14838/stat : 14838 (java) S 14822 14825 9833 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 2580981 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082009756928 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14839] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14839/stat : 14839 (java) S 14822 14825 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082008705488 140082939512731 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14840] ppid=14822 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14840/stat : 14840 (java) S 14822 14825 9833 0 -1 1077944384 10024 0 0 0 170 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082007652592 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14841] ppid=14822 vsize=10967196 CPUtime=1.88 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14841/stat : 14841 (java) S 14822 14825 9833 0 -1 1077944384 10773 0 0 0 186 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082006600048 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14842] ppid=14822 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14842/stat : 14842 (java) S 14822 14825 9833 0 -1 1077944384 9207 0 0 0 170 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082005546992 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14843] ppid=14822 vsize=10967196 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14843/stat : 14843 (java) S 14822 14825 9833 0 -1 1077944384 7457 0 0 0 52 2 0 0 20 0 21 0 2580984 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082004494448 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14844] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14844/stat : 14844 (java) S 14822 14825 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2580985 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082003442656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14845] ppid=14822 vsize=10967196 CPUtime=1.56 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14845/stat : 14845 (java) S 14822 14825 9833 0 -1 1077944384 2017 0 0 0 86 70 0 0 20 0 21 0 2580985 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082002390192 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14846] ppid=14822 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14846/stat : 14846 (java) S 14822 14825 9833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2581621 11230408704 795705 33554432000 4194304 4196468 140736802554880 140082001335472 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 2400.01 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 14825 sig 9 ??? kill -14825 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2351.8 s] /proc/loadavg: 3.66 5.34 3.97 2/284 15131 /proc/meminfo: memFree=26595624/32770624 swapFree=5932/25252 [pid=14825] ppid=14822 vsize=11166888 CPUtime=2400.15 cores=0,2,4,6,8,10,12,14 /proc/14825/stat : 14825 (java) S 14822 14825 9833 0 -1 1077944320 251649 0 0 0 238902 1113 0 0 20 0 22 0 2580976 11434893312 795787 33554432000 4194304 4196468 140736802554880 140736802537424 140082939494135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 /proc/14825/statm: 2791722 795787 3174 1 0 2780116 0 [pid=14825/tid=14826] ppid=14822 vsize=11166888 CPUtime=2342.15 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14826/stat : 14826 (java) S 14822 14825 9833 0 -1 1077944384 138323 0 0 0 234188 27 0 0 20 0 22 0 2580976 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082943737008 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14827] ppid=14822 vsize=11166888 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14827/stat : 14827 (java) S 14822 14825 9833 0 -1 1077944384 7106 0 0 0 477 124 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082546084880 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14828] ppid=14822 vsize=11166888 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14828/stat : 14828 (java) S 14822 14825 9833 0 -1 1077944384 9510 0 0 0 477 124 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082545032336 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14829] ppid=14822 vsize=11166888 CPUtime=6.02 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14829/stat : 14829 (java) S 14822 14825 9833 0 -1 1077944384 9088 0 0 0 472 130 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082543979280 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14831] ppid=14822 vsize=11166888 CPUtime=5.86 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14831/stat : 14831 (java) S 14822 14825 9833 0 -1 1077944384 5099 0 0 0 471 115 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082542926736 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14832] ppid=14822 vsize=11166888 CPUtime=6.01 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14832/stat : 14832 (java) S 14822 14825 9833 0 -1 1077944384 7347 0 0 0 467 134 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082541873680 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14833] ppid=14822 vsize=11166888 CPUtime=6.04 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14833/stat : 14833 (java) S 14822 14825 9833 0 -1 1077944384 8810 0 0 0 479 125 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082540821136 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14834] ppid=14822 vsize=11166888 CPUtime=6 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14834/stat : 14834 (java) S 14822 14825 9833 0 -1 1077944384 7650 0 0 0 465 135 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082539768080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14835] ppid=14822 vsize=11166888 CPUtime=5.96 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14835/stat : 14835 (java) S 14822 14825 9833 0 -1 1077944384 6711 0 0 0 470 126 0 0 20 0 22 0 2580977 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082538715536 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14836] ppid=14822 vsize=11166888 CPUtime=2.51 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14836/stat : 14836 (java) R 14822 14825 9833 0 -1 4202560 9728 0 0 0 248 3 0 0 20 0 22 0 2580979 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082011863792 140082920900521 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14837] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14837/stat : 14837 (java) S 14822 14825 9833 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 2580980 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082010810080 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14838] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14838/stat : 14838 (java) S 14822 14825 9833 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 22 0 2580981 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082009756928 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14839] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14839/stat : 14839 (java) S 14822 14825 9833 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 22 0 2580984 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082008705488 140082939512731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14840] ppid=14822 vsize=11166888 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14840/stat : 14840 (java) S 14822 14825 9833 0 -1 1077944384 10103 0 0 0 170 2 0 0 20 0 22 0 2580984 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082007652592 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14841] ppid=14822 vsize=11166888 CPUtime=1.89 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14841/stat : 14841 (java) S 14822 14825 9833 0 -1 1077944384 10982 0 0 0 187 2 0 0 20 0 22 0 2580984 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082006585040 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14842] ppid=14822 vsize=11166888 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14842/stat : 14842 (java) S 14822 14825 9833 0 -1 1077944384 9278 0 0 0 170 2 0 0 20 0 22 0 2580984 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082005546992 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14843] ppid=14822 vsize=11166888 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14843/stat : 14843 (java) S 14822 14825 9833 0 -1 1077944384 7755 0 0 0 52 2 0 0 20 0 22 0 2580984 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082004490320 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14844] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14844/stat : 14844 (java) S 14822 14825 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2580985 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082003442656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=14845] ppid=14822 vsize=11166888 CPUtime=1.56 cores=0,2,4,6,8,10,12,14 /proc/14825/task/14845/stat : 14845 (java) S 14822 14825 9833 0 -1 1077944384 2017 0 0 0 86 70 0 0 20 0 22 0 2580985 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082002390192 140082939505282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=15129] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/15129/stat : 15129 (java) S 14822 14825 9833 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 22 0 2816136 11434893312 795792 33554432000 4194304 4196468 140736802554880 140082000282224 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 [pid=14825/tid=15130] ppid=14822 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14825/task/15130/stat : 15130 (java) S 14822 14825 9833 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 22 0 2816136 11434893312 795792 33554432000 4194304 4196468 140736802554880 140081999218656 140082939504341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23007232 140736802559147 140736802559300 140736802559300 140736802561999 0 Current children cumulated CPU time (s) 2400.15 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2351.85 CPU time (s): 2400.19 CPU user time (s): 2389.02 CPU system time (s): 11.1666 CPU usage (%): 102.055 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2389.02 system time used= 11.1666 maximum resident set size= 3183460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 252251 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56296 involuntary context switches= 122863 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.0822 second user time and 20.9274 second system time The end
Begin job on node107 at 2017-07-21 23:38:34 IDJOB=4243502 IDBENCH=123050 IDSOLVER=2623 FILE ID=node107/4243502-1500673114 RUNJOBID= node107-1500669910-13857 PBS_JOBID= 20623307 Free space on /tmp= 61872 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32a.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243502-1500673114/watcher-4243502-1500673114 -o /tmp/evaluation-result-4243502-1500673114/solver-4243502-1500673114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500669910-13857 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243502-1500673114.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ca8832984a17c67db3e889c6d91adcf4 RANDOM SEED=801969278 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 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.05 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 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: 24095000 kB MemAvailable: 24036356 kB Buffers: 94424 kB Cached: 112204 kB SwapCached: 0 kB Active: 8144460 kB Inactive: 81856 kB Active(anon): 7971476 kB Inactive(anon): 59880 kB Active(file): 172984 kB Inactive(file): 21976 kB Unevictable: 5948 kB Mlocked: 5948 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1468 kB Writeback: 0 kB AnonPages: 8025972 kB Mapped: 42016 kB Shmem: 8852 kB Slab: 127492 kB SReclaimable: 94172 kB SUnreclaim: 33320 kB KernelStack: 4512 kB PageTables: 20864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8647780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 7847936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61872 MiB End job on node107 at 2017-07-22 00:17:46