Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 1720 | 252.14 | 220.94501 |
| 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 | 251.895 |
| 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 |
41.56/15.72 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 41.56/15.72 c This is free software under the dual EPL/GNU LGPL licenses. 41.56/15.72 c See www.sat4j.org for details. 41.56/15.72 c That software uses the Rhino library from the Mozilla project. 41.56/15.72 c version CUSTOM.v20170705 41.56/15.72 c java.runtime.name Java(TM) SE Runtime Environment 41.56/15.72 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 41.56/15.72 c java.vm.version 25.131-b11 41.56/15.72 c java.vm.vendor Oracle Corporation 41.56/15.72 c sun.arch.data.model 64 41.56/15.72 c java.version 1.8.0_131 41.56/15.72 c os.name Linux 41.56/15.72 c os.version 3.10.0-514.16.1.el7.x86_64 41.56/15.72 c os.arch amd64 41.56/15.72 c Free memory 499604488 41.56/15.72 c Max memory 7247757312 41.56/15.72 c Total memory 504889344 41.56/15.72 c Number of processors 4 41.56/15.72 c c --- Begin Solver configuration --- 41.56/15.72 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 41.56/15.72 c Learn all clauses as in MiniSAT 41.56/15.72 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 41.56/15.72 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 41.56/15.72 c No reason simplification 41.56/15.72 c Glucose 2.1 dynamic restart strategy 41.56/15.72 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 41.56/15.72 c timeout=2147483s 41.56/15.72 c DB Simplification allowed=false 41.56/15.72 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 41.56/15.72 c --- End Solver configuration --- 41.56/15.72 c constraints type 41.56/15.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 2590 41.56/15.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 496615 41.56/15.72 c org.sat4j.minisat.constraints.cnf.UnitClauses => 36 41.56/15.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24455270 41.56/15.72 c org.sat4j.specs.Constr$1 => 36 41.56/15.72 c org.sat4j.minisat.constraints.cnf.UnitClause => 2590 41.56/15.72 c 24957137 constraints processed. 76.40/46.19 o 2876 120.49/89.57 o 2341 122.42/91.36 o 1720 252.09/220.90 c starts : 4148 252.09/220.90 c conflicts : 365107 252.09/220.90 c decisions : 13854970 252.09/220.90 c propagations : 780156545 252.09/220.90 c inspects : 1405389202 252.09/220.90 c shortcuts : 0 252.09/220.90 c learnt literals : 1762 252.09/220.90 c learnt binary clauses : 2465 252.09/220.90 c learnt ternary clauses : 5964 252.09/220.90 c learnt constraints : 363345 252.09/220.90 c ignored constraints : 0 252.09/220.90 c root simplifications : 0 252.09/220.90 c removed literals (reason simplification) : 0 252.09/220.90 c reason swapping (by a shorter reason) : 0 252.09/220.90 c Calls to reduceDB : 32 252.09/220.90 c Number of update (reduction) of LBD : 210271 252.09/220.90 c Imported unit clauses : 0 252.09/220.90 c number of reductions to clauses (during analyze) : 0 252.09/220.90 c number of learned constraints concerned by reduction : 0 252.09/220.90 c number of learning phase by resolution : 0 252.09/220.90 c number of learning phase by cutting planes : 0 252.09/220.90 c number of rounding to 1 operations : 0 252.09/220.90 c number of easy rounding to 1 operations (no literal elimination needed) : 0 252.09/220.90 c number of reductions of the coefficients by power 2 : 0 252.09/220.90 c number of right shift for reduction by power 2 : 0 252.09/220.90 c number of reductions of the coefficients by GCD over coefficients : 0 252.09/220.90 c speed (assignments/second) : 3803878.9097735197 252.09/220.90 c non guided choices 7873585 252.09/220.90 c learnt constraints type 252.09/220.90 s SATISFIABLE 252.09/220.91 v <instantiation type="solution"> 252.09/220.91 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> 252.09/220.91 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> 252.09/220.91 v </instantiation> 252.09/220.91
OK 1720
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8980 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258350-1502645291/watcher-4258350-1502645291 -o /tmp/evaluation-result-4258350-1502645291/solver-4258350-1502645291 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258350-1502645291.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9208, runsolver pid=9205
[startup+0.100092 s]*
/proc/loadavg: 2.88 3.52 3.65 6/203 9217
/proc/meminfo: memFree=25172812/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10151672 memory=22852 CPUtime=0.04 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 4299 0 0 0 3 1 0 0 20 0 9 0 66722444 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2537918 5713 2155 1 0 2527415 0
[pid=9208/tid=9210] ppid=9205 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) R 9205 9208 17093 0 -1 4202560 2942 0 0 0 3 0 0 0 20 0 9 0 66722450 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969870856056 139969848269520 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66722451 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10151672 memory=140515473303168 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66722451 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66722451 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66722451 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10151672 memory=140515473303168 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66722452 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66722452 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969429689376 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66722453 10395312128 5713 18446744073709551615 4194304 4196468 140724117164048 139969428636528 139969866630869 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 22852 KiB
[startup+0.212168 s]*
/proc/loadavg: 2.88 3.52 3.65 6/209 9223
/proc/meminfo: memFree=25167468/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10553140 memory=30788 CPUtime=0.11 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 5857 0 0 0 9 2 0 0 20 0 15 0 66722444 10806415360 7697 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2638692 7697 2793 1 0 2628164 0
[pid=9208/tid=9210] ppid=9205 vsize=10554768 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) R 9205 9208 17093 0 -1 4202560 4189 0 0 0 7 1 0 0 20 0 15 0 66722450 10808082432 8093 18446744073709551615 4194304 4196468 140724117164048 139969870808880 139969859300381 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10554768 memory=330 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10808082432 8093 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10554768 memory=140515473855338 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10808082432 8093 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10808082432 8093 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10554768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66722451 10808082432 8093 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10554768 memory=140515473303168 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66722452 10808082432 7981 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10554768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66722452 10808082432 7715 18446744073709551615 4194304 4196468 140724117164048 139969429689376 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66722453 10808082432 7715 18446744073709551615 4194304 4196468 140724117164048 139969428636528 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10808082432 7715 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10553140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 66722455 10806415360 7715 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722455 10806415360 7475 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10553140 memory=140515473303168 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 66722455 10806415360 7475 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10805432320 7469 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10552180 memory=140515473303168 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722462 10805432320 7219 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10553140 KiB
Current children cumulated memory: 30788 KiB
[startup+0.310569 s]*
/proc/loadavg: 2.88 3.52 3.65 6/209 9223
/proc/meminfo: memFree=25157884/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10551156 memory=37920 CPUtime=0.25 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 8496 0 0 0 22 3 0 0 20 0 15 0 66722444 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2637789 9480 2867 1 0 2627261 0
[pid=9208/tid=9210] ppid=9205 vsize=10551156 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) R 9205 9208 17093 0 -1 4202560 6165 0 0 0 16 2 0 0 20 0 15 0 66722450 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969870851376 139969507036943 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66722451 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66722452 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66722452 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969429689376 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66722453 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139969428636528 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) R 9205 9208 17093 0 -1 4202560 523 0 0 0 1 0 0 0 20 0 15 0 66722455 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969844519152 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) R 9205 9208 17093 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 66722455 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) R 9205 9208 17093 0 -1 4202560 394 0 0 0 3 0 0 0 20 0 15 0 66722455 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969850701150 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722462 10804383744 9480 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37920 KiB
[startup+0.700761 s]
/proc/loadavg: 2.88 3.52 3.65 8/209 9223
/proc/meminfo: memFree=25143608/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10551232 memory=113172 CPUtime=1.41 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 13617 0 0 0 136 5 0 0 20 0 15 0 66722444 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2637808 28293 3062 1 0 2627261 0
[pid=9208/tid=9210] ppid=9205 vsize=10551232 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) R 9205 9208 17093 0 -1 4202560 7538 0 0 0 52 3 0 0 20 0 15 0 66722450 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969870854928 139969852311261 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722451 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66722451 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66722452 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66722452 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969429689376 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66722453 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139969428636528 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10551232 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) R 9205 9208 17093 0 -1 4202560 1555 0 0 0 26 0 0 0 20 0 15 0 66722455 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968903095808 139969846275856 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10551232 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) R 9205 9208 17093 0 -1 4202560 1428 0 0 0 24 0 0 0 20 0 15 0 66722455 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968902037704 139969848164386 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10551232 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 1727 0 0 0 32 0 0 0 20 0 15 0 66722455 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10551232 memory=15 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10551232 memory=69 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66722462 10804461568 28293 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 113172 KiB
[startup+1.50139 s]
/proc/loadavg: 2.88 3.52 3.65 8/209 9223
/proc/meminfo: memFree=24984760/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10551232 memory=441212 CPUtime=3.83 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 18626 0 0 0 359 24 0 0 20 0 15 0 66722444 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2637808 110303 3102 1 0 2627261 0
[pid=9208/tid=9210] ppid=9205 vsize=10551232 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9205 9208 17093 0 -1 1077944384 7658 0 0 0 115 6 0 0 20 0 15 0 66722450 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969870856768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10551232 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) R 9205 9208 17093 0 -1 4202560 169 0 0 0 9 4 0 0 20 0 15 0 66722451 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969851642784 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10551232 memory=6673 CPUtime=0.12 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) R 9205 9208 17093 0 -1 4202560 70 0 0 0 9 3 0 0 20 0 15 0 66722451 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969851644718 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10551232 memory=4420 CPUtime=0.14 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) R 9205 9208 17093 0 -1 4202560 142 0 0 0 10 4 0 0 20 0 15 0 66722451 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969475374168 139969851644718 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10551232 memory=6628 CPUtime=0.14 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) R 9205 9208 17093 0 -1 4202560 168 0 0 0 10 4 0 0 20 0 15 0 66722451 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969848246608 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10551232 memory=164 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66722452 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969430741920 139969866630869 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66722452 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969429689376 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66722453 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139969428636528 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10551232 memory=8772 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66722455 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10551232 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 4182 0 0 0 94 0 0 0 20 0 15 0 66722455 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139968903094480 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10551232 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 2796 0 0 0 73 0 0 0 20 0 15 0 66722455 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10551232 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 1997 0 0 0 37 1 0 0 20 0 15 0 66722455 10804461568 110303 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
################
# More data... #
################
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 10543 0 0 0 780 82 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10617796 memory=7680170660397595203 CPUtime=8.69 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 5126 0 0 0 782 87 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10617796 memory=21152 CPUtime=8.71 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 4869 0 0 0 789 82 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10617796 memory=3996408 CPUtime=2.27 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 6483 0 0 0 227 0 0 0 20 0 16 0 66722452 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10617796 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 66722452 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969429689440 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10617796 memory=281030716828400 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 66722453 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969428636544 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10617796 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10617796 memory=3996408 CPUtime=2.41 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 9552 0 0 0 240 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10617796 memory=2248 CPUtime=2.44 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 12285 0 0 0 243 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10617796 memory=68 CPUtime=0.58 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 5137 0 0 0 57 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10617796 memory=6003687807013900595 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10617796 memory=3996408 CPUtime=0.09 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1013 0 0 0 4 5 0 0 20 0 16 0 66722462 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9224] ppid=9205 vsize=10617796 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9224/stat : 9224 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66724025 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968897844144 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 193.62 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3996408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+220.701 s]
/proc/loadavg: 2.36 3.05 3.45 3/211 9308
/proc/meminfo: memFree=24203608/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10617796 memory=3996408 CPUtime=252.05 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 87501 0 0 0 24855 350 0 0 20 0 16 0 66722444 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2654449 999102 3146 1 0 2643902 0
[pid=9208/tid=9210] ppid=9205 vsize=10617796 memory=3996408 CPUtime=209.51 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) R 9205 9208 17093 0 -1 4202560 25921 0 0 0 20939 12 0 0 20 0 16 0 66722450 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969870859496 139969507250249 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10617796 memory=3996408 CPUtime=8.61 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 5035 0 0 0 787 74 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10617796 memory=3996408 CPUtime=8.62 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 10543 0 0 0 780 82 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10617796 memory=3996408 CPUtime=8.69 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 5126 0 0 0 782 87 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10617796 memory=3996408 CPUtime=8.71 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 4869 0 0 0 789 82 0 0 20 0 16 0 66722451 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10617796 memory=3996408 CPUtime=2.27 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 6501 0 0 0 227 0 0 0 20 0 16 0 66722452 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10617796 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 66722452 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969429689440 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10617796 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 66722453 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139969428636544 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10617796 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10617796 memory=3996408 CPUtime=2.41 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 9565 0 0 0 240 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10617796 memory=7680170660397595203 CPUtime=2.44 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 12299 0 0 0 243 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10617796 memory=4300 CPUtime=0.58 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 5145 0 0 0 57 1 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10617796 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66722455 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10617796 memory=288230621803970871 CPUtime=0.12 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1089 0 0 0 6 6 0 0 20 0 16 0 66722462 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9224] ppid=9205 vsize=10617796 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9224/stat : 9224 (java) S 9205 9208 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66724025 10872623104 999102 18446744073709551615 4194304 4196468 140724117164048 139968897844144 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3996408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+220.945 s]
# the end of solver process 9208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.609 s, system=3.53106 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+220.805 s]
/proc/loadavg: 2.36 3.05 3.45 3/211 9308
/proc/meminfo: memFree=24203608/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10817488 memory=3996708 CPUtime=252.09 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 89204 0 0 0 24859 350 0 0 20 0 17 0 66722444 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2704372 999177 3148 1 0 2693825 0
[pid=9208/tid=9210] ppid=9205 vsize=10817488 memory=1732 CPUtime=209.54 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9205 9208 17093 0 -1 1077944384 26529 0 0 0 20942 12 0 0 20 0 17 0 66722450 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969870863536 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10817488 memory=5788 CPUtime=8.61 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 5035 0 0 0 787 74 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10817488 memory=4612 CPUtime=8.62 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 10543 0 0 0 780 82 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10817488 memory=37620 CPUtime=8.69 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 5126 0 0 0 782 87 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10817488 memory=1296 CPUtime=8.71 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 4869 0 0 0 789 82 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10817488 memory=2420 CPUtime=2.27 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 6535 0 0 0 227 0 0 0 20 0 17 0 66722452 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10817488 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 66722452 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969429689440 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10817488 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66722453 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969428636544 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10817488 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10817488 memory=4612 CPUtime=2.41 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 9654 0 0 0 240 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10817488 memory=431 CPUtime=2.44 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 12429 0 0 0 243 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10817488 memory=250 CPUtime=0.58 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 5378 0 0 0 57 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10817488 memory=2271 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10817488 memory=301 CPUtime=0.12 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1089 0 0 0 6 6 0 0 20 0 17 0 66722462 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3996708 KiB
[startup+220.901 s]
/proc/loadavg: 2.36 3.05 3.45 3/211 9308
/proc/meminfo: memFree=24203608/32770624 swapFree=67108860/67108860
[pid=9208] ppid=9205 vsize=10817488 memory=3996708 CPUtime=252.09 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9205 9208 17093 0 -1 1077944320 89204 0 0 0 24859 350 0 0 20 0 17 0 66722444 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 140724117146592 139969866620663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
/proc/9208/statm: 2704372 999177 3148 1 0 2693825 0
[pid=9208/tid=9210] ppid=9205 vsize=10817488 memory=3996408 CPUtime=209.54 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9205 9208 17093 0 -1 1077944384 26529 0 0 0 20942 12 0 0 20 0 17 0 66722450 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969870863536 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9211] ppid=9205 vsize=10817488 memory=3996408 CPUtime=8.61 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9205 9208 17093 0 -1 1077944384 5035 0 0 0 787 74 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969831902352 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9212] ppid=9205 vsize=10817488 memory=3996408 CPUtime=8.62 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9205 9208 17093 0 -1 1077944384 10543 0 0 0 780 82 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969476426768 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9213] ppid=9205 vsize=10817488 memory=3996408 CPUtime=8.69 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9205 9208 17093 0 -1 1077944384 5126 0 0 0 782 87 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969475373968 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9214] ppid=9205 vsize=10817488 memory=3996408 CPUtime=8.71 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9205 9208 17093 0 -1 1077944384 4869 0 0 0 789 82 0 0 20 0 17 0 66722451 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969474321168 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9215] ppid=9205 vsize=10817488 memory=3996408 CPUtime=2.27 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9205 9208 17093 0 -1 1077944384 6535 0 0 0 227 0 0 0 20 0 17 0 66722452 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969430743408 139969866631810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9216] ppid=9205 vsize=10817488 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9205 9208 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 66722452 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969429689440 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9217] ppid=9205 vsize=10817488 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9205 9208 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66722453 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139969428636544 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9218] ppid=9205 vsize=10817488 memory=3996408 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9205 9208 17093 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968904161104 139969866639259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9219] ppid=9205 vsize=10817488 memory=7680170660397595203 CPUtime=2.41 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9205 9208 17093 0 -1 1077944384 9654 0 0 0 240 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968903109488 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9220] ppid=9205 vsize=10817488 memory=4300 CPUtime=2.44 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9205 9208 17093 0 -1 1077944384 12429 0 0 0 243 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968902056688 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9221] ppid=9205 vsize=10817488 memory=288230574492221466 CPUtime=0.58 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9205 9208 17093 0 -1 1077944384 5378 0 0 0 57 1 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968901003888 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9222] ppid=9205 vsize=10817488 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9205 9208 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66722455 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968899951328 139969866630869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
[pid=9208/tid=9223] ppid=9205 vsize=10817488 memory=12200 CPUtime=0.12 cores=1,3,5,7
/proc/9208/task/9223/stat : 9223 (java) S 9205 9208 17093 0 -1 1077944384 1089 0 0 0 6 6 0 0 20 0 17 0 66722462 11077107712 999177 18446744073709551615 4194304 4196468 140724117164048 139968898898608 139969866631810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140724117172629 140724117172782 140724117172782 140724117176271 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3996708 KiB
Child status: 143
Real time (s): 220.945
CPU time (s): 252.14
CPU user time (s): 248.609
CPU system time (s): 3.53106
CPU usage (%): 114.119
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3996708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.609
system time used= 3.53106
maximum resident set size= 3997312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7801
involuntary context switches= 568
# summary of solver processes directly reported to runsolver:
# pid: 9208
# total CPU time (s): 252.14
# total CPU user time (s): 248.609
# total CPU system time (s): 3.53106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63977 second user time and 1.83671 second system time
The end
Begin job on node127 at 2017-08-13 19:14:03 IDJOB=4258350 IDBENCH=124412 IDSOLVER=2643 FILE ID=node127/4258350-1502645291 RUNJOBID= node127-1502642200-6041 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258350-1502645291/watcher-4258350-1502645291 -o /tmp/evaluation-result-4258350-1502645291/solver-4258350-1502645291 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258350-1502645291.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1827023535 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25185348 kB MemAvailable: 25620580 kB Buffers: 199996 kB Cached: 531160 kB SwapCached: 0 kB Active: 6938276 kB Inactive: 211908 kB Active(anon): 6368468 kB Inactive(anon): 83872 kB Active(file): 569808 kB Inactive(file): 128036 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1700 kB Writeback: 0 kB AnonPages: 6461672 kB Mapped: 59020 kB Shmem: 33444 kB Slab: 132472 kB SReclaimable: 106444 kB SUnreclaim: 26028 kB KernelStack: 3696 kB PageTables: 17076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6905488 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6232064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 19:17:44