Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 514 | 2400.04 | 2385.91 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml |
| MD5SUM | aadfd6ed706e08b9468e37c047f4c189 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 514 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1640 |
| Number of constraints | 1599 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 141 |
| Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 77 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 39 |
| Distribution of constraint arities | [{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 39 |
| Distribution of constraint types | [{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406583-1569398359.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406583-1569398359.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 1.80/0.78 c solve instance... 4.74/1.89 o 1345 5.05/1.90 o 1336 5.05/1.91 o 1329 5.05/1.91 o 1321 5.05/1.92 o 1301 5.05/1.95 o 1297 5.94/2.24 o 1283 5.94/2.27 o 1261 5.94/2.27 o 1246 5.94/2.29 o 1230 6.22/2.31 o 1217 6.22/2.31 o 1206 6.22/2.32 o 1185 7.01/2.66 o 1183 7.01/2.69 o 1140 7.62/2.83 o 1139 8.26/3.07 o 1137 8.26/3.07 o 1126 8.26/3.08 o 1124 8.26/3.10 o 1113 8.56/3.12 o 1095 8.56/3.17 o 1080 9.07/3.33 o 1077 9.07/3.34 o 1073 9.07/3.35 o 1066 9.07/3.36 o 1034 9.25/3.48 o 1032 9.35/3.51 o 1021 9.64/3.70 o 1005 9.64/3.71 o 992 9.76/3.84 o 981 9.76/3.85 o 979 9.76/3.85 o 974 9.76/3.86 o 970 9.76/3.86 o 964 9.90/3.99 o 957 10.03/4.01 o 955 10.03/4.02 o 954 10.18/4.14 o 953 10.35/4.21 o 949 10.35/4.23 o 947 10.35/4.26 o 946 10.44/4.35 o 916 10.44/4.35 o 914 10.44/4.40 o 898 10.92/4.71 o 869 11.02/4.85 o 857 12.15/5.96 o 853 12.15/5.96 o 851 12.15/5.98 o 850 12.15/5.99 o 847 12.25/6.00 o 845 12.36/6.11 o 835 12.36/6.11 o 828 12.36/6.11 o 821 12.36/6.12 o 820 12.36/6.12 o 806 12.36/6.12 o 797 12.36/6.17 o 778 12.57/6.36 o 771 12.57/6.37 o 766 12.57/6.37 o 761 12.57/6.37 o 752 12.57/6.38 o 733 12.79/6.56 o 722 14.01/7.72 o 715 14.11/7.83 o 712 14.32/8.10 o 711 14.32/8.10 o 700 14.42/8.11 o 695 14.82/8.56 o 686 14.82/8.57 o 683 15.04/8.76 o 680 15.24/8.93 o 678 17.94/11.67 o 672 18.46/12.18 o 654 19.19/12.86 o 641 20.30/13.91 o 632 20.70/14.33 o 627 21.59/15.11 o 621 21.59/15.19 o 619 23.90/17.45 o 614 24.61/18.12 o 611 24.61/18.14 o 602 27.34/20.84 o 594 44.67/37.93 o 592 50.77/44.00 o 584 50.77/44.01 o 572 58.69/51.95 o 566 59.09/52.34 o 561 69.09/62.30 o 556 168.79/161.81 o 544 214.94/207.97 o 543 326.60/319.55 o 537 650.00/642.51 o 527 729.04/721.43 o 523 731.86/724.26 o 514 2400.01/2385.90 s SATISFIABLE 2400.01/2385.90 v <instantiation> 2400.01/2385.90 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list> 2400.01/2385.90 v <values>0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 123 85 67 122 50 15 118 116 26 55 19 29 97 46 102 41 125 138 111 28 49 93 134 25 74 99 138 81 55 45 92 126 92 95 45 51 134 15 69 </values> 2400.01/2385.90 v </instantiation> 2400.01/2385.90 c Unexpected resolution interruption!
OK 514
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11874 MiB free)
memory of node 1: 16384 MiB (11484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406583-1569398359/watcher-4406583-1569398359 -o /tmp/evaluation-result-4406583-1569398359/solver-4406583-1569398359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3343 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406583-1569398359.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4106, runsolver pid=4103
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.49 2.06 1.56 4/228 4122
/proc/meminfo: memFree=23902868/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15144776 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 5812 0 0 0 12 1 0 0 20 0 15 0 516106886 15508250624 7405 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3786194 7405 3145 1 0 3748377 0
[pid=4108/tid=4109] ppid=4106 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 3732 0 0 0 9 0 0 0 20 0 15 0 516106886 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338543812496 140338531818302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15144776 memory=3472468015641621712 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106888 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106889 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338006582816 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106889 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338005529968 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) R 4106 4106 3311 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) R 4106 4106 3311 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338002372848 140338521102613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0.02 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) R 4106 4106 3311 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 516106891 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338001320048 140338518555760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 7405 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106892 15508250624 7405 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210849 s]*
/proc/loadavg: 2.49 2.06 1.56 4/228 4122
/proc/meminfo: memFree=23891104/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15144776 memory=40304 CPUtime=0.34 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 9307 0 0 0 32 2 0 0 20 0 15 0 516106886 15508250624 10076 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3786194 10076 3298 1 0 3748377 0
[pid=4108/tid=4109] ppid=4106 vsize=15144776 memory=4500116723524083353 CPUtime=0.19 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 6594 0 0 0 18 1 0 0 20 0 15 0 516106886 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338543819488 140338532259189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15144776 memory=3472468015641621712 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106887 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516106888 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106889 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338006582816 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106889 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338005529968 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 516106891 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 516106891 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0.08 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 516106891 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15508250624 10076 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15144776 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106892 15508250624 10076 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41756 KiB
[startup+0.317355 s]*
/proc/loadavg: 2.49 2.06 1.56 4/228 4122
/proc/meminfo: memFree=23883668/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15149032 memory=50644 CPUtime=0.55 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 10923 0 0 0 52 3 0 0 20 0 15 0 516106886 15512608768 12661 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3787258 12661 3370 1 0 3748377 0
[pid=4108/tid=4109] ppid=4106 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 7851 0 0 0 28 2 0 0 20 0 15 0 516106886 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338543812288 140338539593110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15149032 memory=3472468182974150320 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15149032 memory=139886746470016 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15149032 memory=139886615207711 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106887 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15149032 memory=279773230394656 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516106888 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15149032 memory=139886615184655 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106889 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338006582816 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15149032 memory=279773361663840 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106889 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338005529968 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15149032 memory=139886615189263 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 516106891 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15149032 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 516106891 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 959 0 0 0 13 0 0 0 20 0 15 0 516106891 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15512608768 12671 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106892 15512608768 12671 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52096 KiB
[startup+0.701399 s]
/proc/loadavg: 2.49 2.06 1.56 7/228 4122
/proc/meminfo: memFree=23862516/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15151156 memory=90928 CPUtime=1.8 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 15381 0 0 0 175 5 0 0 20 0 15 0 516106886 15514783744 22732 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3787789 22732 3453 1 0 3748889 0
[pid=4108/tid=4109] ppid=4106 vsize=15151156 memory=6153395287087403600 CPUtime=0.67 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 9074 0 0 0 64 3 0 0 20 0 15 0 516106886 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338543817104 140338144662081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15151156 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106887 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106887 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516106888 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338006582816 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338005529968 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15151156 memory=1096 CPUtime=0.34 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) R 4106 4106 3311 0 -1 4202560 1567 0 0 0 34 0 0 0 20 0 15 0 516106891 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338003412848 140338523483328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15151156 memory=1228 CPUtime=0.34 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) R 4106 4106 3311 0 -1 4202560 1277 0 0 0 34 0 0 0 20 0 15 0 516106891 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338002371984 140338523867165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15151156 memory=6152 CPUtime=0.41 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) R 4106 4106 3311 0 -1 4202560 2155 0 0 0 41 0 0 0 20 0 15 0 516106891 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338001317840 140338539602522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 22732 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106892 15514783744 22732 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92380 KiB
[startup+1.50497 s]
/proc/loadavg: 2.49 2.06 1.56 5/228 4122
/proc/meminfo: memFree=23832256/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338005529984 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15151156 memory=10728 CPUtime=3.06 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 15836 0 0 0 304 2 0 0 20 0 15 0 516106891 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15151156 memory=1552 CPUtime=3.21 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 18658 0 0 0 319 2 0 0 20 0 15 0 516106891 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15151156 memory=4919604 CPUtime=0.75 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 10223 0 0 0 73 2 0 0 20 0 15 0 516106891 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15151156 memory=302022869943320911 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15151156 memory=15537418711338531 CPUtime=0.66 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1188 0 0 0 30 36 0 0 20 0 15 0 516106892 15514783744 1354293 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 2275.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5418624 KiB
[startup+2322.3 s]
/proc/loadavg: 1.81 1.78 1.77 3/228 4492
/proc/meminfo: memFree=24303656/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15151156 memory=766368 CPUtime=2336.23 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 182786 0 0 0 233033 590 0 0 20 0 15 0 516106886 15514783744 191592 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3787789 191592 3534 1 0 3748889 0
[pid=4108/tid=4109] ppid=4106 vsize=15151156 memory=8112282956445269571 CPUtime=2318.73 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 90264 0 0 0 231369 504 0 0 20 0 15 0 516106886 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338543820904 140338145788493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15151156 memory=288230596050944315 CPUtime=2.17 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 8358 0 0 0 210 7 0 0 20 0 15 0 516106887 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15151156 memory=13572582825789943 CPUtime=2.15 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 7936 0 0 0 208 7 0 0 20 0 15 0 516106887 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15151156 memory=500 CPUtime=2.16 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 6768 0 0 0 208 8 0 0 20 0 15 0 516106887 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15151156 memory=928 CPUtime=2.17 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 5857 0 0 0 211 6 0 0 20 0 15 0 516106887 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15151156 memory=1984 CPUtime=1.05 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 16228 0 0 0 84 21 0 0 20 0 15 0 516106888 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15151156 memory=2364 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338006582880 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15151156 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338005529984 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15151156 memory=1448 CPUtime=3.06 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 15838 0 0 0 304 2 0 0 20 0 15 0 516106891 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15151156 memory=1748 CPUtime=3.21 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 18660 0 0 0 319 2 0 0 20 0 15 0 516106891 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15151156 memory=111632 CPUtime=0.75 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 10226 0 0 0 73 2 0 0 20 0 15 0 516106891 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 191592 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15151156 memory=4100 CPUtime=0.68 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1220 0 0 0 31 37 0 0 20 0 15 0 516106892 15514783744 191592 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 2336.23 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 767820 KiB
[startup+2382.3 s]
/proc/loadavg: 1.72 1.76 1.77 3/228 4496
/proc/meminfo: memFree=22600148/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15151156 memory=446068 CPUtime=2396.41 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 189021 0 0 0 239009 632 0 0 20 0 15 0 516106886 15514783744 111517 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3787789 111517 3534 1 0 3748889 0
[pid=4108/tid=4109] ppid=4106 vsize=15151156 memory=500 CPUtime=2378.62 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 96411 0 0 0 237318 544 0 0 20 0 15 0 516106886 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338543820496 140338149250497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15151156 memory=928 CPUtime=2.23 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 8366 0 0 0 216 7 0 0 20 0 15 0 516106887 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15151156 memory=1984 CPUtime=2.2 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 7943 0 0 0 213 7 0 0 20 0 15 0 516106887 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15151156 memory=2364 CPUtime=2.22 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 6768 0 0 0 214 8 0 0 20 0 15 0 516106887 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15151156 memory=1744 CPUtime=2.22 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 5865 0 0 0 216 6 0 0 20 0 15 0 516106887 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15151156 memory=924 CPUtime=1.1 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 16289 0 0 0 88 22 0 0 20 0 15 0 516106888 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338006582880 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338005529984 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15151156 memory=2230776 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15151156 memory=1452 CPUtime=3.06 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 15838 0 0 0 304 2 0 0 20 0 15 0 516106891 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15151156 memory=2191712 CPUtime=3.21 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 18660 0 0 0 319 2 0 0 20 0 15 0 516106891 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15151156 memory=301741373374332954 CPUtime=0.75 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 10226 0 0 0 73 2 0 0 20 0 15 0 516106891 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15151156 memory=316378093722009915 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 111517 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15151156 memory=13572582825789943 CPUtime=0.71 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1224 0 0 0 32 39 0 0 20 0 15 0 516106892 15514783744 111517 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 2396.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 447520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.9 s]
/proc/loadavg: 1.74 1.77 1.77 3/228 4496
/proc/meminfo: memFree=24494224/32770624 swapFree=66941100/67108860
[pid=4106] ppid=4103 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4106/stat : 4106 (xcsp3-exec) S 4103 4106 3311 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516106885 115843072 363 33554432000 4194304 5098028 140737314969184 140737314967288 140662976983676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140737314972538 140737314972781 140737314972781 140737314975690 0
/proc/4106/statm: 28282 363 304 221 0 87 0
[pid=4108] ppid=4106 vsize=15151156 memory=618836 CPUtime=2400.01 cores=1,3,5,7
/proc/4108/stat : 4108 (java) S 4106 4106 3311 0 -1 1077944320 189301 0 0 0 239366 635 0 0 20 0 15 0 516106886 15514783744 154709 33554432000 4194304 4196468 140721611695440 140721611677984 140338539581175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
/proc/4108/statm: 3787789 154709 3534 1 0 3748889 0
[pid=4108/tid=4109] ppid=4106 vsize=15151156 memory=1744 CPUtime=2382.22 cores=1,3,5,7
/proc/4108/task/4109/stat : 4109 (java) R 4106 4106 3311 0 -1 4202560 96691 0 0 0 237676 546 0 0 20 0 15 0 516106886 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338543820904 140338145787916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4110] ppid=4106 vsize=15151156 memory=924 CPUtime=2.23 cores=1,3,5,7
/proc/4108/task/4110/stat : 4110 (java) S 4106 4106 3311 0 -1 1077944384 8366 0 0 0 216 7 0 0 20 0 15 0 516106887 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338467621520 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4111] ppid=4106 vsize=15151156 memory=1448 CPUtime=2.2 cores=1,3,5,7
/proc/4108/task/4111/stat : 4111 (java) S 4106 4106 3311 0 -1 1077944384 7943 0 0 0 213 7 0 0 20 0 15 0 516106887 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338466568720 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4112] ppid=4106 vsize=15151156 memory=1748 CPUtime=2.22 cores=1,3,5,7
/proc/4108/task/4112/stat : 4112 (java) S 4106 4106 3311 0 -1 1077944384 6768 0 0 0 214 8 0 0 20 0 15 0 516106887 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338465515920 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4113] ppid=4106 vsize=15151156 memory=1452 CPUtime=2.22 cores=1,3,5,7
/proc/4108/task/4113/stat : 4113 (java) S 4106 4106 3311 0 -1 1077944384 5865 0 0 0 216 6 0 0 20 0 15 0 516106887 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338464463120 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4114] ppid=4106 vsize=15151156 memory=8112282956445269571 CPUtime=1.1 cores=1,3,5,7
/proc/4108/task/4114/stat : 4114 (java) S 4106 4106 3311 0 -1 1077944384 16289 0 0 0 88 22 0 0 20 0 15 0 516106888 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338007636848 140338539592322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4115] ppid=4106 vsize=15151156 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4115/stat : 4115 (java) S 4106 4106 3311 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338006582880 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4116] ppid=4106 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4116/stat : 4116 (java) S 4106 4106 3311 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516106889 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338005529984 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4117] ppid=4106 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4117/stat : 4117 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338004478288 140338539599771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4118] ppid=4106 vsize=15151156 memory=3984 CPUtime=3.06 cores=1,3,5,7
/proc/4108/task/4118/stat : 4118 (java) S 4106 4106 3311 0 -1 1077944384 15838 0 0 0 304 2 0 0 20 0 15 0 516106891 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338003425648 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4119] ppid=4106 vsize=15151156 memory=1452 CPUtime=3.21 cores=1,3,5,7
/proc/4108/task/4119/stat : 4119 (java) S 4106 4106 3311 0 -1 1077944384 18660 0 0 0 319 2 0 0 20 0 15 0 516106891 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338002372848 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4120] ppid=4106 vsize=15151156 memory=538652 CPUtime=0.75 cores=1,3,5,7
/proc/4108/task/4120/stat : 4120 (java) S 4106 4106 3311 0 -1 1077944384 10226 0 0 0 73 2 0 0 20 0 15 0 516106891 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338001320048 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4121] ppid=4106 vsize=15151156 memory=6152 CPUtime=0 cores=1,3,5,7
/proc/4108/task/4121/stat : 4121 (java) S 4106 4106 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106891 15514783744 154709 33554432000 4194304 4196468 140721611695440 140338000267488 140338539591381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
[pid=4108/tid=4122] ppid=4106 vsize=15151156 memory=780 CPUtime=0.71 cores=1,3,5,7
/proc/4108/task/4122/stat : 4122 (java) S 4106 4106 3311 0 -1 1077944384 1224 0 0 0 32 39 0 0 20 0 15 0 516106892 15514783744 154709 33554432000 4194304 4196468 140721611695440 140337999215792 140338539592322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25010176 140721611699183 140721611699354 140721611699354 140721611702223 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 620288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2385.91 s]
# the end of solver process 4106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002249 s
[startup+2385.91 s]
# the end of solver process 4108 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.68 s, system=6.36317 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2385.91
CPU time (s): 2400.04
CPU user time (s): 2393.68
CPU system time (s): 6.36317
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 15266444
Max. memory (cumulated for all children) (KiB): 5926288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.68
system time used= 6.36317
maximum resident set size= 5930980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68204
involuntary context switches= 2123
# summary of solver processes directly reported to runsolver:
# pid: 4106,4108
# total CPU time (s): 2400.04
# total CPU user time (s): 2393.68
# total CPU system time (s): 6.36317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.233 second user time and 21.7735 second system time
The end
Begin job on node139 at 2019-09-25 10:01:34 IDJOB=4406583 IDBENCH=124389 IDSOLVER=2870 FILE ID=node139/4406583-1569398359 RUNJOBID= node139-1569396805-3343 PBS_JOBID= 21705683 Free space on /tmp= 5120 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406583-1569398359/watcher-4406583-1569398359 -o /tmp/evaluation-result-4406583-1569398359/solver-4406583-1569398359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3343 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406583-1569398359.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189 RANDOM SEED=1860271512 node139.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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23920660 kB MemAvailable: 30445964 kB Buffers: 125120 kB Cached: 6488408 kB SwapCached: 64772 kB Active: 4677344 kB Inactive: 3337992 kB Active(anon): 1338388 kB Inactive(anon): 119604 kB Active(file): 3338956 kB Inactive(file): 3218388 kB Unevictable: 109024 kB Mlocked: 109024 kB SwapTotal: 67108860 kB SwapFree: 66941100 kB Dirty: 26252 kB Writeback: 0 kB AnonPages: 1447552 kB Mapped: 71176 kB Shmem: 47436 kB Slab: 425612 kB SReclaimable: 396420 kB SUnreclaim: 29192 kB KernelStack: 3744 kB PageTables: 8220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3682652 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1329152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5092 MiB End job on node139 at 2019-09-25 10:41:20