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) | 1353 | 2520.4299 | 2475.78 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml |
| MD5SUM | 65a76f6052f0c7193e3442ad9f3b990a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 743 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
39.21/14.46 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 39.21/14.46 c This is free software under the dual EPL/GNU LGPL licenses. 39.21/14.46 c See www.sat4j.org for details. 39.21/14.46 c That software uses the Rhino library from the Mozilla project. 39.21/14.46 c version CUSTOM.v20170705 39.21/14.46 c java.runtime.name Java(TM) SE Runtime Environment 39.21/14.46 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 39.21/14.46 c java.vm.version 25.131-b11 39.21/14.46 c java.vm.vendor Oracle Corporation 39.21/14.46 c sun.arch.data.model 64 39.21/14.46 c java.version 1.8.0_131 39.21/14.46 c os.name Linux 39.21/14.46 c os.version 3.10.0-514.16.1.el7.x86_64 39.21/14.46 c os.arch amd64 39.21/14.46 c Free memory 499604488 39.21/14.46 c Max memory 7247757312 39.21/14.46 c Total memory 504889344 39.21/14.46 c Number of processors 4 39.21/14.46 c c --- Begin Solver configuration --- 39.21/14.46 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 39.21/14.46 c Learn all clauses as in MiniSAT 39.21/14.46 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 39.21/14.46 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 39.21/14.46 c No reason simplification 39.21/14.46 c Glucose 2.1 dynamic restart strategy 39.21/14.46 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 39.21/14.46 c timeout=2147483s 39.21/14.46 c DB Simplification allowed=false 39.21/14.46 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 39.21/14.46 c --- End Solver configuration --- 39.21/14.46 c constraints type 39.21/14.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 2176 39.21/14.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 414304 39.21/14.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 33 39.21/14.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20382944 39.21/14.46 c org.sat4j.specs.Constr$1 => 33 39.21/14.46 c org.sat4j.minisat.constraints.cnf.UnitClause => 2176 39.21/14.46 c 20801666 constraints processed. 47.04/20.30 o 2199 80.03/52.93 o 2079 82.67/55.44 o 1682 193.49/166.08 o 1679 197.41/168.27 o 1454 199.03/169.81 o 1353 2520.29/2475.70 c starts : 7225 2520.29/2475.70 c conflicts : 5494287 2520.29/2475.70 c decisions : 16708887 2520.29/2475.70 c propagations : 5905969127 2520.29/2475.70 c inspects : 29650884513 2520.29/2475.70 c shortcuts : 0 2520.29/2475.70 c learnt literals : 2493 2520.29/2475.70 c learnt binary clauses : 4497 2520.29/2475.70 c learnt ternary clauses : 7929 2520.29/2475.70 c learnt constraints : 5491794 2520.29/2475.70 c ignored constraints : 0 2520.29/2475.70 c root simplifications : 0 2520.29/2475.70 c removed literals (reason simplification) : 0 2520.29/2475.70 c reason swapping (by a shorter reason) : 0 2520.29/2475.70 c Calls to reduceDB : 125 2520.29/2475.70 c Number of update (reduction) of LBD : 1665343 2520.29/2475.70 c Imported unit clauses : 0 2520.29/2475.70 c number of reductions to clauses (during analyze) : 0 2520.29/2475.70 c number of learned constraints concerned by reduction : 0 2520.29/2475.70 c number of learning phase by resolution : 0 2520.29/2475.70 c number of learning phase by cutting planes : 0 2520.29/2475.70 c number of rounding to 1 operations : 0 2520.29/2475.70 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2520.29/2475.70 c number of reductions of the coefficients by power 2 : 0 2520.29/2475.70 c number of right shift for reduction by power 2 : 0 2520.29/2475.70 c number of reductions of the coefficients by GCD over coefficients : 0 2520.29/2475.70 c speed (assignments/second) : 2399668.906938192 2520.29/2475.70 c non guided choices 2758015 2520.29/2475.74 c learnt constraints type 2520.29/2475.74 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4497 2520.29/2475.74 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 188050 2520.29/2475.74 s SATISFIABLE 2520.29/2475.74 v <instantiation type="solution"> 2520.29/2475.74 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list> 2520.29/2475.74 v <values> 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 44 17 91 81 98 66 98 96 100 99 21 98 81 88 99 66 72 98 100 30 98 17 99 22 17 56 55 29 53 59 4 99 </values> 2520.29/2475.74 v </instantiation> 2520.29/2475.74
OK 1353
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 (15436 MiB free)
memory of node 1: 16384 MiB (14872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263198-1502624315/watcher-4263198-1502624315 -o /tmp/evaluation-result-4263198-1502624315/solver-4263198-1502624315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502619645-14324 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263198-1502624315.xml
running on 4 cores: 0,2,4,6
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
solver pid=15736, runsolver pid=15733
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 4.64 4.50 3.64 3/200 15737
/proc/meminfo: memFree=31035504/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=9934352 memory=8692 CPUtime=0 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 2497 0 0 0 0 0 0 0 20 0 6 0 109937906 10172776448 2173 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2483588 2173 1223 1 0 2473558 0
[pid=15736/tid=15738] ppid=15733 vsize=9934352 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 1258 0 0 0 0 0 0 0 20 0 6 0 109937916 10172776448 2751 18446744073709551615 4194304 4196468 140721091372272 140397691852104 140397669421052 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=9934352 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 109937917 10172776448 2751 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=9934352 memory=139680498726528 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 109937917 10172776448 2751 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=9934352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 109937917 10172776448 2751 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=9934352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 109937917 10172776448 2751 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 8692 KiB
[startup+0.210178 s]*
/proc/loadavg: 4.64 4.50 3.64 3/214 15751
/proc/meminfo: memFree=31020168/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10551156 memory=27260 CPUtime=0.09 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 5262 0 0 0 9 0 0 0 20 0 15 0 109937906 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2637789 6815 2767 1 0 2627261 0
[pid=15736/tid=15738] ppid=15733 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 3233 0 0 0 7 0 0 0 20 0 15 0 109937916 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397691846096 140397687623062 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10551156 memory=329 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10551156 memory=139680499661401 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10551156 memory=139680498726528 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937918 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109937918 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397250548768 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109937919 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397249495920 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) S 15733 15736 4674 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10551156 memory=139680498726528 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) R 15733 15736 4674 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397668848688 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10551156 memory=139680498726528 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937925 10804383744 6815 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27260 KiB
[startup+0.310505 s]*
/proc/loadavg: 4.64 4.50 3.64 3/214 15751
/proc/meminfo: memFree=31009788/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10551156 memory=36820 CPUtime=0.24 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 8430 0 0 0 22 2 0 0 20 0 15 0 109937906 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2637789 9205 2869 1 0 2627261 0
[pid=15736/tid=15738] ppid=15733 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 6100 0 0 0 15 1 0 0 20 0 15 0 109937916 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397691848112 140397671691614 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937918 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109937918 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397250548768 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109937919 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397249495920 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) S 15733 15736 4674 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 109937921 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 15 0 109937921 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10551156 memory=139680498726528 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937925 10804383744 9205 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36820 KiB
[startup+0.70137 s]
/proc/loadavg: 4.64 4.50 3.64 5/214 15751
/proc/meminfo: memFree=30999044/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10551232 memory=103308 CPUtime=1.38 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 12912 0 0 0 134 4 0 0 20 0 15 0 109937906 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2637808 25827 3064 1 0 2627261 0
[pid=15736/tid=15738] ppid=15733 vsize=10551232 memory=279360779190312 CPUtime=0.55 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 7543 0 0 0 53 2 0 0 20 0 15 0 109937916 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397691837760 140397328126020 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10551232 memory=279360779325520 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10551232 memory=71931575405043 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109937917 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10551232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937917 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 109937918 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109937918 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397250548768 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10551232 memory=279360779611536 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109937919 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397249495920 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10551232 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) R 15733 15736 4674 0 -1 4202560 1270 0 0 0 24 0 0 0 20 0 15 0 109937921 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397179293744 140397668355592 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10551232 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) R 15733 15736 4674 0 -1 4202560 1078 0 0 0 22 1 0 0 20 0 15 0 109937921 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397178234352 140397672511442 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10551232 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 1649 0 0 0 33 0 0 0 20 0 15 0 109937921 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937925 10804461568 25827 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 103308 KiB
[startup+1.50134 s]
/proc/loadavg: 4.58 4.49 3.65 5/214 15751
/proc/meminfo: memFree=30831972/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10551232 memory=468864 CPUtime=3.92 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 21193 0 0 0 376 16 0 0 20 0 15 0 109937906 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2637808 117216 3103 1 0 2627261 0
[pid=15736/tid=15738] ppid=15733 vsize=10551232 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) S 15733 15736 4674 0 -1 1077944384 7651 0 0 0 110 5 0 0 20 0 15 0 109937916 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397691847344 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10551232 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) R 15733 15736 4674 0 -1 4202560 199 0 0 0 9 2 0 0 20 0 15 0 109937917 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397650718040 140397672639001 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10551232 memory=7898351070516488779 CPUtime=0.12 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) R 15733 15736 4674 0 -1 4202560 199 0 0 0 10 2 0 0 20 0 15 0 109937917 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397297609944 140397672639001 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10551232 memory=3054156605368933524 CPUtime=0.11 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) R 15733 15736 4674 0 -1 4202560 87 0 0 0 10 1 0 0 20 0 15 0 109937917 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397296556832 140397672639001 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10551232 memory=8514726395715218844 CPUtime=0.11 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) R 15733 15736 4674 0 -1 4202560 79 0 0 0 10 1 0 0 20 0 15 0 109937917 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397295504032 140397672639001 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10551232 memory=5450916488555034154 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 109937918 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397251601312 140397687621333 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10551232 memory=-8815660332880338293 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109937918 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397250548768 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10551232 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 109937919 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397249495920 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10551232 memory=279360779321520 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10551232 memory=2110030996760756 CPUtime=0.95 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) R 15733 15736 4674 0 -1 4202560 5234 0 0 0 95 0 0 0 20 0 15 0 109937921 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397179286216 140397671998176 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10551232 memory=279360779309088 CPUtime=0.93 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) R 15733 15736 4674 0 -1 4202560 4439 0 0 0 92 1 0 0 20 0 15 0 109937921 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397178234104 140397668797428 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10551232 memory=12868 CPUtime=0.35 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 1858 0 0 0 35 0 0 0 20 0 15 0 109937921 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10551232 memory=25829 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109937921 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 109937925 10804461568 117216 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 22359 0 0 0 1172 90 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10617796 memory=4330444 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 28745 0 0 0 1172 89 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10617796 memory=4330444 CPUtime=12.63 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 22457 0 0 0 1175 88 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10617796 memory=4330472 CPUtime=4.32 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 12960 0 0 0 430 2 0 0 20 0 16 0 109937918 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10617796 memory=4330444 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 109937918 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397250548832 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10617796 memory=4330444 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 16 0 109937919 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397249495936 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10617796 memory=4330472 CPUtime=2.74 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) S 15733 15736 4674 0 -1 1077944384 12987 0 0 0 272 2 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10617796 memory=4330472 CPUtime=2.52 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 11146 0 0 0 250 2 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0.53 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 4694 0 0 0 52 1 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10617796 memory=4330472 CPUtime=1.24 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 3177 0 0 0 66 58 0 0 20 0 16 0 109937925 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15752] ppid=15733 vsize=10617796 memory=3136 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15752/stat : 15752 (java) S 15733 15736 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 109939361 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397174035376 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 2486.84 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4330472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.5 s]
/proc/loadavg: 4.84 4.69 4.11 6/215 16471
/proc/meminfo: memFree=26337312/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10617796 memory=4330472 CPUtime=2520.06 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 395577 0 0 0 251562 444 0 0 20 0 16 0 109937906 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2654449 1082618 3140 1 0 2643902 0
[pid=15736/tid=15738] ppid=15733 vsize=10617796 memory=4330472 CPUtime=2458.13 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 250834 0 0 0 245786 27 0 0 20 0 16 0 109937916 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397691848040 140397333599751 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10617796 memory=279360780512096 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 24692 0 0 0 1174 87 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10617796 memory=4330472 CPUtime=12.62 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 22359 0 0 0 1172 90 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10617796 memory=4330472 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 28745 0 0 0 1172 89 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10617796 memory=4330472 CPUtime=12.63 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 22457 0 0 0 1175 88 0 0 20 0 16 0 109937917 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10617796 memory=4148 CPUtime=4.33 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 12969 0 0 0 431 2 0 0 20 0 16 0 109937918 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10617796 memory=53392 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 109937918 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397250548832 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 16 0 109937919 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397249495936 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10617796 memory=-7604995849183860074 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10617796 memory=4330472 CPUtime=2.74 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) S 15733 15736 4674 0 -1 1077944384 12987 0 0 0 272 2 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10617796 memory=25578 CPUtime=2.52 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 11146 0 0 0 250 2 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0.53 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 4694 0 0 0 52 1 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 109937921 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10617796 memory=4330472 CPUtime=1.25 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 3218 0 0 0 67 58 0 0 20 0 16 0 109937925 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15752] ppid=15733 vsize=10617796 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15752/stat : 15752 (java) S 15733 15736 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 109939361 10872623104 1082618 18446744073709551615 4194304 4196468 140721091372272 140397174035376 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4330472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.78 s]
# the end of solver process 15736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.96 s, system=4.47327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.61 s]
/proc/loadavg: 4.84 4.69 4.11 6/215 16471
/proc/meminfo: memFree=26337312/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10817488 memory=4330812 CPUtime=2520.17 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 397767 0 0 0 251573 444 0 0 20 0 17 0 109937906 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2704372 1082703 3142 1 0 2693825 0
[pid=15736/tid=15738] ppid=15733 vsize=10817488 memory=796 CPUtime=2458.24 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 251591 0 0 0 245797 27 0 0 20 0 17 0 109937916 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397691850032 140397334113684 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10817488 memory=984 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 24692 0 0 0 1174 87 0 0 20 0 17 0 109937917 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10817488 memory=1728 CPUtime=12.62 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 22359 0 0 0 1172 90 0 0 20 0 17 0 109937917 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10817488 memory=4572 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 28745 0 0 0 1172 89 0 0 20 0 17 0 109937917 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10817488 memory=1444 CPUtime=12.63 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 22457 0 0 0 1175 88 0 0 20 0 17 0 109937917 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10817488 memory=12304 CPUtime=4.33 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 13004 0 0 0 431 2 0 0 20 0 17 0 109937918 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10817488 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 109937918 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397250548832 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10817488 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 109937919 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397249495936 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10817488 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 17 0 109937921 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10817488 memory=31844 CPUtime=2.74 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) R 15733 15736 4674 0 -1 4202560 13453 0 0 0 272 2 0 0 20 0 17 0 109937921 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397679900509 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10817488 memory=1232 CPUtime=2.52 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 11214 0 0 0 250 2 0 0 20 0 17 0 109937921 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10817488 memory=644 CPUtime=0.53 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 4930 0 0 0 52 1 0 0 20 0 17 0 109937921 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10817488 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 109937921 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10817488 memory=956 CPUtime=1.25 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 3218 0 0 0 67 58 0 0 20 0 17 0 109937925 11077107712 1082703 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4330812 KiB
[startup+2475.7 s]
/proc/loadavg: 4.84 4.69 4.11 6/215 16471
/proc/meminfo: memFree=26337312/32770624 swapFree=67108764/67108860
[pid=15736] ppid=15733 vsize=10817488 memory=4330820 CPUtime=2520.29 cores=0,2,4,6
/proc/15736/stat : 15736 (java) S 15733 15736 4674 0 -1 1077944320 398313 0 0 0 251585 444 0 0 20 0 17 0 109937906 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140721091354816 140397687611127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
/proc/15736/statm: 2704372 1082705 3142 1 0 2693825 0
[pid=15736/tid=15738] ppid=15733 vsize=10817488 memory=4330472 CPUtime=2458.33 cores=0,2,4,6
/proc/15736/task/15738/stat : 15738 (java) R 15733 15736 4674 0 -1 4202560 251591 0 0 0 245806 27 0 0 20 0 17 0 109937916 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397691850032 140397334966570 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15739] ppid=15733 vsize=10817488 memory=4330472 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15739/stat : 15739 (java) S 15733 15736 4674 0 -1 1077944384 24692 0 0 0 1174 87 0 0 20 0 17 0 109937917 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397650717840 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15740] ppid=15733 vsize=10817488 memory=279360780512096 CPUtime=12.62 cores=0,2,4,6
/proc/15736/task/15740/stat : 15740 (java) S 15733 15736 4674 0 -1 1077944384 22359 0 0 0 1172 90 0 0 20 0 17 0 109937917 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397297609744 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15741] ppid=15733 vsize=10817488 memory=4330472 CPUtime=12.61 cores=0,2,4,6
/proc/15736/task/15741/stat : 15741 (java) S 15733 15736 4674 0 -1 1077944384 28745 0 0 0 1172 89 0 0 20 0 17 0 109937917 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397296556944 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15742] ppid=15733 vsize=10817488 memory=4330472 CPUtime=12.63 cores=0,2,4,6
/proc/15736/task/15742/stat : 15742 (java) S 15733 15736 4674 0 -1 1077944384 22457 0 0 0 1175 88 0 0 20 0 17 0 109937917 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397295504144 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15743] ppid=15733 vsize=10817488 memory=-8774313645642428999 CPUtime=4.33 cores=0,2,4,6
/proc/15736/task/15743/stat : 15743 (java) S 15733 15736 4674 0 -1 1077944384 13004 0 0 0 431 2 0 0 20 0 17 0 109937918 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397251602800 140397687622274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15744] ppid=15733 vsize=10817488 memory=-7604995849183860074 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15744/stat : 15744 (java) S 15733 15736 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 109937918 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397250548832 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15745] ppid=15733 vsize=10817488 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15745/stat : 15745 (java) S 15733 15736 4674 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 109937919 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397249495936 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15746] ppid=15733 vsize=10817488 memory=25578 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15746/stat : 15746 (java) S 15733 15736 4674 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 17 0 109937921 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397248444240 140397687629723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15747] ppid=15733 vsize=10817488 memory=4330472 CPUtime=2.77 cores=0,2,4,6
/proc/15736/task/15747/stat : 15747 (java) S 15733 15736 4674 0 -1 1077944384 13987 0 0 0 275 2 0 0 20 0 17 0 109937921 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397179300720 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15748] ppid=15733 vsize=10817488 memory=4330472 CPUtime=2.52 cores=0,2,4,6
/proc/15736/task/15748/stat : 15748 (java) S 15733 15736 4674 0 -1 1077944384 11214 0 0 0 250 2 0 0 20 0 17 0 109937921 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397178247920 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15749] ppid=15733 vsize=10817488 memory=4330472 CPUtime=0.53 cores=0,2,4,6
/proc/15736/task/15749/stat : 15749 (java) S 15733 15736 4674 0 -1 1077944384 4930 0 0 0 52 1 0 0 20 0 17 0 109937921 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397177195120 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15750] ppid=15733 vsize=10817488 memory=4330472 CPUtime=0 cores=0,2,4,6
/proc/15736/task/15750/stat : 15750 (java) S 15733 15736 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 109937921 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397176142560 140397687621333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
[pid=15736/tid=15751] ppid=15733 vsize=10817488 memory=4148 CPUtime=1.25 cores=0,2,4,6
/proc/15736/task/15751/stat : 15751 (java) S 15733 15736 4674 0 -1 1077944384 3218 0 0 0 67 58 0 0 20 0 17 0 109937925 11077107712 1082705 18446744073709551615 4194304 4196468 140721091372272 140397175089840 140397687622274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11309056 140721091375504 140721091375657 140721091375657 140721091379151 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4330820 KiB
Child status: 143
Real time (s): 2475.78
CPU time (s): 2520.43
CPU user time (s): 2515.96
CPU system time (s): 4.47327
CPU usage (%): 101.804
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 4330820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.47327
maximum resident set size= 4331088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57568
involuntary context switches= 3772
# summary of solver processes directly reported to runsolver:
# pid: 15736
# total CPU time (s): 2520.43
# total CPU user time (s): 2515.96
# total CPU system time (s): 4.47327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3128 second user time and 22.0376 second system time
The end
Begin job on node134 at 2017-08-13 13:24:40 IDJOB=4263198 IDBENCH=124413 IDSOLVER=2651 FILE ID=node134/4263198-1502624315 RUNJOBID= node134-1502619645-14324 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263198-1502624315/watcher-4263198-1502624315 -o /tmp/evaluation-result-4263198-1502624315/solver-4263198-1502624315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502619645-14324 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263198-1502624315.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a RANDOM SEED=1645599327 node134.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: 31035948 kB MemAvailable: 31244444 kB Buffers: 222040 kB Cached: 279956 kB SwapCached: 4 kB Active: 1077584 kB Inactive: 205492 kB Active(anon): 728076 kB Inactive(anon): 94440 kB Active(file): 349508 kB Inactive(file): 111052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 1652 kB Writeback: 4 kB AnonPages: 780352 kB Mapped: 67464 kB Shmem: 41564 kB Slab: 153880 kB SReclaimable: 127540 kB SUnreclaim: 26340 kB KernelStack: 3504 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2160608 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 686080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 14:05:56