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) | 1720 | 2520.1599 | 2465.75 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml |
| MD5SUM | bb36812fd58cb568268e8c9b807d30b9 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 853 |
| Best CPU time to get the best result obtained on this benchmark | 2400.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1332 |
| Number of constraints | 1295 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 69 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 35 |
| Distribution of constraint arities | [{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 35 |
| Distribution of constraint types | [{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}] |
| Optimization problem | YES |
| Type of objective | min SUM |
42.78/15.93 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 42.78/15.93 c This is free software under the dual EPL/GNU LGPL licenses. 42.78/15.93 c See www.sat4j.org for details. 42.78/15.93 c That software uses the Rhino library from the Mozilla project. 42.78/15.93 c version CUSTOM.v20170705 42.78/15.93 c java.runtime.name Java(TM) SE Runtime Environment 42.78/15.93 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 42.78/15.93 c java.vm.version 25.131-b11 42.78/15.93 c java.vm.vendor Oracle Corporation 42.78/15.93 c sun.arch.data.model 64 42.78/15.93 c java.version 1.8.0_131 42.78/15.93 c os.name Linux 42.78/15.93 c os.version 3.10.0-514.16.1.el7.x86_64 42.78/15.93 c os.arch amd64 42.78/15.93 c Free memory 499604488 42.78/15.93 c Max memory 7247757312 42.78/15.93 c Total memory 504889344 42.78/15.93 c Number of processors 4 42.78/15.93 c c --- Begin Solver configuration --- 42.78/15.93 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 42.78/15.93 c Learn all clauses as in MiniSAT 42.78/15.93 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 42.78/15.93 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 42.78/15.93 c No reason simplification 42.78/15.93 c Glucose 2.1 dynamic restart strategy 42.78/15.93 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 42.78/15.93 c timeout=2147483s 42.78/15.93 c DB Simplification allowed=false 42.78/15.93 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 42.78/15.93 c --- End Solver configuration --- 42.78/15.93 c constraints type 42.78/15.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 2590 42.78/15.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 496615 42.78/15.93 c org.sat4j.minisat.constraints.cnf.UnitClauses => 36 42.78/15.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24455270 42.78/15.93 c org.sat4j.specs.Constr$1 => 36 42.78/15.93 c org.sat4j.minisat.constraints.cnf.UnitClause => 2590 42.78/15.93 c 24957137 constraints processed. 77.21/48.61 o 2876 125.90/96.44 o 2341 147.60/105.08 o 1720 2520.10/2465.70 c starts : 8133 2520.10/2465.70 c conflicts : 5091724 2520.10/2465.70 c decisions : 24218253 2520.10/2465.70 c propagations : 5961949018 2520.10/2465.70 c inspects : 25502222150 2520.10/2465.70 c shortcuts : 0 2520.10/2465.70 c learnt literals : 2777 2520.10/2465.70 c learnt binary clauses : 4414 2520.10/2465.70 c learnt ternary clauses : 8880 2520.10/2465.70 c learnt constraints : 5088947 2520.10/2465.70 c ignored constraints : 0 2520.10/2465.70 c root simplifications : 0 2520.10/2465.70 c removed literals (reason simplification) : 0 2520.10/2465.70 c reason swapping (by a shorter reason) : 0 2520.10/2465.70 c Calls to reduceDB : 111 2520.10/2465.70 c Number of update (reduction) of LBD : 1650534 2520.10/2465.70 c Imported unit clauses : 0 2520.10/2465.70 c number of reductions to clauses (during analyze) : 0 2520.10/2465.70 c number of learned constraints concerned by reduction : 0 2520.10/2465.70 c number of learning phase by resolution : 0 2520.10/2465.70 c number of learning phase by cutting planes : 0 2520.10/2465.70 c number of rounding to 1 operations : 0 2520.10/2465.70 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2520.10/2465.70 c number of reductions of the coefficients by power 2 : 0 2520.10/2465.70 c number of right shift for reduction by power 2 : 0 2520.10/2465.70 c number of reductions of the coefficients by GCD over coefficients : 0 2520.10/2465.70 c speed (assignments/second) : 2433761.490967206 2520.10/2465.70 c non guided choices 8005699 2520.10/2465.70 c learnt constraints type 2520.10/2465.70 s SATISFIABLE 2520.10/2465.71 v <instantiation type="solution"> 2520.10/2465.71 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[0][33] x[0][34] x[0][35] 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[1][33] x[1][34] x[1][35] 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[2][33] x[2][34] x[2][35] 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[3][33] x[3][34] x[3][35] 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[4][33] x[4][34] x[4][35] 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[5][33] x[5][34] x[5][35] 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[6][33] x[6][34] x[6][35] 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[7][33] x[7][34] x[7][35] 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[8][33] x[8][34] x[8][35] 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[9][33] x[9][34] x[9][35] 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[10][33] x[10][34] x[10][35] 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[11][33] x[11][34] x[11][35] 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[12][33] x[12][34] x[12][35] 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[13][33] x[13][34] x[13][35] 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[14][33] x[14][34] x[14][35] 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[15][33] x[15][34] x[15][35] 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[16][33] x[16][34] x[16][35] 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[17][33] x[17][34] x[17][35] 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[18][33] x[18][34] x[18][35] 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[19][33] x[19][34] x[19][35] 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[20][33] x[20][34] x[20][35] 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[21][33] x[21][34] x[21][35] 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[22][33] x[22][34] x[22][35] 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[23][33] x[23][34] x[23][35] 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[24][33] x[24][34] x[24][35] 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[25][33] x[25][34] x[25][35] 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[26][33] x[26][34] x[26][35] 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[27][33] x[27][34] x[27][35] 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[28][33] x[28][34] x[28][35] 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[29][33] x[29][34] x[29][35] 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[30][33] x[30][34] x[30][35] 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[31][33] x[31][34] x[31][35] 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] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] 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] u[33] u[34] u[35] </list> 2520.10/2465.71 v <values> 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 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 100 23 75 56 35 99 50 35 93 100 13 23 100 100 65 100 88 77 26 34 17 33 89 44 19 17 98 100 99 97 79 26 81 25 97 </values> 2520.10/2465.71 v </instantiation> 2520.10/2465.71
OK 1720
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 (15398 MiB free)
memory of node 1: 16384 MiB (9362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263200-1502624267/watcher-4263200-1502624267 -o /tmp/evaluation-result-4263200-1502624267/solver-4263200-1502624267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19456 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263200-1502624267.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
Current StackSize limit: 8192 KiB
solver pid=26303, runsolver pid=26300
[startup+0.100107 s]*
/proc/loadavg: 4.81 4.49 3.63 4/202 26309
/proc/meminfo: memFree=25348024/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10151672 memory=18488 CPUtime=0.02 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 3993 0 0 0 2 0 0 0 20 0 9 0 64622135 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2537918 4622 2083 1 0 2527415 0
[pid=26303/tid=26305] ppid=26300 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26300 26303 12560 0 -1 4202560 2633 0 0 0 2 0 0 0 20 0 9 0 64622143 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139763060691400 139763040535902 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64622143 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10151672 memory=140622972118656 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64622143 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64622143 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64622143 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10151672 memory=140622972118656 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64622145 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64622145 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139762364655008 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64622146 10395312128 4622 18446744073709551615 4194304 4196468 140723462572176 139762363602480 139763056465621 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 18488 KiB
[startup+0.209925 s]*
/proc/loadavg: 4.81 4.49 3.63 2/210 26317
/proc/meminfo: memFree=25343492/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10551156 memory=24084 CPUtime=0.06 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 5011 0 0 0 5 1 0 0 20 0 15 0 64622135 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2637789 6021 2613 1 0 2627261 0
[pid=26303/tid=26305] ppid=26300 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26300 26303 12560 0 -1 4202560 3118 0 0 0 4 1 0 0 20 0 15 0 64622143 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139763060694608 139763049552251 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10551156 memory=328 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10551156 memory=288370999123830400 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10551156 memory=140622972118656 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622145 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622145 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762364655008 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622146 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762363602416 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10551156 memory=140622972118656 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10551156 memory=140622972118656 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622156 10804383744 6021 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 24084 KiB
[startup+0.310177 s]*
/proc/loadavg: 4.81 4.49 3.63 4/211 26318
/proc/meminfo: memFree=25332680/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10551156 memory=35904 CPUtime=0.22 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 8253 0 0 0 20 2 0 0 20 0 15 0 64622135 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2637789 8976 2871 1 0 2627261 0
[pid=26303/tid=26305] ppid=26300 vsize=10551156 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26300 26303 12560 0 -1 4202560 5930 0 0 0 13 2 0 0 20 0 15 0 64622143 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139763060676368 139763041898346 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622145 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622145 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762364655008 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622146 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762363602416 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 15 0 64622148 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 394 0 0 0 4 0 0 0 20 0 15 0 64622148 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622156 10804383744 8976 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35904 KiB
[startup+0.710212 s]
/proc/loadavg: 4.81 4.49 3.63 4/211 26318
/proc/meminfo: memFree=25319948/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10551232 memory=101820 CPUtime=1.35 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 12581 0 0 0 129 6 0 0 20 0 15 0 64622135 10804461568 25455 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2637808 25455 3068 1 0 2627261 0
[pid=26303/tid=26305] ppid=26300 vsize=10551232 memory=81 CPUtime=0.54 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26300 26303 12560 0 -1 4202560 7521 0 0 0 50 4 0 0 20 0 15 0 64622143 10804461568 25455 18446744073709551615 4194304 4196468 140723462572176 139763060691952 139763042523534 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10551232 memory=27 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804461568 25455 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10551232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622143 10804461568 25455 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804461568 25455 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622143 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64622145 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622145 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762364655008 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10551232 memory=835 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622146 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762363602416 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10551232 memory=54 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10551232 memory=220 CPUtime=0.25 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) R 26300 26303 12560 0 -1 4202560 1387 0 0 0 25 0 0 0 20 0 15 0 64622148 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762361477928 139763041570658 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10551232 memory=281245732835088 CPUtime=0.2 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) R 26300 26303 12560 0 -1 4202560 700 0 0 0 20 0 0 0 20 0 15 0 64622148 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762360437528 139763040843966 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10551232 memory=2509603079937 CPUtime=0.32 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 1603 0 0 0 32 0 0 0 20 0 15 0 64622148 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10551232 memory=2518193014529 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10551232 memory=2561142687489 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622156 10804461568 25967 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 101820 KiB
[startup+1.50252 s]
/proc/loadavg: 4.81 4.49 3.63 4/211 26318
/proc/meminfo: memFree=25165312/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10551232 memory=434816 CPUtime=3.55 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 16817 0 0 0 331 24 0 0 20 0 15 0 64622135 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2637808 108704 3104 1 0 2627261 0
[pid=26303/tid=26305] ppid=26300 vsize=10551232 memory=81 CPUtime=1.18 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26300 26303 12560 0 -1 1077944384 7647 0 0 0 112 6 0 0 20 0 15 0 64622143 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139763060691616 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10551232 memory=27 CPUtime=0.13 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) D 26300 26303 12560 0 -1 4202560 142 0 0 0 10 3 0 0 20 0 15 0 64622143 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139763002804696 139763041483289 0 4 1 16800974 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10551232 memory=281245733067040 CPUtime=0.13 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) D 26300 26303 12560 0 -1 4202560 139 0 0 0 10 3 0 0 20 0 15 0 64622143 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139763001752152 139763041483289 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10551232 memory=9132 CPUtime=0.13 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) D 26300 26303 12560 0 -1 4202560 117 0 0 0 10 3 0 0 20 0 15 0 64622143 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762665839008 139763041483289 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10551232 memory=19658 CPUtime=0.13 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) D 26300 26303 12560 0 -1 4202560 148 0 0 0 9 4 0 0 20 0 15 0 64622143 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762664786776 139763041483289 0 4 1 16800974 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 64622145 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762365707296 139763056465621 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622145 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762364655008 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10551232 memory=294880 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622146 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762363602416 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622148 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10551232 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) R 26300 26303 12560 0 -1 4202560 2883 0 0 0 61 1 0 0 20 0 15 0 64622148 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762361478600 139763049172567 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10551232 memory=6788 CPUtime=0.8 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) R 26300 26303 12560 0 -1 4202560 2562 0 0 0 79 1 0 0 20 0 15 0 64622148 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762360426056 139763039952195 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10551232 memory=281245732902848 CPUtime=0.36 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 1734 0 0 0 36 0 0 0 20 0 15 0 64622148 10804461568 108704 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
################
# More data... #
################
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 32769 0 0 0 1489 100 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10617796 memory=4760360 CPUtime=15.73 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 24275 0 0 0 1476 97 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10617796 memory=4760424 CPUtime=15.96 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 23467 0 0 0 1498 98 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10617796 memory=0 CPUtime=4.86 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 17378 0 0 0 482 4 0 0 20 0 16 0 64622145 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10617796 memory=56 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 64622145 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762364655072 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10617796 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 64622146 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762363602432 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10617796 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10617796 memory=4760360 CPUtime=2.67 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 13359 0 0 0 265 2 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10617796 memory=4760360 CPUtime=2.78 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 13097 0 0 0 276 2 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10617796 memory=4760360 CPUtime=0.58 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 4994 0 0 0 57 1 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10617796 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10617796 memory=4760360 CPUtime=1.33 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 3063 0 0 0 69 64 0 0 20 0 16 0 64622156 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26319] ppid=26300 vsize=10617796 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26319/stat : 26319 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64623737 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762356233520 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 2496.8 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4760360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.5 s]
/proc/loadavg: 5.10 4.72 4.13 6/212 26719
/proc/meminfo: memFree=18783220/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10617796 memory=4760360 CPUtime=2520.01 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 358505 0 0 0 251511 490 0 0 20 0 16 0 64622135 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2654449 1190090 3146 1 0 2643902 0
[pid=26303/tid=26305] ppid=26300 vsize=10617796 memory=4760360 CPUtime=2444.25 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26300 26303 12560 0 -1 4202560 200685 0 0 0 244400 25 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139763060694448 139762687417536 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10617796 memory=4760360 CPUtime=15.84 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 24011 0 0 0 1480 104 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10617796 memory=4760360 CPUtime=15.89 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 32769 0 0 0 1489 100 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10617796 memory=4760360 CPUtime=15.73 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 24275 0 0 0 1476 97 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10617796 memory=4760360 CPUtime=15.96 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 23467 0 0 0 1498 98 0 0 20 0 16 0 64622143 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10617796 memory=4760360 CPUtime=4.86 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 17378 0 0 0 482 4 0 0 20 0 16 0 64622145 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10617796 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 64622145 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762364655072 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10617796 memory=36984 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 64622146 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762363602432 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10617796 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10617796 memory=1004 CPUtime=2.67 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 13359 0 0 0 265 2 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10617796 memory=4760360 CPUtime=2.78 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 13097 0 0 0 276 2 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10617796 memory=2384 CPUtime=0.58 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 4994 0 0 0 57 1 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10617796 memory=1688 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64622148 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10617796 memory=-8774313645642428999 CPUtime=1.35 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 3063 0 0 0 70 65 0 0 20 0 16 0 64622156 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26319] ppid=26300 vsize=10617796 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26319/stat : 26319 (java) S 26300 26303 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64623737 10872623104 1190090 18446744073709551615 4194304 4196468 140723462572176 139762356233520 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4760360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.75 s]
# the end of solver process 26303 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.22 s, system=4.93325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.61 s]
/proc/loadavg: 5.10 4.72 4.13 6/212 26719
/proc/meminfo: memFree=18783220/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10817488 memory=4760684 CPUtime=2520.1 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 361134 0 0 0 251520 490 0 0 20 0 17 0 64622135 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2704372 1190171 3148 1 0 2693825 0
[pid=26303/tid=26305] ppid=26300 vsize=10817488 memory=-8774313645642428999 CPUtime=2444.34 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26300 26303 12560 0 -1 1077944384 201340 0 0 0 244409 25 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763060698288 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10817488 memory=4760360 CPUtime=15.84 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 24011 0 0 0 1480 104 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10817488 memory=644 CPUtime=15.89 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 32769 0 0 0 1489 100 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10817488 memory=1744 CPUtime=15.73 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 24275 0 0 0 1476 97 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10817488 memory=-8774313645642428999 CPUtime=15.96 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 23467 0 0 0 1498 98 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10817488 memory=1232 CPUtime=4.86 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 17419 0 0 0 482 4 0 0 20 0 17 0 64622145 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10817488 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 64622145 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762364655072 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10817488 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 64622146 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762363602432 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10817488 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10817488 memory=-8774313645642428999 CPUtime=2.67 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 13587 0 0 0 265 2 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10817488 memory=4612 CPUtime=2.78 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 13255 0 0 0 276 2 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10817488 memory=1004 CPUtime=0.58 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 5941 0 0 0 57 1 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10817488 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10817488 memory=1196 CPUtime=1.35 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 3063 0 0 0 70 65 0 0 20 0 17 0 64622156 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4760684 KiB
[startup+2465.7 s]
/proc/loadavg: 5.10 4.72 4.13 6/212 26719
/proc/meminfo: memFree=18783220/32770624 swapFree=67105588/67108860
[pid=26303] ppid=26300 vsize=10817488 memory=4760684 CPUtime=2520.1 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26300 26303 12560 0 -1 1077944320 361134 0 0 0 251520 490 0 0 20 0 17 0 64622135 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 140723462554720 139763056455415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
/proc/26303/statm: 2704372 1190171 3148 1 0 2693825 0
[pid=26303/tid=26305] ppid=26300 vsize=10817488 memory=4760360 CPUtime=2444.34 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26300 26303 12560 0 -1 1077944384 201340 0 0 0 244409 25 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763060698288 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26306] ppid=26300 vsize=10817488 memory=4760360 CPUtime=15.84 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26300 26303 12560 0 -1 1077944384 24011 0 0 0 1480 104 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763002804496 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26307] ppid=26300 vsize=10817488 memory=4760360 CPUtime=15.89 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26300 26303 12560 0 -1 1077944384 32769 0 0 0 1489 100 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139763001751952 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26308] ppid=26300 vsize=10817488 memory=4760360 CPUtime=15.73 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26300 26303 12560 0 -1 1077944384 24275 0 0 0 1476 97 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762665839120 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26309] ppid=26300 vsize=10817488 memory=4144 CPUtime=15.96 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26300 26303 12560 0 -1 1077944384 23467 0 0 0 1498 98 0 0 20 0 17 0 64622143 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762664786576 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26310] ppid=26300 vsize=10817488 memory=36984 CPUtime=4.86 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26300 26303 12560 0 -1 1077944384 17419 0 0 0 482 4 0 0 20 0 17 0 64622145 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762365708784 139763056466562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26311] ppid=26300 vsize=10817488 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26300 26303 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 64622145 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762364655072 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26312] ppid=26300 vsize=10817488 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26300 26303 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 64622146 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762363602432 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26313] ppid=26300 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26300 26303 12560 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762362550992 139763056474011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26314] ppid=26300 vsize=10817488 memory=796 CPUtime=2.67 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26300 26303 12560 0 -1 1077944384 13587 0 0 0 265 2 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762361497584 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26315] ppid=26300 vsize=10817488 memory=4760360 CPUtime=2.78 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26300 26303 12560 0 -1 1077944384 13255 0 0 0 276 2 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762360445040 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26316] ppid=26300 vsize=10817488 memory=4760360 CPUtime=0.58 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26300 26303 12560 0 -1 1077944384 5941 0 0 0 57 1 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762359392496 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26317] ppid=26300 vsize=10817488 memory=4760360 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26300 26303 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64622148 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762358340192 139763056465621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
[pid=26303/tid=26318] ppid=26300 vsize=10817488 memory=2384 CPUtime=1.35 cores=0,2,4,6
/proc/26303/task/26318/stat : 26318 (java) S 26300 26303 12560 0 -1 1077944384 3063 0 0 0 70 65 0 0 20 0 17 0 64622156 11077107712 1190171 18446744073709551615 4194304 4196468 140723462572176 139762357287728 139763056466562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10227712 140723462574480 140723462574633 140723462574633 140723462578127 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4760684 KiB
Child status: 143
Real time (s): 2465.75
CPU time (s): 2520.16
CPU user time (s): 2515.22
CPU system time (s): 4.93325
CPU usage (%): 102.207
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 4760684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.22
system time used= 4.93325
maximum resident set size= 4761000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57470
involuntary context switches= 2640
# summary of solver processes directly reported to runsolver:
# pid: 26303
# total CPU time (s): 2520.16
# total CPU user time (s): 2515.22
# total CPU system time (s): 4.93325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4055 second user time and 22.6514 second system time
The end
Begin job on node126 at 2017-08-13 13:23:46 IDJOB=4263200 IDBENCH=124412 IDSOLVER=2651 FILE ID=node126/4263200-1502624267 RUNJOBID= node126-1502596857-19456 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263200-1502624267/watcher-4263200-1502624267 -o /tmp/evaluation-result-4263200-1502624267/solver-4263200-1502624267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19456 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263200-1502624267.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1078372044 node126.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.81 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.81 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.81 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.81 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: 25355756 kB MemAvailable: 25600592 kB Buffers: 261416 kB Cached: 253568 kB SwapCached: 524 kB Active: 6774468 kB Inactive: 149516 kB Active(anon): 6356776 kB Inactive(anon): 85544 kB Active(file): 417692 kB Inactive(file): 63972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 1656 kB Writeback: 12 kB AnonPages: 6408740 kB Mapped: 57872 kB Shmem: 33440 kB Slab: 184024 kB SReclaimable: 158012 kB SUnreclaim: 26012 kB KernelStack: 3472 kB PageTables: 17912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8472568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6266880 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 node126 at 2017-08-13 14:04:52