Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 28 | 245.64799 | 240.231 |
| 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.133157 |
| 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 |
5.02/2.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 5.02/2.07 c This is free software under the dual EPL/GNU LGPL licenses. 5.02/2.07 c See www.sat4j.org for details. 5.02/2.07 c That software uses the Rhino library from the Mozilla project. 5.02/2.07 c version CUSTOM.v20170705 5.02/2.07 c java.runtime.name Java(TM) SE Runtime Environment 5.02/2.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 5.02/2.07 c java.vm.version 25.131-b11 5.02/2.07 c java.vm.vendor Oracle Corporation 5.02/2.07 c sun.arch.data.model 64 5.02/2.07 c java.version 1.8.0_131 5.02/2.07 c os.name Linux 5.02/2.07 c os.version 3.10.0-514.16.1.el7.x86_64 5.02/2.07 c os.arch amd64 5.02/2.07 c Free memory 499604488 5.02/2.07 c Max memory 7247757312 5.02/2.07 c Total memory 504889344 5.02/2.07 c Number of processors 4 5.02/2.07 c c --- Begin Solver configuration --- 5.02/2.07 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 5.02/2.07 c Learn all clauses as in MiniSAT 5.02/2.07 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 5.02/2.07 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 5.02/2.07 c No reason simplification 5.02/2.07 c Glucose 2.1 dynamic restart strategy 5.02/2.07 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 5.02/2.07 c timeout=2147483s 5.02/2.07 c DB Simplification allowed=false 5.02/2.07 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 5.02/2.07 c --- End Solver configuration --- 5.02/2.07 c constraints type 5.02/2.07 c org.sat4j.minisat.constraints.card.MinWatchCard => 1838 5.02/2.07 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1070300 5.02/2.07 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 713231 5.02/2.07 c org.sat4j.minisat.constraints.cnf.UnitClause => 1836 5.02/2.07 c 1787205 constraints processed. 67.20/62.52 o 136 80.90/76.00 o 114 113.76/108.56 o 102 131.57/126.20 o 72 141.52/136.19 o 66 170.29/164.85 o 61 176.41/170.93 o 38 193.83/188.34 o 28 245.62/240.20 c starts : 1895 245.62/240.20 c conflicts : 349045 245.62/240.20 c decisions : 55432316 245.62/240.20 c propagations : 637264406 245.62/240.20 c inspects : 1111274046 245.62/240.20 c shortcuts : 0 245.62/240.20 c learnt literals : 3522 245.62/240.20 c learnt binary clauses : 7068 245.62/240.20 c learnt ternary clauses : 6451 245.62/240.20 c learnt constraints : 345523 245.62/240.20 c ignored constraints : 0 245.62/240.20 c root simplifications : 0 245.62/240.20 c removed literals (reason simplification) : 0 245.62/240.20 c reason swapping (by a shorter reason) : 0 245.62/240.20 c Calls to reduceDB : 40 245.62/240.20 c Number of update (reduction) of LBD : 144356 245.62/240.20 c Imported unit clauses : 0 245.62/240.20 c number of reductions to clauses (during analyze) : 0 245.62/240.20 c number of learned constraints concerned by reduction : 0 245.62/240.20 c number of learning phase by resolution : 0 245.62/240.20 c number of learning phase by cutting planes : 0 245.62/240.20 c number of rounding to 1 operations : 0 245.62/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 245.62/240.20 c number of reductions of the coefficients by power 2 : 0 245.62/240.20 c number of right shift for reduction by power 2 : 0 245.62/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 245.62/240.20 c speed (assignments/second) : 2676423.253801926 245.62/240.20 c non guided choices 43829079 245.62/240.20 c learnt constraints type 245.62/240.20 s SATISFIABLE 245.62/240.21 v <instantiation type="solution"> 245.62/240.21 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] 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> 245.62/240.21 v <values> 19 28 29 30 49 51 128 166 200 230 280 340 367 582 608 648 653 669 686 724 725 831 563 554 553 552 533 531 454 416 382 352 302 242 215 0 26 66 71 87 104 142 143 249 563 554 553 552 533 531 454 416 382 352 302 242 215 0 26 66 71 87 104 142 143 249 32 23 22 21 2 0 77 115 149 179 229 289 316 531 557 597 602 618 635 673 674 780 32 23 22 21 2 0 77 115 149 179 229 289 316 531 557 597 602 618 635 673 674 780 181 172 171 170 151 149 72 34 0 30 80 140 167 382 408 448 453 469 486 524 525 631 181 172 171 170 151 149 72 34 0 30 80 140 167 382 408 448 453 469 486 524 525 631 0 9 10 11 30 32 109 147 181 211 261 321 348 563 589 629 634 650 667 705 706 812 348 339 338 337 318 316 239 201 167 137 87 27 0 215 241 281 286 302 319 357 358 464 348 339 338 337 318 316 239 201 167 137 87 27 0 215 241 281 286 302 319 357 358 464 705 696 695 694 675 673 596 558 524 494 444 384 357 142 116 76 71 55 38 0 1 107 706 697 696 695 676 674 597 559 525 495 445 385 358 143 117 77 72 56 39 1 0 106 667 658 657 656 637 635 558 520 486 456 406 346 319 104 78 38 33 17 0 38 39 145 667 658 657 656 637 635 558 520 486 456 406 346 319 104 78 38 33 17 0 38 39 145 9 0 1 2 21 23 100 138 172 202 252 312 339 554 580 620 625 641 658 696 697 803 650 641 640 639 620 618 541 503 469 439 389 329 302 87 61 21 16 0 17 55 56 162 650 641 640 639 620 618 541 503 469 439 389 329 302 87 61 21 16 0 17 55 56 162 634 625 624 623 604 602 525 487 453 423 373 313 286 71 45 5 0 16 33 71 72 178 261 252 251 250 231 229 152 114 80 50 0 60 87 302 328 368 373 389 406 444 445 551 259 250 249 248 229 227 150 112 78 48 2 62 89 304 330 370 375 391 408 446 447 553 589 580 579 578 559 557 480 442 408 378 328 268 241 26 0 40 45 61 78 116 117 223 589 580 579 578 559 557 480 442 408 378 328 268 241 26 0 40 45 61 78 116 117 223 30 21 20 19 0 2 79 117 151 181 231 291 318 533 559 599 604 620 637 675 676 782 30 21 20 19 0 2 79 117 151 181 231 291 318 533 559 599 604 620 637 675 676 782 219 210 209 208 189 187 110 72 38 8 42 102 129 344 370 410 415 431 448 486 487 593 219 210 209 208 189 187 110 72 38 8 42 102 129 344 370 410 415 431 448 486 487 593 812 803 802 801 782 780 703 665 631 601 551 491 464 249 223 183 178 162 145 107 106 0 812 803 802 801 782 780 703 665 631 601 551 491 464 249 223 183 178 162 145 107 106 0 147 138 137 136 117 115 38 0 34 64 114 174 201 416 442 482 487 503 520 558 559 665 147 138 137 136 117 115 38 0 34 64 114 174 201 416 442 482 487 503 520 558 559 665 109 100 99 98 79 77 0 38 72 102 152 212 239 454 480 520 525 541 558 596 597 703 109 100 99 98 79 77 0 38 72 102 152 212 239 454 480 520 525 541 558 596 597 703 11 2 1 0 19 21 98 136 170 200 250 310 337 552 578 618 623 639 656 694 695 801 10 1 0 1 20 22 99 137 171 201 251 311 338 553 579 619 624 640 657 695 696 802 629 620 619 618 599 597 520 482 448 418 368 308 281 66 40 0 5 21 38 76 77 183 573 564 563 562 543 541 464 426 392 362 312 252 225 10 16 56 61 77 94 132 133 239 321 312 311 310 291 289 212 174 140 110 60 0 27 242 268 308 313 329 346 384 385 491 321 312 311 310 291 289 212 174 140 110 60 0 27 242 268 308 313 329 346 384 385 491 211 202 201 200 181 179 102 64 30 0 50 110 137 352 378 418 423 439 456 494 495 601 211 202 201 200 181 179 102 64 30 0 50 110 137 352 378 418 423 439 456 494 495 601 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 8 8 0 0 0 0 0 0 0 0 0 10 0 0 0 0 </values> 245.62/240.21 v </instantiation> 245.62/240.21
OK 28
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257976-1501657277/watcher-4257976-1501657277 -o /tmp/evaluation-result-4257976-1501657277/solver-4257976-1501657277 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257976-1501657277.xml pid=14951 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 6.14 4.50 3.69 3/195 14954 /proc/meminfo: memFree=31589772/32770624 swapFree=0/239824 [pid=14954] ppid=14951 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/14954/stat : 14954 (runsolver) D 14951 14954 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14350795 24240128 108 18446744073709551615 4194304 4338465 140726711443168 140726711440808 139882479432407 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 31772672 140726711451783 140726711452230 140726711452230 140726711455690 0 /proc/14954/statm: 5918 108 54 36 0 2156 0 [startup+0.100159 s] /proc/loadavg: 6.14 4.50 3.69 3/195 14954 /proc/meminfo: memFree=31589772/32770624 swapFree=0/239824 [pid=14954] ppid=14951 vsize=9936560 CPUtime=0.01 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 3559 0 0 0 1 0 0 0 20 0 6 0 14350795 10175037440 4245 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2484140 4245 1912 1 0 2473645 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9936560 [startup+0.200232 s] /proc/loadavg: 6.14 4.50 3.69 3/195 14954 /proc/meminfo: memFree=31589772/32770624 swapFree=0/239824 [pid=14954] ppid=14951 vsize=10551156 CPUtime=0.06 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 4913 0 0 0 5 1 0 0 20 0 15 0 14350795 10804383744 5944 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2637789 5944 2600 1 0 2627269 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10551156 [startup+0.300273 s] /proc/loadavg: 6.14 4.50 3.69 3/195 14954 /proc/meminfo: memFree=31589772/32770624 swapFree=0/239824 [pid=14954] ppid=14951 vsize=10551156 CPUtime=0.22 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 8207 0 0 0 19 3 0 0 20 0 15 0 14350795 10804383744 8905 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2637789 8905 2852 1 0 2627269 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 10551156 [startup+0.703908 s] /proc/loadavg: 6.14 4.50 3.69 3/195 14954 /proc/meminfo: memFree=31589772/32770624 swapFree=0/239824 [pid=14954] ppid=14951 vsize=10551232 CPUtime=1.4 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 13309 0 0 0 133 7 0 0 20 0 15 0 14350795 10804461568 46083 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2637808 46083 3073 1 0 2627269 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 10551232 [startup+1.50106 s] /proc/loadavg: 5.97 4.50 3.69 5/210 14969 /proc/meminfo: memFree=31384028/32770624 swapFree=0/239816 [pid=14954] ppid=14951 vsize=10551232 CPUtime=3.86 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 24725 0 0 0 370 16 0 0 20 0 15 0 14350795 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2637808 105139 3087 1 0 2627269 0 [pid=14954/tid=14956] ppid=14951 vsize=10551232 CPUtime=1.22 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 7633 0 0 0 115 7 0 0 20 0 15 0 14350803 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140170078601920 140169701308059 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10551232 CPUtime=0.08 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 52 0 0 0 7 1 0 0 20 0 15 0 14350804 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10551232 CPUtime=0.07 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 46 0 0 0 6 1 0 0 20 0 15 0 14350804 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10551232 CPUtime=0.07 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 54 0 0 0 6 1 0 0 20 0 15 0 14350804 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10551232 CPUtime=0.08 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 50 0 0 0 7 1 0 0 20 0 15 0 14350804 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 14350805 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14350806 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 14350806 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14350808 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10551232 CPUtime=0.97 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) R 14951 14954 5091 0 -1 4202560 8172 0 0 0 96 1 0 0 20 0 15 0 14350809 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169566878928 140170057776578 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10551232 CPUtime=0.92 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) R 14951 14954 5091 0 -1 4202560 5054 0 0 0 92 0 0 0 20 0 15 0 14350809 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169565823832 140170052784176 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10551232 CPUtime=0.37 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 2096 0 0 0 37 0 0 0 20 0 15 0 14350809 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14350809 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14350815 10804461568 105139 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 10551232 [startup+3.10076 s] /proc/loadavg: 5.97 4.50 3.69 5/211 14970 /proc/meminfo: memFree=31109940/32770624 swapFree=0/239820 [pid=14954] ppid=14951 vsize=10617796 CPUtime=7.09 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 25675 0 0 0 686 23 0 0 20 0 16 0 14350795 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654449 122876 3111 1 0 2643910 0 [pid=14954/tid=14956] ppid=14951 vsize=10617796 CPUtime=2.74 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 7730 0 0 0 267 7 0 0 20 0 16 0 14350803 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140170078604344 140169702445580 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10617796 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10617796 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 16 0 14350805 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14350806 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350808 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10617796 CPUtime=1.56 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 8331 0 0 0 155 1 0 0 20 0 16 0 14350809 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10617796 CPUtime=1.65 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) R 14951 14954 5091 0 -1 4202560 5209 0 0 0 165 0 0 0 20 0 16 0 14350809 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170055886961 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10617796 CPUtime=0.45 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 2217 0 0 0 45 0 0 0 20 0 16 0 14350809 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350809 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14350815 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14970] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14970/stat : 14970 (java) S 14951 14954 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14351006 10872623104 122876 18446744073709551615 4194304 4196468 140728587158288 140169561625264 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 10617796 [startup+6.30075 s] /proc/loadavg: 5.97 4.50 3.69 3/211 14970 /proc/meminfo: memFree=31107448/32770624 swapFree=0/239820 [pid=14954] ppid=14951 vsize=10617796 CPUtime=10.84 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 29387 0 0 0 1060 24 0 0 20 0 16 0 14350795 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654449 123051 3119 1 0 2643910 0 [pid=14954/tid=14956] ppid=14951 vsize=10617796 CPUtime=5.94 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 8206 0 0 0 587 7 0 0 20 0 16 0 14350803 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140170078601808 140169702618205 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10617796 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10617796 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 16 0 14350805 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14350806 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350808 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10617796 CPUtime=1.86 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 8367 0 0 0 185 1 0 0 20 0 16 0 14350809 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10617796 CPUtime=1.88 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) S 14951 14954 5091 0 -1 1077944384 7366 0 0 0 187 1 0 0 20 0 16 0 14350809 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10617796 CPUtime=0.46 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 2236 0 0 0 46 0 0 0 20 0 16 0 14350809 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350809 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 977 0 0 0 0 0 0 0 20 0 16 0 14350815 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14970] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14970/stat : 14970 (java) S 14951 14954 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14351006 10872623104 123051 18446744073709551615 4194304 4196468 140728587158288 140169561625264 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 10.84 Current children cumulated vsize (KiB) 10617796 [startup+12.7008 s] /proc/loadavg: 5.28 4.40 3.67 3/211 14970 /proc/meminfo: memFree=31106952/32770624 swapFree=0/239836 [pid=14954] ppid=14951 vsize=10617796 CPUtime=17.24 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 30166 0 0 0 1700 24 0 0 20 0 16 0 14350795 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654449 123060 3119 1 0 2643910 0 [pid=14954/tid=14956] ppid=14951 vsize=10617796 CPUtime=12.34 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 8854 0 0 0 1227 7 0 0 20 0 16 0 14350803 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140170078601712 140169702454159 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10617796 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10617796 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10617796 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 16 0 14350805 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10872623104 123060 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 2.29 3.47 3.43 3/211 14975 /proc/meminfo: memFree=31062136/32770624 swapFree=0/239968 [pid=14954] ppid=14951 vsize=10619844 CPUtime=167.79 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 47033 0 0 0 16748 31 0 0 20 0 16 0 14350795 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654961 123238 3120 1 0 2644422 0 [pid=14954/tid=14956] ppid=14951 vsize=10619844 CPUtime=161.94 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 12973 0 0 0 16186 8 0 0 20 0 16 0 14350803 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140170078602424 140169703445917 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10619844 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10619844 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10619844 CPUtime=0.01 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 958 0 0 0 1 0 0 0 20 0 16 0 14350805 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350808 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10619844 CPUtime=2.2 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 11631 0 0 0 218 2 0 0 20 0 16 0 14350809 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10619844 CPUtime=2.35 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) S 14951 14954 5091 0 -1 1077944384 12981 0 0 0 234 1 0 0 20 0 16 0 14350809 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10619844 CPUtime=0.51 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 5174 0 0 0 50 1 0 0 20 0 16 0 14350809 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350809 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10619844 CPUtime=0.09 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1339 0 0 0 3 6 0 0 20 0 16 0 14350815 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14970] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14970/stat : 14970 (java) S 14951 14954 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14351006 10874720256 123238 18446744073709551615 4194304 4196468 140728587158288 140169561625264 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 167.79 Current children cumulated vsize (KiB) 10619844 [startup+222.307 s] /proc/loadavg: 2.14 3.22 3.35 3/212 14992 /proc/meminfo: memFree=30992340/32770624 swapFree=0/240024 [pid=14954] ppid=14951 vsize=10619844 CPUtime=227.85 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 48437 0 0 0 22752 33 0 0 20 0 16 0 14350795 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654961 128874 3120 1 0 2644422 0 [pid=14954/tid=14956] ppid=14951 vsize=10619844 CPUtime=221.94 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 13560 0 0 0 22186 8 0 0 20 0 16 0 14350803 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140170078597264 140169702454613 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10619844 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10619844 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10619844 CPUtime=0.01 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 16 0 14350805 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350808 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10619844 CPUtime=2.21 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 11994 0 0 0 219 2 0 0 20 0 16 0 14350809 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10619844 CPUtime=2.36 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) S 14951 14954 5091 0 -1 1077944384 13176 0 0 0 235 1 0 0 20 0 16 0 14350809 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10619844 CPUtime=0.51 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 5386 0 0 0 50 1 0 0 20 0 16 0 14350809 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350809 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10619844 CPUtime=0.13 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1377 0 0 0 5 8 0 0 20 0 16 0 14350815 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14970] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14970/stat : 14970 (java) S 14951 14954 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14351006 10874720256 128874 18446744073709551615 4194304 4196468 140728587158288 140169561625264 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 227.85 Current children cumulated vsize (KiB) 10619844 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.27 3.19 3.34 3/212 15074 /proc/meminfo: memFree=31134948/32770624 swapFree=0/240072 [pid=14954] ppid=14951 vsize=10619844 CPUtime=245.55 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 48483 0 0 0 24522 33 0 0 20 0 16 0 14350795 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2654961 129386 3120 1 0 2644422 0 [pid=14954/tid=14956] ppid=14951 vsize=10619844 CPUtime=239.64 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) R 14951 14954 5091 0 -1 4202560 13606 0 0 0 23956 8 0 0 20 0 16 0 14350803 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140170078597264 140169703376107 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10619844 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 16 0 14350804 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10619844 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 16 0 14350804 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 16 0 14350804 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10619844 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 16 0 14350804 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10619844 CPUtime=0.01 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 16 0 14350805 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14350806 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350808 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10619844 CPUtime=2.21 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 11994 0 0 0 219 2 0 0 20 0 16 0 14350809 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10619844 CPUtime=2.36 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) S 14951 14954 5091 0 -1 1077944384 13176 0 0 0 235 1 0 0 20 0 16 0 14350809 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10619844 CPUtime=0.51 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 5386 0 0 0 50 1 0 0 20 0 16 0 14350809 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14350809 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10619844 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1377 0 0 0 5 9 0 0 20 0 16 0 14350815 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14970] ppid=14951 vsize=10619844 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14970/stat : 14970 (java) S 14951 14954 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14351006 10874720256 129386 18446744073709551615 4194304 4196468 140728587158288 140169561625264 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 245.55 Current children cumulated vsize (KiB) 10619844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14954 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 2.27 3.19 3.34 3/212 15074 /proc/meminfo: memFree=31134948/32770624 swapFree=0/240072 [pid=14954] ppid=14951 vsize=10819536 CPUtime=245.62 cores=1,3,5,7 /proc/14954/stat : 14954 (java) S 14951 14954 5091 0 -1 1077944320 49877 0 0 0 24528 34 0 0 20 0 17 0 14350795 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140728587140832 140170074365687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 /proc/14954/statm: 2704884 131516 3124 1 0 2694345 0 [pid=14954/tid=14956] ppid=14951 vsize=10819536 CPUtime=239.69 cores=1,3,5,7 /proc/14954/task/14956/stat : 14956 (java) S 14951 14954 5091 0 -1 1077944384 13859 0 0 0 23961 8 0 0 20 0 17 0 14350803 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140170078608560 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14957] ppid=14951 vsize=10819536 CPUtime=0.16 cores=1,3,5,7 /proc/14954/task/14957/stat : 14957 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 13 3 0 0 20 0 17 0 14350804 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140170020715408 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14958] ppid=14951 vsize=10819536 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14958/stat : 14958 (java) S 14951 14954 5091 0 -1 1077944384 142 0 0 0 12 2 0 0 20 0 17 0 14350804 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140170019662608 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14959] ppid=14951 vsize=10819536 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14959/stat : 14959 (java) S 14951 14954 5091 0 -1 1077944384 154 0 0 0 12 3 0 0 20 0 17 0 14350804 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140170018610320 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14960] ppid=14951 vsize=10819536 CPUtime=0.15 cores=1,3,5,7 /proc/14954/task/14960/stat : 14960 (java) S 14951 14954 5091 0 -1 1077944384 149 0 0 0 13 2 0 0 20 0 17 0 14350804 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140170017557520 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14961] ppid=14951 vsize=10819536 CPUtime=0.01 cores=1,3,5,7 /proc/14954/task/14961/stat : 14961 (java) S 14951 14954 5091 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 17 0 14350805 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169571100784 140170074376834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14962] ppid=14951 vsize=10819536 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14962/stat : 14962 (java) S 14951 14954 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 14350806 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169570046816 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14963] ppid=14951 vsize=10819536 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14963/stat : 14963 (java) S 14951 14954 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 17 0 14350806 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169568994432 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14964] ppid=14951 vsize=10819536 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14964/stat : 14964 (java) S 14951 14954 5091 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 17 0 14350808 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169567942736 140170074384283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14965] ppid=14951 vsize=10819536 CPUtime=2.21 cores=1,3,5,7 /proc/14954/task/14965/stat : 14965 (java) S 14951 14954 5091 0 -1 1077944384 12113 0 0 0 219 2 0 0 20 0 17 0 14350809 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169566890608 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14966] ppid=14951 vsize=10819536 CPUtime=2.36 cores=1,3,5,7 /proc/14954/task/14966/stat : 14966 (java) S 14951 14954 5091 0 -1 1077944384 13381 0 0 0 235 1 0 0 20 0 17 0 14350809 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169565837808 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14967] ppid=14951 vsize=10819536 CPUtime=0.52 cores=1,3,5,7 /proc/14954/task/14967/stat : 14967 (java) S 14951 14954 5091 0 -1 1077944384 5611 0 0 0 51 1 0 0 20 0 17 0 14350809 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169564785520 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14968] ppid=14951 vsize=10819536 CPUtime=0 cores=1,3,5,7 /proc/14954/task/14968/stat : 14968 (java) S 14951 14954 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14350809 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169563732960 140170074375893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 [pid=14954/tid=14969] ppid=14951 vsize=10819536 CPUtime=0.14 cores=1,3,5,7 /proc/14954/task/14969/stat : 14969 (java) S 14951 14954 5091 0 -1 1077944384 1377 0 0 0 5 9 0 0 20 0 17 0 14350815 11079204864 131516 18446744073709551615 4194304 4196468 140728587158288 140169562679728 140170074376834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16400384 140728587166130 140728587166283 140728587166283 140728587169743 0 Current children cumulated CPU time (s) 245.62 Current children cumulated vsize (KiB) 10819536 Child status: 143 Real time (s): 240.231 CPU time (s): 245.648 CPU user time (s): 245.3 CPU system time (s): 0.348172 CPU usage (%): 102.255 Max. virtual memory (cumulated for all children) (KiB): 10819536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 245.3 system time used= 0.348172 maximum resident set size= 528460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50790 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7719 involuntary context switches= 113 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.16736 second user time and 1.49445 second system time The end
Begin job on node129 at 2017-08-02 08:47:17 IDJOB=4257976 IDBENCH=138314 IDSOLVER=2643 FILE ID=node129/4257976-1501657277 RUNJOBID= node129-1501642919-31105 PBS_JOBID= Free space on /tmp= 61772 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-4257976-1501657277/watcher-4257976-1501657277 -o /tmp/evaluation-result-4257976-1501657277/solver-4257976-1501657277 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257976-1501657277.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af14508bafb133a2ed2b81a4ee09a3c0 RANDOM SEED=172289495 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31589772 kB MemAvailable: 31759672 kB Buffers: 126664 kB Cached: 323788 kB SwapCached: 0 kB Active: 528848 kB Inactive: 248356 kB Active(anon): 327076 kB Inactive(anon): 8532 kB Active(file): 201772 kB Inactive(file): 239824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1748 kB Writeback: 0 kB AnonPages: 326824 kB Mapped: 42336 kB Shmem: 8872 kB Slab: 112772 kB SReclaimable: 88276 kB SUnreclaim: 24496 kB KernelStack: 3456 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1259712 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61772 MiB End job on node129 at 2017-08-02 08:51:18