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) | 31118 | 2400.08 | 2391.71 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml |
| MD5SUM | 4fcc0be526f5147180ee0aa4ecb06fa1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 31118 |
| Best CPU time to get the best result obtained on this benchmark | 2400.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2550 |
| Number of constraints | 1200 |
| Number of domains | 2 |
| Minimum domain size | 49 |
| Maximum domain size | 50 |
| Distribution of domain sizes | [{"size":49,"count":1199},{"size":50,"count":50}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 50 |
| Distribution of constraint arities | [{"arity":3,"count":1199},{"arity":50,"count":1}] |
| Number of extensional constraints | 1199 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1199},{"type":"allDifferent","count":1}] |
| 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-4406597-1569397215.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406597-1569397215.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 2.49/1.05 c solve instance... 8.70/5.06 o 31906 8.70/5.07 o 31882 8.70/5.08 o 31880 8.70/5.08 o 31854 8.70/5.09 o 31835 8.93/5.16 o 31824 8.93/5.18 o 31820 9.23/5.26 o 31813 9.83/5.41 o 31812 9.83/5.44 o 31809 10.79/5.94 o 31799 10.79/5.95 o 31798 10.79/5.96 o 31796 11.01/6.03 o 31794 11.01/6.03 o 31789 11.01/6.04 o 31770 11.69/6.37 o 31764 12.28/6.64 o 31755 12.28/6.66 o 31740 12.28/6.66 o 31738 12.28/6.69 o 31728 12.38/6.75 o 31724 12.58/6.82 o 31719 13.16/7.26 o 31716 13.26/7.37 o 31711 13.68/7.71 o 31703 13.68/7.72 o 31697 13.68/7.73 o 31689 13.90/7.95 o 31687 13.90/7.97 o 31685 13.90/7.98 o 31680 14.30/8.37 o 31660 14.41/8.47 o 31634 14.41/8.47 o 31632 15.03/9.03 o 31624 15.85/9.72 o 31616 16.31/10.19 o 31608 16.31/10.20 o 31590 16.96/10.77 o 31585 16.96/10.77 o 31566 16.96/10.77 o 31563 18.34/12.10 o 31548 18.57/12.20 o 31543 18.57/12.20 o 31536 18.57/12.21 o 31529 19.92/13.41 o 31519 20.53/14.10 o 31495 21.04/14.53 o 31488 21.91/15.27 o 31483 22.11/15.42 o 31481 23.73/17.05 o 31478 24.94/18.29 o 31475 29.25/22.53 o 31473 30.55/23.85 o 31472 30.55/23.85 o 31461 30.55/23.86 o 31455 30.66/23.90 o 31451 31.29/24.58 o 31444 31.80/25.10 o 31443 31.90/25.17 o 31436 33.11/26.23 o 31434 33.11/26.23 o 31428 33.11/26.24 o 31425 33.81/26.90 o 31424 33.81/26.97 o 31413 36.81/29.93 o 31406 36.81/30.00 o 31405 36.92/30.08 o 31403 39.21/32.31 o 31386 39.33/32.41 o 31381 39.33/32.43 o 31377 42.97/36.11 o 31349 60.85/53.89 o 31340 60.95/53.90 o 31338 62.17/55.19 o 31331 62.26/55.24 o 31329 64.57/57.51 o 31320 64.57/57.51 o 31311 72.58/65.56 o 31299 73.78/66.75 o 31298 85.00/77.97 o 31287 85.00/77.99 o 31282 111.61/104.51 o 31281 120.72/113.68 o 31272 140.74/133.64 o 31262 156.54/149.40 o 31245 239.07/231.84 o 31242 247.98/240.77 o 31240 252.68/245.43 o 31226 282.39/275.17 o 31225 300.45/293.17 o 31224 312.05/304.74 o 31218 344.47/337.17 o 31217 344.76/337.44 o 31213 357.67/350.32 o 31204 390.40/383.04 o 31203 390.59/383.25 o 31187 407.20/399.86 o 31178 411.00/403.61 o 31165 505.07/497.65 o 31158 630.21/622.77 o 31157 636.68/629.18 o 31155 777.91/770.35 o 31153 900.30/892.66 o 31148 902.10/894.43 o 31144 905.50/897.82 o 31143 1126.17/1118.44 o 31138 1530.73/1522.72 o 31127 1669.86/1661.82 o 31122 1694.48/1686.48 o 31118 2400.06/2391.70 s SATISFIABLE 2400.06/2391.70 v <instantiation> 2400.06/2391.70 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] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list> 2400.06/2391.70 v <values>4 38 46 9 40 41 25 24 32 36 33 43 23 42 18 34 29 3 37 28 15 13 7 26 12 8 45 14 16 11 1 10 27 6 44 31 47 5 49 20 22 30 35 17 0 19 21 2 48 39 9 22 28 40 39 26 2 29 41 44 3 31 27 34 38 25 21 17 20 33 29 36 49 27 36 21 30 35 22 30 40 10 6 35 19 33 17 38 11 28 38 35 31 21 16 27 14 36 42 24 20 32 25 14 41 33 35 24 22 37 14 14 15 40 7 29 27 16 35 17 30 27 12 26 34 21 12 25 7 25 26 21 29 30 24 14 35 29 25 21 24 30 27 22 31 23 18 31 27 5 37 26 40 37 13 25 29 19 23 28 31 20 12 49 23 39 21 31 17 34 21 35 11 14 25 14 35 21 7 22 15 16 27 35 15 23 14 22 9 28 21 32 27 47 16 22 22 34 37 24 30 34 28 34 24 46 36 28 47 25 21 33 48 37 35 35 42 29 19 40 11 43 27 30 30 44 5 15 27 33 11 19 29 22 42 18 39 16 10 23 11 44 43 11 20 14 8 32 19 22 30 14 11 22 19 36 20 5 34 10 9 9 23 15 20 37 27 36 34 15 24 37 34 21 42 28 11 26 17 38 31 49 28 25 13 35 33 27 23 28 33 14 8 24 33 26 21 13 23 6 4 26 18 34 35 25 46 24 43 22 28 20 30 25 19 25 28 33 28 24 35 29 29 34 11 23 30 31 35 26 16 24 28 9 24 22 35 27 32 13 38 35 47 25 22 26 22 25 36 37 20 34 30 24 22 22 26 45 35 14 11 21 14 36 29 17 39 9 13 46 13 37 29 21 28 38 31 19 8 30 26 21 24 23 28 26 42 15 33 18 43 40 18 20 19 28 28 41 45 25 30 26 29 27 35 28 31 33 11 42 33 2 34 44 27 35 28 34 33 25 34 19 10 48 22 14 8 25 19 47 35 37 27 45 28 19 17 20 33 7 38 21 12 13 25 42 28 10 5 16 11 27 20 7 33 24 21 28 7 19 16 24 25 18 26 35 39 11 11 30 36 33 25 42 29 35 28 17 39 10 14 17 41 38 41 27 28 14 38 29 7 29 23 22 31 28 37 29 17 34 33 40 36 26 33 15 16 32 27 8 26 35 13 28 24 32 39 14 9 20 34 33 36 17 29 39 38 25 20 24 36 35 41 44 41 34 9 28 21 32 31 26 25 32 32 12 13 31 39 24 19 24 36 32 14 24 18 6 5 40 38 33 34 36 25 16 22 26 21 8 39 31 35 18 14 5 31 17 19 33 41 30 22 24 29 29 31 38 28 45 35 7 19 13 25 35 27 32 27 24 24 13 6 27 31 15 15 31 4 17 44 39 25 13 40 46 30 40 35 32 14 35 34 43 35 29 34 22 21 6 29 27 29 22 38 24 41 11 29 31 25 16 26 26 17 23 24 36 21 18 44 21 36 29 25 15 32 28 35 40 44 17 18 46 23 22 35 30 35 27 15 8 27 26 27 30 36 28 33 25 23 24 15 29 36 33 17 33 35 26 34 20 24 31 42 22 4 26 27 24 30 35 28 34 34 27 35 5 47 44 37 16 31 48 22 36 23 26 27 33 4 35 14 17 26 28 29 38 32 13 23 37 44 17 11 19 24 26 34 7 24 25 37 25 22 19 2 22 25 21 22 31 19 19 16 23 31 41 21 36 28 28 26 28 31 33 20 26 22 26 14 40 30 33 34 18 29 21 33 26 16 28 27 12 35 32 22 36 30 26 29 25 21 18 23 28 28 25 29 9 22 27 14 20 33 44 25 37 44 44 23 20 23 20 27 42 29 38 23 14 38 12 28 21 15 25 16 16 29 29 35 45 32 36 36 30 10 24 14 16 23 35 21 30 23 33 25 12 34 7 27 42 16 34 23 23 17 15 38 25 14 11 29 10 34 14 14 26 18 27 30 26 44 7 17 46 26 8 31 13 25 38 38 38 37 21 38 20 20 26 35 35 11 30 38 18 35 11 34 47 5 11 21 23 28 15 12 30 29 28 35 31 27 18 27 10 16 30 34 27 33 31 20 29 22 33 41 16 19 29 23 35 33 28 26 41 22 18 14 37 32 24 31 14 32 5 27 37 47 33 37 33 21 10 30 11 37 19 29 43 18 34 38 16 17 23 16 19 17 39 18 32 19 27 7 9 13 42 8 27 25 28 8 22 27 44 30 3 36 26 24 22 28 41 24 37 18 30 25 12 24 22 42 22 30 29 20 8 28 14 24 34 23 33 26 14 21 25 32 32 31 22 27 21 21 18 19 15 24 15 27 20 20 31 18 34 31 36 10 15 9 16 36 26 17 20 22 33 19 20 19 8 13 36 20 33 41 12 7 32 15 26 28 27 24 29 17 23 22 31 38 24 29 29 26 23 31 34 26 15 44 16 22 23 39 18 26 6 30 13 33 13 6 27 16 31 9 20 15 34 8 38 33 32 25 14 24 27 33 29 30 25 15 43 18 29 28 11 27 15 24 10 24 44 30 41 45 10 19 17 30 31 35 35 36 24 26 21 28 27 29 29 5 32 30 13 33 26 34 21 35 34 12 24 14 48 19 40 17 41 26 19 42 7 21 24 19 28 10 17 32 31 8 28 37 29 29 30 22 27 16 18 6 30 22 35 20 38 35 29 24 19 29 31 32 26 20 45 28 29 28 11 27 5 15 23 11 12 36 30 26 32 28 6 38 25 27 18 32 45 24 18 11 14 28 26 34 24 27 20 17 6 14 41 31 40 27 34 14 28 22 26 29 29 26 17 30 25 16 </values> 2400.06/2391.70 v </instantiation> 2400.06/2391.70 c Unexpected resolution interruption!
OK 31118
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 (13181 MiB free)
memory of node 1: 16384 MiB (11276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406597-1569397215/watcher-4406597-1569397215 -o /tmp/evaluation-result-4406597-1569397215/solver-4406597-1569397215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3342 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406597-1569397215.xml
running on 4 cores: 0,2,4,6
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=3825, runsolver pid=3822
Current StackSize limit: 8192 KiB
[startup+0.103004 s]*
/proc/loadavg: 1.50 1.23 0.68 3/228 3841
/proc/meminfo: memFree=25029012/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15144776 memory=29644 CPUtime=0.13 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 5860 0 0 0 12 1 0 0 20 0 15 0 515992429 15508250624 7411 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3786194 7411 3148 1 0 3748377 0
[pid=3827/tid=3828] ppid=3825 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 3744 0 0 0 8 1 0 0 20 0 15 0 515992429 15508250624 7411 33554432000 4194304 4196468 140725173267856 140412298515440 140412294299030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15144776 memory=3472468452083127504 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 7411 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 7411 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 7411 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 7411 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411761329056 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) R 3825 3825 3311 0 -1 4202560 420 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411758172656 140412294299030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) R 3825 3825 3311 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0.02 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) R 3825 3825 3311 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411756067568 140412273234815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) R 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 7411 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31092 KiB
[startup+0.210713 s]*
/proc/loadavg: 1.50 1.23 0.68 4/228 3841
/proc/meminfo: memFree=25016600/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15144776 memory=41048 CPUtime=0.34 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 15 0 515992429 15508250624 10262 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3786194 10262 3297 1 0 3748377 0
[pid=3827/tid=3828] ppid=3825 vsize=15144776 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 6646 0 0 0 18 2 0 0 20 0 15 0 515992429 15508250624 10262 33554432000 4194304 4196468 140725173267856 140412298524912 140412275693414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15144776 memory=3472468452083127504 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 10262 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 10262 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 10262 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15508250624 10262 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411761329056 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515992432 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0.08 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15144776 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992435 15508250624 10262 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42496 KiB
[startup+0.316523 s]*
/proc/loadavg: 1.50 1.23 0.68 4/228 3841
/proc/meminfo: memFree=25009124/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15149032 memory=50200 CPUtime=0.54 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 10962 0 0 0 50 4 0 0 20 0 15 0 515992429 15512608768 12550 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3787258 12550 3354 1 0 3748377 0
[pid=3827/tid=3828] ppid=3825 vsize=15149032 memory=4212167822348820889 CPUtime=0.31 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 7903 0 0 0 28 3 0 0 20 0 15 0 515992429 15512608768 12615 33554432000 4194304 4196468 140725173267856 140412298522240 140412294309021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15149032 memory=3472468619415656112 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15512608768 12615 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15149032 memory=140323187975808 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992430 15512608768 12615 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15512608768 12615 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15149032 memory=140323091259167 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15512608768 12615 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15149032 memory=280646182497568 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515992432 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15149032 memory=140323091236111 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515992432 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411761329056 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15149032 memory=280646279221088 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515992432 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15149032 memory=140323091240719 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 522 0 0 0 4 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 383 0 0 0 5 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992435 15512608768 12615 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51648 KiB
[startup+0.701516 s]
/proc/loadavg: 1.50 1.23 0.68 5/228 3841
/proc/meminfo: memFree=24987004/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15151156 memory=98424 CPUtime=1.76 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 15251 0 0 0 171 5 0 0 20 0 15 0 515992429 15514783744 24606 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3787789 24606 3449 1 0 3748889 0
[pid=3827/tid=3828] ppid=3825 vsize=15151156 memory=6153395287087403600 CPUtime=0.68 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 9131 0 0 0 64 4 0 0 20 0 15 0 515992429 15514783744 24606 33554432000 4194304 4196468 140725173267856 140412298524464 140411897482469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15514783744 24606 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992430 15514783744 24606 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15151156 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15514783744 24606 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515992430 15514783744 24606 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411761329056 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15151156 memory=1096 CPUtime=0.31 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) R 3825 3825 3311 0 -1 4202560 1383 0 0 0 31 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411758159200 140412275479363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15151156 memory=1228 CPUtime=0.36 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) R 3825 3825 3311 0 -1 4202560 1249 0 0 0 36 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411757105840 140412279412534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15151156 memory=6152 CPUtime=0.38 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 2179 0 0 0 38 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 24606 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 99872 KiB
[startup+1.50091 s]
/proc/loadavg: 1.50 1.23 0.68 3/228 3841
/proc/meminfo: memFree=24790960/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15151156 memory=1448 CPUtime=3 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 17495 0 0 0 298 2 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15151156 memory=1448 CPUtime=3.16 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 23171 0 0 0 314 2 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15151156 memory=1376796 CPUtime=0.8 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 11530 0 0 0 78 2 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.77 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1967 0 0 0 34 43 0 0 20 0 15 0 515992435 15514783744 344199 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 2330.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1378244 KiB
[startup+2382.3 s]
/proc/loadavg: 1.81 1.73 1.73 3/229 4235
/proc/meminfo: memFree=22673308/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15151156 memory=1375060 CPUtime=2390.65 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 121473 0 0 0 238970 95 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3787789 343765 3513 1 0 3748889 0
[pid=3827/tid=3828] ppid=3825 vsize=15151156 memory=3032 CPUtime=2381.74 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 47018 0 0 0 238155 19 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412298526448 140411898410150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.23 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2209 0 0 0 16 7 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.24 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1829 0 0 0 15 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15151156 memory=33 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 5101 0 0 0 18 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 5138 0 0 0 17 10 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.06 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 4674 0 0 0 4 2 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411761329120 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15151156 memory=1448 CPUtime=3 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 17497 0 0 0 298 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15151156 memory=1448 CPUtime=3.16 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 23173 0 0 0 314 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.8 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 11533 0 0 0 78 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15151156 memory=3304 CPUtime=0.79 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1988 0 0 0 35 44 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 2390.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1376508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391.7 s]
/proc/loadavg: 1.84 1.74 1.73 3/228 4235
/proc/meminfo: memFree=22673324/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15151156 memory=1375060 CPUtime=2400.06 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 121501 0 0 0 239911 95 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3787789 343765 3513 1 0 3748889 0
[pid=3827/tid=3828] ppid=3825 vsize=15151156 memory=1375060 CPUtime=2391.14 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 47046 0 0 0 239095 19 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412298526448 140411898409881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2209 0 0 0 16 7 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.24 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1829 0 0 0 15 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 5101 0 0 0 18 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 5138 0 0 0 17 10 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 4674 0 0 0 4 2 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411761329120 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15151156 memory=1375060 CPUtime=3 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 17497 0 0 0 298 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15151156 memory=8112282956445269571 CPUtime=3.16 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 23173 0 0 0 314 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15151156 memory=1096 CPUtime=0.8 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 11533 0 0 0 78 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.79 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1988 0 0 0 35 44 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1376508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.71 s]
# the end of solver process 3825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001552 s, system=0.000776 s
[startup+2391.71 s]
# the end of solver process 3827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.12 s, system=0.959858 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
[startup+2391.7 s]
/proc/loadavg: 1.84 1.74 1.73 3/228 4235
/proc/meminfo: memFree=22673324/32770624 swapFree=66941100/67108860
[pid=3825] ppid=3822 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (xcsp3-exec) S 3822 3825 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515992429 115843072 362 33554432000 4194304 5098028 140735401091600 140735401089704 140445534442108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10420224 140735401096059 140735401096301 140735401096301 140735401099210 0
/proc/3825/statm: 28282 362 304 221 0 87 0
[pid=3827] ppid=3825 vsize=15151156 memory=1375060 CPUtime=2400.06 cores=0,2,4,6
/proc/3827/stat : 3827 (java) S 3825 3825 3311 0 -1 1077944320 121501 0 0 0 239911 95 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140725173250400 140412294287095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
/proc/3827/statm: 3787789 343765 3513 1 0 3748889 0
[pid=3827/tid=3828] ppid=3825 vsize=15151156 memory=1375060 CPUtime=2391.14 cores=0,2,4,6
/proc/3827/task/3828/stat : 3828 (java) R 3825 3825 3311 0 -1 4202560 47046 0 0 0 239095 19 0 0 20 0 15 0 515992429 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412298526448 140411898409881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3829] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/3827/task/3829/stat : 3829 (java) S 3825 3825 3311 0 -1 1077944384 2209 0 0 0 16 7 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412222327568 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3830] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.24 cores=0,2,4,6
/proc/3827/task/3830/stat : 3830 (java) S 3825 3825 3311 0 -1 1077944384 1829 0 0 0 15 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412221275024 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3831] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3831/stat : 3831 (java) S 3825 3825 3311 0 -1 1077944384 5101 0 0 0 18 9 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412220222480 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3832] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.27 cores=0,2,4,6
/proc/3827/task/3832/stat : 3832 (java) S 3825 3825 3311 0 -1 1077944384 5138 0 0 0 17 10 0 0 20 0 15 0 515992430 15514783744 343765 33554432000 4194304 4196468 140725173267856 140412219169936 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3833] ppid=3825 vsize=15151156 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/3827/task/3833/stat : 3833 (java) S 3825 3825 3311 0 -1 1077944384 4674 0 0 0 4 2 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411762382832 140412294298242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3834] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3834/stat : 3834 (java) S 3825 3825 3311 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411761329120 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3835] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3835/stat : 3835 (java) S 3825 3825 3311 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 515992432 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411760276464 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3836] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3836/stat : 3836 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411759225040 140412294305691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3837] ppid=3825 vsize=15151156 memory=1375060 CPUtime=3 cores=0,2,4,6
/proc/3827/task/3837/stat : 3837 (java) S 3825 3825 3311 0 -1 1077944384 17497 0 0 0 298 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411758172656 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3838] ppid=3825 vsize=15151156 memory=8112282956445269571 CPUtime=3.16 cores=0,2,4,6
/proc/3827/task/3838/stat : 3838 (java) S 3825 3825 3311 0 -1 1077944384 23173 0 0 0 314 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411757120112 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3839] ppid=3825 vsize=15151156 memory=1096 CPUtime=0.8 cores=0,2,4,6
/proc/3827/task/3839/stat : 3839 (java) S 3825 3825 3311 0 -1 1077944384 11533 0 0 0 78 2 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411756067568 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3840] ppid=3825 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/3827/task/3840/stat : 3840 (java) S 3825 3825 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411755015264 140412294297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
[pid=3827/tid=3841] ppid=3825 vsize=15151156 memory=1375060 CPUtime=0.79 cores=0,2,4,6
/proc/3827/task/3841/stat : 3841 (java) S 3825 3825 3311 0 -1 1077944384 1988 0 0 0 35 44 0 0 20 0 15 0 515992435 15514783744 343765 33554432000 4194304 4196468 140725173267856 140411753961776 140412294298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140725173269487 140725173269658 140725173269658 140725173272527 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1376508 KiB
Child status: 143
Real time (s): 2391.71
CPU time (s): 2400.08
CPU user time (s): 2399.12
CPU system time (s): 0.959858
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 15266052
Max. memory (cumulated for all children) (KiB): 1378244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.12
system time used= 0.959858
maximum resident set size= 1378844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55225
involuntary context switches= 2841
# summary of solver processes directly reported to runsolver:
# pid: 3825,3827
# total CPU time (s): 2400.08
# total CPU user time (s): 2399.12
# total CPU system time (s): 0.959858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7754 second user time and 22.1856 second system time
The end
Begin job on node139 at 2019-09-25 09:42:30 IDJOB=4406597 IDBENCH=123065 IDSOLVER=2870 FILE ID=node139/4406597-1569397215 RUNJOBID= node139-1569396805-3342 PBS_JOBID= 21705683 Free space on /tmp= 5120 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.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-4406597-1569397215/watcher-4406597-1569397215 -o /tmp/evaluation-result-4406597-1569397215/solver-4406597-1569397215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3342 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406597-1569397215.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1 RANDOM SEED=734900325 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: 25045612 kB MemAvailable: 31569784 kB Buffers: 124024 kB Cached: 6487988 kB SwapCached: 64772 kB Active: 3557028 kB Inactive: 3336840 kB Active(anon): 218008 kB Inactive(anon): 119604 kB Active(file): 3339020 kB Inactive(file): 3217236 kB Unevictable: 109024 kB Mlocked: 109024 kB SwapTotal: 67108860 kB SwapFree: 66941100 kB Dirty: 26360 kB Writeback: 0 kB AnonPages: 328616 kB Mapped: 70816 kB Shmem: 47436 kB Slab: 426016 kB SReclaimable: 396376 kB SUnreclaim: 29640 kB KernelStack: 3888 kB PageTables: 6712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1440016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 251904 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:22:21