Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 1548 | 1920.39 | 242.836 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml |
MD5SUM | 45202abbf2fd4260704b0005edccc47f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1215 |
Best CPU time to get the best result obtained on this benchmark | 251.95799 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2352 |
Number of constraints | 2303 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}] |
Minimum variable degree | 0 |
Maximum variable degree | 93 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 47 |
Distribution of constraint arities | [{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 47 |
Distribution of constraint types | [{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254872-1501683672.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254872-1501683672.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.36 c parse instance... 4.16/1.37 c solve instance... 5.45/1.53 o 5436 5.45/1.56 o 3085 12.46/2.46 o 3024 13.21/2.52 o 2842 13.60/2.60 o 2800 13.60/2.61 o 2774 13.60/2.62 o 2711 15.95/2.91 o 2689 21.46/3.62 o 2679 22.23/3.79 o 2672 23.01/3.84 o 2658 23.48/3.95 o 2643 23.48/3.95 o 2642 23.48/3.95 o 2587 23.48/3.95 o 2357 29.57/4.77 o 2356 31.94/5.08 o 2352 34.30/5.32 o 2337 34.30/5.35 o 2313 35.02/5.40 o 2312 35.02/5.49 o 2307 35.84/5.57 o 2287 38.91/5.91 o 2280 38.91/5.97 o 2263 40.47/6.13 o 2233 47.63/7.06 o 2213 51.57/7.57 o 2193 56.34/8.16 o 2189 57.12/8.24 o 2178 57.91/8.35 o 2153 60.28/8.69 o 2131 64.15/9.10 o 2127 67.30/9.51 o 2111 95.96/13.10 o 2079 96.78/13.21 o 2075 99.11/13.50 o 2066 108.62/14.73 o 2032 171.94/22.83 o 2031 180.48/23.97 o 2030 187.61/24.82 o 2000 229.67/30.13 o 1994 231.24/30.33 o 1988 231.24/30.36 o 1985 236.77/31.04 o 1962 238.15/31.24 o 1961 242.92/31.81 o 1958 246.90/32.40 o 1946 375.11/48.49 o 1929 386.85/49.94 o 1908 389.22/50.24 o 1891 389.22/50.27 o 1883 395.46/51.03 o 1873 396.03/51.15 o 1864 400.78/51.80 o 1861 415.89/53.67 o 1849 474.90/61.07 o 1835 504.00/64.70 o 1822 510.75/65.64 o 1713 510.75/65.67 o 1711 511.17/65.70 o 1703 599.59/76.81 o 1672 636.25/81.50 o 1671 693.44/88.68 o 1663 697.72/89.29 o 1648 930.64/118.46 o 1638 1257.21/159.48 o 1604 1264.62/160.41 o 1599 1266.34/160.80 o 1586 1404.29/178.11 o 1560 1541.48/195.31 o 1549 1871.73/236.77 o 1548 1920.39/242.86 s SATISFIABLE 1920.39/242.86 v <instantiation> 1920.39/242.86 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[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] 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[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] 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[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] 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[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] 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[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] 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[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] 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[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] 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[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] 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[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] 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[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] 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[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] 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[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] 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[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] 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[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] 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[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] 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[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] 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[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] 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[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] 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[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] 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[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] 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[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] 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[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] 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[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] 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[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] 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[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] 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[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] 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[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] 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[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] 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[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] 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[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] 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[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] 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[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] 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[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] 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[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] 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[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] 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[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] 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[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] 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[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] 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[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] 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] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] 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] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] </list> 1920.39/242.87 v <values>0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 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 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 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 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 1 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 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 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 23 100 94 81 72 49 6 72 23 27 38 37 70 12 24 61 98 23 39 68 35 18 75 51 66 81 40 13 83 61 89 75 86 43 89 37 62 32 54 91 98 66 14 98 82 53 78 </values> 1920.39/242.87 v </instantiation> 1920.39/242.87 c Unexpected resolution interruption!
OK 1548
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254872-1501683672/watcher-4254872-1501683672 -o /tmp/evaluation-result-4254872-1501683672/solver-4254872-1501683672 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1241719612 HOME/instance-4254872-1501683672.xml pid=16094 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.32 7.40 7.03 2/173 16097 /proc/meminfo: memFree=31803224/32770624 swapFree=0/302156 [pid=16097] ppid=16094 vsize=23672 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (runsolver) D 16094 16097 2334 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 2194224 24240128 108 18446744073709551615 4194304 4338465 140729933390160 140729933387800 140029315904215 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13799424 140729933398101 140729933398597 140729933398597 140729933402058 0 /proc/16097/statm: 5918 108 54 36 0 2156 0 [startup+0.100151 s] /proc/loadavg: 8.32 7.40 7.03 2/173 16097 /proc/meminfo: memFree=31803224/32770624 swapFree=0/302156 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200235 s] /proc/loadavg: 8.32 7.40 7.03 2/173 16097 /proc/meminfo: memFree=31803224/32770624 swapFree=0/302156 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300234 s] /proc/loadavg: 8.32 7.40 7.03 2/173 16097 /proc/meminfo: memFree=31803224/32770624 swapFree=0/302156 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.708957 s] /proc/loadavg: 8.32 7.40 7.03 2/173 16097 /proc/meminfo: memFree=31803224/32770624 swapFree=0/302156 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50981 s] /proc/loadavg: 8.32 7.40 7.03 6/194 16118 /proc/meminfo: memFree=31611468/32770624 swapFree=0/301912 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 [pid=16099] ppid=16097 vsize=26534456 CPUtime=5.45 cores=0-7 /proc/16099/stat : 16099 (java) S 16097 16097 2334 0 -1 1077944320 19404 0 0 0 531 14 0 0 20 0 28 0 2194229 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140720640977120 140548965162743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 /proc/16099/statm: 6633614 58470 3213 1 0 6621915 0 [pid=16099/tid=16100] ppid=16097 vsize=26534456 CPUtime=1.22 cores=0-7 /proc/16099/task/16100/stat : 16100 (java) S 16097 16097 2334 0 -1 1077944384 8785 0 0 0 117 5 0 0 20 0 28 0 2194230 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548969403520 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16101] ppid=16097 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16099/task/16101/stat : 16101 (java) S 16097 16097 2334 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 2194230 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548922129168 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16102] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16102/stat : 16102 (java) S 16097 16097 2334 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 2194230 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548921076624 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16103] ppid=16097 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16099/task/16103/stat : 16103 (java) S 16097 16097 2334 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 28 0 2194230 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548920024080 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16104] ppid=16097 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16099/task/16104/stat : 16104 (java) S 16097 16097 2334 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 2194230 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548918971536 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16105] ppid=16097 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16099/task/16105/stat : 16105 (java) S 16097 16097 2334 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 2194231 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548917917968 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16106] ppid=16097 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16099/task/16106/stat : 16106 (java) S 16097 16097 2334 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 2194231 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548916865424 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16107] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16107/stat : 16107 (java) S 16097 16097 2334 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 2194231 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548915812880 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16108] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16108/stat : 16108 (java) S 16097 16097 2334 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 2194231 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548914760336 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16109] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16109/stat : 16109 (java) S 16097 16097 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548162664944 140548965173890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16110] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16110/stat : 16110 (java) S 16097 16097 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548161611232 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16111] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16111/stat : 16111 (java) S 16097 16097 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 2194233 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548160558592 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16112] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16112/stat : 16112 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548159507152 140548965181339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16113] ppid=16097 vsize=26534456 CPUtime=0.99 cores=0-7 /proc/16099/task/16113/stat : 16113 (java) R 16097 16097 2334 0 -1 1077944384 2266 0 0 0 99 0 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548158442944 140548965172949 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16114] ppid=16097 vsize=26534456 CPUtime=0.94 cores=0-7 /proc/16099/task/16114/stat : 16114 (java) R 16097 16097 2334 0 -1 4202560 1880 0 0 0 94 0 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548157385440 140548951177052 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16115] ppid=16097 vsize=26534456 CPUtime=0.97 cores=0-7 /proc/16099/task/16115/stat : 16115 (java) R 16097 16097 2334 0 -1 4202560 1826 0 0 0 97 0 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548156334624 140548946707305 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16116] ppid=16097 vsize=26534456 CPUtime=0.58 cores=0-7 /proc/16099/task/16116/stat : 16116 (java) R 16097 16097 2334 0 -1 1077944384 2678 0 0 0 57 1 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548155293904 140548965172949 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16117] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16117/stat : 16117 (java) S 16097 16097 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548154243808 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16118] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16118/stat : 16118 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194239 27171282944 58470 18446744073709551615 4194304 4196468 140720640994576 140548153191344 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 Current children cumulated CPU time (s) 5.45 Current children cumulated vsize (KiB) 26543968 [startup+3.1018 s] /proc/loadavg: 8.54 7.46 7.05 13/202 16142 /proc/meminfo: memFree=31523444/32770624 swapFree=0/301912 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 [pid=16099] ppid=16097 vsize=26534456 CPUtime=17.52 cores=0-7 /proc/16099/stat : 16099 (java) S 16097 16097 2334 0 -1 1077944320 22425 0 0 0 1730 22 0 0 20 0 28 0 2194229 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140720640977120 140548965162743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 /proc/16099/statm: 6633614 95612 3241 1 0 6621915 0 [pid=16099/tid=16100] ppid=16097 vsize=26534456 CPUtime=1.25 cores=0-7 /proc/16099/task/16100/stat : 16100 (java) S 16097 16097 2334 0 -1 1077944384 8786 0 0 0 120 5 0 0 20 0 28 0 2194230 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548969403520 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16101] ppid=16097 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16099/task/16101/stat : 16101 (java) S 16097 16097 2334 0 -1 1077944384 44 0 0 0 3 0 0 0 20 0 28 0 2194230 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548922129168 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16102] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16102/stat : 16102 (java) S 16097 16097 2334 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 2194230 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548921076624 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16103] ppid=16097 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16099/task/16103/stat : 16103 (java) S 16097 16097 2334 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 2194230 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548920024080 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16104] ppid=16097 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16099/task/16104/stat : 16104 (java) S 16097 16097 2334 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 2194230 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548918971536 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16105] ppid=16097 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/16099/task/16105/stat : 16105 (java) S 16097 16097 2334 0 -1 1077944384 59 0 0 0 3 1 0 0 20 0 28 0 2194231 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548917917968 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16106] ppid=16097 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16099/task/16106/stat : 16106 (java) S 16097 16097 2334 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 28 0 2194231 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548916865424 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16107] ppid=16097 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16099/task/16107/stat : 16107 (java) S 16097 16097 2334 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 2194231 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548915812880 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16108] ppid=16097 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/16099/task/16108/stat : 16108 (java) S 16097 16097 2334 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 28 0 2194231 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548914760336 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16109] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16109/stat : 16109 (java) S 16097 16097 2334 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548162664944 140548965173890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16110] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16110/stat : 16110 (java) S 16097 16097 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548161611232 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16111] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16111/stat : 16111 (java) S 16097 16097 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 2194233 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548160558592 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16112] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16112/stat : 16112 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548159507152 140548965181339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16113] ppid=16097 vsize=26534456 CPUtime=1.93 cores=0-7 /proc/16099/task/16113/stat : 16113 (java) S 16097 16097 2334 0 -1 1077944384 2725 0 0 0 193 0 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548158453744 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16114] ppid=16097 vsize=26534456 CPUtime=1.92 cores=0-7 /proc/16099/task/16114/stat : 16114 (java) S 16097 16097 2334 0 -1 1077944384 2064 0 0 0 192 0 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548157401200 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16115] ppid=16097 vsize=26534456 CPUtime=2.01 cores=0-7 /proc/16099/task/16115/stat : 16115 (java) S 16097 16097 2334 0 -1 1077944384 2083 0 0 0 201 0 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548156348656 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16116] ppid=16097 vsize=26534456 CPUtime=0.83 cores=0-7 /proc/16099/task/16116/stat : 16116 (java) R 16097 16097 2334 0 -1 1077944384 3257 0 0 0 82 1 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548155296112 140548965173890 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16117] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16117/stat : 16117 (java) S 16097 16097 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548154243808 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16118] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16118/stat : 16118 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194239 27171282944 95612 18446744073709551615 4194304 4196468 140720640994576 140548153191344 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 Current children cumulated CPU time (s) 17.52 Current children cumulated vsize (KiB) 26543968 [startup+6.3018 s] /proc/loadavg: 8.54 7.46 7.05 9/202 16294 /proc/meminfo: memFree=31167668/32770624 swapFree=0/301924 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 [pid=16099] ppid=16097 vsize=26534456 CPUtime=42.05 cores=0-7 /proc/16099/stat : 16099 (java) S 16097 16097 2334 0 -1 1077944320 25837 0 0 0 4163 42 0 0 20 0 28 0 2194229 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140720640977120 140548965162743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 /proc/16099/statm: 6633614 161742 3253 1 0 6621915 0 [pid=16099/tid=16100] ppid=16097 vsize=26534456 CPUtime=1.28 cores=0-7 /proc/16099/task/16100/stat : 16100 (java) S 16097 16097 2334 0 -1 1077944384 8797 0 0 0 122 6 0 0 20 0 28 0 2194230 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548969403520 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16101] ppid=16097 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16099/task/16101/stat : 16101 (java) S 16097 16097 2334 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 28 0 2194230 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548922129168 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16102] ppid=16097 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/16099/task/16102/stat : 16102 (java) S 16097 16097 2334 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 2194230 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548921076624 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16103] ppid=16097 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16099/task/16103/stat : 16103 (java) S 16097 16097 2334 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 28 0 2194230 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548920024080 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16104] ppid=16097 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/16099/task/16104/stat : 16104 (java) S 16097 16097 2334 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 28 0 2194230 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548918971536 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16105] ppid=16097 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/16099/task/16105/stat : 16105 (java) S 16097 16097 2334 0 -1 1077944384 81 0 0 0 5 2 0 0 20 0 28 0 2194231 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548917917968 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16106] ppid=16097 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/16099/task/16106/stat : 16106 (java) S 16097 16097 2334 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 28 0 2194231 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548916865424 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16107] ppid=16097 vsize=26534456 CPUtime=0.05 cores=0-7 /proc/16099/task/16107/stat : 16107 (java) S 16097 16097 2334 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 28 0 2194231 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548915812880 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16108] ppid=16097 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/16099/task/16108/stat : 16108 (java) S 16097 16097 2334 0 -1 1077944384 65 0 0 0 5 2 0 0 20 0 28 0 2194231 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548914760336 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16109] ppid=16097 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/16099/task/16109/stat : 16109 (java) S 16097 16097 2334 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 28 0 2194232 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548162664944 140548965173890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16110] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16110/stat : 16110 (java) S 16097 16097 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548161611232 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16111] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16111/stat : 16111 (java) S 16097 16097 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 2194233 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548160558592 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16112] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16112/stat : 16112 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 161742 18446744073709551615 4194304 4196468 140720640994576 140548159507152 140548965181339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 ################ # More data... # ################ [pid=16099/tid=16671] ppid=16097 vsize=26534456 CPUtime=1.49 cores=0-7 /proc/16099/task/16671/stat : 16671 (java) R 16097 16097 2334 0 -1 4202560 47 0 0 0 149 0 0 0 20 0 28 0 2210304 27171282944 563067 18446744073709551615 4194304 4196468 140720640994576 140548139367624 140548604108735 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16672] ppid=16097 vsize=26534456 CPUtime=1.46 cores=0-7 /proc/16099/task/16672/stat : 16672 (java) R 16097 16097 2334 0 -1 4202560 81 0 0 0 146 0 0 0 20 0 28 0 2210304 27171282944 563067 18446744073709551615 4194304 4196468 140720640994576 140548145683784 140548603058107 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 Current children cumulated CPU time (s) 1278.28 Current children cumulated vsize (KiB) 26543968 [startup+222.308 s] /proc/loadavg: 8.05 7.77 7.26 9/202 16699 /proc/meminfo: memFree=29534376/32770624 swapFree=0/302052 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 [pid=16099] ppid=16097 vsize=26534456 CPUtime=1756.85 cores=0-7 /proc/16099/stat : 16099 (java) S 16097 16097 2334 0 -1 1077944320 157887 0 0 0 175389 296 0 0 20 0 28 0 2194229 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140720640977120 140548965162743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 /proc/16099/statm: 6633614 569531 3255 1 0 6621915 0 [pid=16099/tid=16100] ppid=16097 vsize=26534456 CPUtime=1.33 cores=0-7 /proc/16099/task/16100/stat : 16100 (java) S 16097 16097 2334 0 -1 1077944384 12109 0 0 0 126 7 0 0 20 0 28 0 2194230 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548969403520 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16101] ppid=16097 vsize=26534456 CPUtime=0.19 cores=0-7 /proc/16099/task/16101/stat : 16101 (java) S 16097 16097 2334 0 -1 1077944384 1050 0 0 0 11 8 0 0 20 0 28 0 2194230 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548922129168 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16102] ppid=16097 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/16099/task/16102/stat : 16102 (java) S 16097 16097 2334 0 -1 1077944384 521 0 0 0 8 8 0 0 20 0 28 0 2194230 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548921076624 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16103] ppid=16097 vsize=26534456 CPUtime=0.19 cores=0-7 /proc/16099/task/16103/stat : 16103 (java) S 16097 16097 2334 0 -1 1077944384 825 0 0 0 11 8 0 0 20 0 28 0 2194230 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548920024080 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16104] ppid=16097 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16099/task/16104/stat : 16104 (java) S 16097 16097 2334 0 -1 1077944384 802 0 0 0 9 8 0 0 20 0 28 0 2194230 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548918971536 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16105] ppid=16097 vsize=26534456 CPUtime=0.2 cores=0-7 /proc/16099/task/16105/stat : 16105 (java) S 16097 16097 2334 0 -1 1077944384 595 0 0 0 11 9 0 0 20 0 28 0 2194231 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548917917968 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16106] ppid=16097 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16099/task/16106/stat : 16106 (java) S 16097 16097 2334 0 -1 1077944384 757 0 0 0 9 8 0 0 20 0 28 0 2194231 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548916865424 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16107] ppid=16097 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16099/task/16107/stat : 16107 (java) S 16097 16097 2334 0 -1 1077944384 826 0 0 0 10 7 0 0 20 0 28 0 2194231 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548915812880 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16108] ppid=16097 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/16099/task/16108/stat : 16108 (java) S 16097 16097 2334 0 -1 1077944384 1301 0 0 0 11 7 0 0 20 0 28 0 2194231 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548914760336 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16109] ppid=16097 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/16099/task/16109/stat : 16109 (java) S 16097 16097 2334 0 -1 1077944384 4979 0 0 0 4 6 0 0 20 0 28 0 2194232 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548162664944 140548965173890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16110] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16110/stat : 16110 (java) S 16097 16097 2334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548161611232 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16111] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16111/stat : 16111 (java) S 16097 16097 2334 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 2194233 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548160558592 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16112] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16112/stat : 16112 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548159507152 140548965181339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16113] ppid=16097 vsize=26534456 CPUtime=2.7 cores=0-7 /proc/16099/task/16113/stat : 16113 (java) S 16097 16097 2334 0 -1 1077944384 7087 0 0 0 268 2 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548158453744 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16114] ppid=16097 vsize=26534456 CPUtime=2.56 cores=0-7 /proc/16099/task/16114/stat : 16114 (java) S 16097 16097 2334 0 -1 1077944384 8787 0 0 0 255 1 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548157401200 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16115] ppid=16097 vsize=26534456 CPUtime=2.92 cores=0-7 /proc/16099/task/16115/stat : 16115 (java) S 16097 16097 2334 0 -1 1077944384 9293 0 0 0 291 1 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548156348656 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16116] ppid=16097 vsize=26534456 CPUtime=0.98 cores=0-7 /proc/16099/task/16116/stat : 16116 (java) S 16097 16097 2334 0 -1 1077944384 11848 0 0 0 95 3 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548155296112 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16117] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16117/stat : 16117 (java) S 16097 16097 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548154243808 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16118] ppid=16097 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/16099/task/16118/stat : 16118 (java) S 16097 16097 2334 0 -1 1077944384 2288 0 0 0 0 7 0 0 20 0 28 0 2194239 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548153191344 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16692] ppid=16097 vsize=26534456 CPUtime=26.91 cores=0-7 /proc/16099/task/16692/stat : 16692 (java) R 16097 16097 2334 0 -1 4202560 550 0 0 0 2691 0 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548142517848 140548600851414 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16693] ppid=16097 vsize=26534456 CPUtime=26.95 cores=0-7 /proc/16099/task/16693/stat : 16693 (java) R 16097 16097 2334 0 -1 4202560 563 0 0 0 2695 0 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548143571560 140548600839666 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16694] ppid=16097 vsize=26534456 CPUtime=26.9 cores=0-7 /proc/16099/task/16694/stat : 16694 (java) R 16097 16097 2334 0 -1 4202560 1821 0 0 0 2690 0 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548138307432 140548603172373 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16695] ppid=16097 vsize=26534456 CPUtime=26.94 cores=0-7 /proc/16099/task/16695/stat : 16695 (java) R 16097 16097 2334 0 -1 4202560 1848 0 0 0 2691 3 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548140413032 140548600850881 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16696] ppid=16097 vsize=26534456 CPUtime=26.93 cores=0-7 /proc/16099/task/16696/stat : 16696 (java) R 16097 16097 2334 0 -1 4202560 2228 0 0 0 2691 2 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548144623688 140548601482584 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16697] ppid=16097 vsize=26534456 CPUtime=26.62 cores=0-7 /proc/16099/task/16697/stat : 16697 (java) R 16097 16097 2334 0 -1 4202560 1715 0 0 0 2658 4 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548141465616 140548604108733 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16698] ppid=16097 vsize=26534456 CPUtime=26.95 cores=0-7 /proc/16099/task/16698/stat : 16698 (java) R 16097 16097 2334 0 -1 4202560 581 0 0 0 2695 0 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548139360264 140548600851083 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16699] ppid=16097 vsize=26534456 CPUtime=26.94 cores=0-7 /proc/16099/task/16699/stat : 16699 (java) R 16097 16097 2334 0 -1 4202560 488 0 0 0 2694 0 0 0 20 0 28 0 2213756 27171282944 569531 18446744073709551615 4194304 4196468 140720640994576 140548145676904 140548600851440 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 Current children cumulated CPU time (s) 1756.85 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+242.802 s] /proc/loadavg: 8.04 7.78 7.27 9/202 16708 /proc/meminfo: memFree=29533008/32770624 swapFree=0/302060 [pid=16097] ppid=16094 vsize=9512 CPUtime=0 cores=0-7 /proc/16097/stat : 16097 (xcsp3-exec) S 16094 16097 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 2194224 9740288 345 18446744073709551615 4194304 5098028 140731734857664 140731734855768 140104088334972 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20901888 140731734864276 140731734864486 140731734864486 140731734867947 0 /proc/16097/statm: 2378 345 289 221 0 87 0 [pid=16099] ppid=16097 vsize=26534456 CPUtime=1920.39 cores=0-7 /proc/16099/stat : 16099 (java) S 16097 16097 2334 0 -1 1077944320 167139 0 0 0 191728 311 0 0 20 0 28 0 2194229 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140720640977120 140548965162743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 /proc/16099/statm: 6633614 569756 3255 1 0 6621915 0 [pid=16099/tid=16100] ppid=16097 vsize=26534456 CPUtime=1.33 cores=0-7 /proc/16099/task/16100/stat : 16100 (java) S 16097 16097 2334 0 -1 1077944384 12349 0 0 0 126 7 0 0 20 0 28 0 2194230 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548969403520 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16101] ppid=16097 vsize=26534456 CPUtime=0.19 cores=0-7 /proc/16099/task/16101/stat : 16101 (java) S 16097 16097 2334 0 -1 1077944384 1093 0 0 0 11 8 0 0 20 0 28 0 2194230 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548922129168 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16102] ppid=16097 vsize=26534456 CPUtime=0.17 cores=0-7 /proc/16099/task/16102/stat : 16102 (java) S 16097 16097 2334 0 -1 1077944384 555 0 0 0 9 8 0 0 20 0 28 0 2194230 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548921076624 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16103] ppid=16097 vsize=26534456 CPUtime=0.2 cores=0-7 /proc/16099/task/16103/stat : 16103 (java) S 16097 16097 2334 0 -1 1077944384 1268 0 0 0 11 9 0 0 20 0 28 0 2194230 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548920024080 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16104] ppid=16097 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/16099/task/16104/stat : 16104 (java) S 16097 16097 2334 0 -1 1077944384 844 0 0 0 10 8 0 0 20 0 28 0 2194230 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548918971536 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16105] ppid=16097 vsize=26534456 CPUtime=0.21 cores=0-7 /proc/16099/task/16105/stat : 16105 (java) S 16097 16097 2334 0 -1 1077944384 660 0 0 0 12 9 0 0 20 0 28 0 2194231 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548917917968 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16106] ppid=16097 vsize=26534456 CPUtime=0.19 cores=0-7 /proc/16099/task/16106/stat : 16106 (java) S 16097 16097 2334 0 -1 1077944384 832 0 0 0 10 9 0 0 20 0 28 0 2194231 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548916865424 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16107] ppid=16097 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/16099/task/16107/stat : 16107 (java) S 16097 16097 2334 0 -1 1077944384 876 0 0 0 10 8 0 0 20 0 28 0 2194231 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548915812880 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16108] ppid=16097 vsize=26534456 CPUtime=0.2 cores=0-7 /proc/16099/task/16108/stat : 16108 (java) S 16097 16097 2334 0 -1 1077944384 1339 0 0 0 12 8 0 0 20 0 28 0 2194231 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548914760336 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16109] ppid=16097 vsize=26534456 CPUtime=0.11 cores=0-7 /proc/16099/task/16109/stat : 16109 (java) S 16097 16097 2334 0 -1 1077944384 5376 0 0 0 4 7 0 0 20 0 28 0 2194232 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548162664944 140548965173890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16110] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16110/stat : 16110 (java) S 16097 16097 2334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 2194232 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548161611232 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16111] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16111/stat : 16111 (java) S 16097 16097 2334 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 2194233 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548160558592 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16112] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16112/stat : 16112 (java) S 16097 16097 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548159507152 140548965181339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16113] ppid=16097 vsize=26534456 CPUtime=2.7 cores=0-7 /proc/16099/task/16113/stat : 16113 (java) S 16097 16097 2334 0 -1 1077944384 7103 0 0 0 268 2 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548158453744 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16114] ppid=16097 vsize=26534456 CPUtime=2.56 cores=0-7 /proc/16099/task/16114/stat : 16114 (java) S 16097 16097 2334 0 -1 1077944384 8799 0 0 0 255 1 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548157401200 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16115] ppid=16097 vsize=26534456 CPUtime=2.92 cores=0-7 /proc/16099/task/16115/stat : 16115 (java) S 16097 16097 2334 0 -1 1077944384 10718 0 0 0 291 1 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548156348656 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16116] ppid=16097 vsize=26534456 CPUtime=0.98 cores=0-7 /proc/16099/task/16116/stat : 16116 (java) S 16097 16097 2334 0 -1 1077944384 11884 0 0 0 95 3 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548155296112 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16117] ppid=16097 vsize=26534456 CPUtime=0 cores=0-7 /proc/16099/task/16117/stat : 16117 (java) S 16097 16097 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2194235 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548154243808 140548965172949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16118] ppid=16097 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/16099/task/16118/stat : 16118 (java) S 16097 16097 2334 0 -1 1077944384 2440 0 0 0 0 7 0 0 20 0 28 0 2194239 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548153191344 140548965173890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16701] ppid=16097 vsize=26534456 CPUtime=6.01 cores=0-7 /proc/16099/task/16701/stat : 16701 (java) R 16097 16097 2334 0 -1 4202560 179 0 0 0 601 0 0 0 20 0 28 0 2217901 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548144627592 140548601426353 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16702] ppid=16097 vsize=26534456 CPUtime=6.01 cores=0-7 /proc/16099/task/16702/stat : 16702 (java) R 16097 16097 2334 0 -1 4202560 92 0 0 0 601 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548141470744 140548601843510 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16703] ppid=16097 vsize=26534456 CPUtime=6.01 cores=0-7 /proc/16099/task/16703/stat : 16703 (java) R 16097 16097 2334 0 -1 4202560 381 0 0 0 601 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548138307944 140548601463840 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16704] ppid=16097 vsize=26534456 CPUtime=6.01 cores=0-7 /proc/16099/task/16704/stat : 16704 (java) R 16097 16097 2334 0 -1 4202560 381 0 0 0 601 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548143575288 140548603171407 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16705] ppid=16097 vsize=26534456 CPUtime=5.93 cores=0-7 /proc/16099/task/16705/stat : 16705 (java) R 16097 16097 2334 0 -1 4202560 241 0 0 0 593 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548139364760 140548600839764 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16706] ppid=16097 vsize=26534456 CPUtime=6.01 cores=0-7 /proc/16099/task/16706/stat : 16706 (java) R 16097 16097 2334 0 -1 4202560 126 0 0 0 601 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548142522336 140548603317154 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16707] ppid=16097 vsize=26534456 CPUtime=6 cores=0-7 /proc/16099/task/16707/stat : 16707 (java) R 16097 16097 2334 0 -1 4202560 407 0 0 0 600 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548140417688 140548600849160 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 [pid=16099/tid=16708] ppid=16097 vsize=26534456 CPUtime=6.02 cores=0-7 /proc/16099/task/16708/stat : 16708 (java) R 16097 16097 2334 0 -1 4202560 106 0 0 0 602 0 0 0 20 0 28 0 2217902 27171282944 569756 18446744073709551615 4194304 4196468 140720640994576 140548145681176 140548600839599 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140720640999890 140720641000066 140720641000066 140720641003471 0 Current children cumulated CPU time (s) 1920.39 Current children cumulated vsize (KiB) 26543968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16099 sig 9 ??? kill 16097 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16097 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1878 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=272 # CPU time returned by wait4() is 0.00215 # while last known CPU time is 1920.39 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 242.836 CPU time (s): 1920.39 CPU user time (s): 1917.28 CPU system time (s): 3.11 CPU usage (%): 790.818 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001878 system time used= 0.000272 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.7993 second user time and 1.84612 second system time The end
Begin job on node130 at 2017-08-02 16:07:18 IDJOB=4254872 IDBENCH=124397 IDSOLVER=2636 FILE ID=node130/4254872-1501683672 RUNJOBID= node130-1501661057-2426 PBS_JOBID= Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254872-1501683672/watcher-4254872-1501683672 -o /tmp/evaluation-result-4254872-1501683672/solver-4254872-1501683672 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1241719612 HOME/instance-4254872-1501683672.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f RANDOM SEED=1241719612 node130.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.79 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.79 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.79 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.79 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: 31804316 kB MemAvailable: 32020880 kB Buffers: 104008 kB Cached: 392780 kB SwapCached: 0 kB Active: 246228 kB Inactive: 310712 kB Active(anon): 60244 kB Inactive(anon): 8556 kB Active(file): 185984 kB Inactive(file): 302156 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 12 kB AnonPages: 59196 kB Mapped: 27808 kB Shmem: 8868 kB Slab: 112868 kB SReclaimable: 88516 kB SUnreclaim: 24352 kB KernelStack: 3152 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 281548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 61856 MiB End job on node130 at 2017-08-02 16:11:21