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) | 1393 | 2400.12 | 2291.56 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 783 |
| Best CPU time to get the best result obtained on this benchmark | 19994.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
81.36/16.71 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 81.36/16.71 c This is free software under the dual EPL/GNU LGPL licenses. 81.36/16.71 c See www.sat4j.org for details. 81.36/16.71 c That software uses the Rhino library from the Mozilla project. 81.36/16.71 c version CUSTOM.v20170705 81.36/16.71 c java.runtime.name Java(TM) SE Runtime Environment 81.36/16.71 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 81.36/16.71 c java.vm.version 25.131-b11 81.36/16.71 c java.vm.vendor Oracle Corporation 81.36/16.71 c sun.arch.data.model 64 81.36/16.71 c java.version 1.8.0_131 81.36/16.71 c os.name Linux 81.36/16.71 c os.version 3.10.0-514.16.1.el7.x86_64 81.36/16.71 c os.arch amd64 81.36/16.71 c Free memory 499604488 81.36/16.71 c Max memory 7247757312 81.36/16.71 c Total memory 504889344 81.36/16.71 c Number of processors 8 81.36/16.71 c c --- Begin Solver configuration --- 81.36/16.71 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 81.36/16.71 c Learn all clauses as in MiniSAT 81.36/16.71 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 81.36/16.71 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 81.36/16.71 c No reason simplification 81.36/16.71 c Glucose 2.1 dynamic restart strategy 81.36/16.71 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 81.36/16.71 c timeout=2147483s 81.36/16.71 c DB Simplification allowed=false 81.36/16.71 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 81.36/16.71 c --- End Solver configuration --- 81.36/16.71 c constraints type 81.36/16.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 2310 81.36/16.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 440913 81.36/16.71 c org.sat4j.minisat.constraints.cnf.UnitClauses => 34 81.36/16.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21699150 81.36/16.71 c org.sat4j.specs.Constr$1 => 34 81.36/16.71 c org.sat4j.minisat.constraints.cnf.UnitClause => 2310 81.36/16.71 c 22144751 constraints processed. 111.43/45.09 o 2384 113.00/46.45 o 1661 114.66/47.84 o 1606 1294.35/1190.35 o 1601 1296.04/1191.91 o 1393 2400.07/2291.51 c starts : 9631 2400.07/2291.51 c conflicts : 5229004 2400.07/2291.51 c decisions : 20271224 2400.07/2291.51 c propagations : 5973410654 2400.07/2291.51 c inspects : 24271031676 2400.07/2291.51 c shortcuts : 0 2400.07/2291.51 c learnt literals : 2452 2400.07/2291.51 c learnt binary clauses : 3388 2400.07/2291.51 c learnt ternary clauses : 6828 2400.07/2291.51 c learnt constraints : 5226552 2400.07/2291.51 c ignored constraints : 0 2400.07/2291.51 c root simplifications : 0 2400.07/2291.51 c removed literals (reason simplification) : 0 2400.07/2291.51 c reason swapping (by a shorter reason) : 0 2400.07/2291.51 c Calls to reduceDB : 141 2400.07/2291.51 c Number of update (reduction) of LBD : 1715309 2400.07/2291.51 c Imported unit clauses : 0 2400.07/2291.51 c number of reductions to clauses (during analyze) : 0 2400.07/2291.51 c number of learned constraints concerned by reduction : 0 2400.07/2291.51 c number of learning phase by resolution : 0 2400.07/2291.51 c number of learning phase by cutting planes : 0 2400.07/2291.51 c number of rounding to 1 operations : 0 2400.07/2291.51 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.07/2291.51 c number of reductions of the coefficients by power 2 : 0 2400.07/2291.51 c number of right shift for reduction by power 2 : 0 2400.07/2291.51 c number of reductions of the coefficients by GCD over coefficients : 0 2400.07/2291.51 c speed (assignments/second) : 2626002.830243424 2400.07/2291.51 c non guided choices 5606666 2400.07/2291.51 c learnt constraints type 2400.07/2291.51 s SATISFIABLE 2400.07/2291.52 v <instantiation type="solution"> 2400.07/2291.52 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 2400.07/2291.52 v <values> 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 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 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 96 100 98 65 96 30 74 27 73 97 72 54 94 98 7 100 97 69 22 21 38 97 51 47 71 94 3 17 18 23 47 42 1 </values> 2400.07/2291.52 v </instantiation> 2400.07/2291.52
OK 1393
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-4243620-1500674649/watcher-4243620-1500674649 -o /tmp/evaluation-result-4243620-1500674649/solver-4243620-1500674649 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500674309-15754 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243620-1500674649.xml pid=15925 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: 15.36 10.07 5.24 10/266 15928 /proc/meminfo: memFree=23699988/32770624 swapFree=5992/205488 [pid=15928] ppid=15925 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 2237 0 0 0 0 0 0 0 20 0 6 0 2734917 8554348544 2508 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2088721 2508 1208 1 0 2077632 0 [pid=15928/tid=15929] ppid=15925 vsize=8357968 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) R 15925 15928 9819 0 -1 4202560 948 0 0 0 0 0 0 0 20 0 9 0 2734917 8558559232 2508 33554432000 4194304 4196468 140724899510976 139797101971152 139797090469633 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=8685648 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) R 15925 15928 9819 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2734918 8894103552 2508 33554432000 4194304 4196468 140724899510976 139797034420920 139797090446935 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=8882256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) D 15925 15928 9819 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2734918 9095430144 2508 33554432000 4194304 4196468 140724899510976 139797033368120 139797089957603 0 4 0 16784584 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=8751184 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) D 15925 15928 9819 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2734918 8961212416 2508 33554432000 4194304 4196468 140724899510976 139797032315320 139797089957603 0 4 0 16784584 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) D 15925 15928 9819 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 2734918 9028321280 2508 33554432000 4194304 4196468 140724899510976 139797031262616 139797077753648 0 4 0 16784584 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2734918 9028321280 2508 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2734918 9028321280 2508 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=9131088 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) R 15925 15928 9819 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 2734918 9350234112 2508 33554432000 4194304 4196468 140724899510976 139797028104120 139797089957603 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10204016 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2734918 10448912384 2537 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [startup+0.100154 s] /proc/loadavg: 15.36 10.07 5.24 10/266 15928 /proc/meminfo: memFree=23699988/32770624 swapFree=5992/205488 [pid=15928] ppid=15925 vsize=10434508 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 4181 0 0 0 5 1 0 0 20 0 13 0 2734917 10684936192 5355 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2608627 5355 2146 1 0 2597065 0 [pid=15928/tid=15929] ppid=15925 vsize=10434508 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) D 15925 15928 9819 0 -1 1077944384 2804 0 0 0 5 1 0 0 20 0 13 0 2734917 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797101965176 139797090409072 0 4 0 16800971 18446744072101613092 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10434508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2734918 10684936192 5355 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800971 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10434508 [startup+0.200948 s] /proc/loadavg: 15.36 10.07 5.24 10/266 15928 /proc/meminfo: memFree=23699988/32770624 swapFree=5992/205488 [pid=15928] ppid=15925 vsize=10900556 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 6985 0 0 0 19 2 0 0 20 0 20 0 2734917 11162169344 7844 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2725139 7844 2850 1 0 2713552 0 [pid=15928/tid=15929] ppid=15925 vsize=10900556 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) R 15925 15928 9819 0 -1 4202560 4640 0 0 0 14 1 0 0 20 0 20 0 2734917 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797101958304 139797081810270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 7844 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 10900556 [startup+0.300651 s] /proc/loadavg: 15.36 10.07 5.24 10/266 15928 /proc/meminfo: memFree=23699988/32770624 swapFree=5992/205488 [pid=15928] ppid=15925 vsize=10900556 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 8071 0 0 0 38 2 0 0 20 0 20 0 2734917 11162169344 9864 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2725139 9864 2917 1 0 2713552 0 [pid=15928/tid=15929] ppid=15925 vsize=10900556 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) R 15925 15928 9819 0 -1 4202560 5088 0 0 0 23 1 0 0 20 0 20 0 2734917 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797101953264 139797097751709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9864 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162169344 9886 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 10900556 [startup+0.700606 s] /proc/loadavg: 15.36 10.07 5.24 10/266 15928 /proc/meminfo: memFree=23699988/32770624 swapFree=5992/205488 [pid=15928] ppid=15925 vsize=10900632 CPUtime=1.91 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 12422 0 0 0 186 5 0 0 20 0 20 0 2734917 11162247168 31030 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2725158 31030 3091 1 0 2713552 0 [pid=15928/tid=15929] ppid=15925 vsize=10900632 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) R 15925 15928 9819 0 -1 4202560 5944 0 0 0 62 2 0 0 20 0 20 0 2734917 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797101957128 139796709735578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734918 11162247168 31030 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 1.91 Current children cumulated vsize (KiB) 10900632 [startup+1.50074 s] /proc/loadavg: 15.36 10.07 5.24 10/267 15948 /proc/meminfo: memFree=23881784/32770624 swapFree=5992/205556 [pid=15928] ppid=15925 vsize=10900632 CPUtime=5.04 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 17799 0 0 0 433 71 0 0 20 0 20 0 2734917 11162247168 119695 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2725158 119695 3127 1 0 2713552 0 [pid=15928/tid=15929] ppid=15925 vsize=10900632 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) S 15925 15928 9819 0 -1 1077944384 6060 0 0 0 117 6 0 0 20 0 20 0 2734917 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797101966080 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) R 15925 15928 9819 0 -1 4202560 138 0 0 0 11 6 0 0 20 0 20 0 2734918 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797034421592 139797082757657 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) R 15925 15928 9819 0 -1 4202560 91 0 0 0 10 7 0 0 20 0 20 0 2734918 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797033368792 139797082757657 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) R 15925 15928 9819 0 -1 4202560 121 0 0 0 9 8 0 0 20 0 20 0 2734918 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797032315992 139797082178075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) R 15925 15928 9819 0 -1 4202560 79 0 0 0 8 7 0 0 20 0 20 0 2734918 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797031262880 139797082757657 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) R 15925 15928 9819 0 -1 4202560 125 0 0 0 10 9 0 0 20 0 20 0 2734918 11162247168 119695 33554432000 4194304 4196468 140724899510976 139797030210392 139797082757202 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10900632 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) R 15925 15928 9819 0 -1 4202560 106 0 0 0 9 7 0 0 20 0 20 0 2734918 11162247168 120207 33554432000 4194304 4196468 140724899510976 139797029157592 139797082757657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) R 15925 15928 9819 0 -1 4202560 119 0 0 0 8 9 0 0 20 0 20 0 2734918 11162247168 120207 33554432000 4194304 4196468 140724899510976 139797028104792 139797082757657 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) R 15925 15928 9819 0 -1 4202560 97 0 0 0 7 5 0 0 20 0 20 0 2734918 11162247168 120207 33554432000 4194304 4196468 140724899510976 139797027051992 139797082757657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15939] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15939/stat : 15939 (java) S 15925 15928 9819 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 2734921 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796573549984 139797097739989 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15940] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15940/stat : 15940 (java) S 15925 15928 9819 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2734921 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796572497440 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15941] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15941/stat : 15941 (java) S 15925 15928 9819 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2734922 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796571444592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15942] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15942/stat : 15942 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734928 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796570392912 139797097748379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15943] ppid=15925 vsize=10900632 CPUtime=0.53 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15943/stat : 15943 (java) S 15925 15928 9819 0 -1 1077944384 1913 0 0 0 53 0 0 0 20 0 20 0 2734928 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796569325264 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15944] ppid=15925 vsize=10900632 CPUtime=0.93 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15944/stat : 15944 (java) D 15925 15928 9819 0 -1 4202560 3504 0 0 0 93 0 0 0 20 0 20 0 2734928 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796568272936 139797090446935 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15945] ppid=15925 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15945/stat : 15945 (java) S 15925 15928 9819 0 -1 1077944384 1929 0 0 0 47 0 0 0 20 0 20 0 2734928 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796567234672 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15946] ppid=15925 vsize=10900632 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15946/stat : 15946 (java) S 15925 15928 9819 0 -1 1077944384 2076 0 0 0 43 1 0 0 20 0 20 0 2734928 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796566181872 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15947] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15947/stat : 15947 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2734929 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796565130336 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15948] ppid=15925 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15948/stat : 15948 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2734929 11162247168 120207 33554432000 4194304 4196468 140724899510976 139796564077616 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 5.04 ################ # More data... # ################ [pid=15928/tid=15946] ppid=15925 vsize=10967196 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15946/stat : 15946 (java) S 15925 15928 9819 0 -1 1077944384 5060 0 0 0 61 2 0 0 20 0 21 0 2734928 11230408704 1079446 33554432000 4194304 4196468 140724899510976 139796566181872 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15947] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15947/stat : 15947 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2734929 11230408704 1079446 33554432000 4194304 4196468 140724899510976 139796565130336 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15948] ppid=15925 vsize=10967196 CPUtime=1.06 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15948/stat : 15948 (java) S 15925 15928 9819 0 -1 1077944384 2587 0 0 0 58 48 0 0 20 0 21 0 2734929 11230408704 1079446 33554432000 4194304 4196468 140724899510976 139796564077616 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=16034] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/16034/stat : 16034 (java) S 15925 15928 9819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2736597 11230408704 1079446 33554432000 4194304 4196468 140724899510976 139796563023152 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 2370.99 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2291.3 s] /proc/loadavg: 7.30 7.13 5.43 10/283 16366 /proc/meminfo: memFree=19421032/32770624 swapFree=5992/207772 [pid=15928] ppid=15925 vsize=10967196 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 278294 0 0 0 238485 1516 0 0 20 0 21 0 2734917 11230408704 1079488 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2741799 1079488 3170 1 0 2730193 0 [pid=15928/tid=15929] ppid=15925 vsize=10967196 CPUtime=2271.19 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) R 15925 15928 9819 0 -1 4202560 163732 0 0 0 227092 27 0 0 20 0 21 0 2734917 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797101968512 139796711515516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=10967196 CPUtime=14.62 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 7867 0 0 0 1288 174 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=10967196 CPUtime=14.72 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 12305 0 0 0 1290 182 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=10967196 CPUtime=14.66 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 10846 0 0 0 1276 190 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=10967196 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 7828 0 0 0 1276 184 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=10967196 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 6438 0 0 0 1297 163 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=10967196 CPUtime=14.65 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 7511 0 0 0 1285 180 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=10967196 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 8367 0 0 0 1272 186 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=10967196 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 8145 0 0 0 1284 174 0 0 20 0 21 0 2734918 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15939] ppid=15925 vsize=10967196 CPUtime=4.88 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15939/stat : 15939 (java) S 15925 15928 9819 0 -1 1077944384 12946 0 0 0 484 4 0 0 20 0 21 0 2734921 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796573551472 139797097740930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15940] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15940/stat : 15940 (java) S 15925 15928 9819 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 2734921 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796572497504 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15941] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15941/stat : 15941 (java) S 15925 15928 9819 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 21 0 2734922 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796571444608 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15942] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15942/stat : 15942 (java) S 15925 15928 9819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2734928 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796570392912 139797097748379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15943] ppid=15925 vsize=10967196 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15943/stat : 15943 (java) S 15925 15928 9819 0 -1 1077944384 7439 0 0 0 160 1 0 0 20 0 21 0 2734928 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796569340272 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15944] ppid=15925 vsize=10967196 CPUtime=2.19 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15944/stat : 15944 (java) S 15925 15928 9819 0 -1 1077944384 8589 0 0 0 218 1 0 0 20 0 21 0 2734928 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796568287472 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15945] ppid=15925 vsize=10967196 CPUtime=1.28 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15945/stat : 15945 (java) S 15925 15928 9819 0 -1 1077944384 7167 0 0 0 127 1 0 0 20 0 21 0 2734928 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796567234672 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15946] ppid=15925 vsize=10967196 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15946/stat : 15946 (java) S 15925 15928 9819 0 -1 1077944384 5065 0 0 0 61 2 0 0 20 0 21 0 2734928 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796566181872 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15947] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15947/stat : 15947 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2734929 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796565130336 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15948] ppid=15925 vsize=10967196 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15948/stat : 15948 (java) S 15925 15928 9819 0 -1 1077944384 2593 0 0 0 59 49 0 0 20 0 21 0 2734929 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796564077616 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=16034] ppid=15925 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/16034/stat : 16034 (java) S 15925 15928 9819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2736597 11230408704 1079488 33554432000 4194304 4196468 140724899510976 139796563023152 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 2400.01 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 15928 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2291.41 s] /proc/loadavg: 7.30 7.13 5.43 10/283 16366 /proc/meminfo: memFree=19421032/32770624 swapFree=5992/207772 [pid=15928] ppid=15925 vsize=11166888 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 280210 0 0 0 238491 1516 0 0 20 0 22 0 2734917 11434893312 1079571 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2791722 1079571 3172 1 0 2780116 0 [pid=15928/tid=15929] ppid=15925 vsize=11166888 CPUtime=2271.24 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) S 15925 15928 9819 0 -1 1077944384 164578 0 0 0 227097 27 0 0 20 0 22 0 2734917 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797101972656 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=11166888 CPUtime=14.62 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 7867 0 0 0 1288 174 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=11166888 CPUtime=14.72 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 12305 0 0 0 1290 182 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=11166888 CPUtime=14.66 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 10846 0 0 0 1276 190 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=11166888 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 7828 0 0 0 1276 184 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=11166888 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 6438 0 0 0 1297 163 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=11166888 CPUtime=14.65 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 7511 0 0 0 1285 180 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=11166888 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 8367 0 0 0 1272 186 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=11166888 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 8145 0 0 0 1284 174 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15939] ppid=15925 vsize=11166888 CPUtime=4.88 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15939/stat : 15939 (java) S 15925 15928 9819 0 -1 1077944384 12996 0 0 0 484 4 0 0 20 0 22 0 2734921 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796573551472 139797097740930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15940] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15940/stat : 15940 (java) S 15925 15928 9819 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 22 0 2734921 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796572497504 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15941] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15941/stat : 15941 (java) S 15925 15928 9819 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 22 0 2734922 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796571444608 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15942] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15942/stat : 15942 (java) S 15925 15928 9819 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796570392912 139797097748379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15943] ppid=15925 vsize=11166888 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15943/stat : 15943 (java) S 15925 15928 9819 0 -1 1077944384 7504 0 0 0 160 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796569340272 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15944] ppid=15925 vsize=11166888 CPUtime=2.19 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15944/stat : 15944 (java) S 15925 15928 9819 0 -1 1077944384 8589 0 0 0 218 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796568287472 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15945] ppid=15925 vsize=11166888 CPUtime=1.28 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15945/stat : 15945 (java) S 15925 15928 9819 0 -1 1077944384 7269 0 0 0 127 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796567234672 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15946] ppid=15925 vsize=11166888 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15946/stat : 15946 (java) S 15925 15928 9819 0 -1 1077944384 5328 0 0 0 62 2 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796566181872 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15947] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15947/stat : 15947 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2734929 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796565130336 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15948] ppid=15925 vsize=11166888 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15948/stat : 15948 (java) S 15925 15928 9819 0 -1 1077944384 2593 0 0 0 59 49 0 0 20 0 22 0 2734929 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796564077616 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 11166888 [startup+2291.5 s] /proc/loadavg: 7.30 7.13 5.43 10/283 16366 /proc/meminfo: memFree=19421032/32770624 swapFree=5992/207772 [pid=15928] ppid=15925 vsize=11166888 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14 /proc/15928/stat : 15928 (java) S 15925 15928 9819 0 -1 1077944320 280210 0 0 0 238491 1516 0 0 20 0 22 0 2734917 11434893312 1079571 33554432000 4194304 4196468 140724899510976 140724899493520 139797097729783 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 /proc/15928/statm: 2791722 1079571 3172 1 0 2780116 0 [pid=15928/tid=15929] ppid=15925 vsize=11166888 CPUtime=2271.24 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15929/stat : 15929 (java) S 15925 15928 9819 0 -1 1077944384 164578 0 0 0 227097 27 0 0 20 0 22 0 2734917 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797101972656 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15930] ppid=15925 vsize=11166888 CPUtime=14.62 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15930/stat : 15930 (java) S 15925 15928 9819 0 -1 1077944384 7867 0 0 0 1288 174 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797034421392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15931] ppid=15925 vsize=11166888 CPUtime=14.72 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15931/stat : 15931 (java) S 15925 15928 9819 0 -1 1077944384 12305 0 0 0 1290 182 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797033368592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15932] ppid=15925 vsize=11166888 CPUtime=14.66 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15932/stat : 15932 (java) S 15925 15928 9819 0 -1 1077944384 10846 0 0 0 1276 190 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797032315792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15933] ppid=15925 vsize=11166888 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15933/stat : 15933 (java) S 15925 15928 9819 0 -1 1077944384 7828 0 0 0 1276 184 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797031262992 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15934] ppid=15925 vsize=11166888 CPUtime=14.6 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15934/stat : 15934 (java) S 15925 15928 9819 0 -1 1077944384 6438 0 0 0 1297 163 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797030210192 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15935] ppid=15925 vsize=11166888 CPUtime=14.65 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15935/stat : 15935 (java) S 15925 15928 9819 0 -1 1077944384 7511 0 0 0 1285 180 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797029157392 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15936] ppid=15925 vsize=11166888 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15936/stat : 15936 (java) S 15925 15928 9819 0 -1 1077944384 8367 0 0 0 1272 186 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797028104592 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15937] ppid=15925 vsize=11166888 CPUtime=14.58 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15937/stat : 15937 (java) S 15925 15928 9819 0 -1 1077944384 8145 0 0 0 1284 174 0 0 20 0 22 0 2734918 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139797027051792 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15939] ppid=15925 vsize=11166888 CPUtime=4.88 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15939/stat : 15939 (java) S 15925 15928 9819 0 -1 1077944384 12996 0 0 0 484 4 0 0 20 0 22 0 2734921 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796573551472 139797097740930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15940] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15940/stat : 15940 (java) S 15925 15928 9819 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 22 0 2734921 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796572497504 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15941] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15941/stat : 15941 (java) S 15925 15928 9819 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 22 0 2734922 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796571444608 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15942] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15942/stat : 15942 (java) S 15925 15928 9819 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796570392912 139797097748379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15943] ppid=15925 vsize=11166888 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15943/stat : 15943 (java) S 15925 15928 9819 0 -1 1077944384 7504 0 0 0 160 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796569340272 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15944] ppid=15925 vsize=11166888 CPUtime=2.19 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15944/stat : 15944 (java) S 15925 15928 9819 0 -1 1077944384 8589 0 0 0 218 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796568287472 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15945] ppid=15925 vsize=11166888 CPUtime=1.28 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15945/stat : 15945 (java) S 15925 15928 9819 0 -1 1077944384 7269 0 0 0 127 1 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796567234672 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15946] ppid=15925 vsize=11166888 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15946/stat : 15946 (java) S 15925 15928 9819 0 -1 1077944384 5328 0 0 0 62 2 0 0 20 0 22 0 2734928 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796566181872 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15947] ppid=15925 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15947/stat : 15947 (java) S 15925 15928 9819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2734929 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796565130336 139797097739989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 [pid=15928/tid=15948] ppid=15925 vsize=11166888 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/15928/task/15948/stat : 15948 (java) S 15925 15928 9819 0 -1 1077944384 2593 0 0 0 59 49 0 0 20 0 22 0 2734929 11434893312 1079571 33554432000 4194304 4196468 140724899510976 139796564077616 139797097740930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140724899517611 140724899517764 140724899517764 140724899520463 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2291.56 CPU time (s): 2400.12 CPU user time (s): 2384.93 CPU system time (s): 15.1924 CPU usage (%): 104.737 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2384.93 system time used= 15.1924 maximum resident set size= 4318444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281296 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55476 involuntary context switches= 127727 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.122 second user time and 16.9107 second system time The end
Begin job on node103 at 2017-07-22 00:04:09 IDJOB=4243620 IDBENCH=124459 IDSOLVER=2623 FILE ID=node103/4243620-1500674649 RUNJOBID= node103-1500674309-15754 PBS_JOBID= 20623311 Free space on /tmp= 62012 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243620-1500674649/watcher-4243620-1500674649 -o /tmp/evaluation-result-4243620-1500674649/solver-4243620-1500674649 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500674309-15754 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243620-1500674649.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=1118444849 node103.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.12 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 : 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.12 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 : 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.12 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 : 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.12 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 : 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 : 2000.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.12 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 : 1600.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.12 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 : 1600.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.12 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 : 2668.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.12 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 : 2668.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: 23700344 kB MemAvailable: 23710268 kB Buffers: 42884 kB Cached: 277152 kB SwapCached: 0 kB Active: 8459824 kB Inactive: 214136 kB Active(anon): 8357100 kB Inactive(anon): 8648 kB Active(file): 102724 kB Inactive(file): 205488 kB Unevictable: 5992 kB Mlocked: 5996 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1620 kB Writeback: 0 kB AnonPages: 8359732 kB Mapped: 42076 kB Shmem: 8852 kB Slab: 67140 kB SReclaimable: 35092 kB SUnreclaim: 32048 kB KernelStack: 4640 kB PageTables: 21488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8644024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 7499776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62012 MiB End job on node103 at 2017-07-22 00:42:21