Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | OPT | 14 | 851.59497 | 845.422 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml |
| MD5SUM | 93e2fab38e142a37945526a0e34ac36b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.39048499 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 799 |
| Number of constraints | 781 |
| Number of domains | 26 |
| Minimum domain size | 24 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":24,"count":80},{"size":25,"count":719}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":2,"count":780},{"degree":40,"count":19}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":2,"count":741},{"arity":19,"count":1},{"arity":20,"count":39}] |
| Number of extensional constraints | 741 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":741},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
4.44/1.67 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 4.44/1.67 c This is free software under the dual EPL/GNU LGPL licenses. 4.44/1.67 c See www.sat4j.org for details. 4.44/1.67 c That software uses the Rhino library from the Mozilla project. 4.44/1.67 c version CUSTOM.v20170705 4.44/1.67 c java.runtime.name Java(TM) SE Runtime Environment 4.44/1.67 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 4.44/1.67 c java.vm.version 25.131-b11 4.44/1.67 c java.vm.vendor Oracle Corporation 4.44/1.67 c sun.arch.data.model 64 4.44/1.67 c java.version 1.8.0_131 4.44/1.67 c os.name Linux 4.44/1.67 c os.version 3.10.0-514.16.1.el7.x86_64 4.44/1.67 c os.arch amd64 4.44/1.67 c Free memory 499604488 4.44/1.67 c Max memory 7247757312 4.44/1.67 c Total memory 504889344 4.44/1.67 c Number of processors 4 4.44/1.67 c c --- Begin Solver configuration --- 4.44/1.67 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 4.44/1.67 c Learn all clauses as in MiniSAT 4.44/1.67 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 4.44/1.67 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 4.44/1.67 c No reason simplification 4.44/1.67 c Glucose 2.1 dynamic restart strategy 4.44/1.67 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 4.44/1.67 c timeout=2147483s 4.44/1.67 c DB Simplification allowed=false 4.44/1.67 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 4.44/1.67 c --- End Solver configuration --- 4.44/1.67 c constraints type 4.44/1.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 1598 4.44/1.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 924350 4.44/1.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 615887 4.44/1.67 c org.sat4j.minisat.constraints.cnf.UnitClause => 1596 4.44/1.67 c 1543431 constraints processed. 76.83/71.82 o 512 94.70/89.29 o 303 109.61/104.05 o 242 138.68/133.10 o 178 210.01/204.20 o 175 269.86/264.07 o 168 309.18/303.33 o 134 351.92/346.02 o 118 420.06/414.12 o 87 456.38/450.45 o 84 504.41/498.40 o 68 533.93/527.90 o 64 557.95/551.93 o 63 566.86/560.89 o 48 581.67/575.68 o 37 624.89/618.88 o 34 677.03/670.95 o 31 705.04/698.95 o 23 718.45/712.32 o 22 737.67/731.58 o 21 752.11/745.90 o 15 793.54/787.37 o 14 851.57/845.40 c starts : 2810 851.57/845.40 c conflicts : 864627 851.57/845.40 c decisions : 72967063 851.57/845.40 c propagations : 2182579352 851.57/845.40 c inspects : 4747703796 851.57/845.40 c shortcuts : 0 851.57/845.40 c learnt literals : 2715 851.57/845.40 c learnt binary clauses : 9380 851.57/845.40 c learnt ternary clauses : 10713 851.57/845.40 c learnt constraints : 861911 851.57/845.40 c ignored constraints : 0 851.57/845.40 c root simplifications : 0 851.57/845.40 c removed literals (reason simplification) : 0 851.57/845.40 c reason swapping (by a shorter reason) : 0 851.57/845.40 c Calls to reduceDB : 99 851.57/845.40 c Number of update (reduction) of LBD : 420280 851.57/845.40 c Imported unit clauses : 0 851.57/845.40 c number of reductions to clauses (during analyze) : 0 851.57/845.40 c number of learned constraints concerned by reduction : 0 851.57/845.40 c number of learning phase by resolution : 0 851.57/845.40 c number of learning phase by cutting planes : 0 851.57/845.40 c number of rounding to 1 operations : 0 851.57/845.40 c number of easy rounding to 1 operations (no literal elimination needed) : 0 851.57/845.40 c number of reductions of the coefficients by power 2 : 0 851.57/845.40 c number of right shift for reduction by power 2 : 0 851.57/845.40 c number of reductions of the coefficients by GCD over coefficients : 0 851.57/845.40 c speed (assignments/second) : 2586910.945939379 851.57/845.40 c non guided choices 47685649 851.57/845.40 c learnt constraints type 851.57/845.40 s OPTIMUM FOUND 851.57/845.40 v <instantiation type="optimum" cost="14"> 851.57/845.40 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] </list> 851.57/845.40 v <values> 19 29 51 128 166 200 230 238 278 340 367 582 592 608 648 669 686 724 831 563 553 531 454 416 382 352 344 304 242 215 0 10 26 66 87 104 142 249 563 553 531 454 416 382 352 344 304 242 215 0 10 26 66 87 104 142 249 32 22 0 77 115 149 179 187 227 289 316 531 541 557 597 618 635 673 780 32 22 0 77 115 149 179 187 227 289 316 531 541 557 597 618 635 673 780 181 171 149 72 34 0 30 38 78 140 167 382 392 408 448 469 486 524 631 181 171 149 72 34 0 30 38 78 140 167 382 392 408 448 469 486 524 631 0 10 32 109 147 181 211 219 259 321 348 563 573 589 629 650 667 705 812 348 338 316 239 201 167 137 129 89 27 0 215 225 241 281 302 319 357 464 348 338 316 239 201 167 137 129 89 27 0 215 225 241 281 302 319 357 464 705 695 673 596 558 524 494 486 446 384 357 142 132 116 76 55 38 0 107 706 696 674 597 559 525 495 487 447 385 358 143 133 117 77 56 39 1 106 667 657 635 558 520 486 456 448 408 346 319 104 94 78 38 17 0 38 145 667 657 635 558 520 486 456 448 408 346 319 104 94 78 38 17 0 38 145 9 1 23 100 138 172 202 210 250 312 339 554 564 580 620 641 658 696 803 650 640 618 541 503 469 439 431 391 329 302 87 77 61 21 0 17 55 162 650 640 618 541 503 469 439 431 391 329 302 87 77 61 21 0 17 55 162 634 624 602 525 487 453 423 415 375 313 286 71 61 45 5 16 33 71 178 261 251 229 152 114 80 50 42 2 60 87 302 312 328 368 389 406 444 551 259 249 227 150 112 78 48 40 0 62 89 304 314 330 370 391 408 446 553 589 579 557 480 442 408 378 370 330 268 241 26 16 0 40 61 78 116 223 589 579 557 480 442 408 378 370 330 268 241 26 16 0 40 61 78 116 223 30 20 2 79 117 151 181 189 229 291 318 533 543 559 599 620 637 675 782 30 20 2 79 117 151 181 189 229 291 318 533 543 559 599 620 637 675 782 219 209 187 110 72 38 8 0 40 102 129 344 354 370 410 431 448 486 593 219 209 187 110 72 38 8 0 40 102 129 344 354 370 410 431 448 486 593 812 802 780 703 665 631 601 593 553 491 464 249 239 223 183 162 145 107 0 812 802 780 703 665 631 601 593 553 491 464 249 239 223 183 162 145 107 0 147 137 115 38 0 34 64 72 112 174 201 416 426 442 482 503 520 558 665 147 137 115 38 0 34 64 72 112 174 201 416 426 442 482 503 520 558 665 109 99 77 0 38 72 102 110 150 212 239 454 464 480 520 541 558 596 703 109 99 77 0 38 72 102 110 150 212 239 454 464 480 520 541 558 596 703 11 1 21 98 136 170 200 208 248 310 337 552 562 578 618 639 656 694 801 10 0 22 99 137 171 201 209 249 311 338 553 563 579 619 640 657 695 802 629 619 597 520 482 448 418 410 370 308 281 66 56 40 0 21 38 76 183 573 563 541 464 426 392 362 354 314 252 225 10 0 16 56 77 94 132 239 321 311 289 212 174 140 110 102 62 0 27 242 252 268 308 329 346 384 491 321 311 289 212 174 140 110 102 62 0 27 242 252 268 308 329 346 384 491 211 201 179 102 64 30 0 8 48 110 137 352 362 378 418 439 456 494 601 211 201 179 102 64 30 0 8 48 110 137 352 362 378 418 439 456 494 601 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 5 2 0 0 0 2 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 </values> 851.57/845.40 v </instantiation> 851.57/845.40
OK 14
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3513 MiB free)
memory of node 1: 16384 MiB (14901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262897-1502635349/watcher-4262897-1502635349 -o /tmp/evaluation-result-4262897-1502635349/solver-4262897-1502635349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502620602-10435 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262897-1502635349.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12651, runsolver pid=12648
[startup+0.100879 s]*
/proc/loadavg: 4.68 4.29 3.29 7/215 12666
/proc/meminfo: memFree=18837604/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10555400 memory=31080 CPUtime=0.12 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 6382 0 0 0 11 1 0 0 20 0 15 0 96616042 10808729600 7770 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2638850 7770 2788 1 0 2627263 0
[pid=12651/tid=12653] ppid=12648 vsize=10555400 memory=-8701690554792447363 CPUtime=0.09 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 4230 0 0 0 8 1 0 0 20 0 15 0 96616042 10808729600 7770 33554432000 4194304 4196468 140721136494624 139857901505664 139857881355644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 7770 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 7770 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 7770 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 7770 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616044 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96616045 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856931922848 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96616045 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616047 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 96616047 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) S 12648 12651 6758 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 96616047 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 96616047 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616048 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616048 10808729600 7770 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31080 KiB
[startup+0.210556 s]*
/proc/loadavg: 4.68 4.29 3.29 7/215 12666
/proc/meminfo: memFree=18828812/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10555400 memory=39860 CPUtime=0.32 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 7585 0 0 0 30 2 0 0 20 0 15 0 96616042 10808729600 9965 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2638850 9965 2962 1 0 2627263 0
[pid=12651/tid=12653] ppid=12648 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 4583 0 0 0 18 1 0 0 20 0 15 0 96616042 10808729600 9965 33554432000 4194304 4196468 140721136494624 139857901508976 139857881355614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 9965 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10555400 memory=288370809398089344 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 9965 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 9965 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808729600 9965 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616044 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96616045 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856931922848 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96616045 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616047 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 15 0 96616047 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) S 12648 12651 6758 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 96616047 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0.07 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) R 12648 12651 6758 0 -1 4202560 832 0 0 0 7 0 0 0 20 0 15 0 96616047 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856926657184 139857889512254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616048 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10555400 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616048 10808729600 9965 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39860 KiB
[startup+0.310437 s]*
/proc/loadavg: 4.68 4.29 3.29 8/215 12666
/proc/meminfo: memFree=18822368/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10555476 memory=46576 CPUtime=0.54 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 8194 0 0 0 52 2 0 0 20 0 15 0 96616042 10808807424 11644 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2638869 11644 3034 1 0 2627263 0
[pid=12651/tid=12653] ppid=12648 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 5017 0 0 0 28 2 0 0 20 0 15 0 96616042 10808807424 11644 33554432000 4194304 4196468 140721136494624 139857901509584 139857881355614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10555476 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 11644 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10555476 memory=288370809398089344 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 11644 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 11644 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 11644 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10555476 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96616044 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96616045 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856931922848 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96616045 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616047 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10555476 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) R 12648 12651 6758 0 -1 4202560 599 0 0 0 5 0 0 0 20 0 15 0 96616047 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856928766448 139857878792912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10555476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) R 12648 12651 6758 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 15 0 96616047 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10555476 memory=140433246377600 CPUtime=0.14 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) R 12648 12651 6758 0 -1 4202560 951 0 0 0 14 0 0 0 20 0 15 0 96616047 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856926661360 139857890371963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616048 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10555476 memory=140433246377600 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616048 10808807424 11644 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46576 KiB
[startup+0.701275 s]
/proc/loadavg: 4.68 4.29 3.29 9/215 12666
/proc/meminfo: memFree=18684976/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10555476 memory=186576 CPUtime=1.8 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 11750 0 0 0 174 6 0 0 20 0 15 0 96616042 10808807424 46644 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2638869 46644 3112 1 0 2627263 0
[pid=12651/tid=12653] ppid=12648 vsize=10555476 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 5467 0 0 0 63 4 0 0 20 0 15 0 96616042 10808807424 46644 33554432000 4194304 4196468 140721136494624 139857901506960 139857510626020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10555476 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 46644 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10555476 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 46644 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10555476 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 46644 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10555476 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 96616043 10808807424 46644 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96616044 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10555476 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96616045 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856931922848 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10555476 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96616045 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10555476 memory=7014751519700506193 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616047 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10555476 memory=7883949533517342546 CPUtime=0.38 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) R 12648 12651 6758 0 -1 4202560 1654 0 0 0 38 0 0 0 20 0 15 0 96616047 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856928758936 139857883290895 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10555476 memory=7236547281622689387 CPUtime=0.37 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) R 12648 12651 6758 0 -1 4202560 1306 0 0 0 37 0 0 0 20 0 15 0 96616047 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856927700688 139857876492355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10555476 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 1841 0 0 0 32 0 0 0 20 0 15 0 96616047 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96616048 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10555476 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96616048 10808807424 46644 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 186576 KiB
[startup+1.50075 s]
/proc/loadavg: 4.68 4.29 3.29 8/215 12666
/proc/meminfo: memFree=18645832/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10555476 memory=426392 CPUtime=4.18 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 21917 0 0 0 399 19 0 0 20 0 15 0 96616042 10808807424 106598 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2638869 106598 3141 1 0 2627263 0
[pid=12651/tid=12653] ppid=12648 vsize=10555476 memory=6791534058613427641 CPUtime=1.36 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 5528 0 0 0 130 6 0 0 20 0 15 0 96616042 10808807424 106598 33554432000 4194304 4196468 140721136494624 139857901511136 139857510738817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10555476 memory=-8754540793456063680 CPUtime=0.08 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 142 0 0 0 7 1 0 0 20 0 15 0 96616043 10808807424 106598 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10555476 memory=-2843874019102283166 CPUtime=0.09 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 146 0 0 0 7 2 0 0 20 0 15 0 96616043 10808807424 106598 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10555476 memory=5450919713671312938 CPUtime=0.08 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 15 0 96616043 10808807424 106598 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10555476 memory=7077795359591905642 CPUtime=0.1 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 141 0 0 0 8 2 0 0 20 0 15 0 96616043 10808807424 106598 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 96616044 10808807424 106598 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
################
# More data... #
################
Current children cumulated memory: 683664 KiB
[startup+843.201 s]
/proc/loadavg: 2.00 2.35 2.87 3/218 12775
/proc/meminfo: memFree=23631160/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10622040 memory=683664 CPUtime=849.52 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 56083 0 0 0 84890 62 0 0 20 0 16 0 96616042 10876968960 170916 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2655510 170916 3155 1 0 2643904 0
[pid=12651/tid=12653] ppid=12648 vsize=10622040 memory=1580 CPUtime=842.95 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 18118 0 0 0 84285 10 0 0 20 0 16 0 96616042 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857901511752 139857511823509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10622040 memory=928 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 386 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10622040 memory=2244 CPUtime=0.22 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1106 0 0 0 16 6 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10622040 memory=4124 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10622040 memory=2196 CPUtime=0.21 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 16 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10622040 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 1206 0 0 0 1 1 0 0 20 0 16 0 96616044 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10622040 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856931922912 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10622040 memory=28204 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10622040 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10622040 memory=2396 CPUtime=2.45 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 12473 0 0 0 244 1 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10622040 memory=1728 CPUtime=2.2 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) S 12648 12651 6758 0 -1 1077944384 11866 0 0 0 218 2 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10622040 memory=683664 CPUtime=0.51 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 7036 0 0 0 50 1 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10622040 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616048 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10622040 memory=1716 CPUtime=0.48 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1895 0 0 0 22 26 0 0 20 0 16 0 96616048 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12667] ppid=12648 vsize=10622040 memory=10588 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12667/stat : 12667 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96616212 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856923501360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 849.52 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 683664 KiB
[startup+844.801 s]
/proc/loadavg: 2.00 2.35 2.87 3/218 12775
/proc/meminfo: memFree=23631160/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10622040 memory=683664 CPUtime=851.12 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 56083 0 0 0 85050 62 0 0 20 0 16 0 96616042 10876968960 170916 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2655510 170916 3155 1 0 2643904 0
[pid=12651/tid=12653] ppid=12648 vsize=10622040 memory=7378964729169996898 CPUtime=844.55 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 18118 0 0 0 84445 10 0 0 20 0 16 0 96616042 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857901511752 139857511823287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10622040 memory=681616 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 386 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10622040 memory=10588 CPUtime=0.22 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1106 0 0 0 16 6 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10622040 memory=56 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10622040 memory=288285563059176142 CPUtime=0.21 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 16 5 0 0 20 0 16 0 96616043 10876968960 170916 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10622040 memory=683664 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 1206 0 0 0 1 1 0 0 20 0 16 0 96616044 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10622040 memory=683664 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856931922912 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10622040 memory=280866299874560 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10622040 memory=9223 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10622040 memory=19272 CPUtime=2.45 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 12473 0 0 0 244 1 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10622040 memory=6791534058613427641 CPUtime=2.2 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) S 12648 12651 6758 0 -1 1077944384 11866 0 0 0 218 2 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10622040 memory=1296 CPUtime=0.51 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 7036 0 0 0 50 1 0 0 20 0 16 0 96616047 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10622040 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616048 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10622040 memory=650836 CPUtime=0.48 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1895 0 0 0 22 26 0 0 20 0 16 0 96616048 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12667] ppid=12648 vsize=10622040 memory=650836 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12667/stat : 12667 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96616212 10876968960 170916 33554432000 4194304 4196468 140721136494624 139856923501360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 851.12 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 683664 KiB
[startup+845.201 s]
/proc/loadavg: 2.00 2.35 2.87 3/218 12775
/proc/meminfo: memFree=23631160/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10622040 memory=685720 CPUtime=851.55 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 56987 0 0 0 85093 62 0 0 20 0 16 0 96616042 10876968960 171430 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2655510 171430 3156 1 0 2643904 0
[pid=12651/tid=12653] ppid=12648 vsize=10622040 memory=6656426216303648864 CPUtime=844.95 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) R 12648 12651 6758 0 -1 4202560 18298 0 0 0 84485 10 0 0 20 0 16 0 96616042 10876968960 171430 33554432000 4194304 4196468 140721136494624 139857901511296 139857897297053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10622040 memory=6944656592455359580 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 386 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 171430 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10622040 memory=6944652177228980320 CPUtime=0.22 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1106 0 0 0 16 6 0 0 20 0 16 0 96616043 10876968960 171430 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10622040 memory=6944652177228980320 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 15 5 0 0 20 0 16 0 96616043 10876968960 171430 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10622040 memory=6944656592455097440 CPUtime=0.21 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 16 5 0 0 20 0 16 0 96616043 10876968960 171430 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10622040 memory=6944656592387989600 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 1206 0 0 0 1 1 0 0 20 0 16 0 96616044 10876968960 171430 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10622040 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 171430 33554432000 4194304 4196468 140721136494624 139856931922912 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10622040 memory=3047711553320166262 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96616045 10876968960 171430 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10622040 memory=8514701219730523551 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616047 10876968960 171430 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10622040 memory=6791534058613427641 CPUtime=2.46 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 12620 0 0 0 245 1 0 0 20 0 16 0 96616047 10876968960 171430 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10622040 memory=7739550757340467825 CPUtime=2.21 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) R 12648 12651 6758 0 -1 4202560 11989 0 0 0 219 2 0 0 20 0 16 0 96616047 10876968960 171431 33554432000 4194304 4196468 140721136494624 139856927714200 139857878469744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10622040 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 7490 0 0 0 50 1 0 0 20 0 16 0 96616047 10876968960 171431 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10622040 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616048 10876968960 171431 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10622040 memory=11040 CPUtime=0.48 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1895 0 0 0 22 26 0 0 20 0 16 0 96616048 10876968960 171431 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12667] ppid=12648 vsize=10622040 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12667/stat : 12667 (java) S 12648 12651 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96616212 10876968960 171431 33554432000 4194304 4196468 140721136494624 139856923501360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 851.55 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 685720 KiB
[startup+845.401 s]
/proc/loadavg: 2.00 2.35 2.87 3/218 12775
/proc/meminfo: memFree=23631160/32770624 swapFree=67108860/67108860
[pid=12651] ppid=12648 vsize=10755168 memory=687820 CPUtime=851.57 cores=1,3,5,7
/proc/12651/stat : 12651 (java) S 12648 12651 6758 0 -1 1077944320 57153 0 0 0 85095 62 0 0 20 0 16 0 96616042 11013292032 171955 33554432000 4194304 4196468 140721136494624 140721136477168 139857897275127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
/proc/12651/statm: 2688792 171955 3157 1 0 2677186 0
[pid=12651/tid=12653] ppid=12648 vsize=10755168 memory=6791534058613427641 CPUtime=844.95 cores=1,3,5,7
/proc/12651/task/12653/stat : 12653 (java) S 12648 12651 6758 0 -1 1077944384 18371 0 0 0 84485 10 0 0 20 0 16 0 96616042 11013292032 171955 33554432000 4194304 4196468 140721136494624 139857901515808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12654] ppid=12648 vsize=10755168 memory=140433150293311 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12654/stat : 12654 (java) S 12648 12651 6758 0 -1 1077944384 386 0 0 0 15 5 0 0 20 0 16 0 96616043 11013292032 171955 33554432000 4194304 4196468 140721136494624 139857833966352 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12655] ppid=12648 vsize=10755168 memory=15872 CPUtime=0.22 cores=1,3,5,7
/proc/12651/task/12655/stat : 12655 (java) S 12648 12651 6758 0 -1 1077944384 1106 0 0 0 16 6 0 0 20 0 16 0 96616043 11013292032 171955 33554432000 4194304 4196468 140721136494624 139857832913808 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12656] ppid=12648 vsize=10755168 memory=4044 CPUtime=0.2 cores=1,3,5,7
/proc/12651/task/12656/stat : 12656 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 15 5 0 0 20 0 16 0 96616043 11013292032 171955 33554432000 4194304 4196468 140721136494624 139857831861264 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12657] ppid=12648 vsize=10755168 memory=16444 CPUtime=0.21 cores=1,3,5,7
/proc/12651/task/12657/stat : 12657 (java) S 12648 12651 6758 0 -1 1077944384 305 0 0 0 16 5 0 0 20 0 16 0 96616043 11013292032 171955 33554432000 4194304 4196468 140721136494624 139857830808720 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12658] ppid=12648 vsize=10755168 memory=16820 CPUtime=0.02 cores=1,3,5,7
/proc/12651/task/12658/stat : 12658 (java) S 12648 12651 6758 0 -1 1077944384 1206 0 0 0 1 1 0 0 20 0 16 0 96616044 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856932976624 139857897286274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12659] ppid=12648 vsize=10755168 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12659/stat : 12659 (java) S 12648 12651 6758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 96616045 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856931922912 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12660] ppid=12648 vsize=10755168 memory=636 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12660/stat : 12660 (java) S 12648 12651 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96616045 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856930870256 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12661] ppid=12648 vsize=10755168 memory=960 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12661/stat : 12661 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616047 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856929818832 139857897293723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12662] ppid=12648 vsize=10755168 memory=1236 CPUtime=2.46 cores=1,3,5,7
/proc/12651/task/12662/stat : 12662 (java) S 12648 12651 6758 0 -1 1077944384 12620 0 0 0 245 1 0 0 20 0 16 0 96616047 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856928766448 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12663] ppid=12648 vsize=10755168 memory=928 CPUtime=2.22 cores=1,3,5,7
/proc/12651/task/12663/stat : 12663 (java) S 12648 12651 6758 0 -1 1077944384 11994 0 0 0 220 2 0 0 20 0 16 0 96616047 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856927713904 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12664] ppid=12648 vsize=10755168 memory=2244 CPUtime=0.51 cores=1,3,5,7
/proc/12651/task/12664/stat : 12664 (java) S 12648 12651 6758 0 -1 1077944384 7493 0 0 0 50 1 0 0 20 0 16 0 96616047 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856926661360 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12665] ppid=12648 vsize=10755168 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/12651/task/12665/stat : 12665 (java) S 12648 12651 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96616048 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856925609056 139857897285333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
[pid=12651/tid=12666] ppid=12648 vsize=10755168 memory=2196 CPUtime=0.48 cores=1,3,5,7
/proc/12651/task/12666/stat : 12666 (java) S 12648 12651 6758 0 -1 1077944384 1895 0 0 0 22 26 0 0 20 0 16 0 96616048 11013292032 171955 33554432000 4194304 4196468 140721136494624 139856924555568 139857897286274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140721136501894 140721136502047 140721136502047 140721136504783 0
Current children cumulated CPU time: 851.57 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 687820 KiB
Child status: 0
Real time (s): 845.422
CPU time (s): 851.595
CPU user time (s): 850.961
CPU system time (s): 0.634105
CPU usage (%): 100.73
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 687820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 850.961
system time used= 0.634105
maximum resident set size= 689972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20574
involuntary context switches= 764
# summary of solver processes directly reported to runsolver:
# pid: 12651
# total CPU time (s): 851.595
# total CPU user time (s): 850.961
# total CPU system time (s): 0.634105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31977 second user time and 8.14607 second system time
The end
Begin job on node150 at 2017-08-13 16:28:10 IDJOB=4262897 IDBENCH=138356 IDSOLVER=2651 FILE ID=node150/4262897-1502635349 RUNJOBID= node150-1502620602-10435 PBS_JOBID= 20628304 Free space on /tmp= 61560 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff41.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262897-1502635349/watcher-4262897-1502635349 -o /tmp/evaluation-result-4262897-1502635349/solver-4262897-1502635349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502620602-10435 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262897-1502635349.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 93e2fab38e142a37945526a0e34ac36b RANDOM SEED=1270019322 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 18856912 kB MemAvailable: 23652564 kB Buffers: 238816 kB Cached: 4833208 kB SwapCached: 0 kB Active: 9045996 kB Inactive: 4391464 kB Active(anon): 8368152 kB Inactive(anon): 25068 kB Active(file): 677844 kB Inactive(file): 4366396 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1704 kB Writeback: 0 kB AnonPages: 8375480 kB Mapped: 55444 kB Shmem: 25224 kB Slab: 160852 kB SReclaimable: 134492 kB SUnreclaim: 26360 kB KernelStack: 3696 kB PageTables: 21448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8650844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8097792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61632 MiB End job on node150 at 2017-08-13 16:42:16