Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j-CSP 2018-07-11 | SAT (TO) | 151 | 2400.33 | 2377.84 |
| Name | QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml |
| MD5SUM | ca834160bf20391dc7be2075ee08801e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 100 |
| Best CPU time to get the best result obtained on this benchmark | 2520.08 |
| 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 |
14.23/7.42 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 14.23/7.42 c This is free software under the dual EPL/GNU LGPL licenses. 14.23/7.42 c See www.sat4j.org for details. 14.23/7.42 c That software uses the Rhino library from the Mozilla project. 14.23/7.42 c version 2.3.6-SNAPSHOT 14.23/7.42 c java.runtime.name Java(TM) SE Runtime Environment 14.23/7.42 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 14.23/7.42 c java.vm.version 25.131-b11 14.23/7.42 c java.vm.vendor Oracle Corporation 14.23/7.42 c sun.arch.data.model 64 14.23/7.42 c java.version 1.8.0_131 14.23/7.42 c os.name Linux 14.23/7.42 c os.version 3.10.0-514.16.1.el7.x86_64 14.23/7.42 c os.arch amd64 14.23/7.42 c Free memory 499604488 14.23/7.42 c Max memory 7247757312 14.23/7.42 c Total memory 504889344 14.23/7.42 c Number of processors 4 14.23/7.42 c c --- Begin Solver configuration --- 14.23/7.42 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 14.23/7.42 c Learn all clauses as in MiniSAT 14.23/7.42 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 14.23/7.42 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 14.23/7.42 c No reason simplification 14.23/7.42 c Glucose 2.1 dynamic restart strategy 14.23/7.42 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 14.23/7.42 c timeout=2147483s 14.23/7.42 c DB Simplification allowed=false 14.23/7.42 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 14.23/7.42 c --- End Solver configuration --- 14.23/7.42 c constraints type 14.23/7.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 244 14.23/7.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6176192 14.23/7.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1071000 14.23/7.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 180 14.23/7.42 c 7247616 constraints processed. 53.26/44.37 o 172 73.90/59.69 o 151 2400.29/2377.80 c starts : 1429 2400.29/2377.80 c conflicts : 519543 2400.29/2377.80 c decisions : 259841831 2400.29/2377.80 c propagations : 6615614958 2400.29/2377.80 c inspects : 8319004292 2400.29/2377.80 c shortcuts : 0 2400.29/2377.80 c learnt literals : 0 2400.29/2377.80 c learnt binary clauses : 10835 2400.29/2377.80 c learnt ternary clauses : 10082 2400.29/2377.80 c learnt constraints : 519543 2400.29/2377.80 c ignored constraints : 0 2400.29/2377.80 c root simplifications : 0 2400.29/2377.80 c removed literals (reason simplification) : 0 2400.29/2377.80 c reason swapping (by a shorter reason) : 0 2400.29/2377.80 c Calls to reduceDB : 29 2400.29/2377.80 c Number of update (reduction) of LBD : 354686 2400.29/2377.80 c Imported unit clauses : 0 2400.29/2377.80 c number of reductions to clauses (during analyze) : 0 2400.29/2377.80 c number of learned constraints concerned by reduction : 0 2400.29/2377.80 c number of learning phase by resolution : 0 2400.29/2377.80 c number of learning phase by cutting planes : 0 2400.29/2377.80 c number of rounding to 1 operations : 0 2400.29/2377.80 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.29/2377.80 c number of reductions of the coefficients by power 2 : 0 2400.29/2377.80 c number of right shift for reduction by power 2 : 0 2400.29/2377.80 c number of reductions of the coefficients by GCD over coefficients : 0 2400.29/2377.80 c number of ending skipping : 0 2400.29/2377.80 c number of internal skipping : 0 2400.29/2377.80 c number of derivation steps : 0 2400.29/2377.80 c number of skipped derivation steps : 0 2400.29/2377.80 c number of remaining unassigned : 0 2400.29/2377.80 c number of remaining assigned : 0 2400.29/2377.80 c speed (assignments/second) : 2791013.6272337106 2400.29/2377.80 c non guided choices : 49849464 2400.29/2377.80 s SATISFIABLE 2400.29/2377.81 v <instantiation type="solution"> 2400.29/2377.81 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list> 2400.29/2377.81 v <values> 11 19 13 17 25 21 15 29 22 30 27 6 0 24 1 18 31 26 12 20 16 9 8 3 14 5 23 7 10 2 28 4 0 1 0 2 1 0 0 2 3 2 0 0 0 2 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 0 0 0 2 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 2 0 4 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 0 0 0 1 2 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 3 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 3 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2400.29/2377.81 v </instantiation> 2400.29/2377.81
OK 151
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4143 MiB free)
memory of node 1: 16384 MiB (11117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289891-1532214659/watcher-4289891-1532214659 -o /tmp/evaluation-result-4289891-1532214659/solver-4289891-1532214659 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24575 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289891-1532214659.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25524, runsolver pid=25521
[startup+0.101168 s]*
/proc/loadavg: 1.56 1.60 1.82 2/217 25539
/proc/meminfo: memFree=15609932/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10659012 memory=30068 CPUtime=0.12 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 6595 0 0 0 11 1 0 0 20 0 15 0 39029043 10914828288 7517 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2664753 7517 2843 1 0 2627263 0
[pid=25524/tid=25526] ppid=25521 vsize=10659012 memory=-8773748148830244483 CPUtime=0.09 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 4420 0 0 0 8 1 0 0 20 0 15 0 39029043 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110582605680 140110562481502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029045 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39029046 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110068799008 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39029046 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110067746160 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029048 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 39029048 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 39029048 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0.02 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 39029048 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029049 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029049 10914828288 7517 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30068 KiB
[startup+0.210818 s]*
/proc/loadavg: 1.56 1.60 1.82 4/217 25539
/proc/meminfo: memFree=15600028/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10659012 memory=42028 CPUtime=0.33 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 8084 0 0 0 31 2 0 0 20 0 15 0 39029043 10914828288 10507 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2664753 10507 3005 1 0 2627263 0
[pid=25524/tid=25526] ppid=25521 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 4988 0 0 0 19 1 0 0 20 0 15 0 39029043 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110582637296 140110562444645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10659012 memory=140453623259347 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029044 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029045 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39029046 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110068799008 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39029046 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110067746160 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029048 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 39029048 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 39029048 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0.07 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) R 25521 25524 22446 0 -1 4202560 694 0 0 0 7 0 0 0 20 0 15 0 39029048 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110063536240 140110557338912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029049 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10659012 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029049 10914828288 10507 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42028 KiB
[startup+0.318121 s]*
/proc/loadavg: 1.56 1.60 1.82 6/217 25539
/proc/meminfo: memFree=15591112/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10659088 memory=49268 CPUtime=0.56 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 8927 0 0 0 54 2 0 0 20 0 15 0 39029043 10914906112 12317 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2664772 12317 3049 1 0 2627263 0
[pid=25524/tid=25526] ppid=25521 vsize=10659088 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 5590 0 0 0 29 1 0 0 20 0 15 0 39029043 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110582635024 140110578422941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10659088 memory=288230596118052887 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10659088 memory=140453623257815 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10659088 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029045 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39029046 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110068799008 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39029046 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110067746160 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029048 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) R 25521 25524 22446 0 -1 4202560 592 0 0 0 5 0 0 0 20 0 15 0 39029048 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110065628240 140110559923696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10659088 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 578 0 0 0 6 0 0 0 20 0 15 0 39029048 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10659088 memory=140453623064192 CPUtime=0.13 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) R 25521 25524 22446 0 -1 4202560 801 0 0 0 13 0 0 0 20 0 15 0 39029048 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110063536368 140110562481502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029049 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10659088 memory=140453623064192 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029049 10914906112 12317 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49268 KiB
[startup+0.700772 s]
/proc/loadavg: 1.56 1.60 1.82 5/217 25539
/proc/meminfo: memFree=15543788/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10659088 memory=147820 CPUtime=1.78 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 19761 0 0 0 172 6 0 0 20 0 15 0 39029043 10914906112 36955 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2664772 36955 3080 1 0 2627263 0
[pid=25524/tid=25526] ppid=25521 vsize=10659088 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 5948 0 0 0 64 3 0 0 20 0 15 0 39029043 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110582623952 140110174822089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10659088 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10659088 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10659088 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39029044 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10659088 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39029045 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10659088 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39029046 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110068799008 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10659088 memory=6296683642736693604 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39029046 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110067746160 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10659088 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029048 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10659088 memory=7810487918915055718 CPUtime=0.38 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) R 25521 25524 22446 0 -1 4202560 4332 0 0 0 38 0 0 0 20 0 15 0 39029048 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110065627304 140110564442356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10659088 memory=-8412654363917126771 CPUtime=0.41 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) R 25521 25524 22446 0 -1 4202560 4962 0 0 0 40 1 0 0 20 0 15 0 39029048 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110064575096 140110563508993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10659088 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 3149 0 0 0 29 0 0 0 20 0 15 0 39029048 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39029049 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10659088 memory=31524 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39029049 10914906112 36955 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 147820 KiB
[startup+1.50075 s]
/proc/loadavg: 1.56 1.60 1.82 5/217 25539
/proc/meminfo: memFree=15408880/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10659088 memory=375972 CPUtime=3.85 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 20631 0 0 0 370 15 0 0 20 0 15 0 39029043 10914906112 93993 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2664772 93993 3146 1 0 2627263 0
[pid=25524/tid=25526] ppid=25521 vsize=10659088 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 6031 0 0 0 133 6 0 0 20 0 15 0 39029043 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110582632824 140110558111302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10659088 memory=-7737605734073681312 CPUtime=0.07 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 81 0 0 0 5 2 0 0 20 0 15 0 39029044 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10659088 memory=7378396350292976722 CPUtime=0.06 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 156 0 0 0 5 1 0 0 20 0 15 0 39029044 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10659088 memory=7300725779530345041 CPUtime=0.04 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 152 0 0 0 3 1 0 0 20 0 15 0 39029044 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10659088 memory=7017845635664994404 CPUtime=0.04 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 15 0 39029044 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10659088 memory=4640467252704989264 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 39029045 10914906112 93993 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
################
# More data... #
################
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 4580 0 0 0 445 50 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.9 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2795 0 0 0 438 52 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.9 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 8779 0 0 0 288 2 0 0 20 0 16 0 39029045 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110068799072 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110067746176 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.65 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 12352 0 0 0 263 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.82 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 14960 0 0 0 279 3 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10725652 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 8101 0 0 0 49 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10725652 memory=2977128 CPUtime=1.41 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 2040 0 0 0 68 73 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25540] ppid=25521 vsize=10725652 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25540/stat : 25540 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39029791 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110060377520 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 2284.68 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2977128 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.01 3/217 25763
/proc/meminfo: memFree=10808316/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2344.74 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 141892 0 0 0 234179 295 0 0 20 0 16 0 39029043 10983067648 744282 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2681413 744282 3186 1 0 2643904 0
[pid=25524/tid=25526] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2314.49 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 76588 0 0 0 231424 25 0 0 20 0 16 0 39029043 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110582638088 140110177920929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.98 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 5320 0 0 0 447 51 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.97 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 4898 0 0 0 450 47 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.95 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 4580 0 0 0 445 50 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.9 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2795 0 0 0 438 52 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.91 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 8789 0 0 0 289 2 0 0 20 0 16 0 39029045 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110068799072 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110067746176 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.65 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 12358 0 0 0 263 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2.82 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 14969 0 0 0 279 3 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0.51 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 8107 0 0 0 49 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10725652 memory=1728 CPUtime=1.46 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 2080 0 0 0 71 75 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25540] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25540/stat : 25540 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39029791 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110060377520 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 2344.74 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2977128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2377.6 s]
/proc/loadavg: 2.00 2.05 2.01 3/217 25771
/proc/meminfo: memFree=10807200/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2400.08 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 144630 0 0 0 239712 296 0 0 20 0 16 0 39029043 10983067648 744282 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2681413 744282 3186 1 0 2643904 0
[pid=25524/tid=25526] ppid=25521 vsize=10725652 memory=2977128 CPUtime=2369.8 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) R 25521 25524 22446 0 -1 4202560 79196 0 0 0 236954 26 0 0 20 0 16 0 39029043 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110582638088 140110176642572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.98 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 5320 0 0 0 447 51 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10725652 memory=2977128 CPUtime=4.97 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 4898 0 0 0 450 47 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10725652 memory=4108 CPUtime=4.95 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 4580 0 0 0 445 50 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10725652 memory=288230574492221466 CPUtime=4.9 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2795 0 0 0 438 52 0 0 20 0 16 0 39029044 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10725652 memory=288230621803970871 CPUtime=2.91 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 8809 0 0 0 289 2 0 0 20 0 16 0 39029045 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110068799072 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10725652 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39029046 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110067746176 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10725652 memory=8616 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10725652 memory=6791534058613427641 CPUtime=2.65 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 12371 0 0 0 263 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10725652 memory=6791534058613427641 CPUtime=2.82 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 14979 0 0 0 279 3 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10725652 memory=4126316290023845779 CPUtime=0.51 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 8119 0 0 0 49 2 0 0 20 0 16 0 39029048 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10725652 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10725652 memory=280906968210752 CPUtime=1.49 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 2155 0 0 0 73 76 0 0 20 0 16 0 39029049 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25540] ppid=25521 vsize=10725652 memory=280906968127672 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25540/stat : 25540 (java) S 25521 25524 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39029791 10983067648 744282 33554432000 4194304 4196468 140733610394576 140110060377520 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2977128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2377.84 s]
# the end of solver process 25524 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.34 s, system=2.9897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2377.8 s]
/proc/loadavg: 2.00 2.05 2.01 3/217 25771
/proc/meminfo: memFree=10807200/32770624 swapFree=67108860/67108860
[pid=25524] ppid=25521 vsize=10925344 memory=2977440 CPUtime=2400.29 cores=0,2,4,6
/proc/25524/stat : 25524 (java) S 25521 25524 22446 0 -1 1077944320 146090 0 0 0 239732 297 0 0 20 0 17 0 39029043 11187552256 744360 33554432000 4194304 4196468 140733610394576 140733610377120 140110578401015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
/proc/25524/statm: 2731336 744360 3190 1 0 2693827 0
[pid=25524/tid=25526] ppid=25521 vsize=10925344 memory=3905658768950360224 CPUtime=2369.99 cores=0,2,4,6
/proc/25524/task/25526/stat : 25526 (java) S 25521 25524 22446 0 -1 1077944384 79434 0 0 0 236973 26 0 0 20 0 17 0 39029043 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110582643888 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25527] ppid=25521 vsize=10925344 memory=4872558044660077418 CPUtime=4.98 cores=0,2,4,6
/proc/25524/task/25527/stat : 25527 (java) S 25521 25524 22446 0 -1 1077944384 5320 0 0 0 447 51 0 0 20 0 17 0 39029044 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110504475280 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25528] ppid=25521 vsize=10925344 memory=1728 CPUtime=4.97 cores=0,2,4,6
/proc/25524/task/25528/stat : 25528 (java) S 25521 25524 22446 0 -1 1077944384 4898 0 0 0 450 47 0 0 20 0 17 0 39029044 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110503422480 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25529] ppid=25521 vsize=10925344 memory=796 CPUtime=4.95 cores=0,2,4,6
/proc/25524/task/25529/stat : 25529 (java) S 25521 25524 22446 0 -1 1077944384 4580 0 0 0 445 50 0 0 20 0 17 0 39029044 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110502369680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25530] ppid=25521 vsize=10925344 memory=1012 CPUtime=4.9 cores=0,2,4,6
/proc/25524/task/25530/stat : 25530 (java) S 25521 25524 22446 0 -1 1077944384 2795 0 0 0 438 52 0 0 20 0 17 0 39029044 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110501316880 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25531] ppid=25521 vsize=10925344 memory=1228 CPUtime=2.91 cores=0,2,4,6
/proc/25524/task/25531/stat : 25531 (java) S 25521 25524 22446 0 -1 1077944384 8847 0 0 0 289 2 0 0 20 0 17 0 39029045 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110069853040 140110578412162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25532] ppid=25521 vsize=10925344 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25532/stat : 25532 (java) S 25521 25524 22446 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39029046 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110068799072 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25533] ppid=25521 vsize=10925344 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25533/stat : 25533 (java) S 25521 25524 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39029046 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110067746176 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25534] ppid=25521 vsize=10925344 memory=2977128 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25534/stat : 25534 (java) S 25521 25524 22446 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 17 0 39029048 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110066694480 140110578419611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25535] ppid=25521 vsize=10925344 memory=2977128 CPUtime=2.65 cores=0,2,4,6
/proc/25524/task/25535/stat : 25535 (java) S 25521 25524 22446 0 -1 1077944384 12442 0 0 0 263 2 0 0 20 0 17 0 39029048 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110065641840 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25536] ppid=25521 vsize=10925344 memory=6791534058613427641 CPUtime=2.83 cores=0,2,4,6
/proc/25524/task/25536/stat : 25536 (java) S 25521 25524 22446 0 -1 1077944384 15259 0 0 0 280 3 0 0 20 0 17 0 39029048 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110064589040 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25537] ppid=25521 vsize=10925344 memory=1292 CPUtime=0.51 cores=0,2,4,6
/proc/25524/task/25537/stat : 25537 (java) S 25521 25524 22446 0 -1 1077944384 8349 0 0 0 49 2 0 0 20 0 17 0 39029048 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110063536240 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25538] ppid=25521 vsize=10925344 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/25524/task/25538/stat : 25538 (java) S 25521 25524 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39029049 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110062483680 140110578411221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
[pid=25524/tid=25539] ppid=25521 vsize=10925344 memory=796 CPUtime=1.49 cores=0,2,4,6
/proc/25524/task/25539/stat : 25539 (java) S 25521 25524 22446 0 -1 1077944384 2155 0 0 0 73 76 0 0 20 0 17 0 39029049 11187552256 744360 33554432000 4194304 4196468 140733610394576 140110061431984 140110578412162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140733610402929 140733610403081 140733610403081 140733610405839 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2977440 KiB
Child status: 143
Real time (s): 2377.84
CPU time (s): 2400.33
CPU user time (s): 2397.34
CPU system time (s): 2.9897
CPU usage (%): 100.946
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 2977440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.34
system time used= 2.9897
maximum resident set size= 2977748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54427
involuntary context switches= 1393
# summary of solver processes directly reported to runsolver:
# pid: 25524
# total CPU time (s): 2400.33
# total CPU user time (s): 2397.34
# total CPU system time (s): 2.9897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5466 second user time and 23.7698 second system time
The end
Begin job on node105 at 2018-07-22 01:10:59 IDJOB=4289891 IDBENCH=141254 IDSOLVER=2742 FILE ID=node105/4289891-1532214659 RUNJOBID= node105-1532208388-24575 PBS_JOBID= 21018938 Free space on /tmp= 44920 MiB SOLVER NAME= Sat4j-CSP 2018-07-11 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-esc32d_c18.xml COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289891-1532214659/watcher-4289891-1532214659 -o /tmp/evaluation-result-4289891-1532214659/solver-4289891-1532214659 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24575 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289891-1532214659.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca834160bf20391dc7be2075ee08801e RANDOM SEED=1766846580 node105.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.32 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.32 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 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.32 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.32 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 15627456 kB MemAvailable: 31325120 kB Buffers: 123508 kB Cached: 15548948 kB SwapCached: 0 kB Active: 1797936 kB Inactive: 14541240 kB Active(anon): 619908 kB Inactive(anon): 66376 kB Active(file): 1178028 kB Inactive(file): 14474864 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2072 kB Writeback: 0 kB AnonPages: 673632 kB Mapped: 46596 kB Shmem: 17036 kB Slab: 499948 kB SReclaimable: 473232 kB SUnreclaim: 26716 kB KernelStack: 3792 kB PageTables: 6484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1180916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 598016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44920 MiB End job on node105 at 2018-07-22 01:50:37