Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 3903 | 2400.1 | 2400.3 |
| Name | NurseRostering/ NurseRostering-06_c18.xml |
| MD5SUM | 9a3bf89ae74321e3cfb193774a0c0983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4362 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1007 |
| Number of constraints | 2471 |
| Number of domains | 12 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}] |
| Number of extensional constraints | 598 |
| Number of intensional constraints | 309 |
| Distribution of constraint types | [{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 1.49/1.55 o 10719 1.49/1.56 o 10618 1.49/1.56 o 10517 1.49/1.56 o 10516 1.49/1.56 o 10415 1.49/1.56 o 10314 1.49/1.57 o 10213 1.49/1.58 o 10112 1.49/1.59 o 10011 1.59/1.61 o 10010 1.59/1.61 o 9910 1.59/1.62 o 9909 1.59/1.63 o 9908 1.59/1.64 o 9808 1.59/1.64 o 9707 1.89/1.92 o 9407 1.89/1.97 o 9309 1.89/1.98 o 9307 2.69/2.74 o 9207 2.69/2.74 o 9107 2.69/2.74 o 9007 2.69/2.75 o 9006 2.69/2.75 o 9005 2.69/2.77 o 8905 2.79/2.82 o 8903 2.79/2.84 o 8803 2.79/2.87 o 8802 2.79/2.87 o 8703 2.89/2.94 o 8701 2.89/2.98 o 8602 2.89/2.99 o 8600 3.00/3.08 o 8598 3.00/3.08 o 8499 4.59/4.69 o 8496 4.69/4.73 o 8495 4.89/4.93 o 8394 5.19/5.20 o 8391 7.69/7.76 o 8290 7.69/7.76 o 8189 7.69/7.79 o 8088 9.79/9.84 o 8087 9.79/9.88 o 7992 9.88/9.91 o 7991 9.88/9.91 o 7989 9.88/9.91 o 7987 10.09/10.12 o 7887 10.09/10.15 o 7787 13.79/13.85 o 7786 13.79/13.86 o 7782 13.89/13.98 o 7779 14.10/14.13 o 7678 14.39/14.49 o 7581 22.29/22.33 o 7481 22.29/22.33 o 7480 22.29/22.35 o 7382 22.39/22.44 o 7378 22.39/22.44 o 7377 22.39/22.49 o 7374 23.79/23.82 o 7271 26.68/26.73 o 7270 26.68/26.76 o 7269 26.68/26.79 o 7169 28.38/28.48 o 7072 28.48/28.54 o 7071 28.48/28.55 o 7069 28.58/28.60 o 7068 28.58/28.61 o 7067 28.58/28.66 o 7066 29.48/29.51 o 6966 30.09/30.17 o 6866 42.58/42.61 o 6865 42.58/42.62 o 6765 42.58/42.63 o 6763 42.58/42.64 o 6762 42.58/42.65 o 6662 42.58/42.66 o 6661 42.68/42.75 o 6660 42.78/42.85 o 6560 43.09/43.12 o 6559 43.09/43.14 o 6557 43.09/43.15 o 6555 43.09/43.15 o 6460 43.09/43.15 o 6459 43.78/43.83 o 6458 43.78/43.83 o 6457 44.38/44.45 o 6456 44.58/44.67 o 6358 53.88/53.92 o 6260 53.88/53.93 o 6159 53.88/53.93 o 6058 53.88/53.94 o 5960 53.88/53.95 o 5859 53.88/53.95 o 5858 53.88/53.95 o 5758 53.88/53.95 o 5755 53.88/53.97 o 5753 53.88/53.97 o 5752 55.08/55.11 o 5750 55.08/55.11 o 5749 71.17/71.20 o 5649 72.37/72.41 o 5648 72.37/72.42 o 5647 72.37/72.42 o 5646 72.48/72.58 o 5645 89.37/89.42 o 5643 89.37/89.43 o 5642 89.37/89.44 o 5542 93.47/93.59 o 5541 93.47/93.59 o 5442 93.47/93.59 o 5441 124.76/124.82 o 5353 124.76/124.82 o 5352 124.76/124.82 o 5351 124.76/124.83 o 5350 124.76/124.83 o 5347 125.46/125.56 o 5344 125.46/125.57 o 5343 125.46/125.57 o 5342 141.16/141.22 o 5341 141.16/141.22 o 5339 141.16/141.23 o 5338 141.16/141.23 o 5336 141.16/141.23 o 5335 141.16/141.24 o 5332 141.56/141.61 o 5330 141.97/142.07 o 5230 148.76/148.82 o 5229 161.45/161.57 o 5228 174.35/174.49 o 5222 248.05/248.12 o 5221 340.64/340.79 o 5121 340.64/340.79 o 5021 340.74/340.81 o 5019 340.74/340.84 o 5018 340.74/340.87 o 5017 340.74/340.87 o 4918 340.84/340.90 o 4916 340.95/341.08 o 4915 341.24/341.34 o 4914 350.54/350.64 o 4913 361.24/361.32 o 4912 361.54/361.64 o 4911 374.74/374.83 o 4910 380.64/380.78 o 4909 380.74/380.85 o 4810 383.54/383.62 o 4807 470.13/470.23 o 4716 538.13/538.21 o 4715 573.73/573.82 o 4714 573.73/573.83 o 4713 573.73/573.83 o 4712 573.73/573.84 o 4711 573.73/573.85 o 4710 662.32/662.43 o 4707 682.52/682.62 o 4706 728.52/728.67 o 4705 832.41/832.56 o 4605 1469.56/1469.77 o 4508 1836.93/1837.14 o 4507 1836.93/1837.15 o 4506 1837.03/1837.20 o 4505 1837.03/1837.21 o 4405 1837.13/1837.36 o 4404 1838.23/1838.43 o 4304 1838.23/1838.43 o 4303 1845.03/1845.22 o 4208 1845.03/1845.22 o 4207 1845.03/1845.23 o 4206 1845.03/1845.24 o 4205 1847.13/1847.31 o 4109 1847.13/1847.32 o 4108 1848.23/1848.47 o 4107 1848.23/1848.47 o 4106 1848.23/1848.49 o 4105 1855.22/1855.46 o 4005 1856.42/1856.65 o 3912 1857.32/1857.58 o 3911 1857.32/1857.59 o 3910 1864.83/1865.03 o 3909 1872.52/1872.73 o 3908 1952.93/1953.14 o 3907 1987.93/1988.13 o 3906 1989.32/1989.54 o 3905 1990.02/1990.25 o 3904 1994.92/1995.19 o 3903 2400.08/2400.30 s SATISFIABLE 2400.08/2400.30 v <instantiation type="solution"> 2400.08/2400.30 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list> 2400.08/2400.30 v <values> 0 2 3 0 3 3 2 2 1 3 1 3 1 3 3 3 0 2 0 2 1 0 0 0 2 2 1 3 1 3 1 0 3 3 3 3 0 2 1 1 0 0 2 2 1 2 2 3 3 0 1 3 3 3 0 2 1 3 0 2 2 3 1 2 2 0 3 0 1 3 3 3 0 2 3 3 0 2 2 3 1 2 2 0 3 0 1 3 1 1 3 3 3 3 0 2 3 2 3 3 3 1 0 0 1 3 3 1 3 3 3 3 3 3 3 2 3 3 3 1 0 2 2 3 3 2 3 2 1 1 3 3 0 2 3 3 3 1 0 3 3 0 3 2 3 2 2 1 0 0 0 3 3 3 1 1 0 3 3 1 3 3 0 2 2 3 0 2 2 3 1 0 2 3 2 3 3 1 0 3 0 3 2 3 0 2 3 3 1 0 2 3 3 1 0 3 3 3 0 3 2 0 0 3 3 3 1 0 2 3 3 1 1 3 3 0 0 2 3 1 0 3 2 3 1 0 3 3 3 1 3 2 3 3 1 2 3 1 3 3 2 3 3 0 3 3 3 1 3 2 3 3 3 2 1 1 3 3 2 2 3 3 3 0 0 1 3 2 1 0 3 3 2 3 0 3 2 2 1 3 3 0 1 2 1 3 3 3 0 3 3 3 0 0 3 2 1 0 3 0 2 3 1 3 3 3 0 3 3 1 0 0 3 2 3 0 3 0 2 3 1 3 3 3 3 2 1 1 2 0 0 2 3 0 2 0 2 3 1 3 0 3 3 2 2 3 3 0 0 3 1 0 2 3 3 3 3 3 3 3 1 2 2 3 3 0 3 3 1 0 2 3 3 3 3 3 3 3 1 2 2 3 0 3 3 3 1 3 2 3 3 0 3 1 3 0 1 2 3 3 0 3 0 2 3 3 2 0 3 0 1 1 0 0 1 3 3 0 3 0 2 2 3 0 3 0 3 1 1 1 1 3 1 3 3 1 3 0 2 2 1 0 3 0 0 2 2 3 3 3 3 3 3 1 3 0 3 2 1 0 3 0 0 3 2 3 3 3 3 3 2 1 3 3 3 2 3 3 1 1 1 3 2 3 0 3 3 3 2 1 3 3 3 3 3 3 2 1 2 3 2 3 1 3 11 6 0 11 0 0 16 12 0 6 10 12 4 12 0 12 15 0 1 12 11 0 5 12 5 0 12 11 0 0 16 12 0 16 0 12 13 0 3 12 0 4 12 12 11 6 0 11 7 4 5 12 7 6 3 12 1 11 5 11 1 5 3 19 5 4 0 19 4 2 3 19 3 3 4 8 5 4 3 6 4 4 5 5 4 3 5 6 4 4 5 5 3 3 2 10 1 1 4 12 3 3 3 9 4 4 2 8 4 2 6 6 4 2 3 9 5 3 2 8 3 3 3 9 1 3 3 11 3 4 4 7 2 3 4 9 5 2 2 9 5 2 2 9 5 3 5 5 3 1 3 11 2 2 3 11 3 3 3 9 6 3 3 6 4 5 2 7 4 3 4 7 4 2 2 10 1 4 3 10 0 3 4 11 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 0 0 1 0 1 1 2 0 0 1 1 1 1 1 1 1 0 0 0 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 3 3 1 0 0 1 1 1 1 1 0 2 2 2 2 3 3 0 0 3 1 1 1 0 0 0 0 1 1 3 3 3 3 2 3 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 200 0 0 0 0 0 0 200 200 0 0 100 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 100 0 300 0 100 100 100 0 100 0 0 0 0 0 0 0 0 200 400 0 3 0 0 0 0 0 0 0 0 200 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 400 0 100 0 500 200 0 0 </values> 2400.08/2400.30 v </instantiation>
OK 3903
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 (10202 MiB free)
memory of node 1: 16384 MiB (12257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289299-1532190722/watcher-4289299-1532190722 -o /tmp/evaluation-result-4289299-1532190722/solver-4289299-1532190722 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532190500-25463 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289299-1532190722.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25567, runsolver pid=25564
[startup+0.100115 s]*
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22990156/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=37836 memory=12472 CPUtime=0.1 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 3403 0 0 0 10 0 0 0 20 0 1 0 36635410 38744064 3118 33554432000 4194304 7498468 140733855701696 140733855698696 5905862 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 9459 3118 746 807 0 2450 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37836 KiB
Current children cumulated memory: 12472 KiB
[startup+0.209735 s]*
/proc/loadavg: 1.95 1.06 0.46 4/189 25568
/proc/meminfo: memFree=22944896/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=84580 memory=59428 CPUtime=0.21 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 15361 0 0 0 19 2 0 0 20 0 1 0 36635410 86609920 14857 33554432000 4194304 7498468 140733855701696 140733855698696 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 21145 14857 768 807 0 14136 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 84580 KiB
Current children cumulated memory: 59428 KiB
[startup+0.309696 s]*
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22931876/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=95952 memory=70780 CPUtime=0.31 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 18213 0 0 0 29 2 0 0 20 0 1 0 36635410 98254848 17695 33554432000 4194304 7498468 140733855701696 140733855698696 140125192735877 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 23988 17695 768 807 0 16979 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95952 KiB
Current children cumulated memory: 70780 KiB
[startup+0.700279 s]
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22916252/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111368 memory=86356 CPUtime=0.69 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 22098 0 0 0 66 3 0 0 20 0 1 0 36635410 114040832 21589 33554432000 4194304 7498468 140733855701696 140733855696328 5164386 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27842 21589 807 807 0 20833 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 86356 KiB
[startup+1.50024 s]
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22916260/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111368 memory=86356 CPUtime=1.49 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 22107 0 0 0 146 3 0 0 20 0 1 0 36635410 114040832 21589 33554432000 4194304 7498468 140733855701696 140733855696328 4246815 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27842 21589 807 807 0 20833 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 86356 KiB
[startup+3.10921 s]
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22916384/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111500 memory=86548 CPUtime=3.1 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 30362 0 0 0 307 3 0 0 20 0 1 0 36635410 114176000 21637 33554432000 4194304 7498468 140733855701696 140733855696712 5164386 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27875 21637 808 807 0 20866 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 111500 KiB
Current children cumulated memory: 86548 KiB
[startup+6.30024 s]
/proc/loadavg: 1.95 1.07 0.47 3/189 25568
/proc/meminfo: memFree=22916328/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111500 memory=86584 CPUtime=6.29 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 38640 0 0 0 625 4 0 0 20 0 1 0 36635410 114176000 21646 33554432000 4194304 7498468 140733855701696 140733855696712 5838457 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27875 21646 808 807 0 20866 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111500 KiB
Current children cumulated memory: 86584 KiB
[startup+12.7002 s]
/proc/loadavg: 1.96 1.09 0.48 3/189 25568
/proc/meminfo: memFree=22916328/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111500 memory=86628 CPUtime=12.68 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 46914 0 0 0 1264 4 0 0 20 0 1 0 36635410 114176000 21657 33554432000 4194304 7498468 140733855701696 140733855696712 4249714 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27875 21657 808 807 0 20866 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 111500 KiB
Current children cumulated memory: 86628 KiB
[startup+25.5002 s]
/proc/loadavg: 1.97 1.13 0.50 3/189 25568
/proc/meminfo: memFree=22916328/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86672 CPUtime=25.48 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 62298 0 0 0 2543 5 0 0 20 0 1 0 36635410 114311168 21668 33554432000 4194304 7498468 140733855701696 140733855696712 5585655 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21668 808 807 0 20899 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86672 KiB
[startup+51.1091 s]
/proc/loadavg: 1.98 1.20 0.54 3/189 25568
/proc/meminfo: memFree=22916328/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86688 CPUtime=51.09 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 71709 0 0 0 5104 5 0 0 20 0 1 0 36635410 114311168 21672 33554432000 4194304 7498468 140733855701696 140733855696712 4378989 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21672 808 807 0 20899 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86688 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.33 0.62 3/188 25569
/proc/meminfo: memFree=22915868/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86708 CPUtime=102.26 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 77980 0 0 0 10220 6 0 0 20 0 1 0 36635410 114311168 21677 33554432000 4194304 7498468 140733855701696 140733855696712 4249984 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21677 808 807 0 20899 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86708 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.45 0.70 3/188 25570
/proc/meminfo: memFree=22915808/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86728 CPUtime=162.25 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 78699 0 0 0 16219 6 0 0 20 0 1 0 36635410 114311168 21682 33554432000 4194304 7498468 140733855701696 140733855696712 5585759 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21682 808 807 0 20899 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86728 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.55 0.79 3/187 25571
/proc/meminfo: memFree=22916028/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86736 CPUtime=222.25 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 79402 0 0 0 22219 6 0 0 20 0 1 0 36635410 114311168 21684 33554432000 4194304 7498468 140733855701696 140733855696712 5164365 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21684 808 807 0 20899 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86736 KiB
[startup+282.3 s]
/proc/loadavg: 2.31 1.71 0.89 3/187 25572
/proc/meminfo: memFree=22916032/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86736 CPUtime=282.24 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 80106 0 0 0 28218 6 0 0 20 0 1 0 36635410 114311168 21684 33554432000 4194304 7498468 140733855701696 140733855696712 5585822 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21684 808 807 0 20899 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86736 KiB
[startup+342.3 s]
/proc/loadavg: 2.31 1.83 0.98 3/187 25573
/proc/meminfo: memFree=22915696/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86744 CPUtime=342.24 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 80818 0 0 0 34218 6 0 0 20 0 1 0 36635410 114311168 21686 33554432000 4194304 7498468 140733855701696 140733855696712 4580270 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21686 808 807 0 20899 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86744 KiB
[startup+402.3 s]
/proc/loadavg: 2.11 1.86 1.05 3/187 25574
/proc/meminfo: memFree=22915964/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86748 CPUtime=402.24 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 81379 0 0 0 40218 6 0 0 20 0 1 0 36635410 114311168 21687 33554432000 4194304 7498468 140733855701696 140733855696712 5585650 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21687 808 807 0 20899 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86748 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 1.89 1.11 3/187 25575
/proc/meminfo: memFree=22915868/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86748 CPUtime=462.24 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 81912 0 0 0 46218 6 0 0 20 0 1 0 36635410 114311168 21687 33554432000 4194304 7498468 140733855701696 140733855696712 5784116 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21687 808 807 0 20899 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86748 KiB
################
# More data... #
################
/proc/25567/statm: 27908 21694 808 807 0 20899 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86776 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/188 25623
/proc/meminfo: memFree=22914212/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86776 CPUtime=1722.13 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 93827 0 0 0 172207 6 0 0 20 0 1 0 36635410 114311168 21694 33554432000 4194304 7498468 140733855701696 140733855696712 5585773 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21694 808 807 0 20899 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86776 KiB
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.80 3/190 25648
/proc/meminfo: memFree=22912248/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86776 CPUtime=1782.13 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 94286 0 0 0 178207 6 0 0 20 0 1 0 36635410 114311168 21694 33554432000 4194304 7498468 140733855701696 140733855696712 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21694 808 807 0 20899 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86776 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 1.81 3/190 25649
/proc/meminfo: memFree=22912792/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86776 CPUtime=1842.13 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 95010 0 0 0 184207 6 0 0 20 0 1 0 36635410 114311168 21694 33554432000 4194304 7498468 140733855701696 140733855696712 5772174 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21694 808 807 0 20899 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86776 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.82 3/190 25650
/proc/meminfo: memFree=22913296/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86780 CPUtime=1902.12 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 95622 0 0 0 190206 6 0 0 20 0 1 0 36635410 114311168 21695 33554432000 4194304 7498468 140733855701696 140733855696712 4397958 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21695 808 807 0 20899 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86780 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/190 25651
/proc/meminfo: memFree=22913744/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86780 CPUtime=1962.12 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 96237 0 0 0 196206 6 0 0 20 0 1 0 36635410 114311168 21695 33554432000 4194304 7498468 140733855701696 140733855696712 5803600 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21695 808 807 0 20899 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86780 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/189 25652
/proc/meminfo: memFree=22913708/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2022.11 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 96851 0 0 0 202205 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5791403 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 25653
/proc/meminfo: memFree=22913812/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2082.11 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 97440 0 0 0 208205 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 4540914 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 25654
/proc/meminfo: memFree=22913828/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2142.11 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 98010 0 0 0 214205 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 4245332 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2202.3 s]
/proc/loadavg: 2.18 2.06 1.89 3/187 25838
/proc/meminfo: memFree=22852576/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2202.1 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 98585 0 0 0 220204 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2262.3 s]
/proc/loadavg: 2.14 2.08 1.91 3/187 25839
/proc/meminfo: memFree=22851984/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2262.1 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 99159 0 0 0 226204 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5649074 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.06 1.91 3/188 25848
/proc/meminfo: memFree=22850812/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2322.09 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 99732 0 0 0 232203 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5575289 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.05 1.92 3/188 25849
/proc/meminfo: memFree=22851004/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2382.08 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 100308 0 0 0 238202 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 4249696 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.01 2.05 1.92 3/188 25849
/proc/meminfo: memFree=22851452/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2400.08 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 100874 0 0 0 240002 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5164489 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 25567 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.03 s, system=0.067994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.01 2.05 1.92 3/188 25849
/proc/meminfo: memFree=22851452/32770624 swapFree=67108860/67108860
[pid=25567] ppid=25564 vsize=111632 memory=86784 CPUtime=2400.08 cores=0,2,4,6
/proc/25567/stat : 25567 (MistralXCSP) R 25564 25567 25432 0 -1 4202496 100874 0 0 0 240002 6 0 0 20 0 1 0 36635410 114311168 21696 33554432000 4194304 7498468 140733855701696 140733855696712 5164489 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 35004416 140733855704174 140733855704323 140733855704323 140733855707081 0
/proc/25567/statm: 27908 21696 808 807 0 20899 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 111632 KiB
Current children cumulated memory: 86784 KiB
Child status: 0
Real time (s): 2400.3
CPU time (s): 2400.1
CPU user time (s): 2400.03
CPU system time (s): 0.067994
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 111632
Max. memory (cumulated for all children) (KiB): 86784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.067994
maximum resident set size= 86804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 3016
# summary of solver processes directly reported to runsolver:
# pid: 25567
# total CPU time (s): 2400.1
# total CPU user time (s): 2400.03
# total CPU system time (s): 0.067994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48477 second user time and 16.8239 second system time
The end
Begin job on node138 at 2018-07-21 18:32:02 IDJOB=4289299 IDBENCH=141058 IDSOLVER=2741 FILE ID=node138/4289299-1532190722 RUNJOBID= node138-1532190500-25463 PBS_JOBID= 21018929 Free space on /tmp= 59104 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289299-1532190722/watcher-4289299-1532190722 -o /tmp/evaluation-result-4289299-1532190722/solver-4289299-1532190722 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532190500-25463 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289299-1532190722.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=823653071 node138.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.71 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.71 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.71 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.71 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: 22999224 kB MemAvailable: 31951404 kB Buffers: 220580 kB Cached: 8975728 kB SwapCached: 0 kB Active: 2211784 kB Inactive: 7044996 kB Active(anon): 63876 kB Inactive(anon): 16924 kB Active(file): 2147908 kB Inactive(file): 7028072 kB Unevictable: 7328 kB Mlocked: 7328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8772 kB Writeback: 0 kB AnonPages: 67928 kB Mapped: 36124 kB Shmem: 17036 kB Slab: 210712 kB SReclaimable: 184072 kB SUnreclaim: 26640 kB KernelStack: 3376 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 59096 MiB End job on node138 at 2018-07-21 19:12:03