Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 175 | 245.89999 | 240.23 |
| 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.3849 |
| 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.53/1.85 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 4.53/1.85 c This is free software under the dual EPL/GNU LGPL licenses. 4.53/1.85 c See www.sat4j.org for details. 4.53/1.85 c That software uses the Rhino library from the Mozilla project. 4.53/1.85 c version CUSTOM.v20170705 4.53/1.85 c java.runtime.name Java(TM) SE Runtime Environment 4.53/1.85 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 4.53/1.85 c java.vm.version 25.131-b11 4.53/1.85 c java.vm.vendor Oracle Corporation 4.53/1.85 c sun.arch.data.model 64 4.53/1.85 c java.version 1.8.0_131 4.53/1.85 c os.name Linux 4.53/1.85 c os.version 3.10.0-514.16.1.el7.x86_64 4.53/1.85 c os.arch amd64 4.53/1.85 c Free memory 499604488 4.53/1.85 c Max memory 7247757312 4.53/1.85 c Total memory 504889344 4.53/1.85 c Number of processors 4 4.53/1.85 c c --- Begin Solver configuration --- 4.53/1.85 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 4.53/1.85 c Learn all clauses as in MiniSAT 4.53/1.85 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 4.53/1.85 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 4.53/1.85 c No reason simplification 4.53/1.85 c Glucose 2.1 dynamic restart strategy 4.53/1.85 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.53/1.85 c timeout=2147483s 4.53/1.85 c DB Simplification allowed=false 4.53/1.85 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 4.53/1.85 c --- End Solver configuration --- 4.53/1.85 c constraints type 4.53/1.85 c org.sat4j.minisat.constraints.card.MinWatchCard => 1598 4.53/1.85 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 924350 4.53/1.85 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 615887 4.53/1.85 c org.sat4j.minisat.constraints.cnf.UnitClause => 1596 4.53/1.85 c 1543431 constraints processed. 79.09/74.13 o 512 97.56/92.15 o 303 112.99/107.41 o 242 142.84/137.29 o 178 216.48/210.72 o 175 245.87/240.20 c starts : 2119 245.87/240.20 c conflicts : 483837 245.87/240.20 c decisions : 44854789 245.87/240.20 c propagations : 621742900 245.87/240.20 c inspects : 1171125466 245.87/240.20 c shortcuts : 0 245.87/240.20 c learnt literals : 2298 245.87/240.20 c learnt binary clauses : 6883 245.87/240.20 c learnt ternary clauses : 6934 245.87/240.20 c learnt constraints : 481539 245.87/240.20 c ignored constraints : 0 245.87/240.20 c root simplifications : 0 245.87/240.20 c removed literals (reason simplification) : 0 245.87/240.20 c reason swapping (by a shorter reason) : 0 245.87/240.20 c Calls to reduceDB : 48 245.87/240.20 c Number of update (reduction) of LBD : 230654 245.87/240.20 c Imported unit clauses : 0 245.87/240.20 c number of reductions to clauses (during analyze) : 0 245.87/240.20 c number of learned constraints concerned by reduction : 0 245.87/240.20 c number of learning phase by resolution : 0 245.87/240.20 c number of learning phase by cutting planes : 0 245.87/240.20 c number of rounding to 1 operations : 0 245.87/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 245.87/240.20 c number of reductions of the coefficients by power 2 : 0 245.87/240.20 c number of right shift for reduction by power 2 : 0 245.87/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 245.87/240.20 c speed (assignments/second) : 2608879.312515211 245.87/240.20 c non guided choices 31710514 245.87/240.20 c learnt constraints type 245.87/240.20 s SATISFIABLE 245.87/240.21 v <instantiation type="solution"> 245.87/240.21 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> 245.87/240.21 v <values> 19 28 29 49 128 238 280 340 367 582 592 608 648 653 669 686 724 725 831 563 554 553 533 454 344 302 242 215 0 10 26 66 71 87 104 142 143 249 563 554 553 533 454 344 302 242 215 0 10 26 66 71 87 104 142 143 249 32 23 22 2 77 187 229 289 316 531 541 557 597 602 618 635 673 674 780 32 23 22 2 77 187 229 289 316 531 541 557 597 602 618 635 673 674 780 181 172 171 151 72 38 80 140 167 382 392 408 448 453 469 486 524 525 631 181 172 171 151 72 38 80 140 167 382 392 408 448 453 469 486 524 525 631 0 9 10 30 109 219 261 321 348 563 573 589 629 634 650 667 705 706 812 348 339 338 318 239 129 87 27 0 215 225 241 281 286 302 319 357 358 464 348 339 338 318 239 129 87 27 0 215 225 241 281 286 302 319 357 358 464 705 696 695 675 596 486 444 384 357 142 132 116 76 71 55 38 0 1 107 706 697 696 676 597 487 445 385 358 143 133 117 77 72 56 39 1 0 106 667 658 657 637 558 448 406 346 319 104 94 78 38 33 17 0 38 39 145 667 658 657 637 558 448 406 346 319 104 94 78 38 33 17 0 38 39 145 9 0 1 21 100 210 252 312 339 554 564 580 620 625 641 658 696 697 803 650 641 640 620 541 431 389 329 302 87 77 61 21 16 0 17 55 56 162 650 641 640 620 541 431 389 329 302 87 77 61 21 16 0 17 55 56 162 634 625 624 604 525 415 373 313 286 71 61 45 5 0 16 33 71 72 178 261 252 251 231 152 42 0 60 87 302 312 328 368 373 389 406 444 445 551 259 250 249 229 150 40 2 62 89 304 314 330 370 375 391 408 446 447 553 589 580 579 559 480 370 328 268 241 26 16 0 40 45 61 78 116 117 223 589 580 579 559 480 370 328 268 241 26 16 0 40 45 61 78 116 117 223 30 21 20 0 79 189 231 291 318 533 543 559 599 604 620 637 675 676 782 30 21 20 0 79 189 231 291 318 533 543 559 599 604 620 637 675 676 782 219 210 209 189 110 0 42 102 129 344 354 370 410 415 431 448 486 487 593 219 210 209 189 110 0 42 102 129 344 354 370 410 415 431 448 486 487 593 812 803 802 782 703 593 551 491 464 249 239 223 183 178 162 145 107 106 0 812 803 802 782 703 593 551 491 464 249 239 223 183 178 162 145 107 106 0 147 138 137 117 38 72 114 174 201 416 426 442 482 487 503 520 558 559 665 147 138 137 117 38 72 114 174 201 416 426 442 482 487 503 520 558 559 665 109 100 99 79 0 110 152 212 239 454 464 480 520 525 541 558 596 597 703 109 100 99 79 0 110 152 212 239 454 464 480 520 525 541 558 596 597 703 11 2 1 19 98 208 250 310 337 552 562 578 618 623 639 656 694 695 801 10 1 0 20 99 209 251 311 338 553 563 579 619 624 640 657 695 696 802 629 620 619 599 520 410 368 308 281 66 56 40 0 5 21 38 76 77 183 573 564 563 543 464 354 312 252 225 10 0 16 56 61 77 94 132 133 239 321 312 311 291 212 102 60 0 27 242 252 268 308 313 329 346 384 385 491 321 312 311 291 212 102 60 0 27 242 252 268 308 313 329 346 384 385 491 211 202 201 181 102 8 50 110 137 352 362 378 418 423 439 456 494 495 601 211 202 201 181 102 8 50 110 137 352 362 378 418 423 439 456 494 495 601 0 0 2 2 38 38 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 38 38 0 0 1 0 0 0 0 0 8 8 </values> 245.87/240.21 v </instantiation> 245.87/240.21
OK 175
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-4257975-1501657761/watcher-4257975-1501657761 -o /tmp/evaluation-result-4257975-1501657761/solver-4257975-1501657761 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257975-1501657761.xml pid=15309 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.55 3.04 3/195 15312 /proc/meminfo: memFree=31439404/32770624 swapFree=0/240344 [pid=15312] ppid=15309 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/15312/stat : 15312 (runsolver) D 15309 15312 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14399145 24240128 107 18446744073709551615 4194304 4338465 140726770213648 140726770211288 140440032694999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14630912 140726770217095 140726770217542 140726770217542 140726770221002 0 /proc/15312/statm: 5918 107 54 36 0 2156 0 [startup+0.100154 s] /proc/loadavg: 2.00 2.55 3.04 3/195 15312 /proc/meminfo: memFree=31439404/32770624 swapFree=0/240344 [pid=15312] ppid=15309 vsize=10151672 CPUtime=0.03 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 3963 0 0 0 3 0 0 0 20 0 9 0 14399145 10395312128 5097 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2537918 5097 2147 1 0 2527423 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10151672 [startup+0.200318 s] /proc/loadavg: 2.00 2.55 3.04 3/195 15312 /proc/meminfo: memFree=31439404/32770624 swapFree=0/240344 [pid=15312] ppid=15309 vsize=10551156 CPUtime=0.1 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 5097 0 0 0 9 1 0 0 20 0 15 0 14399145 10804383744 6630 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2637789 6630 2785 1 0 2627269 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10551156 [startup+0.300293 s] /proc/loadavg: 2.00 2.55 3.04 3/195 15312 /proc/meminfo: memFree=31439404/32770624 swapFree=0/240344 [pid=15312] ppid=15309 vsize=10551156 CPUtime=0.24 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 8471 0 0 0 22 2 0 0 20 0 15 0 14399145 10804383744 9210 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2637789 9210 2862 1 0 2627269 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 10551156 [startup+0.700528 s] /proc/loadavg: 2.00 2.55 3.04 3/195 15312 /proc/meminfo: memFree=31439404/32770624 swapFree=0/240344 [pid=15312] ppid=15309 vsize=10551232 CPUtime=1.47 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 13312 0 0 0 141 6 0 0 20 0 15 0 14399145 10804461568 45559 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2637808 45559 3066 1 0 2627269 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10551232 [startup+1.50152 s] /proc/loadavg: 2.00 2.55 3.04 5/210 15327 /proc/meminfo: memFree=31225596/32770624 swapFree=0/240372 [pid=15312] ppid=15309 vsize=10551232 CPUtime=4.01 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 23798 0 0 0 383 18 0 0 20 0 15 0 14399145 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2637808 105865 3097 1 0 2627269 0 [pid=15312/tid=15314] ppid=15309 vsize=10551232 CPUtime=1.25 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 7604 0 0 0 119 6 0 0 20 0 15 0 14399151 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140663200470016 140663178180813 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10551232 CPUtime=0.09 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 15 0 14399151 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10551232 CPUtime=0.1 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 157 0 0 0 8 2 0 0 20 0 15 0 14399151 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10551232 CPUtime=0.05 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 139 0 0 0 4 1 0 0 20 0 15 0 14399151 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10551232 CPUtime=0.08 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 156 0 0 0 7 1 0 0 20 0 15 0 14399151 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 14399153 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14399153 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14399153 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14399156 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10551232 CPUtime=0.99 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) R 15309 15312 5091 0 -1 4202560 4987 0 0 0 98 1 0 0 20 0 15 0 14399156 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662232822944 140663175540550 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10551232 CPUtime=1 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) R 15309 15312 5091 0 -1 4202560 6999 0 0 0 99 1 0 0 20 0 15 0 14399156 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662231781464 140663182557729 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10551232 CPUtime=0.36 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 2113 0 0 0 36 0 0 0 20 0 15 0 14399156 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14399156 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14399162 10804461568 105865 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 10551232 [startup+3.1007 s] /proc/loadavg: 2.00 2.55 3.04 4/211 15328 /proc/meminfo: memFree=31026056/32770624 swapFree=0/240372 [pid=15312] ppid=15309 vsize=10617796 CPUtime=7.11 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 24674 0 0 0 692 19 0 0 20 0 16 0 14399145 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 106415 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=2.85 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 7993 0 0 0 279 6 0 0 20 0 16 0 14399151 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140663200469712 140662818261906 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 16 0 14399151 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.1 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 157 0 0 0 8 2 0 0 20 0 16 0 14399151 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.05 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 139 0 0 0 4 1 0 0 20 0 16 0 14399151 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.08 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 156 0 0 0 7 1 0 0 20 0 16 0 14399151 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10617796 CPUtime=1.7 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 5203 0 0 0 169 1 0 0 20 0 16 0 14399156 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10617796 CPUtime=1.7 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 7115 0 0 0 169 1 0 0 20 0 16 0 14399156 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10617796 CPUtime=0.45 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 2247 0 0 0 45 0 0 0 20 0 16 0 14399156 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14399162 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15328] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15328/stat : 15328 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399334 10872623104 106415 18446744073709551615 4194304 4196468 140722461980544 140662227575728 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 7.11 Current children cumulated vsize (KiB) 10617796 [startup+6.30071 s] /proc/loadavg: 2.00 2.54 3.03 3/211 15328 /proc/meminfo: memFree=31023440/32770624 swapFree=0/240380 [pid=15312] ppid=15309 vsize=10617796 CPUtime=10.77 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 26283 0 0 0 1058 19 0 0 20 0 16 0 14399145 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 106550 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=6.05 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 8206 0 0 0 599 6 0 0 20 0 16 0 14399151 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140663200470008 140662818261906 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 78 0 0 0 7 2 0 0 20 0 16 0 14399151 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.1 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 157 0 0 0 8 2 0 0 20 0 16 0 14399151 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.05 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 139 0 0 0 4 1 0 0 20 0 16 0 14399151 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.08 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 156 0 0 0 7 1 0 0 20 0 16 0 14399151 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10617796 CPUtime=1.88 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 5215 0 0 0 187 1 0 0 20 0 16 0 14399156 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10617796 CPUtime=1.97 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 7305 0 0 0 196 1 0 0 20 0 16 0 14399156 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10617796 CPUtime=0.46 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 2262 0 0 0 46 0 0 0 20 0 16 0 14399156 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1172 0 0 0 0 0 0 0 20 0 16 0 14399162 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15328] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15328/stat : 15328 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399334 10872623104 106550 18446744073709551615 4194304 4196468 140722461980544 140662227575728 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 10.77 Current children cumulated vsize (KiB) 10617796 [startup+12.7007 s] /proc/loadavg: 2.00 2.53 3.03 3/211 15328 /proc/meminfo: memFree=30914856/32770624 swapFree=0/240388 [pid=15312] ppid=15309 vsize=10617796 CPUtime=17.55 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 29022 0 0 0 1725 30 0 0 20 0 16 0 14399145 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 133726 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=12.32 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 8466 0 0 0 1226 6 0 0 20 0 16 0 14399151 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140663200472400 140662818144758 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 1044 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.22 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 425 0 0 0 18 4 0 0 20 0 16 0 14399151 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.18 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 311 0 0 0 14 4 0 0 20 0 16 0 14399151 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 625 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133726 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 1.99 2.31 2.87 3/211 15334 /proc/meminfo: memFree=30798648/32770624 swapFree=0/240512 [pid=15312] ppid=15309 vsize=10617796 CPUtime=168.04 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 43641 0 0 0 16768 36 0 0 20 0 16 0 14399145 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 133883 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=161.92 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 12736 0 0 0 16185 7 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663200470248 140662818145237 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 1044 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.22 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 425 0 0 0 18 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.18 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 311 0 0 0 14 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 625 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0.01 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 653 0 0 0 1 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 10442 0 0 0 224 2 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10617796 CPUtime=2.35 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 10525 0 0 0 234 1 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10617796 CPUtime=0.5 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 4134 0 0 0 50 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1370 0 0 0 3 6 0 0 20 0 16 0 14399162 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15328] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15328/stat : 15328 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399334 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662227575728 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 168.04 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 1.99 2.25 2.81 3/211 15336 /proc/meminfo: memFree=30798392/32770624 swapFree=0/240564 [pid=15312] ppid=15309 vsize=10617796 CPUtime=228.09 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 44614 0 0 0 22771 38 0 0 20 0 16 0 14399145 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 133883 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=221.93 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 13516 0 0 0 22186 7 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663200469536 140662819253160 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 1044 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.22 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 425 0 0 0 18 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.18 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 311 0 0 0 14 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 625 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0.01 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 10551 0 0 0 224 2 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10617796 CPUtime=2.36 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 10529 0 0 0 235 1 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10617796 CPUtime=0.5 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 4147 0 0 0 50 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10617796 CPUtime=0.13 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1414 0 0 0 5 8 0 0 20 0 16 0 14399162 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15328] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15328/stat : 15328 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399334 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662227575728 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 228.09 Current children cumulated vsize (KiB) 10617796 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.00 2.24 2.80 3/211 15418 /proc/meminfo: memFree=31071600/32770624 swapFree=0/240604 [pid=15312] ppid=15309 vsize=10617796 CPUtime=245.8 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 44685 0 0 0 24541 39 0 0 20 0 16 0 14399145 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2654449 133883 3122 1 0 2643910 0 [pid=15312/tid=15314] ppid=15309 vsize=10617796 CPUtime=239.62 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) R 15309 15312 5091 0 -1 4202560 13587 0 0 0 23955 7 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663200469536 140662818145010 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 1044 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10617796 CPUtime=0.22 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 425 0 0 0 18 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10617796 CPUtime=0.18 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 311 0 0 0 14 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10617796 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 625 0 0 0 17 4 0 0 20 0 16 0 14399151 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10617796 CPUtime=0.01 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399153 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10617796 CPUtime=2.26 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 10551 0 0 0 224 2 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10617796 CPUtime=2.36 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 10529 0 0 0 235 1 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10617796 CPUtime=0.5 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 4147 0 0 0 50 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14399156 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10617796 CPUtime=0.14 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1414 0 0 0 6 8 0 0 20 0 16 0 14399162 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15328] ppid=15309 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15328/stat : 15328 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14399334 10872623104 133883 18446744073709551615 4194304 4196468 140722461980544 140662227575728 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 245.8 Current children cumulated vsize (KiB) 10617796 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 15312 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 2.00 2.24 2.80 3/211 15418 /proc/meminfo: memFree=31071600/32770624 swapFree=0/240604 [pid=15312] ppid=15309 vsize=10817488 CPUtime=245.87 cores=1,3,5,7 /proc/15312/stat : 15312 (java) S 15309 15312 5091 0 -1 1077944320 45904 0 0 0 24548 39 0 0 20 0 17 0 14399145 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140722461963088 140663196233463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 /proc/15312/statm: 2704372 133946 3124 1 0 2693833 0 [pid=15312/tid=15314] ppid=15309 vsize=10817488 CPUtime=239.68 cores=1,3,5,7 /proc/15312/task/15314/stat : 15314 (java) S 15309 15312 5091 0 -1 1077944384 13791 0 0 0 23961 7 0 0 20 0 17 0 14399151 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140663200476336 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15315] ppid=15309 vsize=10817488 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15315/stat : 15315 (java) S 15309 15312 5091 0 -1 1077944384 1044 0 0 0 17 4 0 0 20 0 17 0 14399151 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140663137270928 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15316] ppid=15309 vsize=10817488 CPUtime=0.22 cores=1,3,5,7 /proc/15312/task/15316/stat : 15316 (java) S 15309 15312 5091 0 -1 1077944384 425 0 0 0 18 4 0 0 20 0 17 0 14399151 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140663136218128 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15317] ppid=15309 vsize=10817488 CPUtime=0.18 cores=1,3,5,7 /proc/15312/task/15317/stat : 15317 (java) S 15309 15312 5091 0 -1 1077944384 311 0 0 0 14 4 0 0 20 0 17 0 14399151 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140663135165328 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15318] ppid=15309 vsize=10817488 CPUtime=0.21 cores=1,3,5,7 /proc/15312/task/15318/stat : 15318 (java) S 15309 15312 5091 0 -1 1077944384 625 0 0 0 17 4 0 0 20 0 17 0 14399151 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140663134112528 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15319] ppid=15309 vsize=10817488 CPUtime=0.01 cores=1,3,5,7 /proc/15312/task/15319/stat : 15319 (java) S 15309 15312 5091 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 17 0 14399153 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662237051248 140663196244610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15320] ppid=15309 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15320/stat : 15320 (java) S 15309 15312 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 14399153 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662235997280 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15321] ppid=15309 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15321/stat : 15321 (java) S 15309 15312 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 14399153 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662234944368 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15322] ppid=15309 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15322/stat : 15322 (java) S 15309 15312 5091 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 17 0 14399156 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662233892688 140663196252059 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15323] ppid=15309 vsize=10817488 CPUtime=2.27 cores=1,3,5,7 /proc/15312/task/15323/stat : 15323 (java) S 15309 15312 5091 0 -1 1077944384 10766 0 0 0 225 2 0 0 20 0 17 0 14399156 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662232841072 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15324] ppid=15309 vsize=10817488 CPUtime=2.36 cores=1,3,5,7 /proc/15312/task/15324/stat : 15324 (java) S 15309 15312 5091 0 -1 1077944384 10606 0 0 0 235 1 0 0 20 0 17 0 14399156 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662231788272 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15325] ppid=15309 vsize=10817488 CPUtime=0.5 cores=1,3,5,7 /proc/15312/task/15325/stat : 15325 (java) S 15309 15312 5091 0 -1 1077944384 4324 0 0 0 50 0 0 0 20 0 17 0 14399156 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662230735472 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15326] ppid=15309 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/15312/task/15326/stat : 15326 (java) S 15309 15312 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14399156 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662229682912 140663196243669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 [pid=15312/tid=15327] ppid=15309 vsize=10817488 CPUtime=0.14 cores=1,3,5,7 /proc/15312/task/15327/stat : 15327 (java) S 15309 15312 5091 0 -1 1077944384 1414 0 0 0 6 8 0 0 20 0 17 0 14399162 11077107712 133946 18446744073709551615 4194304 4196468 140722461980544 140662228630192 140663196244610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140722461983154 140722461983307 140722461983307 140722461986767 0 Current children cumulated CPU time (s) 245.87 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.23 CPU time (s): 245.9 CPU user time (s): 245.5 CPU system time (s): 0.400166 CPU usage (%): 102.361 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 245.5 system time used= 0.400166 maximum resident set size= 536164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46790 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7432 involuntary context switches= 113 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.0728 second user time and 1.52392 second system time The end
Begin job on node129 at 2017-08-02 08:55:21 IDJOB=4257975 IDBENCH=138356 IDSOLVER=2643 FILE ID=node129/4257975-1501657761 RUNJOBID= node129-1501642919-31105 PBS_JOBID= Free space on /tmp= 61772 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-4257975-1501657761/watcher-4257975-1501657761 -o /tmp/evaluation-result-4257975-1501657761/solver-4257975-1501657761 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257975-1501657761.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 93e2fab38e142a37945526a0e34ac36b RANDOM SEED=1569072477 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31439404 kB MemAvailable: 31609696 kB Buffers: 127040 kB Cached: 323756 kB SwapCached: 0 kB Active: 675612 kB Inactive: 248876 kB Active(anon): 473896 kB Inactive(anon): 8532 kB Active(file): 201716 kB Inactive(file): 240344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1772 kB Writeback: 0 kB AnonPages: 508120 kB Mapped: 42452 kB Shmem: 8872 kB Slab: 112920 kB SReclaimable: 88132 kB SUnreclaim: 24788 kB KernelStack: 3760 kB PageTables: 6208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1518656 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 395264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61772 MiB End job on node129 at 2017-08-02 08:59:21