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) | 151 | 255.62601 | 240.23599 |
| 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 | 101 |
| Best CPU time to get the best result obtained on this benchmark | 251.952 |
| 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 |
13.55/7.46 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 13.55/7.46 c This is free software under the dual EPL/GNU LGPL licenses. 13.55/7.46 c See www.sat4j.org for details. 13.55/7.46 c That software uses the Rhino library from the Mozilla project. 13.55/7.46 c version CUSTOM.v20170705 13.55/7.46 c java.runtime.name Java(TM) SE Runtime Environment 13.55/7.46 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 13.55/7.46 c java.vm.version 25.131-b11 13.55/7.46 c java.vm.vendor Oracle Corporation 13.55/7.46 c sun.arch.data.model 64 13.55/7.46 c java.version 1.8.0_131 13.55/7.46 c os.name Linux 13.55/7.46 c os.version 3.10.0-514.16.1.el7.x86_64 13.55/7.46 c os.arch amd64 13.55/7.46 c Free memory 499604488 13.55/7.46 c Max memory 7247757312 13.55/7.46 c Total memory 504889344 13.55/7.46 c Number of processors 4 13.55/7.46 c c --- Begin Solver configuration --- 13.55/7.46 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 13.55/7.46 c Learn all clauses as in MiniSAT 13.55/7.46 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 13.55/7.46 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 13.55/7.46 c No reason simplification 13.55/7.46 c Glucose 2.1 dynamic restart strategy 13.55/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 13.55/7.46 c timeout=2147483s 13.55/7.46 c DB Simplification allowed=false 13.55/7.46 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 13.55/7.46 c --- End Solver configuration --- 13.55/7.46 c constraints type 13.55/7.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 244 13.55/7.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6176192 13.55/7.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1071000 13.55/7.46 c org.sat4j.minisat.constraints.cnf.UnitClause => 180 13.55/7.46 c 7247616 constraints processed. 52.62/44.34 o 172 73.65/58.91 o 151 255.60/240.20 c starts : 200 255.60/240.20 c conflicts : 65614 255.60/240.20 c decisions : 35143275 255.60/240.20 c propagations : 797788179 255.60/240.20 c inspects : 947310590 255.60/240.20 c shortcuts : 0 255.60/240.20 c learnt literals : 0 255.60/240.20 c learnt binary clauses : 1219 255.60/240.20 c learnt ternary clauses : 1387 255.60/240.20 c learnt constraints : 65614 255.60/240.20 c ignored constraints : 0 255.60/240.20 c root simplifications : 0 255.60/240.20 c removed literals (reason simplification) : 0 255.60/240.20 c reason swapping (by a shorter reason) : 0 255.60/240.20 c Calls to reduceDB : 8 255.60/240.20 c Number of update (reduction) of LBD : 37563 255.60/240.20 c Imported unit clauses : 0 255.60/240.20 c number of reductions to clauses (during analyze) : 0 255.60/240.20 c number of learned constraints concerned by reduction : 0 255.60/240.20 c number of learning phase by resolution : 0 255.60/240.20 c number of learning phase by cutting planes : 0 255.60/240.20 c number of rounding to 1 operations : 0 255.60/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 255.60/240.20 c number of reductions of the coefficients by power 2 : 0 255.60/240.20 c number of right shift for reduction by power 2 : 0 255.60/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 255.60/240.20 c speed (assignments/second) : 3428589.388319932 255.60/240.20 c non guided choices 7429334 255.60/240.20 c learnt constraints type 255.60/240.20 s SATISFIABLE 255.60/240.21 v <instantiation type="solution"> 255.60/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> 255.60/240.21 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> 255.60/240.21 v </instantiation> 255.60/240.21
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-4258161-1501645445/watcher-4258161-1501645445 -o /tmp/evaluation-result-4258161-1501645445/solver-4258161-1501645445 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258161-1501645445.xml pid=939 running on 4 cores: 1,3,5,7 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: 1.97 2.20 2.39 3/196 942 /proc/meminfo: memFree=30138676/32770624 swapFree=0/219308 [pid=942] ppid=939 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/942/stat : 942 (runsolver) D 939 942 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13167636 24240128 107 18446744073709551615 4194304 4338465 140734360671312 140734360668952 139771720254167 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 32927744 140734360674439 140734360674886 140734360674886 140734360678346 0 /proc/942/statm: 5918 107 54 36 0 2156 0 [startup+0.10012 s] /proc/loadavg: 1.97 2.20 2.39 3/196 942 /proc/meminfo: memFree=30138676/32770624 swapFree=0/219308 [pid=942] ppid=939 vsize=8345500 CPUtime=0 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 2123 0 0 0 0 0 0 0 20 0 2 0 13167636 8545792000 2333 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2086375 2333 1158 1 0 2076353 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8345500 [startup+0.200319 s] /proc/loadavg: 1.97 2.20 2.39 3/196 942 /proc/meminfo: memFree=30138676/32770624 swapFree=0/219308 [pid=942] ppid=939 vsize=10484492 CPUtime=0.05 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 4578 0 0 0 4 1 0 0 20 0 14 0 13167636 10736119808 5624 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2621123 5624 2568 1 0 2610628 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10484492 [startup+0.300294 s] /proc/loadavg: 1.97 2.20 2.39 3/196 942 /proc/meminfo: memFree=30138676/32770624 swapFree=0/219308 [pid=942] ppid=939 vsize=10551156 CPUtime=0.15 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 7766 0 0 0 13 2 0 0 20 0 15 0 13167636 10804383744 7515 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2637789 7515 2797 1 0 2627269 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10551156 [startup+0.700259 s] /proc/loadavg: 1.97 2.20 2.39 3/196 942 /proc/meminfo: memFree=30138676/32770624 swapFree=0/219308 [pid=942] ppid=939 vsize=10551232 CPUtime=1.26 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 12803 0 0 0 121 5 0 0 20 0 15 0 13167636 10804461568 22145 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2637808 22145 3046 1 0 2627269 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 10551232 [startup+1.50067 s] /proc/loadavg: 1.97 2.20 2.39 4/211 957 /proc/meminfo: memFree=29943204/32770624 swapFree=0/219312 [pid=942] ppid=939 vsize=10551232 CPUtime=3.12 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 15439 0 0 0 299 13 0 0 20 0 15 0 13167636 10804461568 85874 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2637808 85874 3094 1 0 2627269 0 [pid=942/tid=944] ppid=939 vsize=10551232 CPUtime=1.22 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 7535 0 0 0 117 5 0 0 20 0 15 0 13167646 10804461568 85874 18446744073709551615 4194304 4196468 140734411058064 139690051785896 139689670556356 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10551232 CPUtime=0.05 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 40 0 0 0 4 1 0 0 20 0 15 0 13167646 10804461568 85874 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10551232 CPUtime=0.06 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 121 0 0 0 5 1 0 0 20 0 15 0 13167646 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10551232 CPUtime=0.06 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 127 0 0 0 5 1 0 0 20 0 15 0 13167646 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10551232 CPUtime=0.06 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 15 0 13167646 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689087202592 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689086150256 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10551232 CPUtime=0.66 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 2332 0 0 0 66 0 0 0 20 0 15 0 13167651 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10551232 CPUtime=0.63 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 1829 0 0 0 63 0 0 0 20 0 15 0 13167651 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10551232 CPUtime=0.29 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 1846 0 0 0 29 0 0 0 20 0 15 0 13167651 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13167660 10804461568 86386 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 10551232 [startup+3.10073 s] /proc/loadavg: 1.97 2.20 2.39 3/211 957 /proc/meminfo: memFree=29654012/32770624 swapFree=0/219324 [pid=942] ppid=939 vsize=10551232 CPUtime=5.87 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 17573 0 0 0 541 46 0 0 20 0 15 0 13167636 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2637808 209833 3099 1 0 2627269 0 [pid=942/tid=944] ppid=939 vsize=10551232 CPUtime=2.49 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 7934 0 0 0 240 9 0 0 20 0 15 0 13167646 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139690051786672 139689670732373 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10551232 CPUtime=0.38 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 268 0 0 0 30 8 0 0 20 0 15 0 13167646 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10551232 CPUtime=0.39 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 514 0 0 0 31 8 0 0 20 0 15 0 13167646 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10551232 CPUtime=0.39 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 314 0 0 0 31 8 0 0 20 0 15 0 13167646 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10551232 CPUtime=0.39 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 442 0 0 0 31 8 0 0 20 0 15 0 13167646 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 570 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689087202592 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689086150256 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10551232 CPUtime=0.67 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 2336 0 0 0 67 0 0 0 20 0 15 0 13167651 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10551232 CPUtime=0.76 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 1965 0 0 0 76 0 0 0 20 0 15 0 13167651 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10551232 CPUtime=0.3 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 1871 0 0 0 30 0 0 0 20 0 15 0 13167651 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13167660 10804461568 209833 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 5.87 Current children cumulated vsize (KiB) 10551232 [startup+6.30323 s] /proc/loadavg: 1.97 2.20 2.39 3/211 957 /proc/meminfo: memFree=29053032/32770624 swapFree=0/219324 [pid=942] ppid=939 vsize=10551232 CPUtime=11.75 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 20927 0 0 0 1104 71 0 0 20 0 15 0 13167636 10804461568 386297 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2637808 386297 3115 1 0 2627269 0 [pid=942/tid=944] ppid=939 vsize=10551232 CPUtime=4.26 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) S 939 942 5091 0 -1 1077944384 9327 0 0 0 410 16 0 0 20 0 15 0 13167646 10804461568 386297 18446744073709551615 4194304 4196468 140734411058064 139690051786976 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10551232 CPUtime=1.18 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) R 939 942 5091 0 -1 4202560 743 0 0 0 106 12 0 0 20 0 15 0 13167646 10804461568 386297 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690032581145 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10551232 CPUtime=1.19 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) R 939 942 5091 0 -1 4202560 1057 0 0 0 107 12 0 0 20 0 15 0 13167646 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689987537368 139690032581145 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10551232 CPUtime=1.19 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) R 939 942 5091 0 -1 4202560 496 0 0 0 106 13 0 0 20 0 15 0 13167646 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690032581145 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10551232 CPUtime=1.19 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) R 939 942 5091 0 -1 4202560 648 0 0 0 107 12 0 0 20 0 15 0 13167646 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690040650107 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10551232 CPUtime=0.62 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 913 0 0 0 62 0 0 0 20 0 15 0 13167648 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689088255136 139690047563477 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689087202592 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 13167648 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689086150256 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10551232 CPUtime=0.8 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 2458 0 0 0 80 0 0 0 20 0 15 0 13167651 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10551232 CPUtime=0.9 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 2054 0 0 0 90 0 0 0 20 0 15 0 13167651 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10551232 CPUtime=0.3 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 1873 0 0 0 30 0 0 0 20 0 15 0 13167651 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13167651 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13167660 10804461568 386809 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 11.75 Current children cumulated vsize (KiB) 10551232 [startup+12.7008 s] /proc/loadavg: 1.97 2.19 2.38 3/212 959 /proc/meminfo: memFree=28426060/32770624 swapFree=0/219336 [pid=942] ppid=939 vsize=10617796 CPUtime=19.74 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 28407 0 0 0 1887 87 0 0 20 0 16 0 13167636 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2654449 430300 3118 1 0 2643910 0 [pid=942/tid=944] ppid=939 vsize=10617796 CPUtime=10.42 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 9838 0 0 0 1025 17 0 0 20 0 16 0 13167646 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139690051793200 139689672004455 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10617796 CPUtime=1.42 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 1179 0 0 0 126 16 0 0 20 0 16 0 13167646 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10617796 CPUtime=1.43 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 3101 0 0 0 127 16 0 0 20 0 16 0 13167646 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10617796 CPUtime=1.42 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 1741 0 0 0 125 17 0 0 20 0 16 0 13167646 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10617796 CPUtime=1.44 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 724 0 0 0 128 16 0 0 20 0 16 0 13167646 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10617796 CPUtime=0.62 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 1148 0 0 0 62 0 0 0 20 0 16 0 13167648 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689087202592 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689086150256 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 430300 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 2.07 2.15 2.34 3/212 1057 /proc/meminfo: memFree=28174068/32770624 swapFree=0/219484 [pid=942] ppid=939 vsize=10617796 CPUtime=177.67 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 62811 0 0 0 17635 132 0 0 20 0 16 0 13167636 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2654449 566259 3134 1 0 2643910 0 [pid=942/tid=944] ppid=939 vsize=10617796 CPUtime=156.93 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 18079 0 0 0 15675 18 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139690051791784 139689672003980 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 3241 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 4727 0 0 0 308 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 2175 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 3502 0 0 0 310 24 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10617796 CPUtime=1.78 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 4484 0 0 0 177 1 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689087202656 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689086150272 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 10993 0 0 0 225 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10617796 CPUtime=2.75 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 10163 0 0 0 274 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10617796 CPUtime=0.44 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 3803 0 0 0 43 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 239 0 0 0 3 6 0 0 20 0 16 0 13167660 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=958] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/958/stat : 958 (java) S 939 942 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13168388 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689078781104 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 177.67 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 2.16 2.15 2.32 3/212 1059 /proc/meminfo: memFree=28173704/32770624 swapFree=0/219512 [pid=942] ppid=939 vsize=10617796 CPUtime=237.72 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 64715 0 0 0 23637 135 0 0 20 0 16 0 13167636 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2654449 566259 3134 1 0 2643910 0 [pid=942/tid=944] ppid=939 vsize=10617796 CPUtime=216.94 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 19860 0 0 0 21675 19 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139690051791912 139689672952146 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 3241 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 4727 0 0 0 308 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 2175 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 3502 0 0 0 310 24 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10617796 CPUtime=1.78 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 4501 0 0 0 177 1 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689087202656 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689086150272 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 11009 0 0 0 225 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10617796 CPUtime=2.75 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 10173 0 0 0 274 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10617796 CPUtime=0.44 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 3809 0 0 0 43 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10617796 CPUtime=0.12 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 313 0 0 0 5 7 0 0 20 0 16 0 13167660 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=958] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/958/stat : 958 (java) S 939 942 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13168388 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689078781104 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 237.72 Current children cumulated vsize (KiB) 10617796 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.20 2.16 2.32 3/212 1060 /proc/meminfo: memFree=28173084/32770624 swapFree=0/219540 [pid=942] ppid=939 vsize=10617796 CPUtime=255.42 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 64969 0 0 0 25407 135 0 0 20 0 16 0 13167636 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2654449 566259 3134 1 0 2643910 0 [pid=942/tid=944] ppid=939 vsize=10617796 CPUtime=234.64 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) R 939 942 5091 0 -1 4202560 20114 0 0 0 23445 19 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139690051791912 139689672004029 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 3241 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 4727 0 0 0 308 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10617796 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 2175 0 0 0 307 26 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10617796 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 3502 0 0 0 310 24 0 0 20 0 16 0 13167646 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10617796 CPUtime=1.78 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 4501 0 0 0 177 1 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689087202656 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 13167648 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689086150272 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 11009 0 0 0 225 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10617796 CPUtime=2.75 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 10173 0 0 0 274 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10617796 CPUtime=0.44 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 3809 0 0 0 43 1 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13167651 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10617796 CPUtime=0.13 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 313 0 0 0 5 8 0 0 20 0 16 0 13167660 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=958] ppid=939 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/942/task/958/stat : 958 (java) S 939 942 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13168388 10872623104 566259 18446744073709551615 4194304 4196468 140734411058064 139689078781104 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 255.42 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 942 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 2.20 2.16 2.32 3/212 1060 /proc/meminfo: memFree=28173084/32770624 swapFree=0/219540 [pid=942] ppid=939 vsize=10817488 CPUtime=255.6 cores=1,3,5,7 /proc/942/stat : 942 (java) S 939 942 5091 0 -1 1077944320 66209 0 0 0 25424 136 0 0 20 0 17 0 13167636 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 140734411040608 139690047553271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 /proc/942/statm: 2704372 566357 3137 1 0 2693833 0 [pid=942/tid=944] ppid=939 vsize=10817488 CPUtime=234.8 cores=1,3,5,7 /proc/942/task/944/stat : 944 (java) S 939 942 5091 0 -1 1077944384 20339 0 0 0 23461 19 0 0 20 0 17 0 13167646 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139690051796144 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=945] ppid=939 vsize=10817488 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/945/stat : 945 (java) S 939 942 5091 0 -1 1077944384 3241 0 0 0 307 26 0 0 20 0 17 0 13167646 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689988589968 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=946] ppid=939 vsize=10817488 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/946/stat : 946 (java) S 939 942 5091 0 -1 1077944384 4727 0 0 0 308 26 0 0 20 0 17 0 13167646 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689987537168 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=947] ppid=939 vsize=10817488 CPUtime=3.33 cores=1,3,5,7 /proc/942/task/947/stat : 947 (java) S 939 942 5091 0 -1 1077944384 2175 0 0 0 307 26 0 0 20 0 17 0 13167646 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689656707728 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=948] ppid=939 vsize=10817488 CPUtime=3.34 cores=1,3,5,7 /proc/942/task/948/stat : 948 (java) S 939 942 5091 0 -1 1077944384 3502 0 0 0 310 24 0 0 20 0 17 0 13167646 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689655654928 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=949] ppid=939 vsize=10817488 CPUtime=1.78 cores=1,3,5,7 /proc/942/task/949/stat : 949 (java) S 939 942 5091 0 -1 1077944384 4545 0 0 0 177 1 0 0 20 0 17 0 13167648 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689088256624 139690047564418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=950] ppid=939 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/942/task/950/stat : 950 (java) S 939 942 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 13167648 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689087202656 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=951] ppid=939 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/942/task/951/stat : 951 (java) S 939 942 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 13167648 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689086150272 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=952] ppid=939 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/942/task/952/stat : 952 (java) S 939 942 5091 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 17 0 13167651 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689085098576 139690047571867 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=953] ppid=939 vsize=10817488 CPUtime=2.26 cores=1,3,5,7 /proc/942/task/953/stat : 953 (java) S 939 942 5091 0 -1 1077944384 11129 0 0 0 225 1 0 0 20 0 17 0 13167651 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689084045424 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=954] ppid=939 vsize=10817488 CPUtime=2.75 cores=1,3,5,7 /proc/942/task/954/stat : 954 (java) S 939 942 5091 0 -1 1077944384 10214 0 0 0 274 1 0 0 20 0 17 0 13167651 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689082992624 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=955] ppid=939 vsize=10817488 CPUtime=0.44 cores=1,3,5,7 /proc/942/task/955/stat : 955 (java) S 939 942 5091 0 -1 1077944384 4023 0 0 0 43 1 0 0 20 0 17 0 13167651 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689081940336 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=956] ppid=939 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/942/task/956/stat : 956 (java) S 939 942 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13167651 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689080887776 139690047563477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 [pid=942/tid=957] ppid=939 vsize=10817488 CPUtime=0.13 cores=1,3,5,7 /proc/942/task/957/stat : 957 (java) S 939 942 5091 0 -1 1077944384 313 0 0 0 5 8 0 0 20 0 17 0 13167660 11077107712 566357 18446744073709551615 4194304 4196468 140734411058064 139689079835568 139690047564418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140734411063730 140734411063883 140734411063883 140734411067343 0 Current children cumulated CPU time (s) 255.6 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.236 CPU time (s): 255.626 CPU user time (s): 254.249 CPU system time (s): 1.3765 CPU usage (%): 106.406 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 254.249 system time used= 1.3765 maximum resident set size= 2265792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66935 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= 8102 involuntary context switches= 235 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.24763 second user time and 1.47059 second system time The end
Begin job on node129 at 2017-08-02 05:30:06 IDJOB=4258161 IDBENCH=123056 IDSOLVER=2643 FILE ID=node129/4258161-1501645445 RUNJOBID= node129-1501642919-31105 PBS_JOBID= Free space on /tmp= 61772 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-4258161-1501645445/watcher-4258161-1501645445 -o /tmp/evaluation-result-4258161-1501645445/solver-4258161-1501645445 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258161-1501645445.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca834160bf20391dc7be2075ee08801e RANDOM SEED=1647101479 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: 30139032 kB MemAvailable: 30282648 kB Buffers: 116824 kB Cached: 308076 kB SwapCached: 0 kB Active: 1994404 kB Inactive: 227840 kB Active(anon): 1797288 kB Inactive(anon): 8532 kB Active(file): 197116 kB Inactive(file): 219308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1648 kB Writeback: 8 kB AnonPages: 1796720 kB Mapped: 42176 kB Shmem: 8872 kB Slab: 111016 kB SReclaimable: 86052 kB SUnreclaim: 24964 kB KernelStack: 3456 kB PageTables: 8308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3846452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1667072 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:34:06