Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 2386 | 2400 | 2400.01 |
Name | NurseRostering/ NurseRostering-05_c18.xml |
MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1819 |
Best CPU time to get the best result obtained on this benchmark | 2400.21 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 834 |
Number of constraints | 2135 |
Number of domains | 14 |
Minimum domain size | 1 |
Maximum domain size | 29 |
Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
Number of extensional constraints | 516 |
Number of intensional constraints | 266 |
Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.02 c Mistral 16062018 0.29/0.39 o 12425 0.29/0.40 o 12324 0.29/0.40 o 12223 0.29/0.40 o 12122 0.29/0.40 o 12021 0.29/0.40 o 11920 0.29/0.40 o 11819 0.29/0.40 o 11818 0.29/0.41 o 11817 0.29/0.41 o 11816 0.29/0.41 o 11716 0.29/0.41 o 11616 0.29/0.41 o 11516 0.29/0.41 o 11515 0.39/0.42 o 11514 0.39/0.42 o 11417 0.39/0.42 o 11317 0.39/0.42 o 11316 0.39/0.42 o 11216 0.39/0.43 o 11215 0.39/0.43 o 11117 0.39/0.43 o 11018 0.39/0.44 o 10921 0.39/0.44 o 10920 0.39/0.44 o 10820 0.39/0.48 o 10719 0.39/0.48 o 10718 0.39/0.48 o 10618 0.39/0.48 o 10517 0.39/0.49 o 10516 0.39/0.49 o 10416 0.39/0.49 o 10415 0.39/0.49 o 10414 0.39/0.49 o 10314 0.39/0.49 o 10213 0.39/0.49 o 10113 0.39/0.50 o 10112 0.39/0.50 o 10011 0.39/0.50 o 9911 0.39/0.50 o 9910 0.39/0.50 o 9909 0.39/0.50 o 9809 0.39/0.51 o 9808 0.39/0.51 o 9708 0.39/0.51 o 9707 0.39/0.51 o 9606 0.39/0.51 o 9506 0.39/0.51 o 9406 0.49/0.52 o 9405 0.49/0.52 o 9304 0.49/0.52 o 9201 0.49/0.52 o 9101 0.49/0.52 o 9100 0.49/0.52 o 9000 0.49/0.53 o 8998 0.49/0.53 o 8898 0.49/0.53 o 8897 0.49/0.53 o 8796 0.49/0.54 o 8695 0.49/0.54 o 8594 0.49/0.54 o 8493 0.49/0.54 o 8492 0.49/0.55 o 8491 0.49/0.55 o 8490 0.49/0.56 o 8392 0.49/0.57 o 8294 0.49/0.58 o 8293 0.49/0.58 o 8292 0.49/0.58 o 8192 0.49/0.58 o 8093 0.49/0.58 o 8092 0.49/0.59 o 7991 0.49/0.60 o 7990 0.49/0.60 o 7988 0.49/0.60 o 7987 0.58/0.64 o 7985 0.58/0.65 o 7983 0.67/0.76 o 7982 0.77/0.84 o 7981 0.87/0.90 o 7980 0.87/0.91 o 7979 0.87/0.91 o 7876 0.87/0.91 o 7875 0.87/0.92 o 7772 0.87/0.92 o 7770 0.87/0.95 o 7670 0.98/1.02 o 7669 1.17/1.22 o 7668 1.17/1.22 o 7667 1.27/1.30 o 7666 1.37/1.46 o 7567 1.37/1.46 o 7566 1.47/1.57 o 7565 3.66/3.77 o 7466 3.66/3.77 o 7465 3.86/3.90 o 7464 4.77/4.89 o 7264 4.77/4.89 o 7263 4.77/4.89 o 7162 4.77/4.90 o 7062 4.87/4.90 o 7061 4.87/4.91 o 6963 4.87/4.91 o 6962 4.98/5.08 o 6958 5.17/5.27 o 6957 5.17/5.27 o 6863 5.17/5.27 o 6862 5.17/5.28 o 6858 5.27/5.35 o 6857 6.57/6.64 o 6856 7.97/8.04 o 6758 7.97/8.04 o 6755 7.97/8.04 o 6654 9.97/10.08 o 6653 9.97/10.09 o 6652 10.16/10.22 o 6552 10.16/10.22 o 6551 10.66/10.72 o 6451 10.76/10.89 o 6450 10.76/10.89 o 6449 10.86/10.90 o 6349 10.86/10.91 o 6348 16.57/16.69 o 6347 16.67/16.70 o 6346 20.87/20.94 o 6345 20.87/20.96 o 6344 24.77/24.89 o 6343 24.87/24.90 o 6243 24.87/24.93 o 6142 24.87/24.99 o 6042 24.97/25.01 o 5941 24.97/25.10 o 5846 24.97/25.10 o 5845 24.97/25.10 o 5844 26.07/26.14 o 5843 27.37/27.44 o 5840 28.27/28.35 o 5839 31.47/31.50 o 5739 32.77/32.88 o 5645 32.97/33.01 o 5644 35.77/35.80 o 5643 43.86/43.90 o 5642 43.97/44.09 o 5641 82.98/83.05 o 5640 82.98/83.05 o 5540 82.98/83.06 o 5539 82.98/83.06 o 5439 83.17/83.24 o 5338 83.37/83.49 o 5336 83.47/83.59 o 5236 83.67/83.75 o 5235 83.77/83.83 o 5135 84.17/84.22 o 5134 84.17/84.27 o 5034 85.37/85.44 o 5033 87.87/87.90 o 5031 89.27/89.38 o 5029 136.07/136.14 o 4929 136.07/136.15 o 4928 136.97/137.08 o 4828 141.36/141.46 o 4727 169.35/169.41 o 4626 169.35/169.42 o 4625 169.35/169.42 o 4624 169.35/169.42 o 4623 169.45/169.54 o 4523 169.55/169.63 o 4426 169.55/169.63 o 4425 169.55/169.63 o 4424 169.75/169.88 o 4422 169.96/170.07 o 4421 169.96/170.07 o 4420 170.06/170.19 o 4322 170.15/170.26 o 4221 186.55/186.66 o 4220 186.55/186.66 o 4219 204.15/204.24 o 4218 207.45/207.57 o 4120 207.45/207.57 o 4119 210.25/210.38 o 4019 210.25/210.38 o 3919 210.35/210.41 o 3819 212.25/212.35 o 3817 212.55/212.63 o 3816 223.55/223.69 o 3815 224.85/224.97 o 3814 225.55/225.68 o 3812 227.55/227.65 o 3720 227.65/227.77 o 3716 231.96/232.04 o 3715 231.96/232.04 o 3714 232.35/232.43 o 3713 235.65/235.76 o 3613 235.75/235.81 o 3515 335.96/336.07 o 3514 338.55/338.64 o 3513 338.55/338.65 o 3512 338.55/338.65 o 3511 338.65/338.73 o 3413 338.75/338.84 o 3412 338.75/338.84 o 3411 338.75/338.85 o 3318 339.15/339.21 o 3316 339.15/339.21 o 3315 353.55/353.64 o 3314 353.85/353.99 o 3313 353.96/354.02 o 3312 353.96/354.03 o 3311 353.96/354.06 o 3310 353.96/354.07 o 3110 356.55/356.64 o 3036 357.65/357.74 o 3033 358.85/358.95 o 3032 358.85/358.96 o 3031 358.85/358.96 o 3030 358.85/358.96 o 3029 358.85/358.96 o 3028 358.85/358.97 o 3027 359.25/359.38 o 3025 359.25/359.38 o 3024 359.55/359.61 o 3023 359.96/360.09 o 3022 363.35/363.47 o 3021 363.45/363.52 o 3020 371.45/371.53 o 3019 374.25/374.30 o 3018 389.75/389.88 o 3015 394.75/394.83 o 3014 434.85/434.90 o 3013 439.96/440.06 o 2918 439.96/440.06 o 2917 440.06/440.15 o 2916 440.06/440.19 o 2915 440.06/440.19 o 2914 473.25/473.39 o 2913 483.15/483.25 o 2912 487.75/487.87 o 2911 632.65/632.80 o 2910 652.35/652.41 o 2909 654.35/654.41 o 2908 660.75/660.86 o 2907 660.75/660.86 o 2906 660.75/660.86 o 2905 684.55/684.65 o 2903 684.85/684.98 o 2808 684.85/684.98 o 2807 684.85/684.98 o 2806 684.96/685.03 o 2803 685.96/686.01 o 2802 685.96/686.01 o 2800 687.25/687.39 o 2798 791.55/791.69 o 2707 791.65/791.70 o 2706 791.65/791.70 o 2705 791.65/791.76 o 2704 791.75/791.81 o 2702 800.96/801.08 o 2700 800.96/801.08 o 2699 800.96/801.08 o 2698 1254.07/1254.16 o 2695 1254.07/1254.17 o 2692 1254.56/1254.61 o 2691 1254.56/1254.67 o 2594 1254.56/1254.67 o 2593 1257.36/1257.48 o 2591 1288.86/1288.97 o 2497 1288.86/1288.97 o 2496 1300.66/1300.79 o 2494 1300.66/1300.79 o 2490 1300.76/1300.80 o 2488 1524.66/1524.78 o 2486 1987.99/1988.10 o 2485 1988.09/1988.11 o 2484 1992.78/1992.89 o 2392 1992.78/1992.89 o 2389 1992.78/1992.89 o 2387 1992.88/1992.90 o 2386 2400.00/2400.01 s SATISFIABLE 2400.00/2400.01 v <instantiation type="solution"> 2400.00/2400.01 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] 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] 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] 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] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] </list> 2400.00/2400.01 v <values> 2 0 0 1 2 1 1 0 2 0 2 0 2 2 1 2 2 0 0 1 2 1 1 0 0 0 2 0 2 2 1 0 0 2 0 1 0 1 1 1 1 0 2 0 1 0 2 0 0 2 1 2 0 2 1 2 1 0 0 0 1 0 2 0 0 0 2 2 0 2 1 2 1 0 0 2 1 0 2 0 2 0 2 1 2 0 2 2 2 2 2 2 1 0 0 2 2 0 2 1 2 0 2 2 2 2 2 2 1 0 0 2 0 0 1 1 0 1 2 0 2 2 2 0 2 0 1 2 0 0 1 2 0 1 2 0 1 2 0 0 2 2 1 2 0 2 1 2 0 1 1 0 1 2 0 0 2 2 1 0 0 2 1 0 2 2 1 2 1 2 0 0 1 2 2 0 0 2 1 1 2 2 2 2 1 0 0 0 1 0 2 0 2 2 2 1 0 2 2 1 1 0 0 0 1 0 2 0 2 2 2 2 0 2 0 1 2 1 0 2 2 0 0 0 0 0 2 2 0 1 0 1 2 1 2 2 2 0 0 0 0 0 1 0 0 1 0 2 0 2 2 2 2 0 0 2 0 0 1 0 2 1 0 2 1 2 2 2 0 2 0 2 2 0 2 0 2 1 0 0 1 1 0 0 0 2 1 2 2 0 2 0 0 1 2 0 2 1 0 0 1 2 2 0 0 2 1 2 0 2 2 1 2 2 0 0 2 0 2 0 0 2 1 2 0 2 0 1 2 2 0 0 2 0 2 1 2 0 1 0 0 2 1 2 2 1 0 0 2 0 2 1 2 0 1 0 2 2 1 2 2 1 0 0 2 0 2 1 0 2 2 0 2 0 1 1 0 1 2 2 1 0 0 2 0 2 2 0 0 0 1 1 1 2 2 2 1 0 0 2 0 2 2 1 0 0 2 1 1 2 2 2 1 2 0 2 0 0 0 2 2 1 2 2 1 1 0 2 1 2 0 0 0 0 0 2 2 1 2 2 1 1 0 2 1 2 1 0 18 0 10 16 0 12 5 12 11 9 9 10 16 0 12 5 13 10 6 11 11 7 9 12 3 14 11 7 9 12 16 0 12 16 0 12 2 14 12 17 0 11 10 7 11 14 3 11 5 4 7 7 4 5 7 6 3 7 4 5 7 3 6 4 2 10 4 2 10 6 4 6 6 4 6 6 5 5 5 4 7 6 4 6 6 4 6 6 2 8 7 3 6 8 2 6 6 3 7 7 4 5 7 3 6 6 2 8 6 3 7 6 4 6 5 4 7 6 4 6 6 4 6 4 4 8 6 4 6 5 5 6 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 3 0 0 0 0 0 2 2 0 0 2 0 0 2 2 2 0 0 0 3 3 0 0 0 0 3 0 1 0 0 0 3 3 0 3 0 1 1 1 0 0 0 0 2 0 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 2 3 3 3 0 3 0 0 0 1 0 0 0 2 1 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 3 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 200 100 0 200 200 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 0 0 200 0 0 200 0 0 0 0 0 100 0 0 200 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 200 0 200 0 0 </values> 2400.00/2400.01 v </instantiation>
OK 2386
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 (11177 MiB free) memory of node 1: 16384 MiB (11895 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289285-1532190503/watcher-4289285-1532190503 -o /tmp/evaluation-result-4289285-1532190503/solver-4289285-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24935 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289285-1532190503.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=24964, runsolver pid=24959 [startup+0.100163 s]* /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23603804/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=35784 memory=10484 CPUtime=0.08 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 2903 0 3 0 8 0 0 0 20 0 1 0 36613541 36642816 2621 33554432000 4194304 7498468 140723128728288 140723128722640 4564424 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 8946 2621 746 807 0 1937 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 35784 KiB Current children cumulated memory: 10484 KiB [startup+0.210753 s]* /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23556232/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=77960 memory=52712 CPUtime=0.18 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 13476 0 3 0 17 1 0 0 20 0 1 0 36613541 79831040 13178 33554432000 4194304 7498468 140723128728288 140723128722640 5990876 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 19490 13178 768 807 0 12481 0 Current children cumulated CPU time: 0.18 s Current children cumulated vsize: 77960 KiB Current children cumulated memory: 52712 KiB [startup+0.309783 s]* /proc/loadavg: 0.08 0.03 0.05 3/189 24968 /proc/meminfo: memFree=23533144/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=98404 memory=73436 CPUtime=0.29 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 18877 0 3 0 27 2 0 0 20 0 1 0 36613541 100765696 18359 33554432000 4194304 7498468 140723128728288 140723128722640 139690730126309 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24601 18359 800 807 0 17592 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 98404 KiB Current children cumulated memory: 73436 KiB [startup+0.700385 s] /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23449196/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99388 memory=74228 CPUtime=0.67 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 19111 0 3 0 65 2 0 0 20 0 1 0 36613541 101773312 18557 33554432000 4194304 7498468 140723128728288 140723128723304 5575792 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24847 18557 807 807 0 17838 0 Current children cumulated CPU time: 0.67 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74228 KiB [startup+1.50041 s] /proc/loadavg: 0.08 0.03 0.05 4/189 24968 /proc/meminfo: memFree=23396308/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99388 memory=74492 CPUtime=1.47 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 19121 0 3 0 145 2 0 0 20 0 1 0 36613541 101773312 18623 33554432000 4194304 7498468 140723128728288 140723128723304 5838202 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24847 18623 808 807 0 17838 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74492 KiB [startup+3.1097 s] /proc/loadavg: 0.24 0.06 0.06 4/189 24968 /proc/meminfo: memFree=23387780/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99388 memory=74540 CPUtime=3.07 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 25729 0 3 0 305 2 0 0 20 0 1 0 36613541 101773312 18635 33554432000 4194304 7498468 140723128728288 140723128723304 4322944 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24847 18635 808 807 0 17838 0 Current children cumulated CPU time: 3.07 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74540 KiB [startup+6.30033 s] /proc/loadavg: 0.24 0.06 0.06 3/189 24968 /proc/meminfo: memFree=23394264/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74560 CPUtime=6.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 32693 0 3 0 624 3 0 0 20 0 1 0 36613541 101908480 18640 33554432000 4194304 7498468 140723128728288 140723128723304 4580120 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18640 808 807 0 17871 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74560 KiB [startup+12.7003 s] /proc/loadavg: 0.38 0.10 0.07 3/189 24968 /proc/meminfo: memFree=23394592/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74568 CPUtime=12.66 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 39494 0 3 0 1263 3 0 0 20 0 1 0 36613541 101908480 18642 33554432000 4194304 7498468 140723128728288 140723128723304 4249680 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18642 808 807 0 17871 0 Current children cumulated CPU time: 12.66 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74568 KiB [startup+25.5003 s] /proc/loadavg: 0.74 0.19 0.10 4/189 24968 /proc/meminfo: memFree=23395292/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74600 CPUtime=25.47 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 53063 0 3 0 2543 4 0 0 20 0 1 0 36613541 101908480 18650 33554432000 4194304 7498468 140723128728288 140723128723304 4322921 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18650 808 807 0 17871 0 Current children cumulated CPU time: 25.47 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74600 KiB [startup+51.1096 s] /proc/loadavg: 1.17 0.34 0.15 4/189 24968 /proc/meminfo: memFree=23395268/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74620 CPUtime=51.07 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 59845 0 3 0 5103 4 0 0 20 0 1 0 36613541 101908480 18655 33554432000 4194304 7498468 140723128728288 140723128723304 5585328 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18655 808 807 0 17871 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74620 KiB [startup+102.3 s] /proc/loadavg: 1.64 0.59 0.25 3/190 24977 /proc/meminfo: memFree=23393528/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74628 CPUtime=102.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 66633 0 3 0 10222 5 0 0 20 0 1 0 36613541 101908480 18657 33554432000 4194304 7498468 140723128728288 140723128723304 4404919 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18657 808 807 0 17871 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74628 KiB [startup+162.3 s] /proc/loadavg: 1.87 0.85 0.36 3/189 24978 /proc/meminfo: memFree=23393732/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74636 CPUtime=162.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 72961 0 3 0 16220 5 0 0 20 0 1 0 36613541 101908480 18659 33554432000 4194304 7498468 140723128728288 140723128723304 5613425 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18659 808 807 0 17871 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74636 KiB [startup+222.3 s] /proc/loadavg: 1.95 1.06 0.46 3/190 24980 /proc/meminfo: memFree=23394756/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74644 CPUtime=222.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 73492 0 3 0 22220 5 0 0 20 0 1 0 36613541 101908480 18661 33554432000 4194304 7498468 140723128728288 140723128723304 5783904 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18661 808 807 0 17871 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74644 KiB [startup+282.3 s] /proc/loadavg: 1.98 1.23 0.56 3/190 24981 /proc/meminfo: memFree=23394748/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74652 CPUtime=282.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 74028 0 3 0 28220 5 0 0 20 0 1 0 36613541 101908480 18663 33554432000 4194304 7498468 140723128728288 140723128723304 4405921 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18663 808 807 0 17871 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74652 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.37 0.65 4/188 24982 /proc/meminfo: memFree=23394536/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74656 CPUtime=342.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 74576 0 3 0 34220 5 0 0 20 0 1 0 36613541 101908480 18664 33554432000 4194304 7498468 140723128728288 140723128723304 4580120 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18664 808 807 0 17871 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74656 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.48 0.73 4/187 24983 /proc/meminfo: memFree=23394476/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74664 CPUtime=402.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 75120 0 3 0 40220 5 0 0 20 0 1 0 36613541 101908480 18666 33554432000 4194304 7498468 140723128728288 140723128723304 5613376 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18666 808 807 0 17871 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74664 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.81 4/187 24984 /proc/meminfo: memFree=23394640/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99520 memory=74668 CPUtime=462.25 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 75664 0 3 0 46220 5 0 0 20 0 1 0 36613541 101908480 18667 33554432000 4194304 7498468 140723128728288 140723128723304 4581128 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24880 18667 808 807 0 17871 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74668 KiB ################ # More data... # ################ /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1602.26 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.03 1.72 4/187 25019 /proc/meminfo: memFree=23392556/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1662.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 86423 0 3 0 166222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 4579932 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1662.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.03 1.74 4/187 25020 /proc/meminfo: memFree=23392532/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1722.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 86957 0 3 0 172222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5574604 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1722.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.76 4/187 25022 /proc/meminfo: memFree=23392368/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1782.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 87486 0 3 0 178222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5649131 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1782.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.02 1.77 4/187 25023 /proc/meminfo: memFree=23392880/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1842.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 88016 0 3 0 184222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5613399 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1842.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.79 4/188 25032 /proc/meminfo: memFree=23391292/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1902.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 88546 0 3 0 190222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5585734 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1902.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.80 4/189 25056 /proc/meminfo: memFree=23390020/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=1962.27 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 89076 0 3 0 196222 5 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5593672 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 1962.27 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.81 4/189 25057 /proc/meminfo: memFree=23391048/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=2022.28 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 89632 0 3 0 202222 6 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5574576 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 2022.28 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.82 4/189 25058 /proc/meminfo: memFree=23392044/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=2082.28 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 90174 0 3 0 208222 6 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5838576 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 2082.28 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.83 4/189 25059 /proc/meminfo: memFree=23391772/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=2142.28 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 90716 0 3 0 214222 6 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5585459 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 2142.28 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.84 4/188 25060 /proc/meminfo: memFree=23391640/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74696 CPUtime=2202.28 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 91259 0 3 0 220222 6 0 0 20 0 1 0 36613541 102043648 18674 33554432000 4194304 7498468 140723128728288 140723128723304 5613349 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18674 808 807 0 17904 0 Current children cumulated CPU time: 2202.28 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74696 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.86 4/188 25061 /proc/meminfo: memFree=23391484/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74700 CPUtime=2262.29 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 91800 0 3 0 226223 6 0 0 20 0 1 0 36613541 102043648 18675 33554432000 4194304 7498468 140723128728288 140723128723304 4258062 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18675 808 807 0 17904 0 Current children cumulated CPU time: 2262.29 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74700 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.87 4/187 25062 /proc/meminfo: memFree=23391716/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74700 CPUtime=2322.29 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 92340 0 3 0 232223 6 0 0 20 0 1 0 36613541 102043648 18675 33554432000 4194304 7498468 140723128728288 140723128723304 5619508 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18675 808 807 0 17904 0 Current children cumulated CPU time: 2322.29 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74700 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.87 4/187 25063 /proc/meminfo: memFree=23392036/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74700 CPUtime=2382.29 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 92884 0 3 0 238223 6 0 0 20 0 1 0 36613541 102043648 18675 33554432000 4194304 7498468 140723128728288 140723128723304 4246879 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18675 808 807 0 17904 0 Current children cumulated CPU time: 2382.29 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74700 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 1.87 4/187 25063 /proc/meminfo: memFree=23392036/32770624 swapFree=67108860/67108860 [pid=24964] ppid=24959 vsize=99652 memory=74704 CPUtime=2400 cores=0,2,4,6 /proc/24964/stat : 24964 (MistralXCSP) R 24959 24964 24904 0 -1 4202496 93404 0 3 0 239994 6 0 0 20 0 1 0 36613541 102043648 18676 33554432000 4194304 7498468 140723128728288 140723128723304 5574834 0 0 4096 16386 0 0 0 17 4 0 0 1 0 0 9598848 9604096 37986304 140723128730733 140723128730883 140723128730883 140723128733641 0 /proc/24964/statm: 24913 18676 808 807 0 17904 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 24964 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.94 s, system=0.062 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.01 CPU time (s): 2400 CPU user time (s): 2399.94 CPU system time (s): 0.062 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 99652 Max. memory (cumulated for all children) (KiB): 74704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.94 system time used= 0.062 maximum resident set size= 74724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93446 page faults= 3 swaps= 0 block input operations= 2704 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49 involuntary context switches= 742 # summary of solver processes directly reported to runsolver: # pid: 24964 # total CPU time (s): 2400 # total CPU user time (s): 2399.94 # total CPU system time (s): 0.062 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.88586 second user time and 16.7145 second system time The end
Begin job on node103 at 2018-07-21 18:28:23 IDJOB=4289285 IDBENCH=141044 IDSOLVER=2741 FILE ID=node103/4289285-1532190503 RUNJOBID= node103-1532190503-24935 PBS_JOBID= 21018940 Free space on /tmp= 56876 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_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-4289285-1532190503/watcher-4289285-1532190503 -o /tmp/evaluation-result-4289285-1532190503/solver-4289285-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24935 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1076978192 HOME/instance-4289285-1532190503.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=1076978192 node103.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.48 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.48 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.48 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.48 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: 23635712 kB MemAvailable: 31941488 kB Buffers: 211048 kB Cached: 8303060 kB SwapCached: 0 kB Active: 1304524 kB Inactive: 7262176 kB Active(anon): 55644 kB Inactive(anon): 16984 kB Active(file): 1248880 kB Inactive(file): 7245192 kB Unevictable: 7140 kB Mlocked: 7140 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9884 kB Writeback: 0 kB AnonPages: 60036 kB Mapped: 34496 kB Shmem: 17036 kB Slab: 265412 kB SReclaimable: 240164 kB SUnreclaim: 25248 kB KernelStack: 3184 kB PageTables: 4572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56856 MiB End job on node103 at 2018-07-21 19:08:24