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 | OPT | 3 | 398.26001 | 392.85199 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml |
| MD5SUM | af14508bafb133a2ed2b81a4ee09a3c0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.13544001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 919 |
| Number of constraints | 898 |
| Number of domains | 26 |
| Minimum domain size | 24 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":24,"count":92},{"size":25,"count":827}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":2,"count":897},{"degree":40,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 23 |
| Distribution of constraint arities | [{"arity":2,"count":858},{"arity":22,"count":1},{"arity":23,"count":39}] |
| Number of extensional constraints | 858 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":858},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
4.97/1.91 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 4.97/1.91 c This is free software under the dual EPL/GNU LGPL licenses. 4.97/1.91 c See www.sat4j.org for details. 4.97/1.91 c That software uses the Rhino library from the Mozilla project. 4.97/1.91 c version CUSTOM.v20170705 4.97/1.91 c java.runtime.name Java(TM) SE Runtime Environment 4.97/1.91 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 4.97/1.91 c java.vm.version 25.131-b11 4.97/1.91 c java.vm.vendor Oracle Corporation 4.97/1.91 c sun.arch.data.model 64 4.97/1.91 c java.version 1.8.0_131 4.97/1.91 c os.name Linux 4.97/1.91 c os.version 3.10.0-514.16.1.el7.x86_64 4.97/1.91 c os.arch amd64 4.97/1.91 c Free memory 499604488 4.97/1.91 c Max memory 7247757312 4.97/1.91 c Total memory 504889344 4.97/1.91 c Number of processors 4 4.97/1.91 c c --- Begin Solver configuration --- 4.97/1.91 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 4.97/1.91 c Learn all clauses as in MiniSAT 4.97/1.91 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 4.97/1.91 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 4.97/1.91 c No reason simplification 4.97/1.91 c Glucose 2.1 dynamic restart strategy 4.97/1.91 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 4.97/1.91 c timeout=2147483s 4.97/1.91 c DB Simplification allowed=false 4.97/1.91 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 4.97/1.91 c --- End Solver configuration --- 4.97/1.91 c constraints type 4.97/1.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 1838 4.97/1.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1070300 4.97/1.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 713231 4.97/1.91 c org.sat4j.minisat.constraints.cnf.UnitClause => 1836 4.97/1.91 c 1787205 constraints processed. 67.90/63.35 o 136 81.76/76.95 o 114 115.23/110.18 o 102 133.12/127.90 o 72 143.19/137.95 o 66 171.84/166.58 o 61 177.97/172.66 o 38 195.49/190.17 o 28 256.44/251.03 o 22 290.34/284.97 o 19 294.05/288.66 o 16 327.38/321.99 o 11 333.50/328.06 o 8 339.29/333.88 o 7 356.41/350.94 o 4 395.93/390.41 o 3 398.23/392.83 c starts : 2644 398.23/392.83 c conflicts : 503631 398.23/392.84 c decisions : 73106034 398.23/392.84 c propagations : 1030482997 398.23/392.84 c inspects : 1891535613 398.23/392.84 c shortcuts : 0 398.23/392.84 c learnt literals : 4769 398.23/392.84 c learnt binary clauses : 9514 398.23/392.84 c learnt ternary clauses : 9017 398.23/392.84 c learnt constraints : 498861 398.23/392.84 c ignored constraints : 0 398.23/392.84 c root simplifications : 0 398.23/392.84 c removed literals (reason simplification) : 0 398.23/392.84 c reason swapping (by a shorter reason) : 0 398.23/392.84 c Calls to reduceDB : 60 398.23/392.84 c Number of update (reduction) of LBD : 217089 398.23/392.84 c Imported unit clauses : 0 398.23/392.84 c number of reductions to clauses (during analyze) : 0 398.23/392.84 c number of learned constraints concerned by reduction : 0 398.23/392.84 c number of learning phase by resolution : 0 398.23/392.84 c number of learning phase by cutting planes : 0 398.23/392.84 c number of rounding to 1 operations : 0 398.23/392.84 c number of easy rounding to 1 operations (no literal elimination needed) : 0 398.23/392.84 c number of reductions of the coefficients by power 2 : 0 398.23/392.84 c number of right shift for reduction by power 2 : 0 398.23/392.84 c number of reductions of the coefficients by GCD over coefficients : 0 398.23/392.84 c speed (assignments/second) : 2636221.065045767 398.23/392.84 c non guided choices 56367134 398.23/392.84 c learnt constraints type 398.23/392.84 s OPTIMUM FOUND 398.23/392.84 v <instantiation type="optimum" cost="3"> 398.23/392.84 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] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] drd[0][21] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] drd[1][21] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] drd[2][21] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] drd[3][21] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] drd[4][21] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] drd[5][21] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] drd[6][21] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] drd[7][21] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] drd[8][21] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] drd[9][21] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] drd[10][21] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] drd[11][21] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] drd[12][21] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] drd[13][21] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] drd[14][21] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] drd[15][21] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] drd[16][21] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] drd[17][21] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] drd[18][21] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] drd[19][21] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] drd[20][21] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] drd[21][21] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] drd[22][21] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] drd[23][21] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] drd[24][21] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] drd[25][21] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] drd[26][21] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] drd[27][21] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] drd[28][21] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] drd[29][21] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] drd[30][21] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[31][19] drd[31][20] drd[31][21] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[32][19] drd[32][20] drd[32][21] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[33][19] drd[33][20] drd[33][21] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[34][19] drd[34][20] drd[34][21] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[35][19] drd[35][20] drd[35][21] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[36][19] drd[36][20] drd[36][21] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[37][19] drd[37][20] drd[37][21] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] drd[38][19] drd[38][20] drd[38][21] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] </list> 398.23/392.84 v <values> 19 29 49 51 128 166 200 230 238 278 280 340 367 582 592 608 648 653 669 686 725 831 563 553 533 531 454 416 382 352 344 304 302 242 215 0 10 26 66 71 87 104 143 249 563 553 533 531 454 416 382 352 344 304 302 242 215 0 10 26 66 71 87 104 143 249 32 22 2 0 77 115 149 179 187 227 229 289 316 531 541 557 597 602 618 635 674 780 32 22 2 0 77 115 149 179 187 227 229 289 316 531 541 557 597 602 618 635 674 780 181 171 151 149 72 34 0 30 38 78 80 140 167 382 392 408 448 453 469 486 525 631 181 171 151 149 72 34 0 30 38 78 80 140 167 382 392 408 448 453 469 486 525 631 0 10 30 32 109 147 181 211 219 259 261 321 348 563 573 589 629 634 650 667 706 812 348 338 318 316 239 201 167 137 129 89 87 27 0 215 225 241 281 286 302 319 358 464 348 338 318 316 239 201 167 137 129 89 87 27 0 215 225 241 281 286 302 319 358 464 705 695 675 673 596 558 524 494 486 446 444 384 357 142 132 116 76 71 55 38 1 107 706 696 676 674 597 559 525 495 487 447 445 385 358 143 133 117 77 72 56 39 0 106 667 657 637 635 558 520 486 456 448 408 406 346 319 104 94 78 38 33 17 0 39 145 667 657 637 635 558 520 486 456 448 408 406 346 319 104 94 78 38 33 17 0 39 145 9 1 21 23 100 138 172 202 210 250 252 312 339 554 564 580 620 625 641 658 697 803 650 640 620 618 541 503 469 439 431 391 389 329 302 87 77 61 21 16 0 17 56 162 650 640 620 618 541 503 469 439 431 391 389 329 302 87 77 61 21 16 0 17 56 162 634 624 604 602 525 487 453 423 415 375 373 313 286 71 61 45 5 0 16 33 72 178 261 251 231 229 152 114 80 50 42 2 0 60 87 302 312 328 368 373 389 406 445 551 259 249 229 227 150 112 78 48 40 0 2 62 89 304 314 330 370 375 391 408 447 553 589 579 559 557 480 442 408 378 370 330 328 268 241 26 16 0 40 45 61 78 117 223 589 579 559 557 480 442 408 378 370 330 328 268 241 26 16 0 40 45 61 78 117 223 30 20 0 2 79 117 151 181 189 229 231 291 318 533 543 559 599 604 620 637 676 782 30 20 0 2 79 117 151 181 189 229 231 291 318 533 543 559 599 604 620 637 676 782 219 209 189 187 110 72 38 8 0 40 42 102 129 344 354 370 410 415 431 448 487 593 219 209 189 187 110 72 38 8 0 40 42 102 129 344 354 370 410 415 431 448 487 593 812 802 782 780 703 665 631 601 593 553 551 491 464 249 239 223 183 178 162 145 106 0 812 802 782 780 703 665 631 601 593 553 551 491 464 249 239 223 183 178 162 145 106 0 147 137 117 115 38 0 34 64 72 112 114 174 201 416 426 442 482 487 503 520 559 665 147 137 117 115 38 0 34 64 72 112 114 174 201 416 426 442 482 487 503 520 559 665 109 99 79 77 0 38 72 102 110 150 152 212 239 454 464 480 520 525 541 558 597 703 109 99 79 77 0 38 72 102 110 150 152 212 239 454 464 480 520 525 541 558 597 703 11 1 19 21 98 136 170 200 208 248 250 310 337 552 562 578 618 623 639 656 695 801 10 0 20 22 99 137 171 201 209 249 251 311 338 553 563 579 619 624 640 657 696 802 629 619 599 597 520 482 448 418 410 370 368 308 281 66 56 40 0 5 21 38 77 183 573 563 543 541 464 426 392 362 354 314 312 252 225 10 0 16 56 61 77 94 133 239 321 311 291 289 212 174 140 110 102 62 60 0 27 242 252 268 308 313 329 346 385 491 321 311 291 289 212 174 140 110 102 62 60 0 27 242 252 268 308 313 329 346 385 491 211 201 181 179 102 64 30 0 8 48 50 110 137 352 362 378 418 423 439 456 495 601 211 201 181 179 102 64 30 0 8 48 50 110 137 352 362 378 418 423 439 456 495 601 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 </values> 398.23/392.84 v </instantiation> 398.23/392.84
OK 3
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 (12457 MiB free)
memory of node 1: 16384 MiB (15001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262898-1502635276/watcher-4262898-1502635276 -o /tmp/evaluation-result-4262898-1502635276/solver-4262898-1502635276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502634012-3894 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262898-1502635276.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=4099, runsolver pid=4096
[startup+0.100104 s]*
/proc/loadavg: 7.46 5.68 3.20 4/216 4114
/proc/meminfo: memFree=28100436/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10555400 memory=29932 CPUtime=0.12 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 6551 0 0 0 11 1 0 0 20 0 15 0 96615560 10808729600 7483 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2638850 7483 2835 1 0 2627263 0
[pid=4099/tid=4101] ppid=4096 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 4390 0 0 0 8 1 0 0 20 0 15 0 96615560 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616614071424 140616239533983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616168588192 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0.02 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 7483 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29932 KiB
[startup+0.212883 s]*
/proc/loadavg: 7.46 5.68 3.20 7/216 4114
/proc/meminfo: memFree=28090636/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10555400 memory=39748 CPUtime=0.33 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 8066 0 0 0 31 2 0 0 20 0 15 0 96615560 10808729600 9937 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2638850 9937 2959 1 0 2627263 0
[pid=4099/tid=4101] ppid=4096 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 5074 0 0 0 18 2 0 0 20 0 15 0 96615560 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616614076384 140616593921374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10555400 memory=288370694070142592 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616168588192 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96615563 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0.07 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) R 4096 4099 31095 0 -1 4202560 790 0 0 0 7 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616163323640 140616588770239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10555400 memory=140317918430848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615566 10808729600 9937 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39748 KiB
[startup+0.310476 s]*
/proc/loadavg: 7.46 5.68 3.20 4/216 4114
/proc/meminfo: memFree=28083812/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10555476 memory=46472 CPUtime=0.55 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 8732 0 0 0 52 3 0 0 20 0 15 0 96615560 10808807424 11618 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2638869 11618 3030 1 0 2627263 0
[pid=4099/tid=4101] ppid=4096 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 5487 0 0 0 28 2 0 0 20 0 15 0 96615560 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616614068096 140616590680369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10555476 memory=140317918488864 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10555476 memory=140317918495776 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616168588192 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 660 0 0 0 4 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10555476 memory=140317789638159 CPUtime=0.04 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) R 4096 4099 31095 0 -1 4202560 308 0 0 0 4 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616164378432 140616594608672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10555476 memory=140317918434871 CPUtime=0.14 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) R 4096 4099 31095 0 -1 4202560 913 0 0 0 14 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616163322656 140616589555692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10555476 memory=140317789642703 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10555476 memory=280635708090304 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 11618 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46472 KiB
[startup+0.704946 s]
/proc/loadavg: 7.46 5.68 3.20 4/216 4114
/proc/meminfo: memFree=27947040/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10555476 memory=188104 CPUtime=1.81 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 12539 0 0 0 175 6 0 0 20 0 15 0 96615560 10808807424 47026 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2638869 47026 3117 1 0 2627263 0
[pid=4099/tid=4101] ppid=4096 vsize=10555476 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 5797 0 0 0 63 4 0 0 20 0 15 0 96615560 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616614075120 140616241007847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10555476 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10555476 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 96615561 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616168588192 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10555476 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) R 4096 4099 31095 0 -1 4202560 1861 0 0 0 36 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616165412808 140616590563089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10555476 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) R 4096 4099 31095 0 -1 4202560 1679 0 0 0 38 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616164365128 140616602130269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10555476 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 1722 0 0 0 33 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96615566 10808807424 47026 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 188104 KiB
[startup+1.50078 s]
/proc/loadavg: 7.46 5.68 3.20 5/216 4114
/proc/meminfo: memFree=27894244/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10555476 memory=417808 CPUtime=4.15 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 21625 0 0 0 399 16 0 0 20 0 15 0 96615560 10808807424 104452 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2638869 104452 3131 1 0 2627263 0
[pid=4099/tid=4101] ppid=4096 vsize=10555476 memory=3467827995152560186 CPUtime=1.36 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 5859 0 0 0 131 5 0 0 20 0 15 0 96615560 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616614076512 140616591789101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10555476 memory=215488 CPUtime=0.06 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 43 0 0 0 5 1 0 0 20 0 15 0 96615561 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10555476 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 41 0 0 0 5 2 0 0 20 0 15 0 96615561 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10555476 memory=1420 CPUtime=0.09 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 55 0 0 0 7 2 0 0 20 0 15 0 96615561 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10555476 memory=15872 CPUtime=0.06 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 45 0 0 0 5 1 0 0 20 0 15 0 96615561 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10555476 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96615563 10808807424 104452 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
################
# More data... #
################
Current children cumulated memory: 621500 KiB
[startup+390.401 s]
/proc/loadavg: 2.02 3.03 2.81 3/217 4129
/proc/meminfo: memFree=26811480/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10622040 memory=625596 CPUtime=395.93 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 48131 0 0 0 39553 40 0 0 20 0 16 0 96615560 10876968960 156399 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2655510 156399 3153 1 0 2643904 0
[pid=4099/tid=4101] ppid=4096 vsize=10622040 memory=1296 CPUtime=390.21 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 13133 0 0 0 39012 9 0 0 20 0 16 0 96615560 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616614072464 140616245611392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10622040 memory=2428 CPUtime=0.14 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 132 0 0 0 11 3 0 0 20 0 16 0 96615561 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10622040 memory=621500 CPUtime=0.15 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 150 0 0 0 11 4 0 0 20 0 16 0 96615561 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10622040 memory=1952 CPUtime=0.17 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 157 0 0 0 13 4 0 0 20 0 16 0 96615561 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10622040 memory=1200 CPUtime=0.13 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 141 0 0 0 10 3 0 0 20 0 16 0 96615561 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10622040 memory=621500 CPUtime=0.01 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 16 0 96615563 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10622040 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616168588256 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10622040 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10622040 memory=1200 CPUtime=2.05 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 11617 0 0 0 203 2 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10622040 memory=8552 CPUtime=2.25 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 11675 0 0 0 224 1 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10622040 memory=5516 CPUtime=0.52 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 7371 0 0 0 51 1 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10622040 memory=6760 CPUtime=0.22 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1310 0 0 0 11 11 0 0 20 0 16 0 96615566 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4115] ppid=4096 vsize=10622040 memory=840 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4115/stat : 4115 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96615755 10876968960 156399 33554432000 4194304 4196468 140720360999568 140616160166704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 395.93 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 625596 KiB
[startup+392.001 s]*
/proc/loadavg: 2.02 3.03 2.81 3/217 4129
/proc/meminfo: memFree=26797268/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10622040 memory=635836 CPUtime=397.58 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 49494 0 0 0 39717 41 0 0 20 0 16 0 96615560 10876968960 158959 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2655510 158959 3153 1 0 2643904 0
[pid=4099/tid=4101] ppid=4096 vsize=10622040 memory=3168 CPUtime=391.82 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 13142 0 0 0 39173 9 0 0 20 0 16 0 96615560 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616614077512 140616244932032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10622040 memory=4126316290023845779 CPUtime=0.14 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 132 0 0 0 11 3 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10622040 memory=6935054825532540783 CPUtime=0.15 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 150 0 0 0 11 4 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10622040 memory=4126316290023845779 CPUtime=0.17 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 157 0 0 0 13 4 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10622040 memory=6935054825532540783 CPUtime=0.13 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 141 0 0 0 10 3 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10622040 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10622040 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616168588256 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10622040 memory=-9103852174588242848 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10622040 memory=6882523332603876144 CPUtime=2.05 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 11617 0 0 0 203 2 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10622040 memory=796 CPUtime=2.29 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 13024 0 0 0 228 1 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10622040 memory=1952 CPUtime=0.52 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 7376 0 0 0 51 1 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10622040 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10622040 memory=8552 CPUtime=0.22 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1310 0 0 0 11 11 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4115] ppid=4096 vsize=10622040 memory=5516 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4115/stat : 4115 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96615755 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616160166704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 397.58 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 635836 KiB
[startup+392.401 s]
/proc/loadavg: 2.02 3.03 2.81 3/217 4129
/proc/meminfo: memFree=26797268/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10622040 memory=635836 CPUtime=397.97 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 49494 0 0 0 39756 41 0 0 20 0 16 0 96615560 10876968960 158959 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2655510 158959 3153 1 0 2643904 0
[pid=4099/tid=4101] ppid=4096 vsize=10622040 memory=1008 CPUtime=392.21 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) R 4096 4099 31095 0 -1 4202560 13142 0 0 0 39212 9 0 0 20 0 16 0 96615560 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616614077512 140616245612009 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10622040 memory=11008 CPUtime=0.14 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 132 0 0 0 11 3 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10622040 memory=1228 CPUtime=0.15 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 150 0 0 0 11 4 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10622040 memory=1420 CPUtime=0.17 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 157 0 0 0 13 4 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10622040 memory=635836 CPUtime=0.13 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 141 0 0 0 10 3 0 0 20 0 16 0 96615561 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10622040 memory=15872 CPUtime=0.01 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10622040 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616168588256 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10622040 memory=15608 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96615563 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10622040 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10622040 memory=1236 CPUtime=2.05 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 11617 0 0 0 203 2 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10622040 memory=644 CPUtime=2.29 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 13024 0 0 0 228 1 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10622040 memory=1788 CPUtime=0.52 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 7376 0 0 0 51 1 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10622040 memory=952 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10622040 memory=2340 CPUtime=0.22 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1310 0 0 0 11 11 0 0 20 0 16 0 96615566 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4115] ppid=4096 vsize=10622040 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4115/stat : 4115 (java) S 4096 4099 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96615755 10876968960 158959 33554432000 4194304 4196468 140720360999568 140616160166704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 397.97 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 635836 KiB
[startup+392.801 s]
/proc/loadavg: 2.02 3.03 2.81 3/217 4129
/proc/meminfo: memFree=26797268/32770624 swapFree=67108860/67108860
[pid=4099] ppid=4096 vsize=10755168 memory=640020 CPUtime=398.23 cores=1,3,5,7
/proc/4099/stat : 4099 (java) S 4096 4099 31095 0 -1 1077944320 50127 0 0 0 39782 41 0 0 20 0 16 0 96615560 11013292032 160005 33554432000 4194304 4196468 140720360999568 140720360982112 140616609840887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
/proc/4099/statm: 2688792 160005 3155 1 0 2677186 0
[pid=4099/tid=4101] ppid=4096 vsize=10755168 memory=8552 CPUtime=392.44 cores=1,3,5,7
/proc/4099/task/4101/stat : 4101 (java) S 4096 4099 31095 0 -1 1077944384 13424 0 0 0 39235 9 0 0 20 0 16 0 96615560 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616614081568 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4102] ppid=4096 vsize=10755168 memory=5516 CPUtime=0.14 cores=1,3,5,7
/proc/4099/task/4102/stat : 4102 (java) S 4096 4099 31095 0 -1 1077944384 132 0 0 0 11 3 0 0 20 0 16 0 96615561 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616562461456 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4103] ppid=4096 vsize=10755168 memory=621500 CPUtime=0.15 cores=1,3,5,7
/proc/4099/task/4103/stat : 4103 (java) S 4096 4099 31095 0 -1 1077944384 150 0 0 0 11 4 0 0 20 0 16 0 96615561 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616561408912 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4104] ppid=4096 vsize=10755168 memory=4140 CPUtime=0.17 cores=1,3,5,7
/proc/4099/task/4104/stat : 4104 (java) S 4096 4099 31095 0 -1 1077944384 157 0 0 0 13 4 0 0 20 0 16 0 96615561 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616560356368 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4105] ppid=4096 vsize=10755168 memory=635836 CPUtime=0.13 cores=1,3,5,7
/proc/4099/task/4105/stat : 4105 (java) S 4096 4099 31095 0 -1 1077944384 141 0 0 0 10 3 0 0 20 0 16 0 96615561 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616559303824 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4106] ppid=4096 vsize=10755168 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/4099/task/4106/stat : 4106 (java) S 4096 4099 31095 0 -1 1077944384 1063 0 0 0 1 0 0 0 20 0 16 0 96615563 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616169641968 140616609852034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4107] ppid=4096 vsize=10755168 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4107/stat : 4107 (java) S 4096 4099 31095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 96615563 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616168588256 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4108] ppid=4096 vsize=10755168 memory=15608 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4108/stat : 4108 (java) S 4096 4099 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96615563 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616167535600 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4109] ppid=4096 vsize=10755168 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4109/stat : 4109 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616166484176 140616609859483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4110] ppid=4096 vsize=10755168 memory=8112282956445269571 CPUtime=2.06 cores=1,3,5,7
/proc/4099/task/4110/stat : 4110 (java) S 4096 4099 31095 0 -1 1077944384 11782 0 0 0 204 2 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616165431792 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4111] ppid=4096 vsize=10755168 memory=3168 CPUtime=2.3 cores=1,3,5,7
/proc/4099/task/4111/stat : 4111 (java) S 4096 4099 31095 0 -1 1077944384 13069 0 0 0 229 1 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616164379248 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4112] ppid=4096 vsize=10755168 memory=621500 CPUtime=0.52 cores=1,3,5,7
/proc/4099/task/4112/stat : 4112 (java) S 4096 4099 31095 0 -1 1077944384 7387 0 0 0 51 1 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616163326704 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4113] ppid=4096 vsize=10755168 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/4099/task/4113/stat : 4113 (java) S 4096 4099 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616162274400 140616609851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
[pid=4099/tid=4114] ppid=4096 vsize=10755168 memory=916 CPUtime=0.22 cores=1,3,5,7
/proc/4099/task/4114/stat : 4114 (java) S 4096 4099 31095 0 -1 1077944384 1310 0 0 0 11 11 0 0 20 0 16 0 96615566 11013292032 160005 33554432000 4194304 4196468 140720360999568 140616161220912 140616609852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140720361006214 140720361006367 140720361006367 140720361009103 0
Current children cumulated CPU time: 398.23 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 640020 KiB
Child status: 0
Real time (s): 392.852
CPU time (s): 398.26
CPU user time (s): 397.84
CPU system time (s): 0.42017
CPU usage (%): 101.376
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 640020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.84
system time used= 0.42017
maximum resident set size= 642468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10942
involuntary context switches= 185
# summary of solver processes directly reported to runsolver:
# pid: 4099
# total CPU time (s): 398.26
# total CPU user time (s): 397.84
# total CPU system time (s): 0.42017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70849 second user time and 4.49874 second system time
The end
Begin job on node104 at 2017-08-13 16:26:58 IDJOB=4262898 IDBENCH=138314 IDSOLVER=2651 FILE ID=node104/4262898-1502635276 RUNJOBID= node104-1502634012-3894 PBS_JOBID= 20628300 Free space on /tmp= 61864 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff44.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262898-1502635276/watcher-4262898-1502635276 -o /tmp/evaluation-result-4262898-1502635276/solver-4262898-1502635276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502634012-3894 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262898-1502635276.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af14508bafb133a2ed2b81a4ee09a3c0 RANDOM SEED=1458613301 node104.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.43 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.43 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.43 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.43 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: 28119088 kB MemAvailable: 31436040 kB Buffers: 156264 kB Cached: 3442476 kB SwapCached: 0 kB Active: 889680 kB Inactive: 3312804 kB Active(anon): 606512 kB Inactive(anon): 25024 kB Active(file): 283168 kB Inactive(file): 3287780 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 712956 kB Mapped: 55544 kB Shmem: 25228 kB Slab: 148880 kB SReclaimable: 123680 kB SUnreclaim: 25200 kB KernelStack: 3856 kB PageTables: 6296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1567076 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 604160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61860 MiB End job on node104 at 2017-08-13 16:33:31