Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 196 | 250.28101 | 240.22501 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml |
| MD5SUM | ca8832984a17c67db3e889c6d91adcf4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 66 |
| Best CPU time to get the best result obtained on this benchmark | 251.924 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1056 |
| Number of constraints | 75 |
| Number of domains | 2 |
| Minimum domain size | 5 |
| Maximum domain size | 32 |
| Distribution of domain sizes | [{"size":5,"count":74},{"size":32,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":3,"count":74},{"arity":32,"count":1}] |
| Number of extensional constraints | 74 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":74},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
15.22/7.46 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 15.22/7.46 c This is free software under the dual EPL/GNU LGPL licenses. 15.22/7.46 c See www.sat4j.org for details. 15.22/7.46 c That software uses the Rhino library from the Mozilla project. 15.22/7.46 c version CUSTOM.v20170705 15.22/7.46 c java.runtime.name Java(TM) SE Runtime Environment 15.22/7.46 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 15.22/7.46 c java.vm.version 25.131-b11 15.22/7.46 c java.vm.vendor Oracle Corporation 15.22/7.46 c sun.arch.data.model 64 15.22/7.46 c java.version 1.8.0_131 15.22/7.46 c os.name Linux 15.22/7.46 c os.version 3.10.0-514.16.1.el7.x86_64 15.22/7.46 c os.arch amd64 15.22/7.46 c Free memory 499604488 15.22/7.46 c Max memory 7247757312 15.22/7.46 c Total memory 504889344 15.22/7.46 c Number of processors 4 15.22/7.46 c c --- Begin Solver configuration --- 15.22/7.46 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 15.22/7.46 c Learn all clauses as in MiniSAT 15.22/7.46 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 15.22/7.46 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 15.22/7.46 c No reason simplification 15.22/7.46 c Glucose 2.1 dynamic restart strategy 15.22/7.46 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 15.22/7.46 c timeout=2147483s 15.22/7.46 c DB Simplification allowed=false 15.22/7.46 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 15.22/7.46 c --- End Solver configuration --- 15.22/7.46 c constraints type 15.22/7.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 212 15.22/7.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5081024 15.22/7.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 880600 15.22/7.46 c org.sat4j.minisat.constraints.cnf.UnitClause => 148 15.22/7.46 c 5961984 constraints processed. 34.23/24.95 o 202 136.56/126.70 o 199 162.74/152.67 o 196 250.25/240.20 c starts : 308 250.25/240.20 c conflicts : 105944 250.25/240.20 c decisions : 44568868 250.25/240.20 c propagations : 813162181 250.25/240.20 c inspects : 964558833 250.25/240.20 c shortcuts : 0 250.25/240.20 c learnt literals : 0 250.25/240.20 c learnt binary clauses : 1668 250.25/240.20 c learnt ternary clauses : 2606 250.25/240.20 c learnt constraints : 105944 250.25/240.20 c ignored constraints : 0 250.25/240.20 c root simplifications : 0 250.25/240.20 c removed literals (reason simplification) : 0 250.25/240.20 c reason swapping (by a shorter reason) : 0 250.25/240.20 c Calls to reduceDB : 14 250.25/240.20 c Number of update (reduction) of LBD : 63637 250.25/240.20 c Imported unit clauses : 0 250.25/240.20 c number of reductions to clauses (during analyze) : 0 250.25/240.20 c number of learned constraints concerned by reduction : 0 250.25/240.20 c number of learning phase by resolution : 0 250.25/240.20 c number of learning phase by cutting planes : 0 250.25/240.20 c number of rounding to 1 operations : 0 250.25/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 250.25/240.20 c number of reductions of the coefficients by power 2 : 0 250.25/240.20 c number of right shift for reduction by power 2 : 0 250.25/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 250.25/240.20 c speed (assignments/second) : 3494600.9127985183 250.25/240.20 c non guided choices 9380201 250.25/240.20 c learnt constraints type 250.25/240.20 s SATISFIABLE 250.25/240.21 v <instantiation type="solution"> 250.25/240.21 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> 250.25/240.21 v <values> 10 18 17 4 3 13 29 28 20 19 6 12 23 0 5 24 16 14 27 26 31 22 9 11 1 8 15 25 30 21 2 7 0 1 3 0 0 2 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 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 2 0 0 0 0 1 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 3 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 2 0 2 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 3 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 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 1 2 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 3 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 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 2 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 250.25/240.21 v </instantiation> 250.25/240.21
OK 196
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-4258160-1501645257/watcher-4258160-1501645257 -o /tmp/evaluation-result-4258160-1501645257/solver-4258160-1501645257 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258160-1501645257.xml pid=831 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.06 2.39 2.48 2/194 834 /proc/meminfo: memFree=29073084/32770624 swapFree=0/219136 [pid=834] ppid=831 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/834/stat : 834 (runsolver) D 831 834 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13148810 24240128 108 18446744073709551615 4194304 4338465 140722319499600 140722319497240 140110099931863 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 39419904 140722319503495 140722319503942 140722319503942 140722319507402 0 /proc/834/statm: 5918 108 54 36 0 2156 0 [startup+0.100162 s] /proc/loadavg: 2.06 2.39 2.48 2/194 834 /proc/meminfo: memFree=29073084/32770624 swapFree=0/219136 [pid=834] ppid=831 vsize=10151672 CPUtime=0.02 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 3723 0 0 0 2 0 0 0 20 0 9 0 13148810 10395312128 4877 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2537918 4877 2071 1 0 2527423 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10151672 [startup+0.200358 s] /proc/loadavg: 2.06 2.39 2.48 2/194 834 /proc/meminfo: memFree=29073084/32770624 swapFree=0/219136 [pid=834] ppid=831 vsize=10484492 CPUtime=0.06 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 4531 0 0 0 5 1 0 0 20 0 14 0 13148810 10736119808 5575 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2621123 5575 2573 1 0 2610628 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10484492 [startup+0.310568 s] /proc/loadavg: 2.06 2.39 2.48 2/194 834 /proc/meminfo: memFree=29073084/32770624 swapFree=0/219136 [pid=834] ppid=831 vsize=10551156 CPUtime=0.22 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 7922 0 0 0 20 2 0 0 20 0 15 0 13148810 10804383744 9120 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2637789 9120 2842 1 0 2627269 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 10551156 [startup+0.70061 s] /proc/loadavg: 2.06 2.39 2.48 2/194 834 /proc/meminfo: memFree=29073084/32770624 swapFree=0/219136 [pid=834] ppid=831 vsize=10551232 CPUtime=1.35 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 12416 0 0 0 130 5 0 0 20 0 15 0 13148810 10804461568 26318 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2637808 26318 3049 1 0 2627269 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 10551232 [startup+1.50069 s] /proc/loadavg: 2.06 2.39 2.48 5/209 849 /proc/meminfo: memFree=28868716/32770624 swapFree=0/219144 [pid=834] ppid=831 vsize=10551232 CPUtime=3.36 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 16407 0 0 0 322 14 0 0 20 0 15 0 13148810 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2637808 88372 3092 1 0 2627269 0 [pid=834/tid=836] ppid=831 vsize=10551232 CPUtime=1.25 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 7043 0 0 0 120 5 0 0 20 0 15 0 13148817 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143523298112 140143503994560 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10551232 CPUtime=0.04 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 15 0 13148817 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10551232 CPUtime=0.06 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 179 0 0 0 5 1 0 0 20 0 15 0 13148817 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10551232 CPUtime=0.06 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 118 0 0 0 5 1 0 0 20 0 15 0 13148817 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10551232 CPUtime=0.07 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 127 0 0 0 6 1 0 0 20 0 15 0 13148817 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 13148819 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13148819 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13148820 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10551232 CPUtime=0.77 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 3012 0 0 0 77 0 0 0 20 0 15 0 13148822 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10551232 CPUtime=0.73 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 2605 0 0 0 73 0 0 0 20 0 15 0 13148822 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10551232 CPUtime=0.28 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 1858 0 0 0 28 0 0 0 20 0 15 0 13148822 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13148830 10804461568 88372 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 3.36 Current children cumulated vsize (KiB) 10551232 [startup+3.1007 s] /proc/loadavg: 2.06 2.39 2.48 6/209 849 /proc/meminfo: memFree=28212868/32770624 swapFree=0/219144 [pid=834] ppid=831 vsize=10551232 CPUtime=6.11 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 19023 0 0 0 563 48 0 0 20 0 15 0 13148810 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2637808 211301 3099 1 0 2627269 0 [pid=834/tid=836] ppid=831 vsize=10551232 CPUtime=2.53 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 7439 0 0 0 244 9 0 0 20 0 15 0 13148817 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143523297408 140143124898225 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10551232 CPUtime=0.36 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 336 0 0 0 28 8 0 0 20 0 15 0 13148817 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10551232 CPUtime=0.38 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 476 0 0 0 30 8 0 0 20 0 15 0 13148817 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10551232 CPUtime=0.38 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 606 0 0 0 30 8 0 0 20 0 15 0 13148817 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10551232 CPUtime=0.39 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 473 0 0 0 30 9 0 0 20 0 15 0 13148817 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 568 0 0 0 0 0 0 0 20 0 15 0 13148819 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13148819 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13148820 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10551232 CPUtime=0.81 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) R 831 834 5091 0 -1 4202560 3014 0 0 0 81 0 0 0 20 0 15 0 13148822 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143502549749 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10551232 CPUtime=0.86 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 2871 0 0 0 86 0 0 0 20 0 15 0 13148822 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10551232 CPUtime=0.31 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 1884 0 0 0 30 1 0 0 20 0 15 0 13148822 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13148830 10804461568 211301 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 10551232 [startup+6.30157 s] /proc/loadavg: 2.14 2.40 2.48 9/209 849 /proc/meminfo: memFree=26372300/32770624 swapFree=0/219156 [pid=834] ppid=831 vsize=10551232 CPUtime=13.86 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 28710 0 0 0 1295 91 0 0 20 0 15 0 13148810 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2637808 436128 3110 1 0 2627269 0 [pid=834/tid=836] ppid=831 vsize=10551232 CPUtime=4.27 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) S 831 834 5091 0 -1 1077944384 8751 0 0 0 412 15 0 0 20 0 15 0 13148817 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143523297808 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10551232 CPUtime=1.81 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) R 831 834 5091 0 -1 4202560 2373 0 0 0 164 17 0 0 20 0 15 0 13148817 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143503764515 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10551232 CPUtime=1.82 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) R 831 834 5091 0 -1 4202560 2442 0 0 0 165 17 0 0 20 0 15 0 13148817 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143504060296 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10551232 CPUtime=1.83 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) R 831 834 5091 0 -1 4202560 2583 0 0 0 166 17 0 0 20 0 15 0 13148817 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143447378976 140143503764432 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10551232 CPUtime=1.82 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) R 831 834 5091 0 -1 4202560 2196 0 0 0 163 19 0 0 20 0 15 0 13148817 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143446326488 140143512168497 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10551232 CPUtime=0.01 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 1193 0 0 0 1 0 0 0 20 0 15 0 13148819 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143014904512 140143519074005 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13148819 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13148820 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10551232 CPUtime=0.92 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 3023 0 0 0 92 0 0 0 20 0 15 0 13148822 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10551232 CPUtime=1 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 2885 0 0 0 99 1 0 0 20 0 15 0 13148822 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10551232 CPUtime=0.31 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 1886 0 0 0 30 1 0 0 20 0 15 0 13148822 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13148822 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 13148830 10804461568 436128 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 13.86 Current children cumulated vsize (KiB) 10551232 [startup+12.7007 s] /proc/loadavg: 2.05 2.38 2.47 3/210 850 /proc/meminfo: memFree=26247692/32770624 swapFree=0/219160 [pid=834] ppid=831 vsize=10617796 CPUtime=21.43 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 36579 0 0 0 2051 92 0 0 20 0 16 0 13148810 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2654449 436979 3123 1 0 2643910 0 [pid=834/tid=836] ppid=831 vsize=10617796 CPUtime=9.62 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 12160 0 0 0 946 16 0 0 20 0 16 0 13148817 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143523299968 140143126594957 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10617796 CPUtime=1.89 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 2390 0 0 0 172 17 0 0 20 0 16 0 13148817 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10617796 CPUtime=1.9 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 2452 0 0 0 173 17 0 0 20 0 16 0 13148817 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 2593 0 0 0 174 17 0 0 20 0 16 0 13148817 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 2202 0 0 0 172 19 0 0 20 0 16 0 13148817 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10617796 CPUtime=0.97 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 2121 0 0 0 97 0 0 0 20 0 16 0 13148819 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13148819 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13148820 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 436979 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 1.95 2.22 2.40 3/211 857 /proc/meminfo: memFree=24505304/32770624 swapFree=0/219268 [pid=834] ppid=831 vsize=10617796 CPUtime=172.45 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 74589 0 0 0 17146 99 0 0 20 0 16 0 13148810 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2654449 438342 3135 1 0 2643910 0 [pid=834/tid=836] ppid=831 vsize=10617796 CPUtime=159.19 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 39727 0 0 0 15900 19 0 0 20 0 16 0 13148817 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143523299696 140143127266478 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10617796 CPUtime=1.89 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 2390 0 0 0 172 17 0 0 20 0 16 0 13148817 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10617796 CPUtime=1.9 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 2452 0 0 0 173 17 0 0 20 0 16 0 13148817 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 2593 0 0 0 174 17 0 0 20 0 16 0 13148817 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 2202 0 0 0 172 19 0 0 20 0 16 0 13148817 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10617796 CPUtime=0.98 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 2595 0 0 0 98 0 0 0 20 0 16 0 13148819 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13148819 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13148820 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10617796 CPUtime=2.14 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 9252 0 0 0 213 1 0 0 20 0 16 0 13148822 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 7960 0 0 0 190 1 0 0 20 0 16 0 13148822 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10617796 CPUtime=0.44 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 3758 0 0 0 43 1 0 0 20 0 16 0 13148822 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10617796 CPUtime=0.08 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 283 0 0 0 5 3 0 0 20 0 16 0 13148830 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=850] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/850/stat : 850 (java) S 831 834 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13149561 10872623104 438342 18446744073709551615 4194304 4196468 140721501202272 140143005430448 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 172.45 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 1.98 2.18 2.38 3/212 959 /proc/meminfo: memFree=28423704/32770624 swapFree=0/219356 [pid=834] ppid=831 vsize=10617796 CPUtime=232.5 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 80163 0 0 0 23149 101 0 0 20 0 16 0 13148810 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2654449 438346 3135 1 0 2643910 0 [pid=834/tid=836] ppid=831 vsize=10617796 CPUtime=219.21 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 44939 0 0 0 21901 20 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143523302680 140143126529843 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10617796 CPUtime=1.89 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 2390 0 0 0 172 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10617796 CPUtime=1.9 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 2452 0 0 0 173 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 2593 0 0 0 174 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 2202 0 0 0 172 19 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10617796 CPUtime=0.98 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 2651 0 0 0 98 0 0 0 20 0 16 0 13148819 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13148819 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13148820 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10617796 CPUtime=2.14 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 9258 0 0 0 213 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 7974 0 0 0 190 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10617796 CPUtime=0.44 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 4009 0 0 0 43 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10617796 CPUtime=0.13 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 318 0 0 0 7 6 0 0 20 0 16 0 13148830 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=850] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/850/stat : 850 (java) S 831 834 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13149561 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143005430448 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 232.5 Current children cumulated vsize (KiB) 10617796 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.99 2.17 2.37 3/212 959 /proc/meminfo: memFree=28422464/32770624 swapFree=0/219372 [pid=834] ppid=831 vsize=10617796 CPUtime=250.2 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 81874 0 0 0 24918 102 0 0 20 0 16 0 13148810 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2654449 438346 3135 1 0 2643910 0 [pid=834/tid=836] ppid=831 vsize=10617796 CPUtime=236.9 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) R 831 834 5091 0 -1 4202560 46650 0 0 0 23670 20 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143523302680 140143127335474 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10617796 CPUtime=1.89 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 2390 0 0 0 172 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10617796 CPUtime=1.9 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 2452 0 0 0 173 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 2593 0 0 0 174 17 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 2202 0 0 0 172 19 0 0 20 0 16 0 13148817 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10617796 CPUtime=0.98 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 2651 0 0 0 98 0 0 0 20 0 16 0 13148819 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13148819 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13148820 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10617796 CPUtime=2.14 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 9258 0 0 0 213 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10617796 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 7974 0 0 0 190 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10617796 CPUtime=0.44 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 4009 0 0 0 43 1 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13148822 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10617796 CPUtime=0.13 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 318 0 0 0 7 6 0 0 20 0 16 0 13148830 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=850] ppid=831 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/834/task/850/stat : 850 (java) S 831 834 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13149561 10872623104 438346 18446744073709551615 4194304 4196468 140721501202272 140143005430448 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 250.2 Current children cumulated vsize (KiB) 10617796 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 834 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 1.99 2.17 2.37 3/212 959 /proc/meminfo: memFree=28422464/32770624 swapFree=0/219372 [pid=834] ppid=831 vsize=10817488 CPUtime=250.25 cores=0,2,4,6 /proc/834/stat : 834 (java) S 831 834 5091 0 -1 1077944320 83348 0 0 0 24923 102 0 0 20 0 17 0 13148810 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140721501184816 140143519063799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 /proc/834/statm: 2704372 438411 3138 1 0 2693833 0 [pid=834/tid=836] ppid=831 vsize=10817488 CPUtime=236.93 cores=0,2,4,6 /proc/834/task/836/stat : 836 (java) S 831 834 5091 0 -1 1077944384 46827 0 0 0 23673 20 0 0 20 0 17 0 13148817 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143523306672 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=837] ppid=831 vsize=10817488 CPUtime=1.89 cores=0,2,4,6 /proc/834/task/837/stat : 837 (java) S 831 834 5091 0 -1 1077944384 2390 0 0 0 172 17 0 0 20 0 17 0 13148817 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143449484176 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=838] ppid=831 vsize=10817488 CPUtime=1.9 cores=0,2,4,6 /proc/834/task/838/stat : 838 (java) S 831 834 5091 0 -1 1077944384 2452 0 0 0 173 17 0 0 20 0 17 0 13148817 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143448431376 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=839] ppid=831 vsize=10817488 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/839/stat : 839 (java) S 831 834 5091 0 -1 1077944384 2593 0 0 0 174 17 0 0 20 0 17 0 13148817 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143447379088 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=840] ppid=831 vsize=10817488 CPUtime=1.91 cores=0,2,4,6 /proc/834/task/840/stat : 840 (java) S 831 834 5091 0 -1 1077944384 2202 0 0 0 172 19 0 0 20 0 17 0 13148817 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143446326288 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=841] ppid=831 vsize=10817488 CPUtime=0.98 cores=0,2,4,6 /proc/834/task/841/stat : 841 (java) S 831 834 5091 0 -1 1077944384 2659 0 0 0 98 0 0 0 20 0 17 0 13148819 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143014905968 140143519074946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=842] ppid=831 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/834/task/842/stat : 842 (java) S 831 834 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 13148819 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143013851936 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=843] ppid=831 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/834/task/843/stat : 843 (java) S 831 834 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 13148820 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143012799616 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=844] ppid=831 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/834/task/844/stat : 844 (java) S 831 834 5091 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 17 0 13148822 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143011747920 140143519082395 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=845] ppid=831 vsize=10817488 CPUtime=2.14 cores=0,2,4,6 /proc/834/task/845/stat : 845 (java) S 831 834 5091 0 -1 1077944384 9386 0 0 0 213 1 0 0 20 0 17 0 13148822 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143010695792 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=846] ppid=831 vsize=10817488 CPUtime=1.92 cores=0,2,4,6 /proc/834/task/846/stat : 846 (java) S 831 834 5091 0 -1 1077944384 8078 0 0 0 191 1 0 0 20 0 17 0 13148822 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143009642992 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=847] ppid=831 vsize=10817488 CPUtime=0.44 cores=0,2,4,6 /proc/834/task/847/stat : 847 (java) S 831 834 5091 0 -1 1077944384 4621 0 0 0 43 1 0 0 20 0 17 0 13148822 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143008590704 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=848] ppid=831 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/834/task/848/stat : 848 (java) S 831 834 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13148822 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143007538144 140143519074005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 [pid=834/tid=849] ppid=831 vsize=10817488 CPUtime=0.13 cores=0,2,4,6 /proc/834/task/849/stat : 849 (java) S 831 834 5091 0 -1 1077944384 318 0 0 0 7 6 0 0 20 0 17 0 13148830 11077107712 438411 18446744073709551615 4194304 4196468 140721501202272 140143006484912 140143519074946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140721501204914 140721501205067 140721501205067 140721501208527 0 Current children cumulated CPU time (s) 250.25 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.225 CPU time (s): 250.281 CPU user time (s): 249.243 CPU system time (s): 1.03838 CPU usage (%): 104.186 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.243 system time used= 1.03838 maximum resident set size= 1754016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83887 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7627 involuntary context switches= 440 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.09969 second user time and 1.51555 second system time The end
Begin job on node129 at 2017-08-02 05:26:57 IDJOB=4258160 IDBENCH=123050 IDSOLVER=2643 FILE ID=node129/4258160-1501645257 RUNJOBID= node129-1501642919-31104 PBS_JOBID= Free space on /tmp= 61772 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32a.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258160-1501645257/watcher-4258160-1501645257 -o /tmp/evaluation-result-4258160-1501645257/solver-4258160-1501645257 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258160-1501645257.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca8832984a17c67db3e889c6d91adcf4 RANDOM SEED=163687840 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.57 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 : 4 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.53 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.57 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.53 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29073124 kB MemAvailable: 29216180 kB Buffers: 116720 kB Cached: 308068 kB SwapCached: 0 kB Active: 3061016 kB Inactive: 227668 kB Active(anon): 2864260 kB Inactive(anon): 8532 kB Active(file): 196756 kB Inactive(file): 219136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1740 kB Writeback: 4 kB AnonPages: 2864008 kB Mapped: 42092 kB Shmem: 8872 kB Slab: 111084 kB SReclaimable: 85996 kB SUnreclaim: 25088 kB KernelStack: 3488 kB PageTables: 10348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3937776 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2723840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61772 MiB End job on node129 at 2017-08-02 05:30:58