Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 2386 | 2519.94 | 2520.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.00 c Mistral 01082018 0.31/0.36 o 12425 0.31/0.37 o 12324 0.31/0.37 o 12223 0.31/0.37 o 12122 0.31/0.37 o 12021 0.31/0.37 o 11920 0.31/0.37 o 11819 0.31/0.37 o 11818 0.31/0.38 o 11817 0.31/0.38 o 11816 0.31/0.38 o 11716 0.31/0.38 o 11616 0.31/0.38 o 11516 0.31/0.38 o 11515 0.31/0.39 o 11514 0.31/0.39 o 11417 0.31/0.39 o 11317 0.31/0.39 o 11316 0.31/0.39 o 11216 0.31/0.39 o 11215 0.31/0.40 o 11117 0.31/0.40 o 11018 0.31/0.41 o 10921 0.31/0.41 o 10920 0.31/0.41 o 10820 0.41/0.45 o 10719 0.41/0.45 o 10718 0.41/0.45 o 10618 0.41/0.45 o 10517 0.41/0.46 o 10516 0.41/0.46 o 10416 0.41/0.46 o 10415 0.41/0.46 o 10414 0.41/0.46 o 10314 0.41/0.46 o 10213 0.41/0.46 o 10113 0.41/0.46 o 10112 0.41/0.47 o 10011 0.41/0.47 o 9911 0.41/0.47 o 9910 0.41/0.47 o 9909 0.41/0.47 o 9809 0.41/0.47 o 9808 0.41/0.48 o 9708 0.41/0.48 o 9707 0.41/0.48 o 9606 0.41/0.48 o 9506 0.41/0.48 o 9406 0.41/0.48 o 9405 0.41/0.49 o 9304 0.41/0.49 o 9201 0.41/0.49 o 9101 0.41/0.49 o 9100 0.41/0.49 o 9000 0.41/0.49 o 8998 0.41/0.50 o 8898 0.41/0.50 o 8897 0.41/0.50 o 8796 0.41/0.50 o 8695 0.41/0.51 o 8594 0.41/0.51 o 8493 0.41/0.51 o 8492 0.51/0.52 o 8491 0.51/0.52 o 8490 0.51/0.52 o 8392 0.51/0.54 o 8294 0.51/0.55 o 8293 0.51/0.55 o 8292 0.51/0.55 o 8192 0.51/0.55 o 8093 0.51/0.55 o 8092 0.51/0.56 o 7991 0.51/0.57 o 7990 0.51/0.57 o 7988 0.51/0.57 o 7987 0.60/0.61 o 7985 0.60/0.62 o 7983 0.69/0.73 o 7982 0.79/0.82 o 7981 0.79/0.87 o 7980 0.79/0.88 o 7979 0.79/0.88 o 7876 0.79/0.88 o 7875 0.79/0.89 o 7772 0.79/0.89 o 7770 0.89/0.93 o 7670 0.89/0.99 o 7669 1.10/1.19 o 7668 1.10/1.20 o 7667 1.19/1.27 o 7666 1.39/1.44 o 7567 1.39/1.44 o 7566 1.49/1.54 o 7565 3.69/3.75 o 7466 3.69/3.76 o 7465 3.78/3.88 o 7464 4.68/4.79 o 7264 4.78/4.80 o 7263 4.78/4.80 o 7162 4.78/4.80 o 7062 4.78/4.81 o 7061 4.78/4.81 o 6963 4.78/4.81 o 6962 4.88/4.98 o 6958 5.09/5.15 o 6957 5.09/5.15 o 6863 5.09/5.16 o 6862 5.09/5.16 o 6858 5.18/5.23 o 6857 6.38/6.43 o 6856 7.69/7.73 o 6758 7.69/7.73 o 6755 7.69/7.73 o 6654 9.59/9.64 o 6653 9.59/9.65 o 6652 9.69/9.77 o 6552 9.69/9.77 o 6551 10.19/10.24 o 6451 10.39/10.40 o 6450 10.39/10.40 o 6449 10.39/10.41 o 6349 10.39/10.41 o 6348 15.78/15.80 o 6347 15.78/15.81 o 6346 19.68/19.72 o 6345 19.68/19.74 o 6344 23.28/23.38 o 6343 23.28/23.39 o 6243 23.38/23.41 o 6142 23.38/23.47 o 6042 23.38/23.49 o 5941 23.48/23.57 o 5846 23.48/23.57 o 5845 23.48/23.58 o 5844 24.48/24.53 o 5843 25.68/25.71 o 5840 26.48/26.53 o 5839 29.28/29.37 o 5739 30.58/30.62 o 5645 30.68/30.74 o 5644 33.18/33.20 o 5643 40.17/40.23 o 5642 40.37/40.40 o 5641 73.77/73.82 o 5640 73.77/73.83 o 5540 73.77/73.83 o 5539 73.77/73.83 o 5439 73.87/73.99 o 5338 74.17/74.21 o 5336 74.27/74.30 o 5236 74.37/74.44 o 5235 74.47/74.51 o 5135 74.77/74.85 o 5134 74.87/74.90 o 5034 75.87/75.93 o 5033 77.98/78.09 o 5031 79.37/79.40 o 5029 120.77/120.82 o 4929 120.77/120.82 o 4928 121.57/121.67 o 4828 125.57/125.66 o 4727 152.37/152.46 o 4626 152.37/152.46 o 4625 152.37/152.46 o 4624 152.37/152.46 o 4623 152.47/152.58 o 4523 152.57/152.67 o 4426 152.57/152.67 o 4425 152.57/152.67 o 4424 152.87/152.93 o 4422 153.08/153.11 o 4421 153.08/153.12 o 4420 153.17/153.23 o 4322 153.27/153.30 o 4221 169.67/169.76 o 4220 169.67/169.77 o 4219 187.37/187.42 o 4218 190.66/190.75 o 4120 190.66/190.75 o 4119 193.46/193.57 o 4019 193.46/193.58 o 3919 193.56/193.61 o 3819 195.46/195.55 o 3817 195.76/195.83 o 3816 206.86/206.94 o 3815 208.16/208.23 o 3814 208.86/208.94 o 3812 210.86/210.91 o 3720 210.97/211.03 o 3716 215.26/215.32 o 3715 215.26/215.32 o 3714 215.66/215.71 o 3713 218.97/219.06 o 3613 219.07/219.11 o 3515 319.86/319.94 o 3514 322.46/322.52 o 3513 322.46/322.53 o 3512 322.46/322.54 o 3511 322.56/322.62 o 3413 322.66/322.72 o 3412 322.66/322.73 o 3411 322.66/322.74 o 3318 322.97/323.10 o 3316 322.97/323.10 o 3315 337.56/337.63 o 3314 337.86/337.99 o 3313 337.97/338.02 o 3312 337.97/338.02 o 3311 337.97/338.05 o 3310 337.97/338.07 o 3110 340.56/340.64 o 3036 341.66/341.75 o 3033 342.86/342.97 o 3032 342.86/342.97 o 3031 342.86/342.97 o 3030 342.86/342.98 o 3029 342.86/342.98 o 3028 342.86/342.98 o 3027 343.36/343.40 o 3025 343.36/343.40 o 3024 343.56/343.63 o 3023 344.07/344.11 o 3022 347.46/347.50 o 3021 347.46/347.55 o 3020 355.46/355.59 o 3019 358.26/358.38 o 3018 373.97/374.05 o 3015 378.97/379.03 o 3014 419.26/419.31 o 3013 424.36/424.48 o 2918 424.36/424.48 o 2917 424.46/424.57 o 2916 424.56/424.61 o 2915 424.56/424.62 o 2914 457.86/457.90 o 2913 467.66/467.78 o 2912 472.36/472.41 o 2911 617.86/617.98 o 2910 637.56/637.64 o 2909 639.55/639.64 o 2908 645.96/646.10 o 2907 645.96/646.10 o 2906 646.06/646.11 o 2905 669.85/669.99 o 2903 670.25/670.32 o 2808 670.25/670.32 o 2807 670.25/670.33 o 2806 670.25/670.37 o 2803 671.25/671.35 o 2802 671.25/671.36 o 2800 672.65/672.74 o 2798 777.45/777.55 o 2707 777.45/777.55 o 2706 777.45/777.55 o 2705 777.55/777.61 o 2704 777.55/777.66 o 2702 786.85/786.96 o 2700 786.85/786.97 o 2699 786.85/786.97 o 2698 1242.34/1242.48 o 2695 1242.34/1242.49 o 2692 1242.84/1242.92 o 2691 1242.84/1242.98 o 2594 1242.84/1242.99 o 2593 1245.64/1245.79 o 2591 1277.14/1277.22 o 2497 1277.14/1277.22 o 2496 1288.95/1289.02 o 2494 1288.95/1289.03 o 2490 1288.95/1289.03 o 2488 1512.84/1512.95 o 2486 1977.44/1977.51 o 2485 1977.44/1977.52 o 2484 1982.24/1982.31 o 2392 1982.24/1982.32 o 2389 1982.24/1982.32 o 2387 1982.24/1982.33 o 2386 2519.93/2520.01 s SATISFIABLE 2519.93/2520.01 v <instantiation type="solution"> 2519.93/2520.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> 2519.93/2520.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> 2519.93/2520.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 (1420 MiB free) memory of node 1: 16384 MiB (2035 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303710-1533993523/watcher-4303710-1533993523 -o /tmp/evaluation-result-4303710-1533993523/solver-4303710-1533993523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7337 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 281584225 HOME/instance-4303710-1533993523.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=7588, runsolver pid=7581 [startup+0.100205 s]* /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3498852/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=64868 memory=39520 CPUtime=0.1 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 10160 0 0 0 9 1 0 0 20 0 1 0 216915428 66424832 9880 33554432000 4194304 7499544 140733931707744 140733931704744 139665514555296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 16217 9880 750 807 0 9208 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 64868 KiB Current children cumulated memory: 39520 KiB [startup+0.209599 s]* /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3443484/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=85948 memory=60756 CPUtime=0.2 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 15712 0 0 0 19 1 0 0 20 0 1 0 216915428 88010752 15189 33554432000 4194304 7499544 140733931707744 140733931704744 4563992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 21487 15189 766 807 0 14478 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 85948 KiB Current children cumulated memory: 60756 KiB [startup+0.3095 s]* /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3427860/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99064 memory=73956 CPUtime=0.31 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 19020 0 0 0 29 2 0 0 20 0 1 0 216915428 101441536 18489 33554432000 4194304 7499544 140733931707744 140733931704744 5163908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24766 18489 807 807 0 17757 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 99064 KiB Current children cumulated memory: 73956 KiB [startup+0.700407 s] /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3417508/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99388 memory=74484 CPUtime=0.69 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 19117 0 0 0 67 2 0 0 20 0 1 0 216915428 101773312 18621 33554432000 4194304 7499544 140733931707744 140733931704744 4405418 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24847 18621 810 807 0 17838 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74484 KiB [startup+1.50043 s] /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3400952/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99388 memory=74484 CPUtime=1.49 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 19127 0 0 0 147 2 0 0 20 0 1 0 216915428 101773312 18621 33554432000 4194304 7499544 140733931707744 140733931702760 4379010 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24847 18621 810 807 0 17838 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74484 KiB [startup+3.10927 s] /proc/loadavg: 2.08 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3353664/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99388 memory=74548 CPUtime=3.1 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 25735 0 0 0 308 2 0 0 20 0 1 0 216915428 101773312 18637 33554432000 4194304 7499544 140733931707744 140733931702760 5790562 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24847 18637 810 807 0 17838 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 99388 KiB Current children cumulated memory: 74548 KiB [startup+6.30034 s] /proc/loadavg: 2.07 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3312076/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74568 CPUtime=6.28 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 31022 0 0 0 626 2 0 0 20 0 1 0 216915428 101908480 18642 33554432000 4194304 7499544 140733931707744 140733931702760 4579738 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18642 810 807 0 17871 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74568 KiB [startup+12.7004 s] /proc/loadavg: 2.06 2.00 1.96 4/187 7589 /proc/meminfo: memFree=3267192/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74576 CPUtime=12.69 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 36188 0 0 0 1266 3 0 0 20 0 1 0 216915428 101908480 18644 33554432000 4194304 7499544 140733931707744 140733931702760 4252713 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18644 810 807 0 17871 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74576 KiB [startup+25.5003 s] /proc/loadavg: 2.05 2.00 1.96 4/187 7589 /proc/meminfo: memFree=2388236/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74608 CPUtime=25.48 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 46075 0 0 0 2545 3 0 0 20 0 1 0 216915428 101908480 18652 33554432000 4194304 7499544 140733931707744 140733931702760 4249975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18652 810 807 0 17871 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74608 KiB [startup+51.1095 s] /proc/loadavg: 2.10 2.02 1.97 4/187 7589 /proc/meminfo: memFree=1856040/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74624 CPUtime=51.08 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 46694 0 0 0 5105 3 0 0 20 0 1 0 216915428 101908480 18656 33554432000 4194304 7499544 140733931707744 140733931702760 4246874 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18656 810 807 0 17871 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74624 KiB [startup+102.3 s] /proc/loadavg: 2.04 2.01 1.97 4/188 7598 /proc/meminfo: memFree=1855664/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74632 CPUtime=102.27 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 47307 0 0 0 10224 3 0 0 20 0 1 0 216915428 101908480 18658 33554432000 4194304 7499544 140733931707744 140733931702760 4319896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18658 810 807 0 17871 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74632 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.01 1.97 4/188 7599 /proc/meminfo: memFree=1856556/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74644 CPUtime=162.27 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 47919 0 0 0 16224 3 0 0 20 0 1 0 216915428 101908480 18661 33554432000 4194304 7499544 140733931707744 140733931702760 4249709 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18661 810 807 0 17871 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74644 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.01 1.97 4/188 7600 /proc/meminfo: memFree=1856748/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74656 CPUtime=222.26 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 48533 0 0 0 22223 3 0 0 20 0 1 0 216915428 101908480 18664 33554432000 4194304 7499544 140733931707744 140733931702760 5574843 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18664 810 807 0 17871 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74656 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7601 /proc/meminfo: memFree=1856664/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74664 CPUtime=282.26 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 49050 0 0 0 28223 3 0 0 20 0 1 0 216915428 101908480 18666 33554432000 4194304 7499544 140733931707744 140733931702760 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18666 810 807 0 17871 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74664 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7602 /proc/meminfo: memFree=1856928/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74664 CPUtime=342.26 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 49665 0 0 0 34223 3 0 0 20 0 1 0 216915428 101908480 18666 33554432000 4194304 7499544 140733931707744 140733931702760 4378996 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18666 810 807 0 17871 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74664 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7604 /proc/meminfo: memFree=1857052/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74676 CPUtime=402.26 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 50229 0 0 0 40223 3 0 0 20 0 1 0 216915428 101908480 18669 33554432000 4194304 7499544 140733931707744 140733931702760 4246821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18669 810 807 0 17871 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74676 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7605 /proc/meminfo: memFree=1856568/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99520 memory=74676 CPUtime=462.26 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 50844 0 0 0 46223 3 0 0 20 0 1 0 216915428 101908480 18669 33554432000 4194304 7499544 140733931707744 140733931702760 4245316 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24880 18669 810 807 0 17871 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 74676 KiB ################ # More data... # ################ /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7643 /proc/meminfo: memFree=1856952/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=1782.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 62969 0 0 0 178220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 4257927 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+1842.3 s] /proc/loadavg: 2.05 2.03 1.97 4/187 7644 /proc/meminfo: memFree=1856812/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=1842.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 63505 0 0 0 184220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 5837773 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.02 1.97 4/188 7653 /proc/meminfo: memFree=1856248/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=1902.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 64040 0 0 0 190220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 4557360 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.02 1.97 4/188 7654 /proc/meminfo: memFree=1856372/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=1962.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 64575 0 0 0 196220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 4405046 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7655 /proc/meminfo: memFree=1856720/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=2022.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 65203 0 0 0 202220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 5790362 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7656 /proc/meminfo: memFree=1856708/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=2082.24 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 65760 0 0 0 208220 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 4579781 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7657 /proc/meminfo: memFree=1856804/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74704 CPUtime=2142.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 66316 0 0 0 214219 4 0 0 20 0 1 0 216915428 102043648 18676 33554432000 4194304 7499544 140733931707744 140733931702760 5163958 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18676 810 807 0 17904 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74704 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7659 /proc/meminfo: memFree=1857400/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74708 CPUtime=2202.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 66870 0 0 0 220219 4 0 0 20 0 1 0 216915428 102043648 18677 33554432000 4194304 7499544 140733931707744 140733931702760 5837773 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18677 810 807 0 17904 0 Current children cumulated CPU time: 2202.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74708 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7660 /proc/meminfo: memFree=1856880/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74708 CPUtime=2262.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 67435 0 0 0 226219 4 0 0 20 0 1 0 216915428 102043648 18677 33554432000 4194304 7499544 140733931707744 140733931702760 4249698 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18677 810 807 0 17904 0 Current children cumulated CPU time: 2262.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74708 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7661 /proc/meminfo: memFree=1856616/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74708 CPUtime=2322.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 67985 0 0 0 232219 4 0 0 20 0 1 0 216915428 102043648 18677 33554432000 4194304 7499544 140733931707744 140733931702760 5790920 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18677 810 807 0 17904 0 Current children cumulated CPU time: 2322.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74708 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7663 /proc/meminfo: memFree=1856732/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74712 CPUtime=2382.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 68549 0 0 0 238219 4 0 0 20 0 1 0 216915428 102043648 18678 33554432000 4194304 7499544 140733931707744 140733931702760 4541806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18678 810 807 0 17904 0 Current children cumulated CPU time: 2382.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74712 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 1.97 4/187 7664 /proc/meminfo: memFree=1856356/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74712 CPUtime=2442.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 69111 0 0 0 244219 4 0 0 20 0 1 0 216915428 102043648 18678 33554432000 4194304 7499544 140733931707744 140733931702760 5613136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18678 810 807 0 17904 0 Current children cumulated CPU time: 2442.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74712 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 1.97 4/188 7673 /proc/meminfo: memFree=1855840/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74712 CPUtime=2502.23 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 69661 0 0 0 250219 4 0 0 20 0 1 0 216915428 102043648 18678 33554432000 4194304 7499544 140733931707744 140733931702760 4249712 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18678 810 807 0 17904 0 Current children cumulated CPU time: 2502.23 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74712 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 1.97 4/188 7673 /proc/meminfo: memFree=1855964/32770624 swapFree=67108860/67108860 [pid=7588] ppid=7581 vsize=99652 memory=74712 CPUtime=2519.93 cores=0,2,4,6 /proc/7588/stat : 7588 (MistralXCSP) R 7581 7588 7304 0 -1 4202496 70204 0 0 0 251989 4 0 0 20 0 1 0 216915428 102043648 18678 33554432000 4194304 7499544 140733931707744 140733931702760 4580235 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39768064 140733931709550 140733931709699 140733931709699 140733931712457 0 /proc/7588/statm: 24913 18678 810 807 0 17904 0 Current children cumulated CPU time: 2519.93 s Current children cumulated vsize: 99652 KiB Current children cumulated memory: 74712 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 7588 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.9 s, system=0.042999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.94 CPU user time (s): 2519.9 CPU system time (s): 0.042999 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 99652 Max. memory (cumulated for all children) (KiB): 74712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.9 system time used= 0.042999 maximum resident set size= 74732 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70240 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= 32 involuntary context switches= 686 # summary of solver processes directly reported to runsolver: # pid: 7588 # total CPU time (s): 2519.94 # total CPU user time (s): 2519.9 # total CPU system time (s): 0.042999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0109 second user time and 16.5528 second system time The end
Begin job on node139 at 2018-08-11 15:18:43 IDJOB=4303710 IDBENCH=141044 IDSOLVER=2779 FILE ID=node139/4303710-1533993523 RUNJOBID= node139-1533991001-7337 PBS_JOBID= 21036943 Free space on /tmp= 28220 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4303710-1533993523/watcher-4303710-1533993523 -o /tmp/evaluation-result-4303710-1533993523/solver-4303710-1533993523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7337 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 281584225 HOME/instance-4303710-1533993523.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=281584225 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 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.80 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.80 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.80 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: 3539968 kB MemAvailable: 31905512 kB Buffers: 198824 kB Cached: 27945448 kB SwapCached: 0 kB Active: 8067304 kB Inactive: 20128432 kB Active(anon): 3956 kB Inactive(anon): 100556 kB Active(file): 8063348 kB Inactive(file): 20027876 kB Unevictable: 7292 kB Mlocked: 7292 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 13328 kB Writeback: 0 kB AnonPages: 59392 kB Mapped: 60508 kB Shmem: 49804 kB Slab: 730544 kB SReclaimable: 702780 kB SUnreclaim: 27764 kB KernelStack: 3360 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351300 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 28208 MiB End job on node139 at 2018-08-11 16:00:43