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) | 1832 | 2519.99 | 2520.01 |
| Name | NurseRostering/ NurseRostering-04_c18.xml |
| MD5SUM | 3e14d2a5b30f836b117ab38c1a042f13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2070 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 589 |
| Number of constraints | 1410 |
| Number of domains | 13 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 29 |
| Distribution of constraint arities | [{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}] |
| Number of extensional constraints | 354 |
| Number of intensional constraints | 171 |
| Distribution of constraint types | [{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.21/0.25 o 7742 0.21/0.25 o 7641 0.21/0.25 o 7540 0.21/0.25 o 7439 0.21/0.25 o 7438 0.21/0.25 o 7437 0.21/0.26 o 7336 0.21/0.26 o 7236 0.21/0.26 o 7136 0.21/0.26 o 7135 0.21/0.26 o 7035 0.21/0.26 o 6934 0.21/0.26 o 6933 0.21/0.26 o 6833 0.21/0.29 o 6832 0.41/0.42 o 6731 0.41/0.43 o 6730 0.41/0.43 o 6630 0.41/0.44 o 6530 0.41/0.44 o 6529 0.41/0.44 o 6528 0.41/0.47 o 6525 0.41/0.48 o 6424 0.41/0.49 o 6324 0.41/0.49 o 6323 0.69/0.75 o 6223 0.69/0.76 o 6219 0.69/0.76 o 6218 0.69/0.76 o 6217 0.69/0.76 o 6119 0.79/0.82 o 6116 0.79/0.85 o 6016 0.79/0.85 o 6015 1.10/1.19 o 6014 1.10/1.19 o 5914 1.10/1.19 o 5814 1.10/1.19 o 5713 1.10/1.19 o 5712 1.10/1.19 o 5611 1.10/1.19 o 5511 1.10/1.19 o 5410 1.19/1.21 o 5313 1.19/1.21 o 5312 1.19/1.22 o 5215 1.19/1.25 o 5214 1.49/1.50 o 5213 1.49/1.51 o 5212 1.49/1.55 o 5211 2.69/2.70 o 5110 2.69/2.70 o 5108 2.69/2.72 o 5009 2.69/2.73 o 5007 2.69/2.76 o 4907 2.69/2.77 o 4906 2.79/2.80 o 4805 2.79/2.84 o 4706 2.79/2.88 o 4700 2.79/2.89 o 4699 2.89/2.95 o 4698 2.89/2.95 o 4596 4.19/4.23 o 4595 4.19/4.23 o 4493 4.19/4.23 o 4492 4.19/4.23 o 4491 4.19/4.23 o 4490 4.19/4.29 o 4486 4.19/4.29 o 4388 4.29/4.30 o 4287 4.29/4.32 o 4190 4.29/4.33 o 4093 4.29/4.33 o 4092 4.29/4.33 o 4090 4.29/4.34 o 4089 4.29/4.34 o 3992 4.29/4.39 o 3892 4.39/4.41 o 3889 4.69/4.74 o 3789 4.79/4.87 o 3788 4.89/4.98 o 3787 4.89/4.98 o 3687 5.09/5.12 o 3596 5.09/5.13 o 3595 5.09/5.14 o 3593 5.18/5.20 o 3592 5.18/5.26 o 3494 5.88/5.93 o 3394 7.09/7.12 o 3393 7.78/7.81 o 3392 7.78/7.83 o 3391 8.99/9.08 o 3390 9.18/9.21 o 3300 9.18/9.22 o 3299 9.18/9.23 o 3298 9.18/9.23 o 3297 9.18/9.24 o 3291 9.28/9.31 o 3290 10.78/10.86 o 3289 10.78/10.87 o 3286 10.88/10.91 o 3285 10.88/10.91 o 3282 10.88/10.96 o 3183 10.99/11.04 o 3180 10.99/11.04 o 3177 11.09/11.13 o 3080 11.09/11.13 o 3079 11.09/11.17 o 2981 11.28/11.31 o 2881 11.28/11.31 o 2880 14.99/15.07 o 2879 15.09/15.15 o 2780 15.09/15.17 o 2779 15.18/15.24 o 2778 15.99/16.10 o 2777 16.58/16.63 o 2775 17.68/17.72 o 2773 19.58/19.63 o 2772 20.38/20.40 o 2771 23.99/24.06 o 2768 25.18/25.27 o 2766 25.18/25.28 o 2765 25.18/25.28 o 2764 41.98/42.04 o 2668 59.98/60.07 o 2666 79.87/79.98 o 2664 79.98/80.03 o 2662 79.98/80.03 o 2661 81.87/81.91 o 2659 81.87/81.91 o 2658 100.86/100.93 o 2657 102.16/102.26 o 2559 103.26/103.35 o 2558 103.36/103.46 o 2557 103.36/103.48 o 2556 103.56/103.64 o 2463 108.16/108.26 o 2460 109.76/109.88 o 2457 109.76/109.89 o 2456 137.46/137.57 o 2453 137.46/137.58 o 2359 137.46/137.59 o 2358 137.57/137.60 o 2355 137.67/137.71 o 2354 137.67/137.73 o 2353 137.67/137.73 o 2352 137.67/137.74 o 2351 137.67/137.76 o 2350 137.98/138.07 o 2349 137.98/138.07 o 2348 137.98/138.07 o 2347 138.08/138.11 o 2346 161.56/161.63 o 2344 161.56/161.63 o 2343 185.56/185.69 o 2342 232.15/232.24 o 2265 232.25/232.31 o 2264 232.25/232.31 o 2263 232.25/232.32 o 2261 232.35/232.41 o 2260 232.45/232.54 o 2259 232.45/232.54 o 2258 232.45/232.54 o 2257 232.85/232.91 o 2256 232.96/233.06 o 2255 233.85/233.91 o 2254 251.15/251.23 o 2253 256.45/256.57 o 2251 258.55/258.62 o 2250 267.96/268.08 o 2248 475.74/475.83 o 2246 475.74/475.83 o 2244 475.74/475.84 o 2148 475.74/475.84 o 2147 477.84/477.95 o 2144 480.14/480.28 o 2143 483.84/483.99 o 2045 483.84/484.00 o 2043 640.34/640.47 o 2042 640.34/640.47 o 2041 713.64/713.71 o 2038 765.95/766.07 o 2037 785.54/785.62 o 1955 785.54/785.62 o 1954 785.54/785.62 o 1951 785.54/785.62 o 1950 785.54/785.62 o 1947 785.54/785.63 o 1946 785.54/785.64 o 1945 785.54/785.64 o 1944 785.54/785.64 o 1943 790.74/790.88 o 1942 790.74/790.88 o 1941 790.74/790.88 o 1940 790.74/790.88 o 1939 808.64/808.73 o 1938 808.74/808.81 o 1937 808.74/808.81 o 1936 808.74/808.81 o 1935 1639.85/1639.98 o 1836 2297.76/2297.83 o 1833 2297.76/2297.84 o 1832 2519.97/2520.00 s SATISFIABLE 2519.97/2520.00 v <instantiation type="solution"> 2519.97/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] 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] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] </list> 2519.97/2520.00 v <values> 0 2 2 2 2 1 1 1 0 2 0 2 0 2 2 1 1 1 0 2 1 0 0 2 0 1 2 1 0 1 1 0 2 1 0 2 2 2 2 1 1 0 2 1 0 2 2 2 2 1 2 2 0 2 2 1 1 0 1 2 2 2 0 2 2 1 1 0 1 2 1 0 0 0 2 1 2 1 2 2 1 0 0 0 1 2 2 1 2 0 2 0 2 0 1 2 1 2 2 0 2 2 2 0 1 2 1 2 1 0 0 2 0 0 1 2 1 2 1 0 0 2 0 2 2 1 2 1 1 2 0 2 2 2 2 1 2 1 1 2 1 0 2 2 0 1 0 1 1 2 1 0 1 0 0 1 0 1 2 0 2 2 1 0 0 1 1 1 2 0 2 2 1 0 2 2 1 2 0 0 2 0 1 0 2 2 2 2 1 1 0 0 2 0 0 2 2 2 2 1 1 0 2 2 0 2 1 2 2 2 2 0 0 2 0 1 1 1 0 2 2 2 0 2 2 1 1 1 0 0 0 2 0 0 2 1 1 1 0 0 0 0 0 0 2 1 1 1 1 2 0 0 0 1 0 1 2 1 1 2 2 0 2 1 0 2 2 2 2 0 2 0 2 1 0 2 2 2 2 0 9 8 11 16 0 12 13 4 11 12 5 11 12 4 12 0 16 12 2 14 12 2 15 11 7 10 11 11 5 12 2 3 5 3 3 4 4 4 2 2 3 5 2 3 5 2 3 5 2 3 5 3 3 4 4 3 3 3 2 5 2 3 5 4 3 3 2 3 5 1 3 6 3 4 3 5 4 1 3 4 3 3 2 5 2 3 5 4 1 5 2 2 6 4 3 3 3 3 4 5 3 2 4 4 2 4 4 2 3 1 6 3 1 6 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 1 0 0 0 0 3 0 0 0 0 3 3 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 400 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 200 300 0 0 0 0 0 100 0 0 1 0 0 0 0 0 0 0 0 200 0 100 300 0 100 0 0 </values> 2519.97/2520.00 v </instantiation>
OK 1832
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 (2671 MiB free)
memory of node 1: 16384 MiB (816 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303709-1533993481/watcher-4303709-1533993481 -o /tmp/evaluation-result-4303709-1533993481/solver-4303709-1533993481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20702 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1585688999 HOME/instance-4303709-1533993481.xml
running on 4 cores: 1,3,5,7
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=20731, runsolver pid=20725
[startup+0.100911 s]*
/proc/loadavg: 1.03 1.02 1.05 4/188 20733
/proc/meminfo: memFree=3526700/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=57212 memory=31908 CPUtime=0.1 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 8265 0 1 0 9 1 0 0 20 0 1 0 216911291 58585088 7977 33554432000 4194304 7499544 140729034232384 140729034222392 140269764824037 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 14303 7977 766 807 0 7294 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 31908 KiB
[startup+0.209419 s]*
/proc/loadavg: 1.03 1.02 1.05 3/188 20733
/proc/meminfo: memFree=3500684/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74024 memory=49056 CPUtime=0.21 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 12522 0 1 0 19 2 0 0 20 0 1 0 216911291 75800576 12264 33554432000 4194304 7499544 140729034232384 140729034222392 140269764824037 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18506 12264 809 807 0 11497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 49056 KiB
[startup+0.309733 s]*
/proc/loadavg: 1.03 1.02 1.05 4/188 20733
/proc/meminfo: memFree=3486396/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74024 memory=49056 CPUtime=0.31 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 12536 0 1 0 29 2 0 0 20 0 1 0 216911291 75800576 12264 33554432000 4194304 7499544 140729034232384 140729034222392 4580235 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18506 12264 809 807 0 11497 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 49056 KiB
[startup+0.700328 s]
/proc/loadavg: 1.03 1.02 1.05 4/188 20733
/proc/meminfo: memFree=3483468/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74156 memory=49056 CPUtime=0.69 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 12545 0 1 0 67 2 0 0 20 0 1 0 216911291 75935744 12264 33554432000 4194304 7499544 140729034232384 140729034222392 4249954 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18539 12264 809 807 0 11530 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49056 KiB
[startup+1.50029 s]
/proc/loadavg: 1.11 1.04 1.05 4/188 20733
/proc/meminfo: memFree=3469372/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74156 memory=49056 CPUtime=1.49 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 12553 0 1 0 147 2 0 0 20 0 1 0 216911291 75935744 12264 33554432000 4194304 7499544 140729034232384 140729034227400 5648699 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18539 12264 809 807 0 11530 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49056 KiB
[startup+3.10952 s]
/proc/loadavg: 1.11 1.04 1.05 4/188 20733
/proc/meminfo: memFree=3170288/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74156 memory=49252 CPUtime=3.1 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 14811 0 1 0 308 2 0 0 20 0 1 0 216911291 75935744 12313 33554432000 4194304 7499544 140729034232384 140729034227400 4580374 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18539 12313 810 807 0 11530 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49252 KiB
[startup+6.30023 s]
/proc/loadavg: 1.18 1.06 1.06 4/188 20733
/proc/meminfo: memFree=2952408/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74156 memory=49280 CPUtime=6.28 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 21111 0 1 0 626 2 0 0 20 0 1 0 216911291 75935744 12320 33554432000 4194304 7499544 140729034232384 140729034227400 4249719 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18539 12320 810 807 0 11530 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49280 KiB
[startup+12.7002 s]
/proc/loadavg: 1.32 1.09 1.07 3/188 20733
/proc/meminfo: memFree=2951636/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74156 memory=49296 CPUtime=12.68 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 25386 0 1 0 1266 2 0 0 20 0 1 0 216911291 75935744 12324 33554432000 4194304 7499544 140729034232384 140729034227400 5837764 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18539 12324 810 807 0 11530 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49296 KiB
[startup+25.5002 s]
/proc/loadavg: 1.43 1.12 1.08 3/188 20733
/proc/meminfo: memFree=2947996/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49344 CPUtime=25.48 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 33591 0 1 0 2546 2 0 0 20 0 1 0 216911291 76103680 12336 33554432000 4194304 7499544 140729034232384 140729034227400 4253238 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12336 810 807 0 11571 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49344 KiB
[startup+51.1091 s]
/proc/loadavg: 1.65 1.20 1.10 3/188 20733
/proc/meminfo: memFree=2947144/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49348 CPUtime=51.08 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 38222 0 1 0 5106 2 0 0 20 0 1 0 216911291 76103680 12337 33554432000 4194304 7499544 140729034232384 140729034227400 4258046 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12337 810 807 0 11571 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49348 KiB
[startup+102.3 s]
/proc/loadavg: 1.85 1.33 1.15 3/188 20734
/proc/meminfo: memFree=2947744/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49352 CPUtime=102.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 42498 0 1 0 10224 2 0 0 20 0 1 0 216911291 76103680 12338 33554432000 4194304 7499544 140729034232384 140729034227400 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12338 810 807 0 11571 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49352 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.45 1.20 3/188 20742
/proc/meminfo: memFree=2948780/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49360 CPUtime=162.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 46776 0 1 0 16223 3 0 0 20 0 1 0 216911291 76103680 12340 33554432000 4194304 7499544 140729034232384 140729034227400 5838025 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12340 810 807 0 11571 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49360 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.55 1.25 3/188 20743
/proc/meminfo: memFree=2948500/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49364 CPUtime=222.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 51042 0 1 0 22222 3 0 0 20 0 1 0 216911291 76103680 12341 33554432000 4194304 7499544 140729034232384 140729034227400 5791081 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12341 810 807 0 11571 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49364 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.62 1.30 4/188 20744
/proc/meminfo: memFree=2948520/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49372 CPUtime=282.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 55302 0 1 0 28222 3 0 0 20 0 1 0 216911291 76103680 12343 33554432000 4194304 7499544 140729034232384 140729034227400 5612993 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12343 810 807 0 11571 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49372 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.69 1.34 4/187 20745
/proc/meminfo: memFree=2947936/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49376 CPUtime=342.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 59469 0 1 0 34222 3 0 0 20 0 1 0 216911291 76103680 12344 33554432000 4194304 7499544 140729034232384 140729034227400 5585160 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12344 810 807 0 11571 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49376 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.38 3/187 20746
/proc/meminfo: memFree=2948044/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49388 CPUtime=402.24 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 62114 0 1 0 40220 4 0 0 20 0 1 0 216911291 76103680 12347 33554432000 4194304 7499544 140729034232384 140729034227400 5790971 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12347 810 807 0 11571 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.42 3/187 20748
/proc/meminfo: memFree=2948004/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49388 CPUtime=462.24 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 62614 0 1 0 46220 4 0 0 20 0 1 0 216911291 76103680 12347 33554432000 4194304 7499544 140729034232384 140729034227400 4579571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12347 810 807 0 11571 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
################
# More data... #
################
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.89 4/187 20787
/proc/meminfo: memFree=2948184/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=1782.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 73651 0 1 0 178221 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 5573412 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.90 4/187 20788
/proc/meminfo: memFree=2948292/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=1842.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 74137 0 1 0 184221 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4245316 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/187 20789
/proc/meminfo: memFree=2948260/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=1902.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 74624 0 1 0 190222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4580696 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 20798
/proc/meminfo: memFree=2947816/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=1962.25 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 75111 0 1 0 196221 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 5790900 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.92 4/188 20799
/proc/meminfo: memFree=2948080/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2022.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 75598 0 1 0 202222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4579554 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/188 20800
/proc/meminfo: memFree=2948072/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2082.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 76083 0 1 0 208222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4545550 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/188 20801
/proc/meminfo: memFree=2947916/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2142.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 76570 0 1 0 214222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4317583 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 20802
/proc/meminfo: memFree=2948188/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2202.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 77055 0 1 0 220222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4580255 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/187 20804
/proc/meminfo: memFree=2948032/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2262.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 77541 0 1 0 226222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4314677 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 20805
/proc/meminfo: memFree=2948148/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2322.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 78075 0 1 0 232222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 5838032 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 20806
/proc/meminfo: memFree=2948260/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2382.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 78559 0 1 0 238222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4317304 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 20808
/proc/meminfo: memFree=2948120/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2442.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 79068 0 1 0 244222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 5790971 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 20809
/proc/meminfo: memFree=2948304/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2502.26 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 79555 0 1 0 250222 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 5790953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 20816
/proc/meminfo: memFree=2947536/32770624 swapFree=67108860/67108860
[pid=20731] ppid=20725 vsize=74320 memory=49408 CPUtime=2519.97 cores=1,3,5,7
/proc/20731/stat : 20731 (MistralXCSP) R 20725 20731 20670 0 -1 4202496 80030 0 1 0 251993 4 0 0 20 0 1 0 216911291 76103680 12352 33554432000 4194304 7499544 140729034232384 140729034227400 4580700 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24092672 140729034241133 140729034241283 140729034241283 140729034244041 0
/proc/20731/statm: 18580 12352 810 807 0 11571 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.94 s, system=0.048999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.99
CPU user time (s): 2519.94
CPU system time (s): 0.048999
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 74320
Max. memory (cumulated for all children) (KiB): 49408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.048999
maximum resident set size= 49428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80074
page faults= 1
swaps= 0
block input operations= 944
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 811
# summary of solver processes directly reported to runsolver:
# pid: 20731
# total CPU time (s): 2519.99
# total CPU user time (s): 2519.94
# total CPU system time (s): 0.048999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.97825 second user time and 16.4386 second system time
The end
Begin job on node136 at 2018-08-11 15:18:01 IDJOB=4303709 IDBENCH=141042 IDSOLVER=2779 FILE ID=node136/4303709-1533993481 RUNJOBID= node136-1533993481-20702 PBS_JOBID= 21036953 Free space on /tmp= 35336 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_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-4303709-1533993481/watcher-4303709-1533993481 -o /tmp/evaluation-result-4303709-1533993481/solver-4303709-1533993481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20702 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1585688999 HOME/instance-4303709-1533993481.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1585688999 node136.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.50 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.50 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.50 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.50 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: 3574532 kB MemAvailable: 31906592 kB Buffers: 261660 kB Cached: 27966644 kB SwapCached: 0 kB Active: 9755496 kB Inactive: 18525012 kB Active(anon): 3072 kB Inactive(anon): 101996 kB Active(file): 9752424 kB Inactive(file): 18423016 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12372 kB Writeback: 0 kB AnonPages: 59880 kB Mapped: 51004 kB Shmem: 49804 kB Slab: 612288 kB SReclaimable: 585080 kB SUnreclaim: 27208 kB KernelStack: 3200 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350944 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 35324 MiB End job on node136 at 2018-08-11 16:00:01