Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: sat4j-CSP 2017-07-05 | SAT (TO) | 1720 | 2400.31 | 2262.98 |
| 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 |
84.15/17.14 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 84.15/17.14 c This is free software under the dual EPL/GNU LGPL licenses. 84.15/17.14 c See www.sat4j.org for details. 84.15/17.14 c That software uses the Rhino library from the Mozilla project. 84.15/17.14 c version CUSTOM.v20170705 84.15/17.14 c java.runtime.name Java(TM) SE Runtime Environment 84.15/17.14 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 84.15/17.14 c java.vm.version 25.131-b11 84.15/17.14 c java.vm.vendor Oracle Corporation 84.15/17.14 c sun.arch.data.model 64 84.15/17.14 c java.version 1.8.0_131 84.15/17.14 c os.name Linux 84.15/17.14 c os.version 3.10.0-514.16.1.el7.x86_64 84.15/17.14 c os.arch amd64 84.15/17.14 c Free memory 499604488 84.15/17.14 c Max memory 7247757312 84.15/17.14 c Total memory 504889344 84.15/17.14 c Number of processors 8 84.15/17.14 c c --- Begin Solver configuration --- 84.15/17.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 84.15/17.14 c Learn all clauses as in MiniSAT 84.15/17.14 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 84.15/17.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 84.15/17.14 c No reason simplification 84.15/17.14 c Glucose 2.1 dynamic restart strategy 84.15/17.14 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 84.15/17.14 c timeout=2147483s 84.15/17.14 c DB Simplification allowed=false 84.15/17.14 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 84.15/17.14 c --- End Solver configuration --- 84.15/17.14 c constraints type 84.15/17.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 2590 84.15/17.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 496615 84.15/17.14 c org.sat4j.minisat.constraints.cnf.UnitClauses => 36 84.15/17.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24455270 84.15/17.14 c org.sat4j.specs.Constr$1 => 36 84.15/17.14 c org.sat4j.minisat.constraints.cnf.UnitClause => 2590 84.15/17.14 c 24957137 constraints processed. 122.30/47.93 o 2876 166.95/91.97 o 2341 169.01/93.81 o 1720 2400.25/2262.91 c starts : 8076 2400.25/2262.91 c conflicts : 4757795 2400.25/2262.91 c decisions : 23549107 2400.25/2262.91 c propagations : 5615498107 2400.25/2262.91 c inspects : 23354011831 2400.25/2262.91 c shortcuts : 0 2400.25/2262.91 c learnt literals : 2728 2400.25/2262.91 c learnt binary clauses : 4347 2400.25/2262.91 c learnt ternary clauses : 8794 2400.25/2262.91 c learnt constraints : 4755067 2400.25/2262.91 c ignored constraints : 0 2400.25/2262.91 c root simplifications : 0 2400.25/2262.91 c removed literals (reason simplification) : 0 2400.25/2262.91 c reason swapping (by a shorter reason) : 0 2400.25/2262.91 c Calls to reduceDB : 107 2400.25/2262.91 c Number of update (reduction) of LBD : 1558378 2400.25/2262.91 c Imported unit clauses : 0 2400.25/2262.91 c number of reductions to clauses (during analyze) : 0 2400.25/2262.91 c number of learned constraints concerned by reduction : 0 2400.25/2262.91 c number of learning phase by resolution : 0 2400.25/2262.91 c number of learning phase by cutting planes : 0 2400.25/2262.91 c number of rounding to 1 operations : 0 2400.25/2262.91 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.25/2262.91 c number of reductions of the coefficients by power 2 : 0 2400.25/2262.91 c number of right shift for reduction by power 2 : 0 2400.25/2262.91 c number of reductions of the coefficients by GCD over coefficients : 0 2400.25/2262.91 c speed (assignments/second) : 2500582.5003250693 2400.25/2262.91 c non guided choices 8002526 2400.25/2262.91 c learnt constraints type 2400.25/2262.91 s SATISFIABLE 2400.25/2262.92 v <instantiation type="solution"> 2400.25/2262.92 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> 2400.25/2262.92 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> 2400.25/2262.92 v </instantiation> 2400.25/2262.92
OK 1720
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243610-1500674552/watcher-4243610-1500674552 -o /tmp/evaluation-result-4243610-1500674552/solver-4243610-1500674552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500670209-12780 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243610-1500674552.xml pid=14086 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.14 2.49 4.06 2/263 14089 /proc/meminfo: memFree=28499456/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 2720585 369864704 1935 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 90299 1935 1081 1 0 79210 0 [pid=14089/tid=14090] ppid=14086 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) S 14086 14089 9829 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 2720586 369864704 1935 33554432000 4194304 4196468 140730419853040 140485438020000 140485433789058 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [startup+0.100062 s] /proc/loadavg: 2.14 2.49 4.06 2/263 14089 /proc/meminfo: memFree=28499456/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=10833892 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 4836 0 0 0 8 1 0 0 20 0 19 0 2720585 11093905408 5947 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2708473 5947 2600 1 0 2696911 0 [pid=14089/tid=14090] ppid=14086 vsize=10833892 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) S 14086 14089 9829 0 -1 1077944384 2932 0 0 0 7 0 0 0 20 0 19 0 2720586 11093905408 5947 33554432000 4194304 4196468 140730419853040 140485438012096 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10833892 [startup+0.200401 s] /proc/loadavg: 2.14 2.49 4.06 2/263 14089 /proc/meminfo: memFree=28499456/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=10900556 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 6810 0 0 0 19 2 0 0 20 0 20 0 2720585 11162169344 7643 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725139 7643 2783 1 0 2713552 0 [pid=14089/tid=14090] ppid=14086 vsize=10900556 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 4627 0 0 0 14 1 0 0 20 0 20 0 2720586 11162169344 7643 33554432000 4194304 4196468 140730419853040 140485438007008 140485417858398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 10900556 [startup+0.300298 s] /proc/loadavg: 2.14 2.49 4.06 2/263 14089 /proc/meminfo: memFree=28499456/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=10900556 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 8090 0 0 0 38 2 0 0 20 0 20 0 2720585 11162169344 9909 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725139 9909 2982 1 0 2713552 0 [pid=14089/tid=14090] ppid=14086 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 5055 0 0 0 24 1 0 0 20 0 20 0 2720586 11162169344 9909 33554432000 4194304 4196468 140730419853040 140485438014152 140485433799837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 10900556 [startup+0.700267 s] /proc/loadavg: 2.14 2.49 4.06 2/263 14089 /proc/meminfo: memFree=28499456/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=10900632 CPUtime=1.98 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 12985 0 0 0 192 6 0 0 20 0 20 0 2720585 11162247168 33616 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725158 33616 3088 1 0 2713552 0 [pid=14089/tid=14090] ppid=14086 vsize=10900632 CPUtime=0.65 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 5968 0 0 0 62 3 0 0 20 0 20 0 2720586 11162247168 33616 33554432000 4194304 4196468 140730419853040 140485438013000 140485415706820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 10900632 [startup+1.50113 s] /proc/loadavg: 2.14 2.49 4.06 11/283 14109 /proc/meminfo: memFree=28219740/32770624 swapFree=5756/215808 [pid=14089] ppid=14086 vsize=10902476 CPUtime=5.38 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 18246 0 0 0 457 81 0 0 20 0 20 0 2720585 11164135424 118509 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725619 118509 3130 1 0 2714013 0 [pid=14089/tid=14090] ppid=14086 vsize=10902476 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) S 14086 14089 9829 0 -1 1077944384 6077 0 0 0 118 5 0 0 20 0 20 0 2720586 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485438014144 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=10902476 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) R 14086 14089 9829 0 -1 4202560 115 0 0 0 7 7 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485370469592 140485418805330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=10902476 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) R 14086 14089 9829 0 -1 4202560 128 0 0 0 10 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485369416736 140485418805785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=10902476 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) R 14086 14089 9829 0 -1 4202560 101 0 0 0 11 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485368363992 140485418805785 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=10902476 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) R 14086 14089 9829 0 -1 4202560 80 0 0 0 9 7 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485367311328 140485418800032 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=10902476 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) R 14086 14089 9829 0 -1 4202560 126 0 0 0 10 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485366258392 140485418805785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=10902476 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) R 14086 14089 9829 0 -1 4202560 139 0 0 0 10 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485365205848 140485418226203 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=10902476 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) R 14086 14089 9829 0 -1 4202560 130 0 0 0 9 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485364152792 140485418805794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=10902476 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) R 14086 14089 9829 0 -1 4202560 120 0 0 0 10 9 0 0 20 0 20 0 2720587 11164135424 118509 33554432000 4194304 4196468 140730419853040 140485363100248 140485418805785 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2720590 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484707841312 140485433788117 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2720590 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484706789024 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2720591 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484705735920 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14103/stat : 14103 (java) S 14086 14089 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484704684496 140485433796507 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14104] ppid=14086 vsize=10902476 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14104/stat : 14104 (java) R 14086 14089 9829 0 -1 4202560 4596 0 0 0 107 1 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484703617336 140485415322590 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14105] ppid=14086 vsize=10902476 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14105/stat : 14105 (java) S 14086 14089 9829 0 -1 1077944384 1896 0 0 0 54 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484702558608 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14106] ppid=14086 vsize=10902476 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14106/stat : 14106 (java) S 14086 14089 9829 0 -1 1077944384 1218 0 0 0 59 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484701517280 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14107] ppid=14086 vsize=10902476 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 2069 0 0 0 38 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=10902476 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2720595 11164135424 118509 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 5.38 Current children cumulated vsize (KiB) 10902476 [startup+3.10075 s] /proc/loadavg: 2.14 2.49 4.06 3/283 14109 /proc/meminfo: memFree=27900772/32770624 swapFree=5756/215900 [pid=14089] ppid=14086 vsize=10900632 CPUtime=12.96 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 22814 0 0 0 1104 192 0 0 20 0 20 0 2720585 11162247168 193570 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725158 193570 3147 1 0 2713552 0 [pid=14089/tid=14090] ppid=14086 vsize=10900632 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 6102 0 0 0 167 5 0 0 20 0 20 0 2720586 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485438012952 140485045706529 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) S 14086 14089 9829 0 -1 1077944384 365 0 0 0 72 20 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485370469392 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) S 14086 14089 9829 0 -1 1077944384 439 0 0 0 74 23 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485369416848 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=10900632 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) S 14086 14089 9829 0 -1 1077944384 355 0 0 0 77 23 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485368363792 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=10900632 CPUtime=0.94 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) S 14086 14089 9829 0 -1 1077944384 454 0 0 0 74 20 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485367311248 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) S 14086 14089 9829 0 -1 1077944384 542 0 0 0 74 22 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485366258192 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) S 14086 14089 9829 0 -1 1077944384 340 0 0 0 71 21 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485365205648 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) S 14086 14089 9829 0 -1 1077944384 483 0 0 0 72 25 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485364152592 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=10900632 CPUtime=0.98 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) S 14086 14089 9829 0 -1 1077944384 469 0 0 0 73 25 0 0 20 0 20 0 2720587 11162247168 193570 33554432000 4194304 4196468 140730419853040 140485363100048 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 501 0 0 0 29 0 0 0 20 0 20 0 2720590 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484707842800 140485433789058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2720590 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484706789024 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2720591 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484705735920 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14103/stat : 14103 (java) S 14086 14089 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484704684496 140485433796507 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14104] ppid=14086 vsize=10900632 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14104/stat : 14104 (java) S 14086 14089 9829 0 -1 1077944384 5256 0 0 0 136 1 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484703631600 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14105] ppid=14086 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14105/stat : 14105 (java) S 14086 14089 9829 0 -1 1077944384 2491 0 0 0 67 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484702579056 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14106] ppid=14086 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14106/stat : 14106 (java) S 14086 14089 9829 0 -1 1077944384 1574 0 0 0 70 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484701526000 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14107] ppid=14086 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 2076 0 0 0 40 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2720595 11162247168 193570 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 12.96 Current children cumulated vsize (KiB) 10900632 [startup+6.30095 s] /proc/loadavg: 2.53 2.56 4.08 3/283 14109 /proc/meminfo: memFree=27405044/32770624 swapFree=5756/215900 [pid=14089] ppid=14086 vsize=10900632 CPUtime=29.19 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 32793 0 0 0 2595 324 0 0 20 0 20 0 2720585 11162247168 277069 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2725158 277069 3148 1 0 2713552 0 [pid=14089/tid=14090] ppid=14086 vsize=10900632 CPUtime=2.35 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 6611 0 0 0 228 7 0 0 20 0 20 0 2720586 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485438015320 140485046003103 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=10900632 CPUtime=2.78 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) S 14086 14089 9829 0 -1 1077944384 948 0 0 0 242 36 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485370469392 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=10900632 CPUtime=2.81 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) S 14086 14089 9829 0 -1 1077944384 771 0 0 0 241 40 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485369416848 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=10900632 CPUtime=2.84 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) S 14086 14089 9829 0 -1 1077944384 610 0 0 0 246 38 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485368363792 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=10900632 CPUtime=2.8 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) S 14086 14089 9829 0 -1 1077944384 659 0 0 0 243 37 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485367311248 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) S 14086 14089 9829 0 -1 1077944384 984 0 0 0 240 37 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485366258192 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) S 14086 14089 9829 0 -1 1077944384 731 0 0 0 239 38 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485365205648 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=10900632 CPUtime=2.83 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) S 14086 14089 9829 0 -1 1077944384 893 0 0 0 242 41 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485364152592 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=10900632 CPUtime=2.84 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) S 14086 14089 9829 0 -1 1077944384 1103 0 0 0 243 41 0 0 20 0 20 0 2720587 11162247168 277069 33554432000 4194304 4196468 140730419853040 140485363100048 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=10900632 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 4803 0 0 0 100 0 0 0 20 0 20 0 2720590 11162247168 277069 33554432000 4194304 4196468 140730419853040 140484707842800 140485433789058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2720590 11162247168 277069 33554432000 4194304 4196468 140730419853040 140484706789024 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2720591 11162247168 277069 33554432000 4194304 4196468 140730419853040 140484705735920 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=14089/tid=14107] ppid=14086 vsize=10967196 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 5491 0 0 0 58 1 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=10967196 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 2927 0 0 0 60 53 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14110] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14110/stat : 14110 (java) S 14086 14089 9829 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2722309 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484697314480 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 2399.61 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2262.7 s] /proc/loadavg: 3.23 2.38 2.34 10/283 14356 /proc/meminfo: memFree=20991088/32770624 swapFree=5740/218228 [pid=14089] ppid=14086 vsize=10967196 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 828300 0 0 0 238232 1770 0 0 20 0 21 0 2720585 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2741799 1251153 3173 1 0 2730193 0 [pid=14089/tid=14090] ppid=14086 vsize=10967196 CPUtime=2237.91 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 566255 0 0 0 223749 42 0 0 20 0 21 0 2720586 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485438016592 140485047433967 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=10967196 CPUtime=18.6 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) S 14086 14089 9829 0 -1 1077944384 25369 0 0 0 1653 207 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485370469392 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=10967196 CPUtime=18.79 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) S 14086 14089 9829 0 -1 1077944384 22409 0 0 0 1668 211 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485369416848 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=10967196 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) S 14086 14089 9829 0 -1 1077944384 20674 0 0 0 1675 202 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485368363792 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=10967196 CPUtime=18.53 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) S 14086 14089 9829 0 -1 1077944384 22267 0 0 0 1640 213 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485367311248 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=10967196 CPUtime=18.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) S 14086 14089 9829 0 -1 1077944384 28244 0 0 0 1660 199 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485366258192 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=10967196 CPUtime=18.61 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) S 14086 14089 9829 0 -1 1077944384 25445 0 0 0 1650 211 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485365205648 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=10967196 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) S 14086 14089 9829 0 -1 1077944384 35166 0 0 0 1662 215 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485364152592 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=10967196 CPUtime=18.71 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) S 14086 14089 9829 0 -1 1077944384 30637 0 0 0 1660 211 0 0 20 0 21 0 2720587 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140485363100048 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=10967196 CPUtime=5.09 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 18447 0 0 0 505 4 0 0 20 0 21 0 2720590 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484707842800 140485433789058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2720590 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484706789088 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 2720591 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484705735936 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14103/stat : 14103 (java) S 14086 14089 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484704684496 140485433796507 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14104] ppid=14086 vsize=10967196 CPUtime=2.31 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14104/stat : 14104 (java) S 14086 14089 9829 0 -1 1077944384 10136 0 0 0 229 2 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484703631600 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14105] ppid=14086 vsize=10967196 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14105/stat : 14105 (java) S 14086 14089 9829 0 -1 1077944384 7804 0 0 0 171 1 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484702579056 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14106] ppid=14086 vsize=10967196 CPUtime=1.74 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14106/stat : 14106 (java) S 14086 14089 9829 0 -1 1077944384 5589 0 0 0 173 1 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484701526000 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14107] ppid=14086 vsize=10967196 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 5491 0 0 0 58 1 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=10967196 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 2927 0 0 0 60 53 0 0 20 0 21 0 2720595 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14110] ppid=14086 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14110/stat : 14110 (java) S 14086 14089 9829 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2722309 11230408704 1251153 33554432000 4194304 4196468 140730419853040 140484697314480 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10967196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14089 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2262.81 s] /proc/loadavg: 3.23 2.38 2.34 10/283 14356 /proc/meminfo: memFree=20991088/32770624 swapFree=5740/218228 [pid=14089] ppid=14086 vsize=11166888 CPUtime=2400.13 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 834843 0 0 0 238242 1771 0 0 20 0 22 0 2720585 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2791722 1251230 3175 1 0 2780116 0 [pid=14089/tid=14090] ppid=14086 vsize=11166888 CPUtime=2238.02 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) R 14086 14089 9829 0 -1 4202560 571689 0 0 0 223759 43 0 0 20 0 22 0 2720586 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485438016920 140485041923952 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=11166888 CPUtime=18.6 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) S 14086 14089 9829 0 -1 1077944384 25369 0 0 0 1653 207 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485370469392 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=11166888 CPUtime=18.79 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) S 14086 14089 9829 0 -1 1077944384 22409 0 0 0 1668 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485369416848 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=11166888 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) S 14086 14089 9829 0 -1 1077944384 20674 0 0 0 1675 202 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485368363792 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=11166888 CPUtime=18.53 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) S 14086 14089 9829 0 -1 1077944384 22267 0 0 0 1640 213 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485367311248 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=11166888 CPUtime=18.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) S 14086 14089 9829 0 -1 1077944384 28244 0 0 0 1660 199 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485366258192 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=11166888 CPUtime=18.61 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) S 14086 14089 9829 0 -1 1077944384 25445 0 0 0 1650 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485365205648 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=11166888 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) S 14086 14089 9829 0 -1 1077944384 35166 0 0 0 1662 215 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485364152592 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=11166888 CPUtime=18.71 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) S 14086 14089 9829 0 -1 1077944384 30637 0 0 0 1660 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485363100048 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=11166888 CPUtime=5.09 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 18495 0 0 0 505 4 0 0 20 0 22 0 2720590 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484707842800 140485433789058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 2720590 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484706789088 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 22 0 2720591 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484705735936 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14103/stat : 14103 (java) S 14086 14089 9829 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484704684496 140485433796507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14104] ppid=14086 vsize=11166888 CPUtime=2.31 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14104/stat : 14104 (java) S 14086 14089 9829 0 -1 1077944384 10222 0 0 0 229 2 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484703631600 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14105] ppid=14086 vsize=11166888 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14105/stat : 14105 (java) S 14086 14089 9829 0 -1 1077944384 7807 0 0 0 171 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484702579056 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14106] ppid=14086 vsize=11166888 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14106/stat : 14106 (java) S 14086 14089 9829 0 -1 1077944384 5669 0 0 0 174 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484701526000 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14107] ppid=14086 vsize=11166888 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 5762 0 0 0 58 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=11166888 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 2927 0 0 0 60 53 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 2400.13 Current children cumulated vsize (KiB) 11166888 [startup+2262.9 s] /proc/loadavg: 3.23 2.38 2.34 10/283 14356 /proc/meminfo: memFree=20991088/32770624 swapFree=5740/218228 [pid=14089] ppid=14086 vsize=11166888 CPUtime=2400.25 cores=0,2,4,6,8,10,12,14 /proc/14089/stat : 14089 (java) S 14086 14089 9829 0 -1 1077944320 835646 0 0 0 238254 1771 0 0 20 0 22 0 2720585 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140730419835584 140485433777911 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 /proc/14089/statm: 2791722 1251230 3175 1 0 2780116 0 [pid=14089/tid=14090] ppid=14086 vsize=11166888 CPUtime=2238.1 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14090/stat : 14090 (java) S 14086 14089 9829 0 -1 1077944384 571705 0 0 0 223767 43 0 0 20 0 22 0 2720586 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485438020784 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14092] ppid=14086 vsize=11166888 CPUtime=18.6 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14092/stat : 14092 (java) S 14086 14089 9829 0 -1 1077944384 25369 0 0 0 1653 207 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485370469392 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14093] ppid=14086 vsize=11166888 CPUtime=18.79 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14093/stat : 14093 (java) S 14086 14089 9829 0 -1 1077944384 22409 0 0 0 1668 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485369416848 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14094] ppid=14086 vsize=11166888 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14094/stat : 14094 (java) S 14086 14089 9829 0 -1 1077944384 20674 0 0 0 1675 202 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485368363792 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14095] ppid=14086 vsize=11166888 CPUtime=18.53 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14095/stat : 14095 (java) S 14086 14089 9829 0 -1 1077944384 22267 0 0 0 1640 213 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485367311248 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14096] ppid=14086 vsize=11166888 CPUtime=18.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14096/stat : 14096 (java) S 14086 14089 9829 0 -1 1077944384 28244 0 0 0 1660 199 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485366258192 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14097] ppid=14086 vsize=11166888 CPUtime=18.61 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14097/stat : 14097 (java) S 14086 14089 9829 0 -1 1077944384 25445 0 0 0 1650 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485365205648 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14098] ppid=14086 vsize=11166888 CPUtime=18.77 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14098/stat : 14098 (java) S 14086 14089 9829 0 -1 1077944384 35166 0 0 0 1662 215 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485364152592 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14099] ppid=14086 vsize=11166888 CPUtime=18.71 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14099/stat : 14099 (java) S 14086 14089 9829 0 -1 1077944384 30637 0 0 0 1660 211 0 0 20 0 22 0 2720587 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140485363100048 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14100] ppid=14086 vsize=11166888 CPUtime=5.09 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14100/stat : 14100 (java) S 14086 14089 9829 0 -1 1077944384 18495 0 0 0 505 4 0 0 20 0 22 0 2720590 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484707842800 140485433789058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14101] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14101/stat : 14101 (java) S 14086 14089 9829 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 2720590 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484706789088 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14102] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14102/stat : 14102 (java) S 14086 14089 9829 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 22 0 2720591 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484705735936 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14103] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14103/stat : 14103 (java) S 14086 14089 9829 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484704684496 140485433796507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14104] ppid=14086 vsize=11166888 CPUtime=2.32 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14104/stat : 14104 (java) S 14086 14089 9829 0 -1 1077944384 10222 0 0 0 230 2 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484703631600 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14105] ppid=14086 vsize=11166888 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14105/stat : 14105 (java) S 14086 14089 9829 0 -1 1077944384 8594 0 0 0 174 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484702579056 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14106] ppid=14086 vsize=11166888 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14106/stat : 14106 (java) S 14086 14089 9829 0 -1 1077944384 5669 0 0 0 174 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484701526000 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14107] ppid=14086 vsize=11166888 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14107/stat : 14107 (java) S 14086 14089 9829 0 -1 1077944384 5762 0 0 0 58 1 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484700473456 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14108] ppid=14086 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14108/stat : 14108 (java) S 14086 14089 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484699421664 140485433788117 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 [pid=14089/tid=14109] ppid=14086 vsize=11166888 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/14089/task/14109/stat : 14109 (java) S 14086 14089 9829 0 -1 1077944384 2927 0 0 0 60 53 0 0 20 0 22 0 2720595 11434893312 1251230 33554432000 4194304 4196468 140730419853040 140484698369200 140485433789058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140730419860651 140730419860804 140730419860804 140730419863503 0 Current children cumulated CPU time (s) 2400.25 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2262.98 CPU time (s): 2400.31 CPU user time (s): 2382.55 CPU system time (s): 17.7603 CPU usage (%): 106.069 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2382.55 system time used= 17.7603 maximum resident set size= 5005216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 836610 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56648 involuntary context switches= 122542 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.6386 second user time and 18.1044 second system time The end
Begin job on node146 at 2017-07-22 00:02:32 IDJOB=4243610 IDBENCH=124412 IDSOLVER=2623 FILE ID=node146/4243610-1500674552 RUNJOBID= node146-1500670209-12780 PBS_JOBID= 20623275 Free space on /tmp= 61792 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-4243610-1500674552/watcher-4243610-1500674552 -o /tmp/evaluation-result-4243610-1500674552/solver-4243610-1500674552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500670209-12780 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243610-1500674552.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1457924509 node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.96 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 28500188 kB MemAvailable: 28521752 kB Buffers: 52572 kB Cached: 277612 kB SwapCached: 0 kB Active: 3665368 kB Inactive: 224664 kB Active(anon): 3562164 kB Inactive(anon): 8856 kB Active(file): 103204 kB Inactive(file): 215808 kB Unevictable: 5756 kB Mlocked: 5788 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1436 kB Writeback: 36 kB AnonPages: 3469936 kB Mapped: 42228 kB Shmem: 8852 kB Slab: 69140 kB SReclaimable: 36776 kB SUnreclaim: 32364 kB KernelStack: 4592 kB PageTables: 12132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4832772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3317760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61788 MiB End job on node146 at 2017-07-22 00:40:15