Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 23523 | 19971.4 | 2520.13 |
Name | TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml |
MD5SUM | 8cfce4baee5c579b6f10529c309e3c1c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23523 |
Best CPU time to get the best result obtained on this benchmark | 19971.4 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1936 |
Number of constraints | 8495 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 66 |
Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 6977 |
Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297426-1532725847.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297426-1532725847.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 87.56/23.06 c solve instance... 101.41/24.90 o 28764 102.19/24.98 o 28736 105.34/25.56 o 28725 105.67/25.62 o 28715 105.67/25.63 o 28697 105.67/25.64 o 28690 105.67/25.65 o 28565 106.56/26.10 o 28540 106.73/26.11 o 28529 109.08/26.48 o 28519 109.08/26.49 o 28377 110.52/26.94 o 28362 110.52/26.94 o 28334 110.52/26.95 o 28323 110.52/26.96 o 28313 110.52/26.98 o 28295 110.52/26.99 o 28285 111.20/27.38 o 28263 111.20/27.39 o 28235 111.20/27.40 o 28212 111.52/27.43 o 28196 112.26/27.55 o 28189 112.98/27.91 o 28176 112.98/27.98 o 28175 112.98/27.99 o 28153 114.94/28.48 o 28138 114.94/28.48 o 28110 114.94/28.49 o 28080 115.43/28.81 o 28071 115.43/28.83 o 28070 115.43/28.84 o 28063 115.43/28.90 o 28060 115.79/28.91 o 27963 118.88/29.38 o 27890 124.43/30.01 o 27848 129.10/30.61 o 27820 133.17/31.14 o 27747 137.00/31.66 o 27705 141.73/32.21 o 27632 166.94/35.50 o 27554 171.69/36.08 o 27481 211.42/41.05 o 27434 215.85/41.62 o 25590 219.31/42.52 o 25504 1051.55/147.10 o 24927 1133.45/157.50 o 24860 1168.18/162.04 o 24319 1168.18/162.06 o 24308 1187.24/164.95 o 24276 1187.24/164.97 o 24265 6155.75/787.92 o 24224 7115.99/908.31 o 24178 8906.29/1132.73 o 23742 10652.65/1351.64 o 23685 10659.77/1352.58 o 23572 10662.89/1352.91 o 23524 11709.70/1484.13 o 23523 19970.53/2520.08 s SATISFIABLE 19970.53/2520.08 v <instantiation> 19970.53/2520.08 v <list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list> 19970.53/2520.09 v <values>1 12 9 7 8 14 14 11 12 15 8 10 4 2 13 7 15 11 1 6 6 10 5 3 13 4 9 2 3 5 0 11 4 12 9 12 13 5 8 14 3 6 15 11 2 2 7 14 0 15 4 5 10 13 9 10 8 7 6 3 4 8 3 6 10 10 7 12 14 8 5 11 11 0 1 1 13 9 15 9 3 12 14 7 4 13 15 0 5 6 5 9 2 15 12 4 5 4 10 6 1 14 7 10 12 8 8 13 7 13 2 11 9 0 15 11 14 6 0 1 2 13 1 9 6 3 10 3 7 12 14 12 0 15 9 15 10 5 5 14 1 7 11 11 2 0 6 8 13 8 3 10 14 14 7 13 3 1 6 11 2 15 12 9 8 6 12 4 4 10 11 1 0 8 7 9 13 15 2 0 8 14 12 2 4 7 9 7 5 3 12 1 10 8 15 5 11 10 9 0 0 13 13 15 11 14 4 3 1 2 14 15 13 0 5 6 2 6 4 13 10 9 3 14 11 0 1 8 3 12 10 4 8 2 5 15 12 1 9 11 6 2 11 10 0 15 12 13 1 2 0 13 9 6 5 3 3 7 14 11 9 14 7 5 10 12 1 4 15 4 11 3 0 4 1 11 6 10 13 10 15 7 8 5 4 14 14 2 6 2 8 15 3 12 1 5 0 12 7 13 12 5 15 8 2 2 4 9 3 9 7 0 6 3 14 13 4 6 13 5 7 0 1 14 8 1 11 11 12 15 9 1 8 13 14 9 15 0 15 5 13 2 2 1 7 12 6 0 12 8 5 3 4 4 6 3 10 10 14 7 10 0 6 1 3 1 8 2 0 4 6 4 5 13 3 11 5 15 11 7 13 2 15 9 14 8 7 9 10 14 15 4 7 11 15 5 1 8 9 7 11 8 14 12 0 10 2 3 10 3 12 6 6 1 0 2 5 14 4 9 7 6 5 5 11 0 0 15 2 1 4 3 13 7 10 9 9 1 8 4 15 8 2 10 12 6 3 13 11 12 13 7 10 3 13 8 11 14 11 0 9 5 1 4 6 4 0 12 2 1 14 9 12 6 3 7 2 5 8 10 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 51 51 48 84 59 55 105 57 0 55 74 36 0 44 57 59 10 10 44 44 0 34 50 59 0 15 15 39 39 10 10 31 31 0 55 90 64 46 46 0 39 39 64 64 22 22 53 53 68 68 40 40 0 43 103 65 44 44 32 32 45 21 53 56 56 55 55 48 27 56 0 58 58 15 10 22 61 93 49 0 47 47 0 56 56 0 59 59 50 50 0 0 0 47 59 63 51 35 41 69 69 32 53 72 0 80 81 68 0 14 41 50 0 67 67 0 66 66 47 44 34 0 0 91 91 55 69 18 0 51 14 64 70 27 73 90 90 0 74 51 35 0 31 31 70 70 45 15 36 21 21 0 0 41 41 93 93 48 48 0 40 40 44 58 50 94 30 81 27 27 0 35 74 51 0 39 48 42 0 75 32 69 0 0 0 83 27 88 0 59 59 0 27 41 47 0 75 73 31 0 70 70 69 51 44 0 92 32 91 0 18 18 39 22 56 0 57 57 44 44 0 56 56 59 41 41 0 14 72 82 0 44 46 81 0 69 74 64 0 48 48 90 90 79 105 67 31 31 0 73 73 97 97 104 104 53 15 48 68 68 42 42 68 68 0 69 69 84 82 81 0 81 55 46 0 21 21 105 66 67 0 43 43 69 75 103 0 103 57 79 0 55 55 17 17 0 49 53 68 0 30 30 81 39 51 0 93 93 0 51 51 0 55 55 74 74 0 103 79 69 0 69 72 111 0 75 92 66 0 55 10 65 73 73 10 10 101 97 39 0 64 46 69 113 17 105 0 45 45 69 69 58 58 67 67 0 55 57 105 44 41 66 70 18 70 0 10 10 0 0 101 55 57 55 32 80 81 81 0 73 18 88 0 90 90 105 44 94 0 90 90 48 59 97 27 27 0 30 30 0 0 32 32 41 67 69 75 75 0 93 93 0 104 104 0 59 55 66 50 50 0 90 88 92 64 64 61 61 91 70 91 0 82 82 0 93 93 0 59 59 105 53 53 0 91 91 0 17 17 0 84 21 70 0 56 55 111 83 47 72 113 105 27 0 0 39 39 32 32 45 45 0 59 59 69 40 68 91 18 90 97 48 59 105 17 103 0 63 14 57 0 97 97 0 </values> 19970.53/2520.09 v </instantiation> 19970.53/2520.09 c Unexpected resolution interruption!
OK 23523
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8457 MiB free) memory of node 1: 16384 MiB (11549 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297426-1532725847/watcher-4297426-1532725847 -o /tmp/evaluation-result-4297426-1532725847/solver-4297426-1532725847 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532718615-4627 --watchdog 2580 HOME/xcsp3-exec -seed 365870595 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297426-1532725847.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5494, runsolver pid=5491 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 7.95 7.95 7.89 2/200 5515 /proc/meminfo: memFree=20470864/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26104152 memory=27968 CPUtime=0.12 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 5922 0 0 0 10 2 0 0 20 0 20 0 90147831 26730651648 6992 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6526038 6992 3001 1 0 6488315 0 [pid=5496/tid=5497] ppid=5494 vsize=26104152 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) R 5494 5494 4600 0 -1 4202560 3932 0 0 0 8 1 0 0 20 0 20 0 90147831 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729754510976 139729734370654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26104152 memory=139756762236544 CPUtime=0 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5501] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5501/stat : 5501 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729304853264 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5502] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5502/stat : 5502 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729303800464 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5503] ppid=5494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5503/stat : 5503 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729302747664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5504] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5504/stat : 5504 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729301694864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5505] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5505/stat : 5505 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 6992 33554432000 4194304 4196468 140730977627568 139729300642064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5506] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5506/stat : 5506 (java) S 5494 5494 4600 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 90147833 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728022592368 139729750301314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5507] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5507/stat : 5507 (java) S 5494 5494 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90147834 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728021538336 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5508] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5508/stat : 5508 (java) S 5494 5494 4600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 90147834 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728020485488 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5509] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5509/stat : 5509 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147836 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728019433808 139729750308763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5510] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5510/stat : 5510 (java) S 5494 5494 4600 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 90147836 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728018381168 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5511] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5511/stat : 5511 (java) S 5494 5494 4600 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 90147836 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728017328368 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5512] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5512/stat : 5512 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90147836 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728016275568 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5513] ppid=5494 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/5496/task/5513/stat : 5513 (java) R 5494 5494 4600 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 90147836 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728015222768 139729742625868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5514] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5514/stat : 5514 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90147837 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728014171232 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5515] ppid=5494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5515/stat : 5515 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147837 26730651648 6992 33554432000 4194304 4196468 140730977627568 139728013118512 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29424 KiB [startup+0.210455 s]* /proc/loadavg: 7.95 7.95 7.89 4/200 5515 /proc/meminfo: memFree=20459080/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26104152 memory=39796 CPUtime=0.34 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 8524 0 0 0 31 3 0 0 20 0 20 0 90147831 26730651648 9949 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6526038 9949 3158 1 0 6488315 0 [pid=5496/tid=5497] ppid=5494 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) R 5494 5494 4600 0 -1 4202560 5637 0 0 0 18 2 0 0 20 0 20 0 90147831 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729754529168 139729734370654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26104152 memory=139756762244925 CPUtime=0 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5501] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5501/stat : 5501 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729304853264 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5502] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5502/stat : 5502 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729303800464 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5503] ppid=5494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5503/stat : 5503 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729302747664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5504] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5504/stat : 5504 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729301694864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5505] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5505/stat : 5505 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26730651648 9949 33554432000 4194304 4196468 140730977627568 139729300642064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5506] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5506/stat : 5506 (java) S 5494 5494 4600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 90147833 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728022592368 139729750301314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5507] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5507/stat : 5507 (java) S 5494 5494 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90147834 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728021538336 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5508] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5508/stat : 5508 (java) S 5494 5494 4600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 90147834 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728020485488 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5509] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5509/stat : 5509 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147836 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728019433808 139729750308763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5510] ppid=5494 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/5496/task/5510/stat : 5510 (java) S 5494 5494 4600 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 20 0 90147836 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728018381168 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5511] ppid=5494 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/5496/task/5511/stat : 5511 (java) S 5494 5494 4600 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 90147836 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728017328368 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5512] ppid=5494 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/5496/task/5512/stat : 5512 (java) S 5494 5494 4600 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 20 0 90147836 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728016275568 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5513] ppid=5494 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/5496/task/5513/stat : 5513 (java) S 5494 5494 4600 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 20 0 90147836 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728015222768 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5514] ppid=5494 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5514/stat : 5514 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90147837 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728014171232 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5515] ppid=5494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5515/stat : 5515 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147837 26730651648 9949 33554432000 4194304 4196468 140730977627568 139728013118512 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41252 KiB [startup+0.310512 s]* /proc/loadavg: 7.95 7.95 7.89 4/200 5515 /proc/meminfo: memFree=20453372/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26108408 memory=46052 CPUtime=0.5 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 9270 0 0 0 47 3 0 0 20 0 20 0 90147831 26735009792 11513 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6527102 11513 3188 1 0 6488315 0 [pid=5496/tid=5497] ppid=5494 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) R 5494 5494 4600 0 -1 4202560 6323 0 0 0 27 2 0 0 20 0 20 0 90147831 26735009792 11568 33554432000 4194304 4196468 140730977627568 139729754521280 139729734370654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5501] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5501/stat : 5501 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729304853264 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5502] ppid=5494 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/5496/task/5502/stat : 5502 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729303800464 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5503] ppid=5494 vsize=26108408 memory=139756625294255 CPUtime=0 cores=0-7 /proc/5496/task/5503/stat : 5503 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729302747664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5504] ppid=5494 vsize=26108408 memory=139756625296560 CPUtime=0 cores=0-7 /proc/5496/task/5504/stat : 5504 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729301694864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5505] ppid=5494 vsize=26108408 memory=139756625298864 CPUtime=0 cores=0-7 /proc/5496/task/5505/stat : 5505 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147832 26735009792 11581 33554432000 4194304 4196468 140730977627568 139729300642064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5506] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5506/stat : 5506 (java) S 5494 5494 4600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 90147833 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728022592368 139729750301314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5507] ppid=5494 vsize=26108408 memory=279513250604688 CPUtime=0 cores=0-7 /proc/5496/task/5507/stat : 5507 (java) S 5494 5494 4600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90147834 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728021538336 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5508] ppid=5494 vsize=26108408 memory=279513250611600 CPUtime=0 cores=0-7 /proc/5496/task/5508/stat : 5508 (java) S 5494 5494 4600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 90147834 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728020485488 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5509] ppid=5494 vsize=26108408 memory=279513250552880 CPUtime=0 cores=0-7 /proc/5496/task/5509/stat : 5509 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147836 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728019433808 139729750308763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5510] ppid=5494 vsize=26108408 memory=279513250625424 CPUtime=0.03 cores=0-7 /proc/5496/task/5510/stat : 5510 (java) S 5494 5494 4600 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 20 0 90147836 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728018381168 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5511] ppid=5494 vsize=26108408 memory=279513250632336 CPUtime=0.02 cores=0-7 /proc/5496/task/5511/stat : 5511 (java) S 5494 5494 4600 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 20 0 90147836 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728017328368 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5512] ppid=5494 vsize=26108408 memory=279513250630032 CPUtime=0.01 cores=0-7 /proc/5496/task/5512/stat : 5512 (java) S 5494 5494 4600 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 90147836 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728016275568 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5513] ppid=5494 vsize=26108408 memory=279513250646192 CPUtime=0.12 cores=0-7 /proc/5496/task/5513/stat : 5513 (java) S 5494 5494 4600 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 20 0 90147836 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728015222768 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5514] ppid=5494 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5514/stat : 5514 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90147837 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728014171232 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5515] ppid=5494 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/5496/task/5515/stat : 5515 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90147837 26735009792 11581 33554432000 4194304 4196468 140730977627568 139728013118512 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47508 KiB [startup+0.701007 s] /proc/loadavg: 7.95 7.95 7.89 6/200 5515 /proc/meminfo: memFree=20427764/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26110532 memory=148748 CPUtime=1.91 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 14441 0 0 0 184 7 0 0 20 0 20 0 90147831 26737184768 37187 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6527633 37187 3360 1 0 6488827 0 [pid=5496/tid=5497] ppid=5494 vsize=26110532 memory=279513251004080 CPUtime=0.67 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) R 5494 5494 4600 0 -1 4202560 6846 0 0 0 63 4 0 0 20 0 20 0 90147831 26737184768 37187 33554432000 4194304 4196468 140730977627568 139729754525232 139729750302102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26110532 memory=139756625503088 CPUtime=0 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26737184768 37187 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26737184768 37187 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90147832 26737184768 37187 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 ################ # More data... # ################ /proc/meminfo: memFree=14525888/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26645092 memory=5967644 CPUtime=19829.3 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 691611 0 0 0 1980916 2013 0 0 20 0 28 0 90147831 27284574208 1491911 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6661273 1491911 3474 1 0 6622467 0 [pid=5496/tid=5497] ppid=5494 vsize=26645092 memory=15868 CPUtime=15.07 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) S 5494 5494 4600 0 -1 1077944384 14739 0 0 0 1490 17 0 0 20 0 28 0 90147831 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729754530944 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26645092 memory=8112282956445269571 CPUtime=13.18 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 9873 0 0 0 1180 138 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26645092 memory=4136 CPUtime=13.16 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 8084 0 0 0 1178 138 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26645092 memory=26164 CPUtime=13.15 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 9950 0 0 0 1169 146 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5501] ppid=5494 vsize=26645092 memory=1456 CPUtime=13.27 cores=0-7 /proc/5496/task/5501/stat : 5501 (java) S 5494 5494 4600 0 -1 1077944384 8669 0 0 0 1175 152 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729304853264 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5502] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.13 cores=0-7 /proc/5496/task/5502/stat : 5502 (java) S 5494 5494 4600 0 -1 1077944384 6368 0 0 0 1171 142 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729303800464 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5503] ppid=5494 vsize=26645092 memory=1728 CPUtime=13.25 cores=0-7 /proc/5496/task/5503/stat : 5503 (java) S 5494 5494 4600 0 -1 1077944384 10297 0 0 0 1182 143 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729302747664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5504] ppid=5494 vsize=26645092 memory=796 CPUtime=13.22 cores=0-7 /proc/5496/task/5504/stat : 5504 (java) S 5494 5494 4600 0 -1 1077944384 9584 0 0 0 1178 144 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729301694864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5505] ppid=5494 vsize=26645092 memory=1012 CPUtime=13.25 cores=0-7 /proc/5496/task/5505/stat : 5505 (java) S 5494 5494 4600 0 -1 1077944384 10336 0 0 0 1188 137 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729300642064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5506] ppid=5494 vsize=26645092 memory=1228 CPUtime=0.91 cores=0-7 /proc/5496/task/5506/stat : 5506 (java) S 5494 5494 4600 0 -1 1077944384 21438 0 0 0 81 10 0 0 20 0 28 0 90147833 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728022592368 139729750301314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5507] ppid=5494 vsize=26645092 memory=1712 CPUtime=0 cores=0-7 /proc/5496/task/5507/stat : 5507 (java) S 5494 5494 4600 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 90147834 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728021538400 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5508] ppid=5494 vsize=26645092 memory=9996 CPUtime=0 cores=0-7 /proc/5496/task/5508/stat : 5508 (java) S 5494 5494 4600 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 28 0 90147834 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728020485504 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5509] ppid=5494 vsize=26645092 memory=304556123141439514 CPUtime=0 cores=0-7 /proc/5496/task/5509/stat : 5509 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728019433808 139729750308763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5510] ppid=5494 vsize=26645092 memory=288230583166042425 CPUtime=6.75 cores=0-7 /proc/5496/task/5510/stat : 5510 (java) S 5494 5494 4600 0 -1 1077944384 41548 0 0 0 667 8 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728018381168 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5511] ppid=5494 vsize=26645092 memory=15824378344507954 CPUtime=8.52 cores=0-7 /proc/5496/task/5511/stat : 5511 (java) S 5494 5494 4600 0 -1 1077944384 36507 0 0 0 843 9 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728017328368 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5512] ppid=5494 vsize=26645092 memory=1796 CPUtime=7.13 cores=0-7 /proc/5496/task/5512/stat : 5512 (java) S 5494 5494 4600 0 -1 1077944384 40714 0 0 0 707 6 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728016275568 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5513] ppid=5494 vsize=26645092 memory=916 CPUtime=1.59 cores=0-7 /proc/5496/task/5513/stat : 5513 (java) S 5494 5494 4600 0 -1 1077944384 24368 0 0 0 154 5 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728015222768 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5514] ppid=5494 vsize=26645092 memory=4200 CPUtime=0 cores=0-7 /proc/5496/task/5514/stat : 5514 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90147837 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728014171232 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5515] ppid=5494 vsize=26645092 memory=4104 CPUtime=1.08 cores=0-7 /proc/5496/task/5515/stat : 5515 (java) S 5494 5494 4600 0 -1 1077944384 6217 0 0 0 60 48 0 0 20 0 28 0 90147837 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728013118512 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5989] ppid=5494 vsize=26645092 memory=1408 CPUtime=1013.28 cores=0-7 /proc/5496/task/5989/stat : 5989 (java) R 5494 5494 4600 0 -1 4202560 10727 0 0 0 101322 6 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728000130112 139729392976229 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5990] ppid=5494 vsize=26645092 memory=4172 CPUtime=1011.17 cores=0-7 /proc/5496/task/5990/stat : 5990 (java) R 5494 5494 4600 0 -1 4202560 9706 0 0 0 101105 12 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727996973448 139729395468949 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5991] ppid=5494 vsize=26645092 memory=1456 CPUtime=1003.93 cores=0-7 /proc/5496/task/5991/stat : 5991 (java) R 5494 5494 4600 0 -1 4202560 10025 0 0 0 100369 24 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727995920760 139729394095178 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5992] ppid=5494 vsize=26645092 memory=5967644 CPUtime=1013.43 cores=0-7 /proc/5496/task/5992/stat : 5992 (java) R 5494 5494 4600 0 -1 4202560 15723 0 0 0 101312 31 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727999078376 139729392297272 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5993] ppid=5494 vsize=26645092 memory=8112282956445269571 CPUtime=1012.85 cores=0-7 /proc/5496/task/5993/stat : 5993 (java) R 5494 5494 4600 0 -1 4202560 13076 0 0 0 101254 31 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728002236424 139729389996528 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5994] ppid=5494 vsize=26645092 memory=4872558044660077418 CPUtime=1011.84 cores=0-7 /proc/5496/task/5994/stat : 5994 (java) R 5494 5494 4600 0 -1 4202560 11943 0 0 0 101161 23 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728001183576 139729389996528 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5995] ppid=5494 vsize=26645092 memory=1228 CPUtime=1006.03 cores=0-7 /proc/5496/task/5995/stat : 5995 (java) R 5494 5494 4600 0 -1 4202560 22597 0 0 0 100551 52 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727994868168 139729389998137 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5996] ppid=5494 vsize=26645092 memory=288230574492221466 CPUtime=1013.27 cores=0-7 /proc/5496/task/5996/stat : 5996 (java) R 5494 5494 4600 0 -1 4202560 13480 0 0 0 101310 17 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727998026376 139729396125705 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 Current children cumulated CPU time: 19829.3 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 5969100 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 8.32 8.42 8.32 10/208 6012 /proc/meminfo: memFree=14526364/32770624 swapFree=67108860/67108860 [pid=5494] ppid=5491 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5494/stat : 5494 (xcsp3-exec) S 5491 5494 4600 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90147830 115843072 364 33554432000 4194304 5098028 140722979763808 140722979761912 139842699600508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17686528 140722979767350 140722979767552 140722979767552 140722979770314 0 /proc/5494/statm: 28282 364 306 221 0 87 0 [pid=5496] ppid=5494 vsize=26645092 memory=5967644 CPUtime=19970.5 cores=0-7 /proc/5496/stat : 5496 (java) S 5494 5494 4600 0 -1 1077944320 692444 0 0 0 1995036 2017 0 0 20 0 28 0 90147831 27284574208 1491911 33554432000 4194304 4196468 140730977627568 140730977610112 139729750290167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 /proc/5496/statm: 6661273 1491911 3474 1 0 6622467 0 [pid=5496/tid=5497] ppid=5494 vsize=26645092 memory=5964048 CPUtime=15.07 cores=0-7 /proc/5496/task/5497/stat : 5497 (java) S 5494 5494 4600 0 -1 1077944384 14739 0 0 0 1490 17 0 0 20 0 28 0 90147831 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729754530944 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5498] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.18 cores=0-7 /proc/5496/task/5498/stat : 5498 (java) S 5494 5494 4600 0 -1 1077944384 9873 0 0 0 1180 138 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729308011664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5499] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.16 cores=0-7 /proc/5496/task/5499/stat : 5499 (java) S 5494 5494 4600 0 -1 1077944384 8084 0 0 0 1178 138 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729306958864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5500] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.15 cores=0-7 /proc/5496/task/5500/stat : 5500 (java) S 5494 5494 4600 0 -1 1077944384 9950 0 0 0 1169 146 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729305906064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5501] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.27 cores=0-7 /proc/5496/task/5501/stat : 5501 (java) S 5494 5494 4600 0 -1 1077944384 8669 0 0 0 1175 152 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729304853264 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5502] ppid=5494 vsize=26645092 memory=1456 CPUtime=13.13 cores=0-7 /proc/5496/task/5502/stat : 5502 (java) S 5494 5494 4600 0 -1 1077944384 6368 0 0 0 1171 142 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729303800464 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5503] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.25 cores=0-7 /proc/5496/task/5503/stat : 5503 (java) S 5494 5494 4600 0 -1 1077944384 10297 0 0 0 1182 143 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729302747664 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5504] ppid=5494 vsize=26645092 memory=5967644 CPUtime=13.22 cores=0-7 /proc/5496/task/5504/stat : 5504 (java) S 5494 5494 4600 0 -1 1077944384 9584 0 0 0 1178 144 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729301694864 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5505] ppid=5494 vsize=26645092 memory=1456 CPUtime=13.25 cores=0-7 /proc/5496/task/5505/stat : 5505 (java) S 5494 5494 4600 0 -1 1077944384 10336 0 0 0 1188 137 0 0 20 0 28 0 90147832 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139729300642064 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5506] ppid=5494 vsize=26645092 memory=5967644 CPUtime=0.91 cores=0-7 /proc/5496/task/5506/stat : 5506 (java) S 5494 5494 4600 0 -1 1077944384 21438 0 0 0 81 10 0 0 20 0 28 0 90147833 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728022592368 139729750301314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5507] ppid=5494 vsize=26645092 memory=5967644 CPUtime=0 cores=0-7 /proc/5496/task/5507/stat : 5507 (java) S 5494 5494 4600 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 90147834 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728021538400 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5508] ppid=5494 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/5496/task/5508/stat : 5508 (java) S 5494 5494 4600 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 28 0 90147834 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728020485504 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5509] ppid=5494 vsize=26645092 memory=5967644 CPUtime=0 cores=0-7 /proc/5496/task/5509/stat : 5509 (java) S 5494 5494 4600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728019433808 139729750308763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5510] ppid=5494 vsize=26645092 memory=1456 CPUtime=6.75 cores=0-7 /proc/5496/task/5510/stat : 5510 (java) S 5494 5494 4600 0 -1 1077944384 41548 0 0 0 667 8 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728018381168 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5511] ppid=5494 vsize=26645092 memory=1456 CPUtime=8.52 cores=0-7 /proc/5496/task/5511/stat : 5511 (java) S 5494 5494 4600 0 -1 1077944384 36507 0 0 0 843 9 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728017328368 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5512] ppid=5494 vsize=26645092 memory=5967644 CPUtime=7.13 cores=0-7 /proc/5496/task/5512/stat : 5512 (java) S 5494 5494 4600 0 -1 1077944384 40714 0 0 0 707 6 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728016275568 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5513] ppid=5494 vsize=26645092 memory=1456 CPUtime=1.6 cores=0-7 /proc/5496/task/5513/stat : 5513 (java) S 5494 5494 4600 0 -1 1077944384 24368 0 0 0 155 5 0 0 20 0 28 0 90147836 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728015222768 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5514] ppid=5494 vsize=26645092 memory=4136 CPUtime=0 cores=0-7 /proc/5496/task/5514/stat : 5514 (java) S 5494 5494 4600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90147837 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728014171232 139729750300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5515] ppid=5494 vsize=26645092 memory=26164 CPUtime=1.09 cores=0-7 /proc/5496/task/5515/stat : 5515 (java) S 5494 5494 4600 0 -1 1077944384 6219 0 0 0 61 48 0 0 20 0 28 0 90147837 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728013118512 139729750301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5989] ppid=5494 vsize=26645092 memory=1456 CPUtime=1030.99 cores=0-7 /proc/5496/task/5989/stat : 5989 (java) R 5494 5494 4600 0 -1 4202560 10876 0 0 0 103092 7 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728000130112 139729395469183 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5990] ppid=5494 vsize=26645092 memory=4136 CPUtime=1028.87 cores=0-7 /proc/5496/task/5990/stat : 5990 (java) R 5494 5494 4600 0 -1 4202560 9716 0 0 0 102875 12 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727996973448 139729395472730 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5991] ppid=5494 vsize=26645092 memory=1792 CPUtime=1021.63 cores=0-7 /proc/5496/task/5991/stat : 5991 (java) R 5494 5494 4600 0 -1 4202560 10115 0 0 0 102138 25 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727995920760 139729389996337 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5992] ppid=5494 vsize=26645092 memory=960 CPUtime=1031.13 cores=0-7 /proc/5496/task/5992/stat : 5992 (java) R 5494 5494 4600 0 -1 4202560 15836 0 0 0 103082 31 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727999078376 139729389996552 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5993] ppid=5494 vsize=26645092 memory=1456 CPUtime=1030.54 cores=0-7 /proc/5496/task/5993/stat : 5993 (java) R 5494 5494 4600 0 -1 4202560 13198 0 0 0 103023 31 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728002236424 139729389996060 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5994] ppid=5494 vsize=26645092 memory=4136 CPUtime=1029.54 cores=0-7 /proc/5496/task/5994/stat : 5994 (java) R 5494 5494 4600 0 -1 4202560 12157 0 0 0 102930 24 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139728001183576 139729395470538 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5995] ppid=5494 vsize=26645092 memory=4136 CPUtime=1023.38 cores=0-7 /proc/5496/task/5995/stat : 5995 (java) R 5494 5494 4600 0 -1 4202560 22714 0 0 0 102285 53 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727994868168 139729389996175 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 [pid=5496/tid=5996] ppid=5494 vsize=26645092 memory=26164 CPUtime=1030.97 cores=0-7 /proc/5496/task/5996/stat : 5996 (java) R 5494 5494 4600 0 -1 4202560 13496 0 0 0 103079 18 0 0 20 0 28 0 90296244 27284574208 1491911 33554432000 4194304 4196468 140730977627568 139727998026376 139729389996528 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29503488 140730977633409 140730977633581 140730977633581 140730977636303 0 Current children cumulated CPU time: 19970.5 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 5969100 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 5494 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002409 s, system=0 s [startup+2520.13 s] # the end of solver process 5496 was just reported to runsolver # cumulated CPU time of all completed processes: user=19951.2 s, system=20.2117 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.12 s]* /proc/loadavg: 8.32 8.42 8.32 2/181 6014 /proc/meminfo: memFree=20219836/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.002409 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.13 CPU time (s): 19971.4 CPU user time (s): 19951.2 CPU system time (s): 20.2117 CPU usage (%): 792.472 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 5969100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19951.2 system time used= 20.2117 maximum resident set size= 5968220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 694613 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73842 involuntary context switches= 202916 # summary of solver processes directly reported to runsolver: # pid: 5494,5496 # total CPU time (s): 19971.4 # total CPU user time (s): 19951.2 # total CPU system time (s): 20.2117 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.0071 second user time and 31.9941 second system time The end
Begin job on node105 at 2018-07-27 23:10:47 IDJOB=4297426 IDBENCH=141551 IDSOLVER=2760 FILE ID=node105/4297426-1532725847 RUNJOBID= node105-1532718615-4627 PBS_JOBID= 21022330 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy16_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297426-1532725847/watcher-4297426-1532725847 -o /tmp/evaluation-result-4297426-1532725847/solver-4297426-1532725847 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532718615-4627 --watchdog 2580 HOME/xcsp3-exec -seed 365870595 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297426-1532725847.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8cfce4baee5c579b6f10529c309e3c1c RANDOM SEED=365870595 node105.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.32 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.32 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.32 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.32 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: 20487312 kB MemAvailable: 31928856 kB Buffers: 262396 kB Cached: 11319544 kB SwapCached: 0 kB Active: 2387896 kB Inactive: 9245840 kB Active(anon): 6416 kB Inactive(anon): 73364 kB Active(file): 2381480 kB Inactive(file): 9172476 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22464 kB Writeback: 0 kB AnonPages: 66260 kB Mapped: 41240 kB Shmem: 25228 kB Slab: 343208 kB SReclaimable: 316048 kB SUnreclaim: 27160 kB KernelStack: 3536 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 44600 MiB End job on node105 at 2018-07-27 23:52:47