Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 684 | 2519.6399 | 2520 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
| MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 684 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 992 |
| Number of constraints | 960 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c 280717 0.09/0.28 o 3518 0.09/0.28 o 3412 0.09/0.29 o 3312 0.09/0.29 o 3247 0.09/0.29 o 3213 0.09/0.29 o 3126 0.09/0.29 o 3119 0.19/0.31 o 3113 0.19/0.31 o 3040 0.19/0.31 o 3013 0.59/0.72 o 2921 0.59/0.72 o 2915 0.59/0.73 o 2912 0.59/0.73 o 2819 0.59/0.75 o 2812 0.59/0.75 o 2811 0.59/0.75 o 2807 0.59/0.75 o 2790 0.59/0.76 o 2787 0.59/0.78 o 2785 0.59/0.78 o 2753 0.59/0.78 o 2715 0.59/0.78 o 2685 0.59/0.79 o 2612 0.59/0.79 o 2611 0.59/0.79 o 2588 0.59/0.79 o 2554 0.59/0.79 o 2552 0.69/0.80 o 2551 0.69/0.80 o 2550 0.69/0.80 o 2486 0.69/0.81 o 2485 0.69/0.81 o 2455 0.69/0.81 o 2418 0.69/0.81 o 2416 0.69/0.81 o 2414 0.69/0.81 o 2413 0.69/0.82 o 2412 0.69/0.82 o 2408 0.69/0.82 o 2380 0.69/0.83 o 2371 0.69/0.83 o 2370 0.69/0.85 o 2369 0.69/0.85 o 2368 0.89/1.01 o 2263 0.89/1.01 o 2261 1.00/1.11 o 2168 1.00/1.12 o 2167 1.19/1.38 o 2107 1.19/1.38 o 2106 1.19/1.38 o 2104 1.19/1.38 o 2099 1.19/1.38 o 2097 1.29/1.40 o 2011 1.29/1.43 o 1993 1.29/1.43 o 1992 1.29/1.43 o 1991 1.49/1.62 o 1897 1.49/1.62 o 1895 1.49/1.62 o 1894 1.49/1.64 o 1821 1.49/1.64 o 1817 1.49/1.64 o 1816 1.59/1.76 o 1711 1.59/1.76 o 1644 1.59/1.76 o 1636 1.59/1.79 o 1632 1.59/1.79 o 1630 1.69/1.88 o 1628 1.79/1.94 o 1626 1.79/1.94 o 1605 1.79/1.94 o 1580 1.79/1.94 o 1579 1.79/1.94 o 1576 1.79/1.95 o 1567 1.79/1.95 o 1542 1.79/1.95 o 1518 1.79/1.96 o 1488 1.79/1.99 o 1487 1.89/2.02 o 1484 1.89/2.03 o 1454 1.89/2.03 o 1453 1.89/2.03 o 1451 1.89/2.03 o 1450 1.89/2.04 o 1449 1.89/2.04 o 1445 1.89/2.05 o 1444 1.89/2.06 o 1442 2.59/2.70 o 1374 2.59/2.75 o 1373 2.59/2.75 o 1370 2.59/2.78 o 1369 2.59/2.78 o 1368 2.59/2.78 o 1362 2.59/2.78 o 1341 2.59/2.79 o 1340 2.59/2.79 o 1335 2.69/2.83 o 1331 2.69/2.84 o 1310 2.69/2.85 o 1309 2.69/2.85 o 1305 2.69/2.85 o 1289 2.79/2.92 o 1220 2.79/2.93 o 1190 2.89/3.07 o 1139 2.89/3.09 o 1116 2.99/3.10 o 1087 2.99/3.11 o 1080 2.99/3.12 o 1076 2.99/3.12 o 1073 3.09/3.26 o 1054 3.09/3.30 o 1049 3.20/3.31 o 1048 3.30/3.44 o 1044 3.30/3.46 o 1019 3.30/3.48 o 1011 3.79/3.95 o 1001 3.89/4.08 o 998 3.89/4.08 o 997 3.99/4.10 o 996 4.09/4.22 o 993 4.09/4.27 o 982 4.09/4.27 o 977 4.19/4.31 o 974 4.19/4.32 o 973 4.19/4.40 o 969 4.30/4.47 o 964 4.40/4.56 o 876 4.40/4.56 o 872 4.40/4.56 o 868 4.40/4.56 o 867 4.49/4.60 o 816 4.49/4.60 o 815 4.49/4.67 o 806 4.79/4.98 o 799 4.89/5.08 o 796 4.99/5.20 o 790 5.40/5.56 o 786 5.79/5.94 o 783 5.79/5.94 o 782 5.89/6.02 o 781 5.99/6.12 o 779 5.99/6.12 o 775 6.39/6.50 o 770 6.39/6.50 o 768 6.89/7.09 o 744 7.09/7.22 o 743 7.09/7.25 o 741 7.09/7.27 o 739 9.09/9.27 o 728 9.69/9.80 o 725 10.79/10.91 o 724 16.69/16.85 o 723 16.79/16.98 o 721 16.89/17.07 o 714 17.09/17.28 o 708 19.29/19.41 o 705 21.09/21.22 o 704 26.19/26.34 o 702 34.39/34.52 o 701 40.98/41.15 o 700 40.98/41.18 o 699 49.58/49.72 o 697 63.38/63.55 o 696 68.38/68.53 o 695 81.08/81.20 o 694 83.59/83.77 o 690 83.98/84.14 o 689 93.88/94.02 o 688 154.57/154.77 o 687 210.67/210.89 o 686 210.67/210.89 o 684 2519.63/2520.00 s SATISFIABLE 2519.63/2520.00 v <instantiation type="solution"> 2519.63/2520.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] </list> 2519.63/2520.00 v <values> 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 61 65 74 92 56 83 41 10 99 73 28 46 16 62 52 94 31 78 36 100 2 59 30 25 10 100 88 10 72 19 </values> 2519.63/2520.00 v </instantiation>
OK 684
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261224-1502359573/watcher-4261224-1502359573 -o /tmp/evaluation-result-4261224-1502359573/solver-4261224-1502359573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 46537124 HOME/instance-4261224-1502359573.xml pid=28857 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28860 /proc/meminfo: memFree=31208912/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/28860/stat : 28860 (runsolver) D 28857 28860 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 135610270 24240128 106 18446744073709551615 4194304 4338465 140724418635424 140724418633064 139696764031703 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 31649792 140724418642060 140724418642505 140724418642505 140724418645962 0 /proc/28860/statm: 5918 106 53 36 0 2156 0 [startup+0.100166 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28860 /proc/meminfo: memFree=31208912/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=28304 CPUtime=0 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4194304 447 0 0 0 0 0 0 0 20 0 1 0 135610270 28983296 289 18446744073709551615 4194304 7396336 140727371277472 140727371274472 140472781756680 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 7076 289 251 782 0 60 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28304 [startup+0.200329 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28860 /proc/meminfo: memFree=31208912/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=34860 CPUtime=0.09 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 2684 0 0 0 9 0 0 0 20 0 1 0 135610270 35696640 2420 18446744073709551615 4194304 7396336 140727371277472 140727371274472 6207001 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8715 2420 718 782 0 1731 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34860 [startup+0.300349 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28860 /proc/meminfo: memFree=31208912/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=35840 CPUtime=0.19 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 2988 0 0 0 19 0 0 0 20 0 1 0 135610270 36700160 2684 18446744073709551615 4194304 7396336 140727371277472 140727371274472 5772942 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8960 2684 763 782 0 1976 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 35840 [startup+0.700283 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28860 /proc/meminfo: memFree=31208912/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=35840 CPUtime=0.59 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 2988 0 0 0 59 0 0 0 20 0 1 0 135610270 36700160 2684 18446744073709551615 4194304 7396336 140727371277472 140727371274472 5774824 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8960 2684 763 782 0 1976 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 35840 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.03 3/185 28861 /proc/meminfo: memFree=31200944/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=35840 CPUtime=1.39 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 2988 0 0 0 139 0 0 0 20 0 1 0 135610270 36700160 2684 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5572036 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8960 2684 763 782 0 1976 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 35840 [startup+3.10028 s] /proc/loadavg: 2.00 2.01 2.03 3/185 28861 /proc/meminfo: memFree=31200572/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=35840 CPUtime=2.99 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 4402 0 0 0 299 0 0 0 20 0 1 0 135610270 36700160 2747 18446744073709551615 4194304 7396336 140727371277472 140727371272488 140472759122508 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8960 2747 779 782 0 1976 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 35840 [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28861 /proc/meminfo: memFree=31201896/32770624 swapFree=0/425572 [pid=28860] ppid=28857 vsize=35976 CPUtime=6.19 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 5811 0 0 0 619 0 0 0 20 0 1 0 135610270 36839424 2749 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771286 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2749 781 782 0 2010 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 35976 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28861 /proc/meminfo: memFree=31201332/32770624 swapFree=0/425572 [pid=28860] ppid=28857 vsize=35976 CPUtime=12.59 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 7228 0 0 0 1259 0 0 0 20 0 1 0 135610270 36839424 2752 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4547368 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2752 781 782 0 2010 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 35976 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28861 /proc/meminfo: memFree=31201528/32770624 swapFree=0/425560 [pid=28860] ppid=28857 vsize=35976 CPUtime=25.39 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 8107 0 0 0 2539 0 0 0 20 0 1 0 135610270 36839424 2755 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4542489 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2755 781 782 0 2010 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 35976 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28862 /proc/meminfo: memFree=31201536/32770624 swapFree=0/425552 [pid=28860] ppid=28857 vsize=35976 CPUtime=50.98 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 8580 0 0 0 5098 0 0 0 20 0 1 0 135610270 36839424 2756 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771305 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2756 781 782 0 2010 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 35976 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.03 3/185 28865 /proc/meminfo: memFree=31200764/32770624 swapFree=0/425580 [pid=28860] ppid=28857 vsize=35976 CPUtime=102.18 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 9027 0 0 0 10218 0 0 0 20 0 1 0 135610270 36839424 2757 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771305 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2757 781 782 0 2010 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 35976 [startup+162.3 s] /proc/loadavg: 2.04 2.03 2.03 3/184 28867 /proc/meminfo: memFree=31200884/32770624 swapFree=0/425576 [pid=28860] ppid=28857 vsize=35976 CPUtime=162.17 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 9476 0 0 0 16217 0 0 0 20 0 1 0 135610270 36839424 2757 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5586811 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2757 781 782 0 2010 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 35976 [startup+222.306 s] /proc/loadavg: 2.01 2.02 2.03 3/184 28870 /proc/meminfo: memFree=31199872/32770624 swapFree=0/425600 [pid=28860] ppid=28857 vsize=35976 CPUtime=222.17 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 9928 0 0 0 22217 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4543790 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 35976 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.03 3/184 28872 /proc/meminfo: memFree=31200080/32770624 swapFree=0/425616 [pid=28860] ppid=28857 vsize=35976 CPUtime=282.16 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 10360 0 0 0 28216 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5774448 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 35976 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.03 3/184 28874 /proc/meminfo: memFree=31200704/32770624 swapFree=0/425612 [pid=28860] ppid=28857 vsize=35976 CPUtime=342.16 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 10792 0 0 0 34216 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5774328 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 35976 [startup+402.3 s] /proc/loadavg: 1.96 2.00 2.03 3/185 28938 /proc/meminfo: memFree=31193028/32770624 swapFree=0/425628 [pid=28860] ppid=28857 vsize=35976 CPUtime=402.15 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 11226 0 0 0 40215 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771391 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 35976 [startup+462.3 s] /proc/loadavg: 2.06 2.01 2.03 3/185 28940 /proc/meminfo: memFree=31193412/32770624 swapFree=0/425636 [pid=28860] ppid=28857 vsize=35976 CPUtime=462.15 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 11659 0 0 0 46215 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5575220 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35976 [startup+522.3 s] /proc/loadavg: 1.99 2.00 2.03 3/190 28958 /proc/meminfo: memFree=31188392/32770624 swapFree=0/425648 [pid=28860] ppid=28857 vsize=35976 CPUtime=522.14 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 12094 0 0 0 52214 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5586167 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 35976 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.03 3/190 28984 /proc/meminfo: memFree=31186848/32770624 swapFree=0/425680 [pid=28860] ppid=28857 vsize=35976 CPUtime=582.13 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 12520 0 0 0 58213 0 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5774042 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 35976 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 1.93 1.99 2.03 3/185 29057 /proc/meminfo: memFree=31191680/32770624 swapFree=0/425856 [pid=28860] ppid=28857 vsize=35976 CPUtime=1602.03 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 19866 0 0 0 160202 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5839303 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 35976 [startup+1662.3 s] /proc/loadavg: 1.94 1.97 2.02 3/186 29060 /proc/meminfo: memFree=31191788/32770624 swapFree=0/425876 [pid=28860] ppid=28857 vsize=35976 CPUtime=1662.03 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 20293 0 0 0 166202 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5774384 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 35976 [startup+1722.3 s] /proc/loadavg: 2.05 2.00 2.03 3/188 29076 /proc/meminfo: memFree=31187500/32770624 swapFree=0/425908 [pid=28860] ppid=28857 vsize=35976 CPUtime=1722.02 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 20732 0 0 0 172201 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771361 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 35976 [startup+1782.3 s] /proc/loadavg: 2.02 2.00 2.03 3/188 29078 /proc/meminfo: memFree=31187740/32770624 swapFree=0/425920 [pid=28860] ppid=28857 vsize=35976 CPUtime=1782.01 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 21166 0 0 0 178200 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4582143 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 35976 [startup+1842.3 s] /proc/loadavg: 2.07 2.01 2.03 3/185 29080 /proc/meminfo: memFree=31190892/32770624 swapFree=0/425936 [pid=28860] ppid=28857 vsize=35976 CPUtime=1842.01 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 21601 0 0 0 184200 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5772937 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1842.01 Current children cumulated vsize (KiB) 35976 [startup+1902.3 s] /proc/loadavg: 2.03 2.01 2.03 3/185 29082 /proc/meminfo: memFree=31191356/32770624 swapFree=0/425944 [pid=28860] ppid=28857 vsize=35976 CPUtime=1902 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 22036 0 0 0 190199 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4257822 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1902 Current children cumulated vsize (KiB) 35976 [startup+1962.3 s] /proc/loadavg: 1.97 2.00 2.03 3/185 29085 /proc/meminfo: memFree=31191852/32770624 swapFree=0/425948 [pid=28860] ppid=28857 vsize=35976 CPUtime=1961.99 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 22461 0 0 0 196198 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771286 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 1961.99 Current children cumulated vsize (KiB) 35976 [startup+2022.3 s] /proc/loadavg: 1.99 2.00 2.03 3/185 29088 /proc/meminfo: memFree=31191232/32770624 swapFree=0/425964 [pid=28860] ppid=28857 vsize=35976 CPUtime=2021.99 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 22889 0 0 0 202198 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4542516 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2021.99 Current children cumulated vsize (KiB) 35976 [startup+2082.3 s] /proc/loadavg: 2.00 2.00 2.03 3/185 29090 /proc/meminfo: memFree=31191484/32770624 swapFree=0/425976 [pid=28860] ppid=28857 vsize=35976 CPUtime=2081.99 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 23330 0 0 0 208198 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5165838 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2081.99 Current children cumulated vsize (KiB) 35976 [startup+2142.3 s] /proc/loadavg: 2.00 2.00 2.03 3/185 29092 /proc/meminfo: memFree=31191696/32770624 swapFree=0/425988 [pid=28860] ppid=28857 vsize=35976 CPUtime=2141.97 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 23765 0 0 0 214196 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5586600 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2141.97 Current children cumulated vsize (KiB) 35976 [startup+2202.31 s] /proc/loadavg: 2.00 2.00 2.03 3/185 29095 /proc/meminfo: memFree=31191552/32770624 swapFree=0/425996 [pid=28860] ppid=28857 vsize=35976 CPUtime=2201.97 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 24200 0 0 0 220196 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5771272 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2201.97 Current children cumulated vsize (KiB) 35976 [startup+2262.3 s] /proc/loadavg: 2.00 2.00 2.03 3/184 29097 /proc/meminfo: memFree=31191780/32770624 swapFree=0/425996 [pid=28860] ppid=28857 vsize=35976 CPUtime=2261.96 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 24635 0 0 0 226195 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4581746 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2261.96 Current children cumulated vsize (KiB) 35976 [startup+2322.3 s] /proc/loadavg: 2.06 2.01 2.03 3/187 29113 /proc/meminfo: memFree=31188736/32770624 swapFree=0/426028 [pid=28860] ppid=28857 vsize=35976 CPUtime=2321.96 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 25064 0 0 0 232195 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5772942 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2321.96 Current children cumulated vsize (KiB) 35976 [startup+2382.3 s] /proc/loadavg: 2.02 2.01 2.03 3/187 29115 /proc/meminfo: memFree=31188000/32770624 swapFree=0/426016 [pid=28860] ppid=28857 vsize=35976 CPUtime=2381.95 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 25501 0 0 0 238194 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5772880 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2381.95 Current children cumulated vsize (KiB) 35976 [startup+2442.3 s] /proc/loadavg: 2.01 2.01 2.03 3/185 29118 /proc/meminfo: memFree=31191380/32770624 swapFree=0/426032 [pid=28860] ppid=28857 vsize=35976 CPUtime=2441.94 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 25931 0 0 0 244193 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4249696 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2441.94 Current children cumulated vsize (KiB) 35976 [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.03 3/185 29120 /proc/meminfo: memFree=31191628/32770624 swapFree=0/426044 [pid=28860] ppid=28857 vsize=35976 CPUtime=2501.93 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 26370 0 0 0 250192 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 5772942 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2501.93 Current children cumulated vsize (KiB) 35976 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.00 2.01 2.03 3/185 29121 /proc/meminfo: memFree=31191752/32770624 swapFree=0/426036 [pid=28860] ppid=28857 vsize=35976 CPUtime=2519.63 cores=0,2,4,6 /proc/28860/stat : 28860 (MistralXCSP) R 28857 28860 4525 0 -1 4202496 26799 0 0 0 251962 1 0 0 20 0 1 0 135610270 36839424 2758 18446744073709551615 4194304 7396336 140727371277472 140727371272488 4543958 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 11546624 140727371284916 140727371285064 140727371285064 140727371288521 0 /proc/28860/statm: 8994 2758 781 782 0 2010 0 Current children cumulated CPU time (s) 2519.63 Current children cumulated vsize (KiB) 35976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 28860 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.64 CPU user time (s): 2519.62 CPU system time (s): 0.020997 CPU usage (%): 99.9858 Max. virtual memory (cumulated for all children) (KiB): 35976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.62 system time used= 0.020997 maximum resident set size= 11052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26850 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= 10 involuntary context switches= 3444 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.08879 second user time and 8.83938 second system time The end
Begin job on node132 at 2017-08-10 11:51:50 IDJOB=4261224 IDBENCH=124448 IDSOLVER=2649 FILE ID=node132/4261224-1502359573 RUNJOBID= node132-1502333491-25567 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.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-4261224-1502359573/watcher-4261224-1502359573 -o /tmp/evaluation-result-4261224-1502359573/solver-4261224-1502359573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 46537124 HOME/instance-4261224-1502359573.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=46537124 node132.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.74 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.74 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.74 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.74 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: 31208828 kB MemAvailable: 31974832 kB Buffers: 280328 kB Cached: 789052 kB SwapCached: 0 kB Active: 662844 kB Inactive: 466468 kB Active(anon): 60696 kB Inactive(anon): 40820 kB Active(file): 602148 kB Inactive(file): 425648 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5792 kB Writeback: 4 kB AnonPages: 53624 kB Mapped: 58128 kB Shmem: 41660 kB Slab: 134700 kB SReclaimable: 108088 kB SUnreclaim: 26612 kB KernelStack: 3312 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 335128 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62020 MiB End job on node132 at 2017-08-10 12:33:50