Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-07-26) | OPT | 1 | 27.6507 | 4.5662899 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml |
| MD5SUM | 0e87063ac5f415f4746541d77da271ae |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.084357001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 999 |
| Number of constraints | 976 |
| Number of domains | 26 |
| Minimum domain size | 24 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":24,"count":100},{"size":25,"count":899}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":2,"count":975},{"degree":40,"count":24}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":2,"count":936},{"arity":24,"count":1},{"arity":25,"count":39}] |
| Number of extensional constraints | 936 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":936},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254498-1501697041.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254498-1501697041.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.36 c parse instance... 22.90/3.90 c solve instance... 25.15/4.27 o 9 27.50/4.51 o 1 27.50/4.52 s OPTIMUM FOUND 27.50/4.52 v <instantiation> 27.50/4.52 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] x[21] x[22] x[23] 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[0][21] drd[0][22] drd[0][23] 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[1][21] drd[1][22] drd[1][23] 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[2][21] drd[2][22] drd[2][23] 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[3][21] drd[3][22] drd[3][23] 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[4][21] drd[4][22] drd[4][23] 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[5][21] drd[5][22] drd[5][23] 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[6][21] drd[6][22] drd[6][23] 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[7][21] drd[7][22] drd[7][23] 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[8][21] drd[8][22] drd[8][23] 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[9][21] drd[9][22] drd[9][23] 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[10][21] drd[10][22] drd[10][23] 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[11][21] drd[11][22] drd[11][23] 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[12][21] drd[12][22] drd[12][23] 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[13][21] drd[13][22] drd[13][23] 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[14][21] drd[14][22] drd[14][23] 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[15][21] drd[15][22] drd[15][23] 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[16][21] drd[16][22] drd[16][23] 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[17][21] drd[17][22] drd[17][23] 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[18][21] drd[18][22] drd[18][23] 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[19][21] drd[19][22] drd[19][23] 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[20][21] drd[20][22] drd[20][23] 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[21][21] drd[21][22] drd[21][23] 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[22][21] drd[22][22] drd[22][23] 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[23][21] drd[23][22] drd[23][23] 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[24][21] drd[24][22] drd[24][23] 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[25][21] drd[25][22] drd[25][23] 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[26][21] drd[26][22] drd[26][23] 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[27][21] drd[27][22] drd[27][23] 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[28][21] drd[28][22] drd[28][23] 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[29][21] drd[29][22] drd[29][23] 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[30][21] drd[30][22] drd[30][23] 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] drd[31][21] drd[31][22] drd[31][23] 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[32][19] drd[32][20] drd[32][21] drd[32][22] drd[32][23] 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[33][19] drd[33][20] drd[33][21] drd[33][22] drd[33][23] 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[34][19] drd[34][20] drd[34][21] drd[34][22] drd[34][23] 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[35][19] drd[35][20] drd[35][21] drd[35][22] drd[35][23] 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[36][19] drd[36][20] drd[36][21] drd[36][22] drd[36][23] 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[37][19] drd[37][20] drd[37][21] drd[37][22] drd[37][23] 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] drd[38][19] drd[38][20] drd[38][21] drd[38][22] drd[38][23] 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> 27.50/4.52 v <values>19 28 29 30 49 51 128 166 200 230 238 278 280 340 367 582 592 608 648 653 669 686 724 831 563 554 553 552 533 531 454 416 382 352 344 304 302 242 215 0 10 26 66 71 87 104 142 249 563 554 553 552 533 531 454 416 382 352 344 304 302 242 215 0 10 26 66 71 87 104 142 249 32 23 22 21 2 0 77 115 149 179 187 227 229 289 316 531 541 557 597 602 618 635 673 780 32 23 22 21 2 0 77 115 149 179 187 227 229 289 316 531 541 557 597 602 618 635 673 780 181 172 171 170 151 149 72 34 0 30 38 78 80 140 167 382 392 408 448 453 469 486 524 631 181 172 171 170 151 149 72 34 0 30 38 78 80 140 167 382 392 408 448 453 469 486 524 631 0 9 10 11 30 32 109 147 181 211 219 259 261 321 348 563 573 589 629 634 650 667 705 812 348 339 338 337 318 316 239 201 167 137 129 89 87 27 0 215 225 241 281 286 302 319 357 464 348 339 338 337 318 316 239 201 167 137 129 89 87 27 0 215 225 241 281 286 302 319 357 464 705 696 695 694 675 673 596 558 524 494 486 446 444 384 357 142 132 116 76 71 55 38 0 107 706 697 696 695 676 674 597 559 525 495 487 447 445 385 358 143 133 117 77 72 56 39 1 106 667 658 657 656 637 635 558 520 486 456 448 408 406 346 319 104 94 78 38 33 17 0 38 145 667 658 657 656 637 635 558 520 486 456 448 408 406 346 319 104 94 78 38 33 17 0 38 145 9 0 1 2 21 23 100 138 172 202 210 250 252 312 339 554 564 580 620 625 641 658 696 803 650 641 640 639 620 618 541 503 469 439 431 391 389 329 302 87 77 61 21 16 0 17 55 162 650 641 640 639 620 618 541 503 469 439 431 391 389 329 302 87 77 61 21 16 0 17 55 162 634 625 624 623 604 602 525 487 453 423 415 375 373 313 286 71 61 45 5 0 16 33 71 178 261 252 251 250 231 229 152 114 80 50 42 2 0 60 87 302 312 328 368 373 389 406 444 551 259 250 249 248 229 227 150 112 78 48 40 0 2 62 89 304 314 330 370 375 391 408 446 553 589 580 579 578 559 557 480 442 408 378 370 330 328 268 241 26 16 0 40 45 61 78 116 223 589 580 579 578 559 557 480 442 408 378 370 330 328 268 241 26 16 0 40 45 61 78 116 223 30 21 20 19 0 2 79 117 151 181 189 229 231 291 318 533 543 559 599 604 620 637 675 782 30 21 20 19 0 2 79 117 151 181 189 229 231 291 318 533 543 559 599 604 620 637 675 782 219 210 209 208 189 187 110 72 38 8 0 40 42 102 129 344 354 370 410 415 431 448 486 593 219 210 209 208 189 187 110 72 38 8 0 40 42 102 129 344 354 370 410 415 431 448 486 593 812 803 802 801 782 780 703 665 631 601 593 553 551 491 464 249 239 223 183 178 162 145 107 0 812 803 802 801 782 780 703 665 631 601 593 553 551 491 464 249 239 223 183 178 162 145 107 0 147 138 137 136 117 115 38 0 34 64 72 112 114 174 201 416 426 442 482 487 503 520 558 665 147 138 137 136 117 115 38 0 34 64 72 112 114 174 201 416 426 442 482 487 503 520 558 665 109 100 99 98 79 77 0 38 72 102 110 150 152 212 239 454 464 480 520 525 541 558 596 703 109 100 99 98 79 77 0 38 72 102 110 150 152 212 239 454 464 480 520 525 541 558 596 703 11 2 1 0 19 21 98 136 170 200 208 248 250 310 337 552 562 578 618 623 639 656 694 801 10 1 0 1 20 22 99 137 171 201 209 249 251 311 338 553 563 579 619 624 640 657 695 802 629 620 619 618 599 597 520 482 448 418 410 370 368 308 281 66 56 40 0 5 21 38 76 183 573 564 563 562 543 541 464 426 392 362 354 314 312 252 225 10 0 16 56 61 77 94 132 239 321 312 311 310 291 289 212 174 140 110 102 62 60 0 27 242 252 268 308 313 329 346 384 491 321 312 311 310 291 289 212 174 140 110 102 62 60 0 27 242 252 268 308 313 329 346 384 491 211 202 201 200 181 179 102 64 30 0 8 48 50 110 137 352 362 378 418 423 439 456 494 601 211 202 201 200 181 179 102 64 30 0 8 48 50 110 137 352 362 378 418 423 439 456 494 601 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 27.50/4.52 v </instantiation>
OK 1
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-4254498-1501697041/watcher-4254498-1501697041 -o /tmp/evaluation-result-4254498-1501697041/solver-4254498-1501697041 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 258911841 HOME/instance-4254498-1501697041.xml pid=31273 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.84 3.02 5.04 2/172 31276 /proc/meminfo: memFree=31737096/32770624 swapFree=0/276528 [pid=31276] ppid=31273 vsize=23672 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (runsolver) D 31273 31276 31142 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 18327167 24240128 106 18446744073709551615 4194304 4338465 140729966287760 140729966285400 140432416334551 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 28856320 140729966293075 140729966293571 140729966293571 140729966297034 0 /proc/31276/statm: 5918 106 53 36 0 2156 0 [startup+0.100151 s] /proc/loadavg: 1.84 3.02 5.04 2/172 31276 /proc/meminfo: memFree=31737096/32770624 swapFree=0/276528 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200317 s] /proc/loadavg: 1.84 3.02 5.04 2/172 31276 /proc/meminfo: memFree=31737096/32770624 swapFree=0/276528 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300285 s] /proc/loadavg: 1.84 3.02 5.04 2/172 31276 /proc/meminfo: memFree=31737096/32770624 swapFree=0/276528 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700886 s] /proc/loadavg: 1.84 3.02 5.04 2/172 31276 /proc/meminfo: memFree=31737096/32770624 swapFree=0/276528 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50086 s] /proc/loadavg: 1.84 3.02 5.04 5/195 31308 /proc/meminfo: memFree=31305332/32770624 swapFree=0/276300 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 [pid=31278] ppid=31276 vsize=26001944 CPUtime=6.32 cores=0-7 /proc/31278/stat : 31278 (java) S 31276 31276 31142 0 -1 1077944320 39820 0 0 0 529 103 0 0 20 0 20 0 18327173 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140734496917472 140126824525559 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 /proc/31278/statm: 6500486 210110 3222 1 0 6488787 0 [pid=31278/tid=31279] ppid=31276 vsize=26001944 CPUtime=0.88 cores=0-7 /proc/31278/task/31279/stat : 31279 (java) S 31276 31276 31142 0 -1 1077944384 8448 0 0 0 82 6 0 0 20 0 20 0 18327173 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126828761920 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31280] ppid=31276 vsize=26001944 CPUtime=0.43 cores=0-7 /proc/31278/task/31280/stat : 31280 (java) R 31276 31276 31142 0 -1 4202560 3113 0 0 0 33 10 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126736431312 140126817153767 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31281] ppid=31276 vsize=26001944 CPUtime=0.43 cores=0-7 /proc/31278/task/31281/stat : 31281 (java) R 31276 31276 31142 0 -1 4202560 2739 0 0 0 33 10 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126735378512 140126817153767 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26001944 CPUtime=0.34 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) R 31276 31276 31142 0 -1 4202560 2715 0 0 0 27 7 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126734326536 140126817153767 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26001944 CPUtime=0.46 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) R 31276 31276 31142 0 -1 4202560 2865 0 0 0 33 13 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126733273424 140126817153767 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26001944 CPUtime=0.46 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) R 31276 31276 31142 0 -1 4202560 2808 0 0 0 32 14 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126732221136 140126817153767 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26001944 CPUtime=0.45 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) R 31276 31276 31142 0 -1 4202560 3131 0 0 0 31 14 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126381771344 140126817153767 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26001944 CPUtime=0.39 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) R 31276 31276 31142 0 -1 4202560 2765 0 0 0 31 8 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126380719056 140126817153767 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26001944 CPUtime=0.45 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) R 31276 31276 31142 0 -1 4202560 2764 0 0 0 32 13 0 0 20 0 20 0 18327174 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140126379666448 140126809226203 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31288] ppid=31276 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/31278/task/31288/stat : 31288 (java) S 31276 31276 31142 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 18327176 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125956215488 140126824535765 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31289] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31289/stat : 31289 (java) S 31276 31276 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 18327176 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125955162976 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31290] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31290/stat : 31290 (java) S 31276 31276 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 18327176 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125954110576 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31291] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31291/stat : 31291 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125953058896 140126824544155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31292] ppid=31276 vsize=26001944 CPUtime=0.42 cores=0-7 /proc/31278/task/31292/stat : 31292 (java) S 31276 31276 31142 0 -1 1077944384 1313 0 0 0 42 0 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125951991760 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31293] ppid=31276 vsize=26001944 CPUtime=0.47 cores=0-7 /proc/31278/task/31293/stat : 31293 (java) S 31276 31276 31142 0 -1 1077944384 1766 0 0 0 47 0 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125950938960 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31294] ppid=31276 vsize=26001944 CPUtime=0.54 cores=0-7 /proc/31278/task/31294/stat : 31294 (java) S 31276 31276 31142 0 -1 1077944384 1711 0 0 0 54 0 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125949886672 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31295] ppid=31276 vsize=26001944 CPUtime=0.46 cores=0-7 /proc/31278/task/31295/stat : 31295 (java) S 31276 31276 31142 0 -1 1077944384 2163 0 0 0 45 1 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125948848880 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31296] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31296/stat : 31296 (java) S 31276 31276 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18327179 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125947795808 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31307] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31307/stat : 31307 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18327183 26625990656 210110 18446744073709551615 4194304 4196468 140734496934928 140125946743088 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 Current children cumulated CPU time (s) 6.32 Current children cumulated vsize (KiB) 26011456 [startup+3.10085 s] /proc/loadavg: 1.84 3.02 5.04 7/195 31308 /proc/meminfo: memFree=30611396/32770624 swapFree=0/276300 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 [pid=31278] ppid=31276 vsize=26001944 CPUtime=17.29 cores=0-7 /proc/31278/stat : 31278 (java) S 31276 31276 31142 0 -1 1077944320 61634 0 0 0 1416 313 0 0 20 0 20 0 18327173 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140734496917472 140126824525559 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 /proc/31278/statm: 6500486 414524 3237 1 0 6488787 0 [pid=31278/tid=31279] ppid=31276 vsize=26001944 CPUtime=1.14 cores=0-7 /proc/31278/task/31279/stat : 31279 (java) S 31276 31276 31142 0 -1 1077944384 8537 0 0 0 106 8 0 0 20 0 20 0 18327173 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126828761920 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31280] ppid=31276 vsize=26001944 CPUtime=1.67 cores=0-7 /proc/31278/task/31280/stat : 31280 (java) R 31276 31276 31142 0 -1 4202560 4959 0 0 0 132 35 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126736431704 140126809510855 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31281] ppid=31276 vsize=26001944 CPUtime=1.68 cores=0-7 /proc/31278/task/31281/stat : 31281 (java) R 31276 31276 31142 0 -1 4202560 3423 0 0 0 132 36 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126735378904 140126809476215 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26001944 CPUtime=1.6 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) R 31276 31276 31142 0 -1 4202560 4023 0 0 0 129 31 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126734326616 140126809223206 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26001944 CPUtime=1.72 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) R 31276 31276 31142 0 -1 4202560 8069 0 0 0 133 39 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126733273816 140126806121968 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26001944 CPUtime=1.72 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) R 31276 31276 31142 0 -1 4202560 7092 0 0 0 132 40 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126732221528 140126809476683 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26001944 CPUtime=1.71 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) R 31276 31276 31142 0 -1 4202560 3774 0 0 0 133 38 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126381771736 140126806121376 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26001944 CPUtime=1.64 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) R 31276 31276 31142 0 -1 4202560 5526 0 0 0 131 33 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126380719448 140126806121399 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26001944 CPUtime=1.72 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) R 31276 31276 31142 0 -1 4202560 6085 0 0 0 131 41 0 0 20 0 20 0 18327174 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140126379666336 140126809510855 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31288] ppid=31276 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/31278/task/31288/stat : 31288 (java) S 31276 31276 31142 0 -1 1077944384 1716 0 0 0 3 3 0 0 20 0 20 0 18327176 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125956215264 140126824535765 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31289] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31289/stat : 31289 (java) S 31276 31276 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 18327176 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125955162976 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31290] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31290/stat : 31290 (java) S 31276 31276 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 18327176 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125954110592 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31291] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31291/stat : 31291 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125953058896 140126824544155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31292] ppid=31276 vsize=26001944 CPUtime=0.59 cores=0-7 /proc/31278/task/31292/stat : 31292 (java) S 31276 31276 31142 0 -1 1077944384 1343 0 0 0 59 0 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125951990512 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31293] ppid=31276 vsize=26001944 CPUtime=0.68 cores=0-7 /proc/31278/task/31293/stat : 31293 (java) S 31276 31276 31142 0 -1 1077944384 1802 0 0 0 68 0 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125950938960 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31294] ppid=31276 vsize=26001944 CPUtime=0.7 cores=0-7 /proc/31278/task/31294/stat : 31294 (java) S 31276 31276 31142 0 -1 1077944384 1751 0 0 0 70 0 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125949885584 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31295] ppid=31276 vsize=26001944 CPUtime=0.51 cores=0-7 /proc/31278/task/31295/stat : 31295 (java) S 31276 31276 31142 0 -1 1077944384 2239 0 0 0 50 1 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125948848880 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31296] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31296/stat : 31296 (java) S 31276 31276 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18327179 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125947795808 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31307] ppid=31276 vsize=26001944 CPUtime=0 cores=0-7 /proc/31278/task/31307/stat : 31307 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18327183 26625990656 414524 18446744073709551615 4194304 4196468 140734496934928 140125946743088 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 Current children cumulated CPU time (s) 17.29 Current children cumulated vsize (KiB) 26011456 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 31278 sig 9 ??? kill 31276 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20102 s] /proc/loadavg: 1.84 3.02 5.04 7/195 31308 /proc/meminfo: memFree=30611396/32770624 swapFree=0/276300 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 [pid=31278] ppid=31276 vsize=26001944 CPUtime=18.03 cores=0-7 /proc/31278/stat : 31278 (java) S 31276 31276 31142 0 -1 1077944320 66008 0 0 0 1487 316 0 0 20 0 20 0 18327173 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140734496917472 140126824525559 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 /proc/31278/statm: 6500486 418428 3237 1 0 6488787 0 [pid=31278/tid=31279] ppid=31276 vsize=26001944 CPUtime=1.14 cores=0-7 /proc/31278/task/31279/stat : 31279 (java) S 31276 31276 31142 0 -1 1077944384 8537 0 0 0 106 8 0 0 20 0 20 0 18327173 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126828761920 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31280] ppid=31276 vsize=26001944 CPUtime=1.76 cores=0-7 /proc/31278/task/31280/stat : 31280 (java) R 31276 31276 31142 0 -1 4202560 5463 0 0 0 141 35 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126736431624 140126817153767 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31281] ppid=31276 vsize=26001944 CPUtime=1.76 cores=0-7 /proc/31278/task/31281/stat : 31281 (java) R 31276 31276 31142 0 -1 4202560 3633 0 0 0 140 36 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126735378704 140126817153767 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26001944 CPUtime=1.69 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) R 31276 31276 31142 0 -1 4202560 4312 0 0 0 138 31 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126734326416 140126817153767 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26001944 CPUtime=1.81 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) R 31276 31276 31142 0 -1 4202560 9901 0 0 0 141 40 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126733273816 140126817153767 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26001944 CPUtime=1.81 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) R 31276 31276 31142 0 -1 4202560 7599 0 0 0 141 40 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126732221328 140126809515155 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26001944 CPUtime=1.81 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) R 31276 31276 31142 0 -1 4202560 3884 0 0 0 142 39 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126381771536 140126817153767 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26001944 CPUtime=1.73 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) R 31276 31276 31142 0 -1 4202560 6035 0 0 0 140 33 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126380719248 140126817153767 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26001944 CPUtime=1.81 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) R 31276 31276 31142 0 -1 4202560 6494 0 0 0 140 41 0 0 20 0 20 0 18327174 26625990656 418428 18446744073709551615 4194304 4196468 140734496934928 140126379666448 140126817153767 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 ################ # More data... # ################ /proc/31278/task/31281/stat : 31281 (java) S 31276 31276 31142 0 -1 1077944384 3636 0 0 0 193 37 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126735378704 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26534456 CPUtime=2.22 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) S 31276 31276 31142 0 -1 1077944384 4313 0 0 0 190 32 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126734326416 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26534456 CPUtime=2.34 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) S 31276 31276 31142 0 -1 1077944384 9902 0 0 0 193 41 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126733273616 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26534456 CPUtime=2.34 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) S 31276 31276 31142 0 -1 1077944384 7603 0 0 0 194 40 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126732221328 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26534456 CPUtime=2.33 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) S 31276 31276 31142 0 -1 1077944384 3890 0 0 0 194 39 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126381771536 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26534456 CPUtime=2.26 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) S 31276 31276 31142 0 -1 1077944384 6040 0 0 0 192 34 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126380719248 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26534456 CPUtime=2.33 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) S 31276 31276 31142 0 -1 1077944384 6497 0 0 0 192 41 0 0 20 0 28 0 18327174 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140126379666448 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31288] ppid=31276 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/31278/task/31288/stat : 31288 (java) S 31276 31276 31142 0 -1 1077944384 2296 0 0 0 4 3 0 0 20 0 28 0 18327176 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125956216944 140126824536706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31289] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31289/stat : 31289 (java) S 31276 31276 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125955162976 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31290] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31290/stat : 31290 (java) S 31276 31276 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125954110592 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31291] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31291/stat : 31291 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125953058896 140126824544155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31292] ppid=31276 vsize=26534456 CPUtime=0.79 cores=0-7 /proc/31278/task/31292/stat : 31292 (java) R 31276 31276 31142 0 -1 4202560 2253 0 0 0 79 0 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125951996880 140126803754673 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31293] ppid=31276 vsize=26534456 CPUtime=0.92 cores=0-7 /proc/31278/task/31293/stat : 31293 (java) S 31276 31276 31142 0 -1 1077944384 2468 0 0 0 91 1 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125950953968 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31294] ppid=31276 vsize=26534456 CPUtime=0.89 cores=0-7 /proc/31278/task/31294/stat : 31294 (java) S 31276 31276 31142 0 -1 1077944384 2119 0 0 0 89 0 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125949901680 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31295] ppid=31276 vsize=26534456 CPUtime=0.56 cores=0-7 /proc/31278/task/31295/stat : 31295 (java) R 31276 31276 31142 0 -1 1077944384 3044 0 0 0 55 1 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125948848976 140126824535765 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31296] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31296/stat : 31296 (java) S 31276 31276 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125947795808 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31307] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31307/stat : 31307 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 18327183 27171282944 431538 18446744073709551615 4194304 4196468 140734496934928 140125946743088 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 Current children cumulated CPU time (s) 23.58 Current children cumulated vsize (KiB) 26543968 [startup+4.40186 s] /proc/loadavg: 1.84 3.02 5.04 9/203 31324 /proc/meminfo: memFree=29745880/32770624 swapFree=0/276304 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 [pid=31278] ppid=31276 vsize=26534456 CPUtime=26.71 cores=0-7 /proc/31278/stat : 31278 (java) S 31276 31276 31142 0 -1 1077944320 75481 0 0 0 2280 391 0 0 20 0 28 0 18327173 27171282944 499092 18446744073709551615 4194304 4196468 140734496934928 140734496917472 140126824525559 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 /proc/31278/statm: 6633614 499092 3244 1 0 6621915 0 [pid=31278/tid=31279] ppid=31276 vsize=26534456 CPUtime=1.32 cores=0-7 /proc/31278/task/31279/stat : 31279 (java) S 31276 31276 31142 0 -1 1077944384 9069 0 0 0 124 8 0 0 20 0 28 0 18327173 27171282944 499092 18446744073709551615 4194304 4196468 140734496934928 140126828766336 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31280] ppid=31276 vsize=26534456 CPUtime=2.39 cores=0-7 /proc/31278/task/31280/stat : 31280 (java) R 31276 31276 31142 0 -1 4202560 5576 0 0 0 196 43 0 0 20 0 28 0 18327174 27171282944 499092 18446744073709551615 4194304 4196468 140734496934928 140126736429024 140126817632115 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31281] ppid=31276 vsize=26534456 CPUtime=2.41 cores=0-7 /proc/31278/task/31281/stat : 31281 (java) R 31276 31276 31142 0 -1 4202560 3759 0 0 0 196 45 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126735378704 140126817632095 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26534456 CPUtime=2.34 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) R 31276 31276 31142 0 -1 4202560 4425 0 0 0 194 40 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126734326416 140126809553442 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26534456 CPUtime=2.46 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) R 31276 31276 31142 0 -1 4202560 10035 0 0 0 197 49 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126733273616 140126806078807 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26534456 CPUtime=2.47 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) R 31276 31276 31142 0 -1 4202560 7718 0 0 0 197 50 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126732221328 140126809553442 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26534456 CPUtime=2.46 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) R 31276 31276 31142 0 -1 4202560 4008 0 0 0 198 48 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126381771736 140126817632095 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26534456 CPUtime=2.38 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) R 31276 31276 31142 0 -1 4202560 6150 0 0 0 196 42 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126380719248 140126809552978 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26534456 CPUtime=2.46 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) R 31276 31276 31142 0 -1 4202560 6612 0 0 0 196 50 0 0 20 0 28 0 18327174 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140126379666648 140126817632095 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31288] ppid=31276 vsize=26534456 CPUtime=0.08 cores=0-7 /proc/31278/task/31288/stat : 31288 (java) S 31276 31276 31142 0 -1 1077944384 2547 0 0 0 5 3 0 0 20 0 28 0 18327176 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125956215456 140126824535765 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31289] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31289/stat : 31289 (java) S 31276 31276 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125955162976 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31290] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31290/stat : 31290 (java) S 31276 31276 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125954110592 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31291] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31291/stat : 31291 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125953058896 140126824544155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31292] ppid=31276 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/31278/task/31292/stat : 31292 (java) S 31276 31276 31142 0 -1 1077944384 3594 0 0 0 97 0 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125951991760 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31293] ppid=31276 vsize=26534456 CPUtime=1.01 cores=0-7 /proc/31278/task/31293/stat : 31293 (java) S 31276 31276 31142 0 -1 1077944384 3487 0 0 0 100 1 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125950933008 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31294] ppid=31276 vsize=26534456 CPUtime=1.07 cores=0-7 /proc/31278/task/31294/stat : 31294 (java) S 31276 31276 31142 0 -1 1077944384 3300 0 0 0 106 1 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125949887664 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31295] ppid=31276 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/31278/task/31295/stat : 31295 (java) S 31276 31276 31142 0 -1 1077944384 3288 0 0 0 58 1 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125948843200 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31296] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31296/stat : 31296 (java) S 31276 31276 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125947795808 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31307] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31307/stat : 31307 (java) S 31276 31276 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 18327183 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125946743088 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31317] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31317/stat : 31317 (java) S 31276 31276 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125937682288 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31318] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31318/stat : 31318 (java) S 31276 31276 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125932422096 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31319] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31319/stat : 31319 (java) S 31276 31276 31142 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125935578256 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31320] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31320/stat : 31320 (java) S 31276 31276 31142 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125933473472 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31321] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31321/stat : 31321 (java) S 31276 31276 31142 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125931370064 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31322] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31322/stat : 31322 (java) S 31276 31276 31142 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125936633296 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31323] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31323/stat : 31323 (java) S 31276 31276 31142 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125934525024 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31324] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31324/stat : 31324 (java) S 31276 31276 31142 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 499604 18446744073709551615 4194304 4196468 140734496934928 140125938737040 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 Current children cumulated CPU time (s) 26.71 Current children cumulated vsize (KiB) 26543968 [startup+4.50792 s] /proc/loadavg: 1.84 3.02 5.04 9/203 31324 /proc/meminfo: memFree=29745880/32770624 swapFree=0/276304 [pid=31276] ppid=31273 vsize=9512 CPUtime=0 cores=0-7 /proc/31276/stat : 31276 (xcsp3-exec) S 31273 31276 31142 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 18327167 9740288 345 18446744073709551615 4194304 5098028 140733111310720 140733111308824 139883670893180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 18124800 140733111312787 140733111312996 140733111312996 140733111316459 0 /proc/31276/statm: 2378 345 289 221 0 87 0 [pid=31278] ppid=31276 vsize=26534456 CPUtime=27.5 cores=0-7 /proc/31278/stat : 31278 (java) S 31276 31276 31142 0 -1 1077944320 76295 0 0 0 2306 444 0 0 20 0 28 0 18327173 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140734496917472 140126824525559 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 /proc/31278/statm: 6633614 543701 3244 1 0 6621915 0 [pid=31278/tid=31279] ppid=31276 vsize=26534456 CPUtime=1.32 cores=0-7 /proc/31278/task/31279/stat : 31279 (java) S 31276 31276 31142 0 -1 1077944384 9069 0 0 0 124 8 0 0 20 0 28 0 18327173 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126828766336 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31280] ppid=31276 vsize=26534456 CPUtime=2.49 cores=0-7 /proc/31278/task/31280/stat : 31280 (java) S 31276 31276 31142 0 -1 1077944384 5662 0 0 0 199 50 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126736431504 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31281] ppid=31276 vsize=26534456 CPUtime=2.52 cores=0-7 /proc/31278/task/31281/stat : 31281 (java) S 31276 31276 31142 0 -1 1077944384 3846 0 0 0 200 52 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126735378704 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31282] ppid=31276 vsize=26534456 CPUtime=2.44 cores=0-7 /proc/31278/task/31282/stat : 31282 (java) S 31276 31276 31142 0 -1 1077944384 4510 0 0 0 197 47 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126734326416 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31283] ppid=31276 vsize=26534456 CPUtime=2.56 cores=0-7 /proc/31278/task/31283/stat : 31283 (java) S 31276 31276 31142 0 -1 1077944384 10121 0 0 0 201 55 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126733273616 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31284] ppid=31276 vsize=26534456 CPUtime=2.57 cores=0-7 /proc/31278/task/31284/stat : 31284 (java) S 31276 31276 31142 0 -1 1077944384 7804 0 0 0 201 56 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126732221328 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31285] ppid=31276 vsize=26534456 CPUtime=2.55 cores=0-7 /proc/31278/task/31285/stat : 31285 (java) R 31276 31276 31142 0 -1 1077944384 4093 0 0 0 201 54 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126381771536 140126824535765 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31286] ppid=31276 vsize=26534456 CPUtime=2.48 cores=0-7 /proc/31278/task/31286/stat : 31286 (java) S 31276 31276 31142 0 -1 1077944384 6236 0 0 0 199 49 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126380719248 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31287] ppid=31276 vsize=26534456 CPUtime=2.56 cores=0-7 /proc/31278/task/31287/stat : 31287 (java) S 31276 31276 31142 0 -1 1077944384 6699 0 0 0 199 57 0 0 20 0 28 0 18327174 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140126379666448 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31288] ppid=31276 vsize=26534456 CPUtime=0.08 cores=0-7 /proc/31278/task/31288/stat : 31288 (java) S 31276 31276 31142 0 -1 1077944384 2671 0 0 0 5 3 0 0 20 0 28 0 18327176 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125956216944 140126824536706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31289] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31289/stat : 31289 (java) S 31276 31276 31142 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125955162976 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31290] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31290/stat : 31290 (java) S 31276 31276 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 18327176 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125954110592 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31291] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31291/stat : 31291 (java) S 31276 31276 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125953058896 140126824544155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31292] ppid=31276 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/31278/task/31292/stat : 31292 (java) R 31276 31276 31142 0 -1 4202560 3594 0 0 0 97 0 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125951991760 140126804238320 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31293] ppid=31276 vsize=26534456 CPUtime=1.01 cores=0-7 /proc/31278/task/31293/stat : 31293 (java) R 31276 31276 31142 0 -1 4202560 3487 0 0 0 100 1 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125950933008 140126808055599 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31294] ppid=31276 vsize=26534456 CPUtime=1.07 cores=0-7 /proc/31278/task/31294/stat : 31294 (java) S 31276 31276 31142 0 -1 1077944384 3300 0 0 0 106 1 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125949887664 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31295] ppid=31276 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/31278/task/31295/stat : 31295 (java) R 31276 31276 31142 0 -1 4202560 3292 0 0 0 58 1 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125948843200 140126817622395 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31296] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31296/stat : 31296 (java) S 31276 31276 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 18327179 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125947795808 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31307] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31307/stat : 31307 (java) S 31276 31276 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 18327183 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125946743088 140126824536706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31317] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31317/stat : 31317 (java) S 31276 31276 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125937682288 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31318] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31318/stat : 31318 (java) S 31276 31276 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125932422096 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31319] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31319/stat : 31319 (java) R 31276 31276 31142 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125935578256 140126418815335 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31320] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31320/stat : 31320 (java) R 31276 31276 31142 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125933473472 140126418442156 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31321] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31321/stat : 31321 (java) S 31276 31276 31142 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125931370064 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31322] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31322/stat : 31322 (java) S 31276 31276 31142 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125936633296 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31323] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31323/stat : 31323 (java) S 31276 31276 31142 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125934525024 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 [pid=31278/tid=31324] ppid=31276 vsize=26534456 CPUtime=0 cores=0-7 /proc/31278/task/31324/stat : 31324 (java) S 31276 31276 31142 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 18327595 27171282944 543701 18446744073709551615 4194304 4196468 140734496934928 140125938737872 140126824535765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140734496940496 140734496940672 140734496940672 140734496944079 0 Current children cumulated CPU time (s) 27.5 Current children cumulated vsize (KiB) 26543968 Child status: 0 Real time (s): 4.56629 CPU time (s): 27.6507 CPU user time (s): 23.1753 CPU system time (s): 4.4754 CPU usage (%): 605.54 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.1753 system time used= 4.4754 maximum resident set size= 2175688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77794 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= 5431 involuntary context switches= 468 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.025027 second user time and 0.038931 second system time The end
Begin job on node129 at 2017-08-02 19:50:01 IDJOB=4254498 IDBENCH=138352 IDSOLVER=2636 FILE ID=node129/4254498-1501697041 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff46.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254498-1501697041/watcher-4254498-1501697041 -o /tmp/evaluation-result-4254498-1501697041/solver-4254498-1501697041 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 258911841 HOME/instance-4254498-1501697041.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e87063ac5f415f4746541d77da271ae RANDOM SEED=258911841 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: 31737032 kB MemAvailable: 32014436 kB Buffers: 143272 kB Cached: 420920 kB SwapCached: 0 kB Active: 326716 kB Inactive: 293244 kB Active(anon): 56028 kB Inactive(anon): 16716 kB Active(file): 270688 kB Inactive(file): 276528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7776 kB Writeback: 0 kB AnonPages: 54456 kB Mapped: 31732 kB Shmem: 17064 kB Slab: 116980 kB SReclaimable: 92048 kB SUnreclaim: 24932 kB KernelStack: 3472 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 287264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 61940 MiB End job on node129 at 2017-08-02 19:50:06