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) | 24 | 246.10699 | 240.23 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml |
| MD5SUM | fdadf8bcb2915efdb9c6c9761d291a61 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 0.343945 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 725 |
| Number of constraints | 705 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":22},{"size":25,"count":66},{"size":26,"count":637}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":704},{"degree":33,"count":21}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 22 |
| Distribution of constraint arities | [{"arity":2,"count":672},{"arity":21,"count":1},{"arity":22,"count":32}] |
| Number of extensional constraints | 672 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":672},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
| Optimization problem | YES |
| Type of objective | min SUM |
4.53/1.84 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 4.53/1.84 c This is free software under the dual EPL/GNU LGPL licenses. 4.53/1.84 c See www.sat4j.org for details. 4.53/1.84 c That software uses the Rhino library from the Mozilla project. 4.53/1.84 c version CUSTOM.v20170705 4.53/1.84 c java.runtime.name Java(TM) SE Runtime Environment 4.53/1.84 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 4.53/1.84 c java.vm.version 25.131-b11 4.53/1.84 c java.vm.vendor Oracle Corporation 4.53/1.84 c sun.arch.data.model 64 4.53/1.84 c java.version 1.8.0_131 4.53/1.84 c os.name Linux 4.53/1.84 c os.version 3.10.0-514.16.1.el7.x86_64 4.53/1.84 c os.arch amd64 4.53/1.84 c Free memory 499604488 4.53/1.84 c Max memory 7247757312 4.53/1.84 c Total memory 504889344 4.53/1.84 c Number of processors 4 4.53/1.84 c c --- Begin Solver configuration --- 4.53/1.84 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 4.53/1.84 c Learn all clauses as in MiniSAT 4.53/1.84 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 4.53/1.84 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 4.53/1.84 c No reason simplification 4.53/1.84 c Glucose 2.1 dynamic restart strategy 4.53/1.84 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.84 c timeout=2147483s 4.53/1.84 c DB Simplification allowed=false 4.53/1.84 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 4.53/1.84 c --- End Solver configuration --- 4.53/1.84 c constraints type 4.53/1.84 c org.sat4j.minisat.constraints.card.MinWatchCard => 1450 4.53/1.84 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 905268 4.53/1.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 598580 4.53/1.84 c org.sat4j.minisat.constraints.cnf.UnitClause => 1448 4.53/1.84 c 1506746 constraints processed. 48.33/43.78 o 135 67.33/62.11 o 68 111.77/106.00 o 56 116.60/110.86 o 48 119.21/113.47 o 42 145.90/140.05 o 38 165.63/159.76 o 32 212.79/206.90 o 27 239.50/233.54 o 24 246.07/240.20 c starts : 2213 246.07/240.20 c conflicts : 437158 246.07/240.20 c decisions : 39138242 246.07/240.20 c propagations : 631613757 246.07/240.20 c inspects : 1176752722 246.07/240.20 c shortcuts : 0 246.07/240.20 c learnt literals : 2526 246.07/240.20 c learnt binary clauses : 6662 246.07/240.20 c learnt ternary clauses : 6629 246.07/240.20 c learnt constraints : 434632 246.07/240.20 c ignored constraints : 0 246.07/240.20 c root simplifications : 0 246.07/240.20 c removed literals (reason simplification) : 0 246.07/240.20 c reason swapping (by a shorter reason) : 0 246.07/240.20 c Calls to reduceDB : 51 246.07/240.20 c Number of update (reduction) of LBD : 199889 246.07/240.20 c Imported unit clauses : 0 246.07/240.20 c number of reductions to clauses (during analyze) : 0 246.07/240.20 c number of learned constraints concerned by reduction : 0 246.07/240.20 c number of learning phase by resolution : 0 246.07/240.20 c number of learning phase by cutting planes : 0 246.07/240.20 c number of rounding to 1 operations : 0 246.07/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 246.07/240.20 c number of reductions of the coefficients by power 2 : 0 246.07/240.20 c number of right shift for reduction by power 2 : 0 246.07/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 246.07/240.20 c speed (assignments/second) : 2650164.7169890488 246.07/240.20 c non guided choices 27525711 246.07/240.20 c learnt constraints type 246.07/240.20 s SATISFIABLE 246.07/240.21 v <instantiation type="solution"> 246.07/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] x[19] x[20] 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[0][19] drd[0][20] 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[1][19] drd[1][20] 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[2][19] drd[2][20] 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[3][19] drd[3][20] 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[4][19] drd[4][20] 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[5][19] drd[5][20] 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[6][19] drd[6][20] 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[7][19] drd[7][20] 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[8][19] drd[8][20] 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[9][19] drd[9][20] 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[10][19] drd[10][20] 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[11][19] drd[11][20] 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[12][19] drd[12][20] 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[13][19] drd[13][20] 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[14][19] drd[14][20] 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[15][19] drd[15][20] 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[16][19] drd[16][20] 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[17][19] drd[17][20] 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[18][19] drd[18][20] 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[19][19] drd[19][20] 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[20][19] drd[20][20] 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[21][19] drd[21][20] 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[22][19] drd[22][20] 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[23][19] drd[23][20] 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[24][19] drd[24][20] 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[25][19] drd[25][20] 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[26][19] drd[26][20] 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[27][19] drd[27][20] 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[28][19] drd[28][20] 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[29][19] drd[29][20] 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[30][19] drd[30][20] 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[31][19] drd[31][20] 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] </list> 246.07/240.21 v <values> 12 23 41 58 62 81 98 104 122 137 160 187 209 238 467 512 546 548 606 661 711 125 114 96 79 75 56 39 33 15 0 23 50 72 101 330 375 409 411 469 524 574 38 27 9 8 12 31 48 54 72 87 110 137 159 188 417 462 496 498 556 611 661 110 99 81 64 60 41 24 18 0 15 38 65 87 116 345 390 424 426 484 539 589 110 99 81 64 60 41 24 18 0 15 38 65 87 116 345 390 424 426 484 539 589 75 64 46 29 25 6 11 17 35 50 73 100 122 151 380 425 459 461 519 574 624 69 58 40 23 19 0 17 23 41 56 79 106 128 157 386 431 465 467 525 580 630 175 164 146 129 125 106 89 83 65 50 27 0 22 51 280 325 359 361 419 474 524 46 35 17 0 4 23 40 46 64 79 102 129 151 180 409 454 488 490 548 603 653 148 137 119 102 98 79 62 56 38 23 0 27 49 78 307 352 386 388 446 501 551 86 75 57 40 36 17 0 6 24 39 62 89 111 140 369 414 448 450 508 563 613 83 72 54 37 33 14 3 9 27 42 65 92 114 143 372 417 451 453 511 566 616 13 2 16 33 37 56 73 79 97 112 135 162 184 213 442 487 521 523 581 636 686 11 0 18 35 39 58 75 81 99 114 137 164 186 215 444 489 523 525 583 638 688 699 688 670 653 649 630 613 607 589 574 551 524 502 473 244 199 165 163 105 50 0 29 18 0 17 21 40 57 63 81 96 119 146 168 197 426 471 505 507 565 620 670 500 489 471 454 450 431 414 408 390 375 352 325 303 274 45 0 34 36 94 149 199 500 489 471 454 450 431 414 408 390 375 352 325 303 274 45 0 34 36 94 149 199 92 81 63 46 42 23 6 0 18 33 56 83 105 134 363 408 442 444 502 557 607 55 44 26 9 5 14 31 37 55 70 93 120 142 171 400 445 479 481 539 594 644 649 638 620 603 599 580 563 557 539 524 501 474 452 423 194 149 115 113 55 0 50 649 638 620 603 599 580 563 557 539 524 501 474 452 423 194 149 115 113 55 0 50 455 444 426 409 405 386 369 363 345 330 307 280 258 229 0 45 79 81 139 194 244 455 444 426 409 405 386 369 363 345 330 307 280 258 229 0 45 79 81 139 194 244 226 215 197 180 176 157 140 134 116 101 78 51 29 0 229 274 308 310 368 423 473 50 39 21 4 0 19 36 42 60 75 98 125 147 176 405 450 484 486 544 599 649 50 39 21 4 0 19 36 42 60 75 98 125 147 176 405 450 484 486 544 599 649 594 583 565 548 544 525 508 502 484 469 446 419 397 368 139 94 60 58 0 55 105 594 583 565 548 544 525 508 502 484 469 446 419 397 368 139 94 60 58 0 55 105 197 186 168 151 147 128 111 105 87 72 49 22 0 29 258 303 337 339 397 452 502 0 11 29 46 50 69 86 92 110 125 148 175 197 226 455 500 534 536 594 649 699 536 525 507 490 486 467 450 444 426 411 388 361 339 310 81 36 2 0 58 113 163 534 523 505 488 484 465 448 442 424 409 386 359 337 308 79 34 0 2 60 115 165 0 8 0 0 6 0 0 0 0 0 3 2 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 246.07/240.21 v </instantiation> 246.07/240.21
OK 24
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-4257982-1501657754/watcher-4257982-1501657754 -o /tmp/evaluation-result-4257982-1501657754/solver-4257982-1501657754 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257982-1501657754.xml pid=15227 running on 4 cores: 0,2,4,6 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.09 2.57 3.05 2/195 15230 /proc/meminfo: memFree=31046156/32770624 swapFree=0/240324 [pid=15230] ppid=15227 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/15230/stat : 15230 (runsolver) D 15227 15230 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14398495 24240128 107 18446744073709551615 4194304 4338465 140720919278816 140720919276456 140620503581399 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 17055744 140720919281799 140720919282246 140720919282246 140720919285706 0 /proc/15230/statm: 5918 107 54 36 0 2156 0 [startup+0.100089 s] /proc/loadavg: 2.09 2.57 3.05 2/195 15230 /proc/meminfo: memFree=31046156/32770624 swapFree=0/240324 [pid=15230] ppid=15227 vsize=30188 CPUtime=0 cores=0,2,4,6 /proc/15230/stat : 15230 (java) R 15227 15230 5091 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 14398495 30912512 608 18446744073709551615 4194304 4196468 140736674771088 140736674751784 140155315476091 0 0 1 0 0 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 7547 674 513 1 0 159 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 30188 [startup+0.20952 s] /proc/loadavg: 2.09 2.57 3.05 2/195 15230 /proc/meminfo: memFree=31046156/32770624 swapFree=0/240324 [pid=15230] ppid=15227 vsize=10551156 CPUtime=0.07 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 4957 0 0 0 6 1 0 0 20 0 15 0 14398495 10804383744 5971 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2637789 5971 2606 1 0 2627269 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10551156 [startup+0.300322 s] /proc/loadavg: 2.09 2.57 3.05 2/195 15230 /proc/meminfo: memFree=31046156/32770624 swapFree=0/240324 [pid=15230] ppid=15227 vsize=10551156 CPUtime=0.21 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 8174 0 0 0 19 2 0 0 20 0 15 0 14398495 10804383744 8925 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2637789 8925 2848 1 0 2627269 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 10551156 [startup+0.70552 s] /proc/loadavg: 2.09 2.57 3.05 2/195 15230 /proc/meminfo: memFree=31046156/32770624 swapFree=0/240324 [pid=15230] ppid=15227 vsize=10551232 CPUtime=1.38 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 12603 0 0 0 132 6 0 0 20 0 15 0 14398495 10804461568 45975 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2637808 45975 3070 1 0 2627269 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 10551232 [startup+1.50153 s] /proc/loadavg: 2.09 2.57 3.05 5/210 15245 /proc/meminfo: memFree=30836852/32770624 swapFree=0/240320 [pid=15230] ppid=15227 vsize=10551232 CPUtime=3.87 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 23431 0 0 0 371 16 0 0 20 0 15 0 14398495 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2637808 100516 3093 1 0 2627269 0 [pid=15230/tid=15232] ppid=15227 vsize=10551232 CPUtime=1.27 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) S 15227 15230 5091 0 -1 1077944384 7026 0 0 0 121 6 0 0 20 0 15 0 14398505 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140155317489840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10551232 CPUtime=0.04 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) R 15227 15230 5091 0 -1 4202560 54 0 0 0 3 1 0 0 20 0 15 0 14398505 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140155254291032 140155306357114 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10551232 CPUtime=0.07 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) R 15227 15230 5091 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 15 0 14398505 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140155253238232 140155297702350 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10551232 CPUtime=0.07 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) R 15227 15230 5091 0 -1 4202560 144 0 0 0 5 2 0 0 20 0 15 0 14398505 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155298276256 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10551232 CPUtime=0.04 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) R 15227 15230 5091 0 -1 4202560 148 0 0 0 3 1 0 0 20 0 15 0 14398505 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154921408928 140155298281554 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 14398507 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154810139808 140155313264341 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14398507 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14398507 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14398510 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10551232 CPUtime=0.98 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 7894 0 0 0 97 1 0 0 20 0 15 0 14398510 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154805915088 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10551232 CPUtime=0.97 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) R 15227 15230 5091 0 -1 4202560 4365 0 0 0 97 0 0 0 20 0 15 0 14398510 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154804863408 140155292497923 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10551232 CPUtime=0.36 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 2234 0 0 0 36 0 0 0 20 0 15 0 14398510 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14398510 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) R 15227 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14398514 10804461568 100516 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 10551232 [startup+3.10071 s] /proc/loadavg: 2.09 2.57 3.05 3/211 15246 /proc/meminfo: memFree=30623080/32770624 swapFree=0/240320 [pid=15230] ppid=15227 vsize=10617796 CPUtime=7.19 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 24419 0 0 0 699 20 0 0 20 0 16 0 14398495 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 108768 3119 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=2.82 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 7393 0 0 0 276 6 0 0 20 0 16 0 14398505 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140155317490240 140154938184468 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.09 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 69 0 0 0 7 2 0 0 20 0 16 0 14398505 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.11 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 166 0 0 0 8 3 0 0 20 0 16 0 14398505 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.1 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 159 0 0 0 8 2 0 0 20 0 16 0 14398505 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.08 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 161 0 0 0 6 2 0 0 20 0 16 0 14398505 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10617796 CPUtime=1.65 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 8006 0 0 0 164 1 0 0 20 0 16 0 14398510 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10617796 CPUtime=1.81 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) R 15227 15230 5091 0 -1 4202560 4504 0 0 0 181 0 0 0 20 0 16 0 14398510 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155292917752 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10617796 CPUtime=0.46 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 2374 0 0 0 45 1 0 0 20 0 16 0 14398510 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14398514 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15246] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15246/stat : 15246 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398682 10872623104 108768 18446744073709551615 4194304 4196468 140736674771088 140154800665776 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 10617796 [startup+6.30079 s] /proc/loadavg: 2.00 2.55 3.04 4/209 15278 /proc/meminfo: memFree=31414180/32770624 swapFree=0/240328 [pid=15230] ppid=15227 vsize=10617796 CPUtime=10.6 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 28480 0 0 0 1040 20 0 0 20 0 16 0 14398495 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 107477 3122 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=6.02 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 7773 0 0 0 596 6 0 0 20 0 16 0 14398505 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140155317490128 140154938183935 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.09 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 69 0 0 0 7 2 0 0 20 0 16 0 14398505 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.11 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 166 0 0 0 8 3 0 0 20 0 16 0 14398505 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.1 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 159 0 0 0 8 2 0 0 20 0 16 0 14398505 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.08 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 161 0 0 0 6 2 0 0 20 0 16 0 14398505 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10617796 CPUtime=1.75 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 8416 0 0 0 174 1 0 0 20 0 16 0 14398510 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10617796 CPUtime=1.92 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) S 15227 15230 5091 0 -1 1077944384 6719 0 0 0 192 0 0 0 20 0 16 0 14398510 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10617796 CPUtime=0.46 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 2470 0 0 0 45 1 0 0 20 0 16 0 14398510 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 16 0 14398514 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15246] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15246/stat : 15246 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398682 10872623104 107477 18446744073709551615 4194304 4196468 140736674771088 140154800665776 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 10.6 Current children cumulated vsize (KiB) 10617796 [startup+12.7008 s] /proc/loadavg: 2.00 2.54 3.03 3/211 15328 /proc/meminfo: memFree=31023440/32770624 swapFree=0/240380 [pid=15230] ppid=15227 vsize=10617796 CPUtime=17.19 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 30493 0 0 0 1698 21 0 0 20 0 16 0 14398495 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 107493 3122 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=12.42 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 8137 0 0 0 1236 6 0 0 20 0 16 0 14398505 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140155317490712 140154938509632 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.09 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 69 0 0 0 7 2 0 0 20 0 16 0 14398505 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.11 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 166 0 0 0 8 3 0 0 20 0 16 0 14398505 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.1 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 159 0 0 0 8 2 0 0 20 0 16 0 14398505 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.08 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 161 0 0 0 6 2 0 0 20 0 16 0 14398505 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 107493 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 1.98 2.31 2.87 3/211 15333 /proc/meminfo: memFree=30798912/32770624 swapFree=0/240512 [pid=15230] ppid=15227 vsize=10617796 CPUtime=168.24 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 48648 0 0 0 16787 37 0 0 20 0 16 0 14398495 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 135960 3122 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=161.88 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 12027 0 0 0 16182 6 0 0 20 0 16 0 14398505 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140155317490632 140154938184344 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.21 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 469 0 0 0 16 5 0 0 20 0 16 0 14398505 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.24 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 410 0 0 0 18 6 0 0 20 0 16 0 14398505 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.23 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 672 0 0 0 18 5 0 0 20 0 16 0 14398505 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.2 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 331 0 0 0 15 5 0 0 20 0 16 0 14398505 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0.01 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 810 0 0 0 1 0 0 0 20 0 16 0 14398507 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10617796 CPUtime=2.3 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 12864 0 0 0 228 2 0 0 20 0 16 0 14398510 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10617796 CPUtime=2.49 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) S 15227 15230 5091 0 -1 1077944384 12899 0 0 0 248 1 0 0 20 0 16 0 14398510 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10617796 CPUtime=0.5 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 5662 0 0 0 49 1 0 0 20 0 16 0 14398510 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10617796 CPUtime=0.1 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 1127 0 0 0 6 4 0 0 20 0 16 0 14398514 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15246] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15246/stat : 15246 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398682 10872623104 135960 18446744073709551615 4194304 4196468 140736674771088 140154800665776 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 168.24 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 1.99 2.26 2.82 3/211 15336 /proc/meminfo: memFree=30798516/32770624 swapFree=0/240552 [pid=15230] ppid=15227 vsize=10617796 CPUtime=228.3 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 50023 0 0 0 22791 39 0 0 20 0 16 0 14398495 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 135961 3122 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=221.89 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 12975 0 0 0 22183 6 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155317490968 140154938184344 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.21 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 469 0 0 0 16 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.24 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 410 0 0 0 18 6 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.23 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 672 0 0 0 18 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.2 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 331 0 0 0 15 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0.01 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 818 0 0 0 1 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10617796 CPUtime=2.3 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 13051 0 0 0 228 2 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10617796 CPUtime=2.49 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) S 15227 15230 5091 0 -1 1077944384 12934 0 0 0 248 1 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10617796 CPUtime=0.5 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 5819 0 0 0 49 1 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10617796 CPUtime=0.14 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 1167 0 0 0 8 6 0 0 20 0 16 0 14398514 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15246] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15246/stat : 15246 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398682 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154800665776 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 228.3 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 15336 /proc/meminfo: memFree=30798268/32770624 swapFree=0/240576 [pid=15230] ppid=15227 vsize=10617796 CPUtime=246.01 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 50589 0 0 0 24562 39 0 0 20 0 16 0 14398495 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2654449 135961 3122 1 0 2643910 0 [pid=15230/tid=15232] ppid=15227 vsize=10617796 CPUtime=239.58 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) R 15227 15230 5091 0 -1 4202560 13500 0 0 0 23952 6 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155317485712 140154938183978 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10617796 CPUtime=0.21 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 469 0 0 0 16 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10617796 CPUtime=0.24 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 410 0 0 0 18 6 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10617796 CPUtime=0.23 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 672 0 0 0 18 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10617796 CPUtime=0.2 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 331 0 0 0 15 5 0 0 20 0 16 0 14398505 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10617796 CPUtime=0.01 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 826 0 0 0 1 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398507 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10617796 CPUtime=2.3 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 13051 0 0 0 228 2 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10617796 CPUtime=2.49 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) S 15227 15230 5091 0 -1 1077944384 12934 0 0 0 248 1 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10617796 CPUtime=0.51 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 5819 0 0 0 50 1 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14398510 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10617796 CPUtime=0.15 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 1200 0 0 0 9 6 0 0 20 0 16 0 14398514 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15246] ppid=15227 vsize=10617796 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15246/stat : 15246 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14398682 10872623104 135961 18446744073709551615 4194304 4196468 140736674771088 140154800665776 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 246.01 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 15230 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 15336 /proc/meminfo: memFree=30798268/32770624 swapFree=0/240576 [pid=15230] ppid=15227 vsize=10817488 CPUtime=246.07 cores=0,2,4,6 /proc/15230/stat : 15230 (java) S 15227 15230 5091 0 -1 1077944320 51996 0 0 0 24568 39 0 0 20 0 17 0 14398495 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140736674753632 140155313254135 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 /proc/15230/statm: 2704372 136038 3125 1 0 2693833 0 [pid=15230/tid=15232] ppid=15227 vsize=10817488 CPUtime=239.64 cores=0,2,4,6 /proc/15230/task/15232/stat : 15232 (java) S 15227 15230 5091 0 -1 1077944384 13727 0 0 0 23958 6 0 0 20 0 17 0 14398505 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140155317497008 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15233] ppid=15227 vsize=10817488 CPUtime=0.21 cores=0,2,4,6 /proc/15230/task/15233/stat : 15233 (java) S 15227 15230 5091 0 -1 1077944384 469 0 0 0 16 5 0 0 20 0 17 0 14398505 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140155254290832 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15234] ppid=15227 vsize=10817488 CPUtime=0.24 cores=0,2,4,6 /proc/15230/task/15234/stat : 15234 (java) S 15227 15230 5091 0 -1 1077944384 410 0 0 0 18 6 0 0 20 0 17 0 14398505 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140155253238032 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15235] ppid=15227 vsize=10817488 CPUtime=0.23 cores=0,2,4,6 /proc/15230/task/15235/stat : 15235 (java) S 15227 15230 5091 0 -1 1077944384 672 0 0 0 18 5 0 0 20 0 17 0 14398505 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154922461840 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15236] ppid=15227 vsize=10817488 CPUtime=0.2 cores=0,2,4,6 /proc/15230/task/15236/stat : 15236 (java) S 15227 15230 5091 0 -1 1077944384 331 0 0 0 15 5 0 0 20 0 17 0 14398505 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154921409040 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15237] ppid=15227 vsize=10817488 CPUtime=0.01 cores=0,2,4,6 /proc/15230/task/15237/stat : 15237 (java) S 15227 15230 5091 0 -1 1077944384 826 0 0 0 1 0 0 0 20 0 17 0 14398507 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154810141296 140155313265282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15238] ppid=15227 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15238/stat : 15238 (java) S 15227 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 14398507 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154809087328 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15239] ppid=15227 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15239/stat : 15239 (java) S 15227 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 14398507 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154808034928 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15240] ppid=15227 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15240/stat : 15240 (java) S 15227 15230 5091 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 17 0 14398510 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154806983248 140155313272731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15241] ppid=15227 vsize=10817488 CPUtime=2.31 cores=0,2,4,6 /proc/15230/task/15241/stat : 15241 (java) S 15227 15230 5091 0 -1 1077944384 13100 0 0 0 229 2 0 0 20 0 17 0 14398510 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154805930096 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15242] ppid=15227 vsize=10817488 CPUtime=2.49 cores=0,2,4,6 /proc/15230/task/15242/stat : 15242 (java) S 15227 15230 5091 0 -1 1077944384 13209 0 0 0 248 1 0 0 20 0 17 0 14398510 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154804877296 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15243] ppid=15227 vsize=10817488 CPUtime=0.51 cores=0,2,4,6 /proc/15230/task/15243/stat : 15243 (java) S 15227 15230 5091 0 -1 1077944384 6050 0 0 0 50 1 0 0 20 0 17 0 14398510 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154803825008 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15244] ppid=15227 vsize=10817488 CPUtime=0 cores=0,2,4,6 /proc/15230/task/15244/stat : 15244 (java) S 15227 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14398510 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154802772448 140155313264341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 [pid=15230/tid=15245] ppid=15227 vsize=10817488 CPUtime=0.15 cores=0,2,4,6 /proc/15230/task/15245/stat : 15245 (java) S 15227 15230 5091 0 -1 1077944384 1200 0 0 0 9 6 0 0 20 0 17 0 14398514 11077107712 136038 18446744073709551615 4194304 4196468 140736674771088 140154801720240 140155313265282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25669632 140736674775474 140736674775627 140736674775627 140736674779087 0 Current children cumulated CPU time (s) 246.07 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.23 CPU time (s): 246.107 CPU user time (s): 245.699 CPU system time (s): 0.40821 CPU usage (%): 102.446 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 245.699 system time used= 0.40821 maximum resident set size= 544452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52988 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= 7470 involuntary context switches= 163 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06019 second user time and 1.57736 second system time The end
Begin job on node129 at 2017-08-02 08:55:14 IDJOB=4257982 IDBENCH=138354 IDSOLVER=2643 FILE ID=node129/4257982-1501657754 RUNJOBID= node129-1501642919-31104 PBS_JOBID= Free space on /tmp= 61772 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff71.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257982-1501657754/watcher-4257982-1501657754 -o /tmp/evaluation-result-4257982-1501657754/solver-4257982-1501657754 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257982-1501657754.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fdadf8bcb2915efdb9c6c9761d291a61 RANDOM SEED=119472918 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: 31046160 kB MemAvailable: 31216488 kB Buffers: 127028 kB Cached: 323932 kB SwapCached: 0 kB Active: 1067636 kB Inactive: 248856 kB Active(anon): 865864 kB Inactive(anon): 8532 kB Active(file): 201772 kB Inactive(file): 240324 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1608 kB Writeback: 4 kB AnonPages: 865556 kB Mapped: 42448 kB Shmem: 8872 kB Slab: 112756 kB SReclaimable: 88132 kB SUnreclaim: 24624 kB KernelStack: 3424 kB PageTables: 6504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2271812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 751616 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:15