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) | 151 | 2400.35 | 2340.63 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml |
| MD5SUM | ca834160bf20391dc7be2075ee08801e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 100 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1056 |
| Number of constraints | 91 |
| Number of domains | 2 |
| Minimum domain size | 5 |
| Maximum domain size | 32 |
| Distribution of domain sizes | [{"size":5,"count":90},{"size":32,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":0,"count":934},{"degree":1,"count":14},{"degree":2,"count":92},{"degree":4,"count":2},{"degree":10,"count":2},{"degree":13,"count":2},{"degree":14,"count":10}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":3,"count":90},{"arity":32,"count":1}] |
| Number of extensional constraints | 90 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":90},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
22.18/6.93 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 22.18/6.93 c This is free software under the dual EPL/GNU LGPL licenses. 22.18/6.93 c See www.sat4j.org for details. 22.18/6.93 c That software uses the Rhino library from the Mozilla project. 22.18/6.93 c version CUSTOM.v20170705 22.18/6.93 c java.runtime.name Java(TM) SE Runtime Environment 22.18/6.93 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 22.18/6.93 c java.vm.version 25.131-b11 22.18/6.93 c java.vm.vendor Oracle Corporation 22.18/6.93 c sun.arch.data.model 64 22.18/6.93 c java.version 1.8.0_131 22.18/6.93 c os.name Linux 22.18/6.93 c os.version 3.10.0-514.16.1.el7.x86_64 22.18/6.93 c os.arch amd64 22.18/6.93 c Free memory 499604488 22.18/6.93 c Max memory 7247757312 22.18/6.93 c Total memory 504889344 22.18/6.93 c Number of processors 8 22.18/6.93 c c --- Begin Solver configuration --- 22.18/6.93 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 22.18/6.93 c Learn all clauses as in MiniSAT 22.18/6.93 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 22.18/6.93 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 22.18/6.93 c No reason simplification 22.18/6.93 c Glucose 2.1 dynamic restart strategy 22.18/6.93 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 22.18/6.93 c timeout=2147483s 22.18/6.93 c DB Simplification allowed=false 22.18/6.93 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 22.18/6.93 c --- End Solver configuration --- 22.18/6.93 c constraints type 22.18/6.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 244 22.18/6.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6176192 22.18/6.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1071000 22.18/6.93 c org.sat4j.minisat.constraints.cnf.UnitClause => 180 22.18/6.93 c 7247616 constraints processed. 61.74/44.13 o 172 74.03/55.72 o 151 2400.31/2340.60 c starts : 1651 2400.31/2340.60 c conflicts : 602897 2400.31/2340.60 c decisions : 296885654 2400.31/2340.60 c propagations : 7643942123 2400.31/2340.60 c inspects : 9685736683 2400.31/2340.60 c shortcuts : 0 2400.31/2340.60 c learnt literals : 0 2400.31/2340.60 c learnt binary clauses : 12308 2400.31/2340.60 c learnt ternary clauses : 11636 2400.31/2340.60 c learnt constraints : 602897 2400.31/2340.60 c ignored constraints : 0 2400.31/2340.60 c root simplifications : 0 2400.31/2340.60 c removed literals (reason simplification) : 0 2400.31/2340.61 c reason swapping (by a shorter reason) : 0 2400.31/2340.61 c Calls to reduceDB : 32 2400.31/2340.61 c Number of update (reduction) of LBD : 413096 2400.31/2340.61 c Imported unit clauses : 0 2400.31/2340.61 c number of reductions to clauses (during analyze) : 0 2400.31/2340.61 c number of learned constraints concerned by reduction : 0 2400.31/2340.61 c number of learning phase by resolution : 0 2400.31/2340.61 c number of learning phase by cutting planes : 0 2400.31/2340.61 c number of rounding to 1 operations : 0 2400.31/2340.61 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.31/2340.61 c number of reductions of the coefficients by power 2 : 0 2400.31/2340.61 c number of right shift for reduction by power 2 : 0 2400.31/2340.61 c number of reductions of the coefficients by GCD over coefficients : 0 2400.31/2340.61 c speed (assignments/second) : 3275579.786297226 2400.31/2340.61 c non guided choices 58643682 2400.31/2340.61 c learnt constraints type 2400.31/2340.61 s SATISFIABLE 2400.31/2340.61 v <instantiation type="solution"> 2400.31/2340.61 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.31/2340.61 v <values> 11 19 13 17 25 21 15 29 22 30 27 6 0 24 1 18 31 26 12 20 16 9 8 3 14 5 23 7 10 2 28 4 0 1 0 2 1 0 0 2 3 2 0 0 0 2 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 0 0 0 2 1 0 1 1 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 2 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 2 0 3 2 0 4 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 0 0 0 1 2 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 3 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 2 3 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 2 3 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 1 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 1 2 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 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 1 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 2 3 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.31/2340.61 v </instantiation> 2400.31/2340.61
OK 151
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-4243503-1500673131/watcher-4243503-1500673131 -o /tmp/evaluation-result-4243503-1500673131/solver-4243503-1500673131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12231 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243503-1500673131.xml pid=13333 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.92 2.34 4.19 3/262 13336 /proc/meminfo: memFree=26247868/32770624 swapFree=5924/202244 [pid=13336] ppid=13333 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 1753 0 0 0 0 0 0 0 20 0 2 0 2582102 369864704 1999 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 90299 1999 1134 1 0 79210 0 [pid=13336/tid=13337] ppid=13333 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 520 0 0 0 0 0 0 0 20 0 2 0 2582102 8539521024 2065 33554432000 4194304 4196468 140729109886144 139801848359328 139801836406688 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [startup+0.100126 s] /proc/loadavg: 1.92 2.34 4.19 3/262 13336 /proc/meminfo: memFree=26247868/32770624 swapFree=5924/202244 [pid=13336] ppid=13333 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 4797 0 0 0 9 1 0 0 20 0 20 0 2582102 11162169344 6383 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725139 6383 2636 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 2877 0 0 0 8 0 0 0 20 0 20 0 2582102 11162169344 6383 33554432000 4194304 4196468 140729109886144 139801848355248 139801844139165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10900556 [startup+0.200414 s] /proc/loadavg: 1.92 2.34 4.19 3/262 13336 /proc/meminfo: memFree=26247868/32770624 swapFree=5924/202244 [pid=13336] ppid=13333 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 7045 0 0 0 24 2 0 0 20 0 20 0 2582102 11162169344 8873 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725139 8873 2855 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 4704 0 0 0 17 1 0 0 20 0 20 0 2582102 11162169344 8873 33554432000 4194304 4196468 140729109886144 139801848338576 139801844139165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 10900556 [startup+0.300367 s] /proc/loadavg: 1.92 2.34 4.19 3/262 13336 /proc/meminfo: memFree=26247868/32770624 swapFree=5924/202244 [pid=13336] ppid=13333 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 8349 0 0 0 42 2 0 0 20 0 20 0 2582102 11162247168 10790 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725158 10790 2998 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 5388 0 0 0 27 1 0 0 20 0 20 0 2582102 11162247168 10790 33554432000 4194304 4196468 140729109886144 139801848349376 139801844139165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 10900632 [startup+0.700231 s] /proc/loadavg: 1.92 2.34 4.19 3/262 13336 /proc/meminfo: memFree=26247868/32770624 swapFree=5924/202244 [pid=13336] ppid=13333 vsize=10900632 CPUtime=2.07 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 16762 0 0 0 201 6 0 0 20 0 20 0 2582102 11162247168 37432 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725158 37432 3091 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 5845 0 0 0 64 3 0 0 20 0 20 0 2582102 11162247168 37432 33554432000 4194304 4196468 140729109886144 139801848341816 139801474152629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 10900632 [startup+1.50077 s] /proc/loadavg: 1.92 2.34 4.19 11/282 13356 /proc/meminfo: memFree=26015356/32770624 swapFree=5924/202296 [pid=13336] ppid=13333 vsize=10900632 CPUtime=5.45 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 25124 0 0 0 521 24 0 0 20 0 20 0 2582102 11162247168 90273 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725158 90273 3128 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900632 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 5907 0 0 0 133 5 0 0 20 0 20 0 2582102 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801848349112 139801829807847 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) S 13333 13336 9835 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801796738192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=10900632 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) S 13333 13336 9835 0 -1 1077944384 85 0 0 0 3 0 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801795685392 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) S 13333 13336 9835 0 -1 1077944384 102 0 0 0 3 2 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801794632592 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) S 13333 13336 9835 0 -1 1077944384 33 0 0 0 4 1 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801793579792 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) S 13333 13336 9835 0 -1 1077944384 60 0 0 0 5 2 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801792526992 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=10900632 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) S 13333 13336 9835 0 -1 1077944384 61 0 0 0 3 1 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801791474192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) S 13333 13336 9835 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801444145552 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) S 13333 13336 9835 0 -1 1077944384 107 0 0 0 4 1 0 0 20 0 20 0 2582103 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801443092752 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2582105 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801185479536 139801844128386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801184425504 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801183372656 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13350/stat : 13350 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801182320976 139801844135835 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13351] ppid=13333 vsize=10900632 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13351/stat : 13351 (java) S 13333 13336 9835 0 -1 1077944384 6223 0 0 0 105 1 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801181268336 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13352] ppid=13333 vsize=10900632 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13352/stat : 13352 (java) S 13333 13336 9835 0 -1 1077944384 4504 0 0 0 99 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801180215536 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13353] ppid=13333 vsize=10900632 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13353/stat : 13353 (java) R 13333 13336 9835 0 -1 4202560 4746 0 0 0 114 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801179148752 139801825640523 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13354] ppid=13333 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13354/stat : 13354 (java) S 13333 13336 9835 0 -1 1077944384 1672 0 0 0 32 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801178109936 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13355] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 90273 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 5.45 Current children cumulated vsize (KiB) 10900632 [startup+3.10118 s] /proc/loadavg: 1.92 2.34 4.19 3/282 13356 /proc/meminfo: memFree=25702280/32770624 swapFree=5924/202304 [pid=13336] ppid=13333 vsize=10900632 CPUtime=11.1 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 29948 0 0 0 951 159 0 0 20 0 20 0 2582102 11162247168 230899 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725158 230899 3143 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900632 CPUtime=2.47 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) S 13333 13336 9835 0 -1 1077944384 6347 0 0 0 238 9 0 0 20 0 20 0 2582102 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801848350288 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) R 13333 13336 9835 0 -1 4202560 355 0 0 0 37 20 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801796738392 139801828814991 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=10900632 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) R 13333 13336 9835 0 -1 4202560 549 0 0 0 35 17 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801795685592 139801828814864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=10900632 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) R 13333 13336 9835 0 -1 4202560 381 0 0 0 37 18 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801794632792 139801824143458 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=10900632 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) R 13333 13336 9835 0 -1 4202560 614 0 0 0 37 18 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801793579992 139801828571113 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) R 13333 13336 9835 0 -1 4202560 535 0 0 0 38 18 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801792527192 139801828815014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) R 13333 13336 9835 0 -1 4202560 415 0 0 0 40 14 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801791474080 139801824143373 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) R 13333 13336 9835 0 -1 4202560 399 0 0 0 38 20 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801444145752 139801829875563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=10900632 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) R 13333 13336 9835 0 -1 4202560 560 0 0 0 37 18 0 0 20 0 20 0 2582103 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801443092952 139801829067844 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 20 0 2582105 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801185477856 139801844127445 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801184425504 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801183372656 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13350/stat : 13350 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801182320976 139801844135835 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13351] ppid=13333 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13351/stat : 13351 (java) S 13333 13336 9835 0 -1 1077944384 6243 0 0 0 129 1 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801181259616 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13352] ppid=13333 vsize=10900632 CPUtime=1.19 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13352/stat : 13352 (java) S 13333 13336 9835 0 -1 1077944384 5131 0 0 0 118 1 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801180215536 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13353] ppid=13333 vsize=10900632 CPUtime=1.28 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13353/stat : 13353 (java) S 13333 13336 9835 0 -1 1077944384 4782 0 0 0 128 0 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801179162736 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13354] ppid=13333 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13354/stat : 13354 (java) S 13333 13336 9835 0 -1 1077944384 1689 0 0 0 34 0 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801178109936 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13355] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2582110 11162247168 230899 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 11.1 Current children cumulated vsize (KiB) 10900632 [startup+6.30119 s] /proc/loadavg: 2.01 2.35 4.19 3/282 13356 /proc/meminfo: memFree=25187532/32770624 swapFree=5924/202308 [pid=13336] ppid=13333 vsize=10900632 CPUtime=21.58 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 34043 0 0 0 1821 337 0 0 20 0 20 0 2582102 11162247168 376045 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2725158 376045 3151 1 0 2713552 0 [pid=13336/tid=13337] ppid=13333 vsize=10900632 CPUtime=4.13 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 7610 0 0 0 402 11 0 0 20 0 20 0 2582102 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801848350704 139801474335228 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=10900632 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) S 13333 13336 9835 0 -1 1077944384 834 0 0 0 116 41 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801796738192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=10900632 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) S 13333 13336 9835 0 -1 1077944384 759 0 0 0 114 39 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801795685392 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=10900632 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) S 13333 13336 9835 0 -1 1077944384 722 0 0 0 115 39 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801794632592 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) S 13333 13336 9835 0 -1 1077944384 799 0 0 0 115 40 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801793579792 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=10900632 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) S 13333 13336 9835 0 -1 1077944384 880 0 0 0 117 40 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801792526992 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) S 13333 13336 9835 0 -1 1077944384 606 0 0 0 118 37 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801791474192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=10900632 CPUtime=1.58 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) S 13333 13336 9835 0 -1 1077944384 876 0 0 0 116 42 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801444145552 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=10900632 CPUtime=1.56 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) S 13333 13336 9835 0 -1 1077944384 763 0 0 0 115 41 0 0 20 0 20 0 2582103 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801443092752 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=10900632 CPUtime=0.53 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 962 0 0 0 53 0 0 0 20 0 20 0 2582105 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801185479536 139801844128386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801184425504 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2582106 11162247168 376045 33554432000 4194304 4196468 140729109886144 139801183372656 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=13336/tid=13355] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=10967196 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 2188 0 0 0 60 78 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13357] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13357/stat : 13357 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2582801 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801174951216 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 2321.98 Current children cumulated vsize (KiB) 10967196 [startup+2322.3 s] /proc/loadavg: 1.00 1.04 1.54 2/256 13518 /proc/meminfo: memFree=28928964/32770624 swapFree=5908/204636 [pid=13336] ppid=13333 vsize=10967196 CPUtime=2381.98 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 163706 0 0 0 237165 1033 0 0 20 0 21 0 2582102 11230408704 774724 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2741799 774724 3170 1 0 2730193 0 [pid=13336/tid=13337] ppid=13333 vsize=10967196 CPUtime=2310.57 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 80033 0 0 0 231031 26 0 0 20 0 21 0 2582102 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801848356288 139801475921932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=10967196 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) S 13333 13336 9835 0 -1 1077944384 3051 0 0 0 613 117 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801796738192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=10967196 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) S 13333 13336 9835 0 -1 1077944384 2727 0 0 0 619 111 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801795685392 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=10967196 CPUtime=7.29 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) S 13333 13336 9835 0 -1 1077944384 3333 0 0 0 621 108 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801794632592 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=10967196 CPUtime=7.34 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) S 13333 13336 9835 0 -1 1077944384 2543 0 0 0 618 116 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801793579792 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=10967196 CPUtime=7.35 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) S 13333 13336 9835 0 -1 1077944384 3196 0 0 0 620 115 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801792526992 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=10967196 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) S 13333 13336 9835 0 -1 1077944384 2687 0 0 0 618 115 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801791474192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=10967196 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) S 13333 13336 9835 0 -1 1077944384 2579 0 0 0 616 116 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801444145552 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=10967196 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) S 13333 13336 9835 0 -1 1077944384 2196 0 0 0 614 119 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801443092752 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=10967196 CPUtime=3.17 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 8736 0 0 0 314 3 0 0 20 0 21 0 2582105 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801185479536 139801844128386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 2582106 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801184425568 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2582106 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801183372672 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13350/stat : 13350 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801182320976 139801844135835 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13351] ppid=13333 vsize=10967196 CPUtime=2.69 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13351/stat : 13351 (java) S 13333 13336 9835 0 -1 1077944384 13741 0 0 0 267 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801181268336 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13352] ppid=13333 vsize=10967196 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13352/stat : 13352 (java) S 13333 13336 9835 0 -1 1077944384 15243 0 0 0 243 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801180215536 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13353] ppid=13333 vsize=10967196 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13353/stat : 13353 (java) S 13333 13336 9835 0 -1 1077944384 14228 0 0 0 243 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801179162736 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13354] ppid=13333 vsize=10967196 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13354/stat : 13354 (java) S 13333 13336 9835 0 -1 1077944384 5772 0 0 0 49 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801178109936 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13355] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=10967196 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 2228 0 0 0 62 80 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13357] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13357/stat : 13357 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2582801 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801174951216 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 2381.98 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2340.4 s] /proc/loadavg: 1.00 1.04 1.53 2/256 13518 /proc/meminfo: memFree=28928964/32770624 swapFree=5908/204636 [pid=13336] ppid=13333 vsize=10967196 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 164917 0 0 0 238975 1034 0 0 20 0 21 0 2582102 11230408704 774724 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2741799 774724 3170 1 0 2730193 0 [pid=13336/tid=13337] ppid=13333 vsize=10967196 CPUtime=2328.66 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 81174 0 0 0 232840 26 0 0 20 0 21 0 2582102 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801848356288 139801475922407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=10967196 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) S 13333 13336 9835 0 -1 1077944384 3051 0 0 0 613 117 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801796738192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=10967196 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) S 13333 13336 9835 0 -1 1077944384 2727 0 0 0 619 111 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801795685392 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=10967196 CPUtime=7.29 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) S 13333 13336 9835 0 -1 1077944384 3333 0 0 0 621 108 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801794632592 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=10967196 CPUtime=7.34 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) S 13333 13336 9835 0 -1 1077944384 2543 0 0 0 618 116 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801793579792 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=10967196 CPUtime=7.35 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) S 13333 13336 9835 0 -1 1077944384 3196 0 0 0 620 115 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801792526992 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=10967196 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) S 13333 13336 9835 0 -1 1077944384 2687 0 0 0 618 115 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801791474192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=10967196 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) S 13333 13336 9835 0 -1 1077944384 2579 0 0 0 616 116 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801444145552 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=10967196 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) S 13333 13336 9835 0 -1 1077944384 2196 0 0 0 614 119 0 0 20 0 21 0 2582103 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801443092752 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=10967196 CPUtime=3.17 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 8746 0 0 0 314 3 0 0 20 0 21 0 2582105 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801185479536 139801844128386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 2582106 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801184425568 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2582106 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801183372672 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13350/stat : 13350 (java) S 13333 13336 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801182320976 139801844135835 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13351] ppid=13333 vsize=10967196 CPUtime=2.7 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13351/stat : 13351 (java) S 13333 13336 9835 0 -1 1077944384 13745 0 0 0 267 3 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801181268336 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13352] ppid=13333 vsize=10967196 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13352/stat : 13352 (java) S 13333 13336 9835 0 -1 1077944384 15257 0 0 0 243 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801180215536 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13353] ppid=13333 vsize=10967196 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13353/stat : 13353 (java) S 13333 13336 9835 0 -1 1077944384 14231 0 0 0 243 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801179162736 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13354] ppid=13333 vsize=10967196 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13354/stat : 13354 (java) S 13333 13336 9835 0 -1 1077944384 5777 0 0 0 49 2 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801178109936 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13355] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=10967196 CPUtime=1.43 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 2262 0 0 0 62 81 0 0 20 0 21 0 2582110 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13357] ppid=13333 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13357/stat : 13357 (java) S 13333 13336 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2582801 11230408704 774724 33554432000 4194304 4196468 140729109886144 139801174951216 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 2400.09 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 13336 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2340.6 s] /proc/loadavg: 1.00 1.04 1.53 2/256 13518 /proc/meminfo: memFree=28928964/32770624 swapFree=5908/204636 [pid=13336] ppid=13333 vsize=11166888 CPUtime=2400.31 cores=1,3,5,7,9,11,13,15 /proc/13336/stat : 13336 (java) S 13333 13336 9835 0 -1 1077944320 166799 0 0 0 238996 1035 0 0 20 0 22 0 2582102 11434893312 774803 33554432000 4194304 4196468 140729109886144 140729109868688 139801844117239 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 /proc/13336/statm: 2791722 774803 3172 1 0 2780116 0 [pid=13336/tid=13337] ppid=13333 vsize=11166888 CPUtime=2328.86 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13337/stat : 13337 (java) R 13333 13336 9835 0 -1 4202560 81428 0 0 0 232860 26 0 0 20 0 22 0 2582102 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801848354328 139801476383033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13339] ppid=13333 vsize=11166888 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13339/stat : 13339 (java) S 13333 13336 9835 0 -1 1077944384 3051 0 0 0 613 117 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801796738192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13340] ppid=13333 vsize=11166888 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13340/stat : 13340 (java) S 13333 13336 9835 0 -1 1077944384 2727 0 0 0 619 111 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801795685392 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13341] ppid=13333 vsize=11166888 CPUtime=7.29 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13341/stat : 13341 (java) S 13333 13336 9835 0 -1 1077944384 3333 0 0 0 621 108 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801794632592 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13342] ppid=13333 vsize=11166888 CPUtime=7.34 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13342/stat : 13342 (java) S 13333 13336 9835 0 -1 1077944384 2543 0 0 0 618 116 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801793579792 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13343] ppid=13333 vsize=11166888 CPUtime=7.35 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13343/stat : 13343 (java) S 13333 13336 9835 0 -1 1077944384 3196 0 0 0 620 115 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801792526992 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13344] ppid=13333 vsize=11166888 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13344/stat : 13344 (java) S 13333 13336 9835 0 -1 1077944384 2687 0 0 0 618 115 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801791474192 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13345] ppid=13333 vsize=11166888 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13345/stat : 13345 (java) S 13333 13336 9835 0 -1 1077944384 2579 0 0 0 616 116 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801444145552 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13346] ppid=13333 vsize=11166888 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13346/stat : 13346 (java) S 13333 13336 9835 0 -1 1077944384 2196 0 0 0 614 119 0 0 20 0 22 0 2582103 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801443092752 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13347] ppid=13333 vsize=11166888 CPUtime=3.17 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13347/stat : 13347 (java) S 13333 13336 9835 0 -1 1077944384 8795 0 0 0 314 3 0 0 20 0 22 0 2582105 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801185479536 139801844128386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13348] ppid=13333 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13348/stat : 13348 (java) S 13333 13336 9835 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 22 0 2582106 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801184425568 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13349] ppid=13333 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13349/stat : 13349 (java) S 13333 13336 9835 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 2582106 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801183372672 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13350] ppid=13333 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13350/stat : 13350 (java) S 13333 13336 9835 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801182320976 139801844135835 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13351] ppid=13333 vsize=11166888 CPUtime=2.7 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13351/stat : 13351 (java) S 13333 13336 9835 0 -1 1077944384 13933 0 0 0 267 3 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801181268336 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13352] ppid=13333 vsize=11166888 CPUtime=2.45 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13352/stat : 13352 (java) S 13333 13336 9835 0 -1 1077944384 15383 0 0 0 243 2 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801180215536 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13353] ppid=13333 vsize=11166888 CPUtime=2.46 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13353/stat : 13353 (java) S 13333 13336 9835 0 -1 1077944384 14522 0 0 0 244 2 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801179162736 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13354] ppid=13333 vsize=11166888 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13354/stat : 13354 (java) S 13333 13336 9835 0 -1 1077944384 6164 0 0 0 49 2 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801178109936 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13355] ppid=13333 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13355/stat : 13355 (java) S 13333 13336 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801177058400 139801844127445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 [pid=13336/tid=13356] ppid=13333 vsize=11166888 CPUtime=1.43 cores=1,3,5,7,9,11,13,15 /proc/13336/task/13356/stat : 13356 (java) S 13333 13336 9835 0 -1 1077944384 2262 0 0 0 62 81 0 0 20 0 22 0 2582110 11434893312 774803 33554432000 4194304 4196468 140729109886144 139801176005680 139801844128386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 8949760 140729109890219 140729109890372 140729109890372 140729109893071 0 Current children cumulated CPU time (s) 2400.31 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2340.63 CPU time (s): 2400.35 CPU user time (s): 2389.97 CPU system time (s): 10.3723 CPU usage (%): 102.551 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2389.97 system time used= 10.3723 maximum resident set size= 3099524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 167769 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55087 involuntary context switches= 122732 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.1451 second user time and 19.0902 second system time The end
Begin job on node115 at 2017-07-21 23:38:51 IDJOB=4243503 IDBENCH=123056 IDSOLVER=2623 FILE ID=node115/4243503-1500673131 RUNJOBID= node115-1500670160-12231 PBS_JOBID= 20623303 Free space on /tmp= 61984 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32d.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243503-1500673131/watcher-4243503-1500673131 -o /tmp/evaluation-result-4243503-1500673131/solver-4243503-1500673131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12231 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243503-1500673131.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ca834160bf20391dc7be2075ee08801e RANDOM SEED=163596920 node115.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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.41 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.41 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 : 2533.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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.41 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 : 1600.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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.41 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 : 1867.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: 26248392 kB MemAvailable: 26259492 kB Buffers: 39128 kB Cached: 281420 kB SwapCached: 0 kB Active: 5925548 kB Inactive: 210960 kB Active(anon): 5818592 kB Inactive(anon): 8716 kB Active(file): 106956 kB Inactive(file): 202244 kB Unevictable: 5924 kB Mlocked: 5924 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1524 kB Writeback: 12 kB AnonPages: 5820600 kB Mapped: 42116 kB Shmem: 8848 kB Slab: 68092 kB SReclaimable: 35472 kB SUnreclaim: 32620 kB KernelStack: 4512 kB PageTables: 16964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 7554548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5634048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61984 MiB End job on node115 at 2017-07-22 00:17:51