Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-08-01 | SAT (TO) | 1109 | 2520.04 | 2519.9 |
| Name | NurseRostering/ NurseRostering-03_c18.xml |
| MD5SUM | eb17d19b145b92a5bb64f51f86380189 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1249 |
| Best CPU time to get the best result obtained on this benchmark | 2400.37 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 576 |
| Number of constraints | 1322 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":1,"count":28},{"size":2,"count":104},{"size":3,"count":3},{"size":4,"count":280},{"size":6,"count":10},{"size":15,"count":53},{"size":21,"count":98}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":256},{"degree":3,"count":40},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":16},{"degree":15,"count":6},{"degree":16,"count":19},{"degree":17,"count":22},{"degree":18,"count":38},{"degree":19,"count":31},{"degree":20,"count":35},{"degree":21,"count":37},{"degree":22,"count":36},{"degree":23,"count":9},{"degree":24,"count":7},{"degree":25,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":575},{"arity":3,"count":360},{"arity":4,"count":75},{"arity":6,"count":135},{"arity":7,"count":40},{"arity":15,"count":80},{"arity":20,"count":1},{"arity":21,"count":56}] |
| Number of extensional constraints | 316 |
| Number of intensional constraints | 174 |
| Distribution of constraint types | [{"type":"extension","count":316},{"type":"intension","count":174},{"type":"regular","count":480},{"type":"sum","count":40},{"type":"count","count":311},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.10/0.19 o 8844 0.10/0.19 o 8743 0.10/0.20 o 8642 0.10/0.20 o 8641 0.10/0.20 o 8640 0.10/0.20 o 8539 0.10/0.20 o 8439 0.10/0.20 o 8339 0.10/0.20 o 8338 0.10/0.20 o 8238 0.10/0.20 o 8237 0.10/0.20 o 8137 0.10/0.20 o 8136 0.10/0.21 o 8135 0.10/0.21 o 8033 0.10/0.21 o 8032 0.21/0.22 o 8031 0.21/0.30 o 8028 0.21/0.30 o 7928 0.21/0.30 o 7828 0.21/0.30 o 7826 0.21/0.31 o 7726 0.21/0.31 o 7724 0.21/0.31 o 7624 0.31/0.32 o 7525 0.31/0.35 o 7522 0.31/0.36 o 7520 0.41/0.50 o 7519 0.41/0.50 o 7518 0.41/0.51 o 7517 0.41/0.51 o 7516 0.51/0.57 o 7416 0.51/0.59 o 7316 0.51/0.59 o 7216 0.60/0.65 o 7116 0.60/0.66 o 7115 0.60/0.66 o 7015 0.60/0.66 o 7013 0.60/0.66 o 6914 0.60/0.66 o 6912 0.60/0.67 o 6707 0.60/0.67 o 6607 0.69/0.75 o 6507 0.79/0.84 o 6504 0.79/0.85 o 6503 0.79/0.85 o 6502 0.89/0.95 o 6501 0.89/0.97 o 6500 0.89/0.97 o 6499 1.19/1.21 o 6498 1.39/1.42 o 6398 1.39/1.42 o 6397 1.39/1.44 o 6297 1.39/1.46 o 6296 1.49/1.52 o 6295 1.69/1.73 o 6191 1.69/1.73 o 6094 1.69/1.73 o 6092 1.69/1.73 o 5992 1.69/1.73 o 5892 1.69/1.74 o 5791 1.69/1.74 o 5788 1.69/1.74 o 5687 1.69/1.74 o 5686 1.69/1.75 o 5589 1.69/1.75 o 5588 1.69/1.77 o 5482 1.69/1.79 o 5384 1.89/1.90 o 5382 1.89/1.91 o 5284 1.89/2.00 o 5183 2.79/2.88 o 5181 2.79/2.89 o 5180 2.89/2.90 o 5179 3.10/3.18 o 5178 3.49/3.60 o 5177 3.59/3.62 o 5078 3.59/3.65 o 5077 6.48/6.58 o 4977 6.48/6.58 o 4878 6.48/6.58 o 4877 6.58/6.66 o 4780 6.58/6.66 o 4778 11.99/12.01 o 4677 12.09/12.11 o 4580 12.09/12.11 o 4577 12.09/12.11 o 4480 12.68/12.78 o 4477 16.19/16.21 o 4376 16.19/16.21 o 4375 16.19/16.21 o 4274 16.19/16.21 o 4173 16.19/16.21 o 4171 16.19/16.21 o 4071 16.19/16.21 o 3971 16.19/16.21 o 3970 16.19/16.22 o 3872 16.19/16.22 o 3772 16.19/16.22 o 3771 16.19/16.24 o 3671 16.39/16.41 o 3574 16.59/16.69 o 3572 16.59/16.69 o 3570 16.69/16.71 o 3568 17.29/17.34 o 3567 17.69/17.71 o 3474 17.69/17.71 o 3473 18.10/18.15 o 3471 18.10/18.15 o 3470 18.10/18.16 o 3469 18.10/18.16 o 3468 18.10/18.17 o 3466 18.49/18.60 o 3372 18.79/18.85 o 3371 19.00/19.02 o 3271 19.00/19.02 o 3268 19.00/19.02 o 3267 19.00/19.02 o 3266 19.00/19.03 o 3170 19.00/19.03 o 3169 19.49/19.55 o 3168 19.49/19.56 o 3166 19.79/19.86 o 3164 21.89/21.90 o 3163 21.89/21.96 o 3063 21.89/21.97 o 3062 22.79/22.82 o 2967 22.79/22.83 o 2964 22.79/22.83 o 2867 22.79/22.83 o 2864 23.00/23.05 o 2863 23.00/23.06 o 2861 23.00/23.07 o 2761 23.29/23.35 o 2663 26.00/26.02 o 2661 28.99/29.01 o 2563 31.09/31.19 o 2562 40.17/40.28 o 2560 40.17/40.28 o 2559 45.08/45.16 o 2459 45.77/45.84 o 2359 48.98/49.04 o 2259 49.57/49.70 o 2258 50.37/50.43 o 2257 50.37/50.43 o 2256 50.47/50.59 o 2161 50.47/50.60 o 2160 50.57/50.60 o 2159 50.57/50.60 o 2158 50.57/50.60 o 2157 50.57/50.60 o 2156 52.17/52.22 o 2152 60.67/60.73 o 2151 60.67/60.74 o 2150 60.67/60.74 o 2149 85.37/85.46 o 2050 85.37/85.46 o 2049 86.98/87.09 o 2048 87.77/87.85 o 2047 87.77/87.86 o 1950 87.77/87.86 o 1949 87.77/87.86 o 1948 88.27/88.35 o 1945 89.27/89.38 o 1944 99.27/99.34 o 1846 99.98/100.09 o 1845 113.37/113.49 o 1747 113.37/113.49 o 1746 113.37/113.49 o 1745 124.77/124.88 o 1744 124.77/124.89 o 1743 124.77/124.90 o 1742 124.87/124.90 o 1741 151.27/151.36 o 1740 151.47/151.50 o 1647 151.47/151.50 o 1646 151.47/151.50 o 1645 151.47/151.50 o 1644 151.67/151.73 o 1643 151.67/151.76 o 1642 151.77/151.82 o 1641 151.77/151.86 o 1640 151.87/151.96 o 1546 151.87/151.96 o 1545 151.87/151.98 o 1544 151.87/151.99 o 1543 151.87/151.99 o 1542 151.87/151.99 o 1540 151.87/152.00 o 1440 151.98/152.02 o 1439 152.17/152.22 o 1438 152.17/152.22 o 1437 152.47/152.54 o 1434 156.47/156.53 o 1338 156.47/156.53 o 1337 156.47/156.54 o 1335 176.17/176.27 o 1333 276.86/276.97 o 1332 277.36/277.41 o 1331 277.36/277.41 o 1330 277.56/277.67 o 1328 277.76/277.87 o 1326 278.76/278.89 o 1325 278.76/278.89 o 1324 280.46/280.56 o 1321 287.97/288.03 o 1319 381.16/381.27 o 1221 381.36/381.44 o 1219 533.98/534.03 o 1217 533.98/534.03 o 1216 533.98/534.10 o 1214 534.08/534.18 o 1213 534.17/534.30 o 1212 534.27/534.30 o 1211 594.48/594.56 o 1122 594.58/594.61 o 1120 594.99/595.01 o 1118 1237.63/1237.62 o 1115 1386.74/1386.79 o 1109 2520.03/2519.90 s SATISFIABLE 2520.03/2519.90 v <instantiation type="solution"> 2520.03/2519.90 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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] wk[14][0] wk[14][1] wk[15][0] wk[15][1] wk[16][0] wk[16][1] wk[17][0] wk[17][1] wk[18][0] wk[18][1] wk[19][0] wk[19][1] 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] 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] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] </list> 2520.03/2519.90 v <values> 3 1 3 3 0 3 2 3 1 3 0 2 3 3 2 1 3 3 3 3 0 1 3 0 0 1 2 3 1 3 1 2 3 3 2 3 3 3 3 3 0 1 3 2 3 1 2 0 1 3 1 3 0 1 3 3 3 3 2 3 0 1 2 2 3 1 3 0 1 0 3 3 1 1 3 3 3 3 3 0 1 1 2 2 0 1 3 0 3 1 3 3 2 1 3 3 2 3 3 3 3 3 2 3 0 3 0 1 3 3 3 1 3 1 1 0 3 3 0 3 3 3 2 3 0 3 0 2 3 3 1 1 3 2 1 0 3 3 0 3 1 2 2 0 3 0 1 3 3 1 1 1 3 3 1 3 2 0 0 3 1 2 3 0 3 0 3 3 3 1 1 2 0 3 1 3 3 3 3 3 1 3 3 2 0 0 3 2 0 1 1 2 1 3 1 2 3 3 3 0 3 3 0 3 0 3 2 2 1 3 1 3 1 1 1 3 3 3 3 3 3 3 0 3 0 3 2 2 2 3 1 3 2 1 3 3 3 1 3 3 1 2 3 0 3 1 3 3 2 0 3 3 2 3 3 3 1 1 3 1 1 2 3 0 3 1 3 3 2 0 3 3 2 3 3 3 1 1 3 1 3 6 0 5 0 5 4 5 2 0 5 7 5 0 4 5 8 0 0 6 3 6 0 5 2 1 5 6 3 1 4 6 1 5 3 5 3 4 0 7 1 8 0 5 0 3 4 7 2 3 4 5 0 6 1 7 0 6 2 6 2 1 1 10 0 2 2 10 1 3 0 10 3 0 1 10 2 2 0 10 2 3 3 12 3 4 3 10 3 5 3 9 4 5 2 9 2 5 4 9 4 4 1 11 4 3 3 10 4 6 3 7 3 4 2 11 4 5 4 7 2 5 2 11 2 3 4 11 2 5 3 10 2 5 3 10 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 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 1 1 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 100 0 200 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 200 0 100 0 0 0 </values> 2520.03/2519.90 v </instantiation>
OK 1109
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 (1889 MiB free)
memory of node 1: 16384 MiB (1257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303708-1533994790/watcher-4303708-1533994790 -o /tmp/evaluation-result-4303708-1533994790/solver-4303708-1533994790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 900300321 HOME/instance-4303708-1533994790.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=6353, runsolver pid=6350
[startup+0.100121 s]*
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3195396/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=57864 memory=32796 CPUtime=0.1 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 8454 0 0 0 9 1 0 0 20 0 1 0 217042190 59252736 8199 33554432000 4194304 7499544 140733770965552 140733770962552 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 14499 8199 766 807 0 7490 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57864 KiB
Current children cumulated memory: 32796 KiB
[startup+0.209897 s]*
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179400/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46776 CPUtime=0.21 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 11952 0 0 0 20 1 0 0 20 0 1 0 217042190 73465856 11694 33554432000 4194304 7499544 140733770965552 140733770962552 4246871 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+0.309829 s]*
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179400/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46776 CPUtime=0.31 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 11952 0 0 0 30 1 0 0 20 0 1 0 217042190 73465856 11694 33554432000 4194304 7499544 140733770965552 140733770962552 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+0.700299 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179400/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46776 CPUtime=0.69 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 11952 0 0 0 68 1 0 0 20 0 1 0 217042190 73465856 11694 33554432000 4194304 7499544 140733770965552 140733770962552 4257858 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+1.5003 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179448/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46776 CPUtime=1.49 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 11952 0 0 0 148 1 0 0 20 0 1 0 217042190 73465856 11694 33554432000 4194304 7499544 140733770965552 140733770960568 4580654 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+3.10964 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179456/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46836 CPUtime=3.1 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 13555 0 0 0 309 1 0 0 20 0 1 0 217042190 73465856 11709 33554432000 4194304 7499544 140733770965552 140733770960568 4579554 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11709 810 807 0 10927 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46836 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6354
/proc/meminfo: memFree=3179228/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46840 CPUtime=6.29 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 18634 0 0 0 628 1 0 0 20 0 1 0 217042190 73465856 11710 33554432000 4194304 7499544 140733770965552 140733770960568 5648112 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11710 810 807 0 10927 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46840 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6361
/proc/meminfo: memFree=3178568/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71744 memory=46856 CPUtime=12.68 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 24782 0 0 0 1267 1 0 0 20 0 1 0 217042190 73465856 11714 33554432000 4194304 7499544 140733770965552 140733770960568 5585188 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17936 11714 810 807 0 10927 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46856 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.04 1.98 3/192 6361
/proc/meminfo: memFree=3177844/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46912 CPUtime=25.49 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 31456 0 0 0 2547 2 0 0 20 0 1 0 217042190 73609216 11728 33554432000 4194304 7499544 140733770965552 140733770960568 5163908 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11728 810 807 0 10962 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46912 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.03 1.98 3/192 6361
/proc/meminfo: memFree=3177812/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46920 CPUtime=51.08 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 33421 0 0 0 5106 2 0 0 20 0 1 0 217042190 73609216 11730 33554432000 4194304 7499544 140733770965552 140733770960568 4252672 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11730 810 807 0 10962 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46920 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/192 6362
/proc/meminfo: memFree=3178772/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46924 CPUtime=102.27 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 34228 0 0 0 10225 2 0 0 20 0 1 0 217042190 73609216 11731 33554432000 4194304 7499544 140733770965552 140733770960568 4264835 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11731 810 807 0 10962 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46924 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/192 6363
/proc/meminfo: memFree=3178896/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46936 CPUtime=162.27 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 35043 0 0 0 16225 2 0 0 20 0 1 0 217042190 73609216 11734 33554432000 4194304 7499544 140733770965552 140733770960568 5648145 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11734 810 807 0 10962 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46936 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/192 6364
/proc/meminfo: memFree=3178620/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46940 CPUtime=222.26 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 35840 0 0 0 22224 2 0 0 20 0 1 0 217042190 73609216 11735 33554432000 4194304 7499544 140733770965552 140733770960568 4579920 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11735 810 807 0 10962 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46940 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/191 6366
/proc/meminfo: memFree=3178512/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46940 CPUtime=282.26 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 36655 0 0 0 28224 2 0 0 20 0 1 0 217042190 73609216 11735 33554432000 4194304 7499544 140733770965552 140733770960568 5837773 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11735 810 807 0 10962 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46940 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/191 6431
/proc/meminfo: memFree=2938968/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46956 CPUtime=342.26 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 37348 0 0 0 34224 2 0 0 20 0 1 0 217042190 73609216 11739 33554432000 4194304 7499544 140733770965552 140733770960568 5803291 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11739 810 807 0 10962 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46956 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 2.01 1.98 3/191 6432
/proc/meminfo: memFree=2938148/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46956 CPUtime=402.26 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 38163 0 0 0 40224 2 0 0 20 0 1 0 217042190 73609216 11739 33554432000 4194304 7499544 140733770965552 140733770960568 5838025 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11739 810 807 0 10962 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46956 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.01 1.98 3/191 6433
/proc/meminfo: memFree=2938056/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46956 CPUtime=462.27 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 38166 0 0 0 46225 2 0 0 20 0 1 0 217042190 73609216 11739 33554432000 4194304 7499544 140733770965552 140733770960568 5648699 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11739 810 807 0 10962 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46956 KiB
################
# More data... #
################
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/193 6506
/proc/meminfo: memFree=2936960/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=1842.37 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 47301 0 0 0 184235 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 4405080 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/193 6507
/proc/meminfo: memFree=2937072/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=1902.38 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 47304 0 0 0 190236 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 5648132 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.44 2.15 2.04 3/193 6508
/proc/meminfo: memFree=2937444/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=1962.38 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 48001 0 0 0 196236 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/193 6509
/proc/meminfo: memFree=2937436/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=2022.39 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 48005 0 0 0 202237 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 4580374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/192 6510
/proc/meminfo: memFree=2937272/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=2082.39 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 48809 0 0 0 208237 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.08 2.04 3/192 6512
/proc/meminfo: memFree=2937476/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46976 CPUtime=2142.4 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 48811 0 0 0 214238 2 0 0 20 0 1 0 217042190 73609216 11744 33554432000 4194304 7499544 140733770965552 140733770960568 4579890 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11744 810 807 0 10962 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/192 6513
/proc/meminfo: memFree=2937164/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2202.4 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 49572 0 0 0 220238 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 4405284 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/192 6514
/proc/meminfo: memFree=2937512/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2262.41 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 49572 0 0 0 226239 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 5791060 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/192 6515
/proc/meminfo: memFree=2937612/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2322.41 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 50333 0 0 0 232239 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 4245316 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/192 6516
/proc/meminfo: memFree=2937676/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2382.41 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 50336 0 0 0 238239 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 4541834 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/191 6524
/proc/meminfo: memFree=2936996/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2442.42 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 51099 0 0 0 244240 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 4579688 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/191 6525
/proc/meminfo: memFree=2936992/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2502.42 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 51101 0 0 0 250240 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 4580239 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.04 3/191 6525
/proc/meminfo: memFree=2937116/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2520.03 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 51853 0 0 0 252001 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 5770143 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 6353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.029001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.04 3/191 6525
/proc/meminfo: memFree=2937116/32770624 swapFree=67108856/67108860
[pid=6353] ppid=6350 vsize=71884 memory=46980 CPUtime=2520.03 cores=0,2,4,6
/proc/6353/stat : 6353 (MistralXCSP) R 6350 6353 6056 0 -1 4202496 51853 0 0 0 252001 2 0 0 20 0 1 0 217042190 73609216 11745 33554432000 4194304 7499544 140733770965552 140733770960568 5770143 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12886016 140733770970222 140733770970371 140733770970371 140733770973129 0
/proc/6353/statm: 17971 11745 810 807 0 10962 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46980 KiB
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.01
CPU system time (s): 0.029001
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 71884
Max. memory (cumulated for all children) (KiB): 46980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.029001
maximum resident set size= 47000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51895
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= 26
involuntary context switches= 887
# summary of solver processes directly reported to runsolver:
# pid: 6353
# total CPU time (s): 2520.04
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.029001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.44861 second user time and 16.8898 second system time
The end
Begin job on node133 at 2018-08-11 15:39:50 IDJOB=4303708 IDBENCH=141051 IDSOLVER=2779 FILE ID=node133/4303708-1533994790 RUNJOBID= node133-1533992269-6087 PBS_JOBID= 21036948 Free space on /tmp= 38796 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-03_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-4303708-1533994790/watcher-4303708-1533994790 -o /tmp/evaluation-result-4303708-1533994790/solver-4303708-1533994790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 900300321 HOME/instance-4303708-1533994790.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb17d19b145b92a5bb64f51f86380189 RANDOM SEED=900300321 node133.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.24 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.24 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.24 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.24 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: 3222832 kB MemAvailable: 31850148 kB Buffers: 203408 kB Cached: 28312960 kB SwapCached: 0 kB Active: 10705100 kB Inactive: 17921508 kB Active(anon): 60948 kB Inactive(anon): 101640 kB Active(file): 10644152 kB Inactive(file): 17819868 kB Unevictable: 7092 kB Mlocked: 7092 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 5780 kB Writeback: 0 kB AnonPages: 116460 kB Mapped: 56364 kB Shmem: 49820 kB Slab: 619396 kB SReclaimable: 591756 kB SUnreclaim: 27640 kB KernelStack: 3392 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 433548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 38792 MiB End job on node133 at 2018-08-11 16:21:50