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-06-15 | SAT (TO) | 1832 | 2400.06 | 2399.9 |
| 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.01 c Mistral 16062018 0.20/0.27 o 7742 0.20/0.27 o 7641 0.20/0.27 o 7540 0.20/0.27 o 7439 0.20/0.27 o 7438 0.20/0.27 o 7437 0.20/0.27 o 7336 0.20/0.27 o 7236 0.20/0.27 o 7136 0.20/0.27 o 7135 0.20/0.27 o 7035 0.20/0.27 o 6934 0.20/0.28 o 6933 0.20/0.28 o 6833 0.20/0.30 o 6832 0.40/0.43 o 6731 0.40/0.45 o 6730 0.40/0.45 o 6630 0.40/0.45 o 6530 0.40/0.45 o 6529 0.40/0.46 o 6528 0.40/0.49 o 6525 0.40/0.50 o 6424 0.40/0.51 o 6324 0.40/0.51 o 6323 0.68/0.77 o 6223 0.68/0.77 o 6219 0.68/0.78 o 6218 0.68/0.78 o 6217 0.68/0.78 o 6119 0.78/0.84 o 6116 0.78/0.87 o 6016 0.78/0.87 o 6015 1.18/1.21 o 6014 1.18/1.21 o 5914 1.18/1.21 o 5814 1.18/1.21 o 5713 1.18/1.21 o 5712 1.18/1.21 o 5611 1.18/1.21 o 5511 1.18/1.22 o 5410 1.18/1.23 o 5313 1.18/1.23 o 5312 1.18/1.24 o 5215 1.18/1.27 o 5214 1.48/1.52 o 5213 1.48/1.53 o 5212 1.48/1.57 o 5211 2.68/2.73 o 5110 2.68/2.73 o 5108 2.68/2.74 o 5009 2.68/2.75 o 5007 2.68/2.79 o 4907 2.68/2.79 o 4906 2.78/2.83 o 4805 2.78/2.87 o 4706 2.99/3.04 o 4700 2.99/3.04 o 4699 2.99/3.04 o 4698 2.99/3.04 o 4596 4.18/4.26 o 4595 4.18/4.26 o 4493 4.18/4.26 o 4492 4.18/4.26 o 4491 4.18/4.27 o 4490 4.28/4.32 o 4486 4.28/4.32 o 4388 4.28/4.34 o 4287 4.28/4.36 o 4190 4.28/4.36 o 4093 4.28/4.36 o 4092 4.28/4.37 o 4090 4.28/4.37 o 4089 4.28/4.37 o 3992 4.38/4.42 o 3892 4.38/4.44 o 3889 4.68/4.77 o 3789 4.88/4.90 o 3788 4.99/5.01 o 3787 4.99/5.01 o 3687 5.09/5.16 o 3596 5.09/5.16 o 3595 5.09/5.17 o 3593 5.18/5.23 o 3592 5.28/5.30 o 3494 5.88/5.97 o 3394 7.09/7.15 o 3393 7.78/7.85 o 3392 7.78/7.87 o 3391 9.08/9.11 o 3390 9.17/9.25 o 3300 9.17/9.25 o 3299 9.17/9.27 o 3298 9.17/9.27 o 3297 9.17/9.27 o 3291 9.27/9.34 o 3290 10.77/10.89 o 3289 10.87/10.90 o 3286 10.87/10.94 o 3285 10.87/10.95 o 3282 10.87/11.00 o 3183 10.98/11.08 o 3180 10.98/11.08 o 3177 11.08/11.17 o 3080 11.08/11.17 o 3079 11.17/11.20 o 2981 11.27/11.34 o 2881 11.27/11.34 o 2880 14.98/15.09 o 2879 15.08/15.16 o 2780 15.08/15.18 o 2779 15.17/15.25 o 2778 15.98/16.07 o 2777 16.47/16.58 o 2775 17.57/17.63 o 2773 19.37/19.46 o 2772 20.17/20.20 o 2771 23.67/23.74 o 2768 24.76/24.88 o 2766 24.76/24.88 o 2765 24.76/24.88 o 2764 39.97/40.07 o 2668 56.07/56.20 o 2666 73.86/73.92 o 2664 73.86/73.97 o 2662 73.86/73.97 o 2661 75.56/75.67 o 2659 75.56/75.67 o 2658 92.66/92.77 o 2657 93.86/93.96 o 2559 94.86/94.94 o 2558 94.97/95.04 o 2557 94.97/95.05 o 2556 95.16/95.21 o 2463 99.26/99.32 o 2460 100.66/100.77 o 2457 100.66/100.77 o 2456 125.47/125.58 o 2453 125.57/125.60 o 2359 125.57/125.61 o 2358 125.57/125.61 o 2355 125.67/125.72 o 2354 125.67/125.73 o 2353 125.67/125.73 o 2352 125.67/125.74 o 2351 125.67/125.76 o 2350 125.98/126.03 o 2349 125.98/126.04 o 2348 125.98/126.04 o 2347 125.98/126.07 o 2346 147.09/147.11 o 2344 147.09/147.11 o 2343 168.58/168.64 o 2342 209.99/210.02 o 2265 209.99/210.08 o 2264 209.99/210.09 o 2263 209.99/210.09 o 2261 210.09/210.18 o 2260 210.18/210.29 o 2259 210.18/210.29 o 2258 210.18/210.29 o 2257 210.58/210.62 o 2256 210.68/210.76 o 2255 211.48/211.52 o 2254 226.88/226.95 o 2253 231.68/231.74 o 2251 233.48/233.58 o 2250 241.99/242.04 o 2248 441.01/441.09 o 2246 441.01/441.09 o 2244 441.01/441.09 o 2148 441.01/441.10 o 2147 443.20/443.24 o 2144 445.60/445.60 o 2143 449.30/449.38 o 2045 449.30/449.39 o 2043 608.41/608.43 o 2042 608.41/608.43 o 2041 682.72/682.75 o 2038 735.82/735.83 o 2037 755.62/755.69 o 1955 755.62/755.69 o 1954 755.62/755.69 o 1951 755.62/755.69 o 1950 755.72/755.70 o 1947 755.72/755.71 o 1946 755.72/755.71 o 1945 755.72/755.71 o 1944 755.72/755.72 o 1943 761.03/761.05 o 1942 761.03/761.05 o 1941 761.03/761.05 o 1940 761.03/761.05 o 1939 779.13/779.18 o 1938 779.23/779.26 o 1937 779.23/779.26 o 1936 779.23/779.26 o 1935 1626.29/1626.29 o 1836 2298.84/2298.71 o 1833 2298.84/2298.72 o 1832 2400.05/2399.90 s SATISFIABLE 2400.05/2399.90 v <instantiation type="solution"> 2400.05/2399.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[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> 2400.05/2399.90 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> 2400.05/2399.90 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 (8714 MiB free)
memory of node 1: 16384 MiB (12357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289283-1532190503/watcher-4289283-1532190503 -o /tmp/evaluation-result-4289283-1532190503/solver-4289283-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532190502-25855 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289283-1532190503.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25871, runsolver pid=25868
Current StackSize limit: 8192 KiB
[startup+0.100218 s]*
/proc/loadavg: 0.00 0.01 0.05 2/183 25873
/proc/meminfo: memFree=21548644/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=56140 memory=30856 CPUtime=0.08 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 8003 0 3 0 7 1 0 0 20 0 1 0 36613531 57487360 7714 33554432000 4194304 7498468 140722035856144 140722035850496 4564424 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 14035 7714 762 807 0 7026 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56140 KiB
Current children cumulated memory: 30856 KiB
[startup+0.209915 s]*
/proc/loadavg: 0.00 0.01 0.05 2/183 25875
/proc/meminfo: memFree=21530292/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74024 memory=49060 CPUtime=0.2 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 12515 0 3 0 18 2 0 0 20 0 1 0 36613531 75800576 12265 33554432000 4194304 7498468 140722035856144 140722035850496 5772174 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18506 12265 807 807 0 11497 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 49060 KiB
[startup+0.309575 s]*
/proc/loadavg: 0.00 0.01 0.05 3/184 25883
/proc/meminfo: memFree=21520092/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74024 memory=49060 CPUtime=0.3 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 12531 0 3 0 28 2 0 0 20 0 1 0 36613531 75800576 12265 33554432000 4194304 7498468 140722035856144 140722035850496 4580152 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18506 12265 807 807 0 11497 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 49060 KiB
[startup+0.700404 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 25888
/proc/meminfo: memFree=21498176/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74156 memory=49060 CPUtime=0.68 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 12540 0 3 0 66 2 0 0 20 0 1 0 36613531 75935744 12265 33554432000 4194304 7498468 140722035856144 140722035851160 4403360 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18539 12265 807 807 0 11530 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49060 KiB
[startup+1.50035 s]
/proc/loadavg: 0.00 0.01 0.05 3/189 25888
/proc/meminfo: memFree=21387008/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74156 memory=49060 CPUtime=1.48 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 12547 0 3 0 146 2 0 0 20 0 1 0 36613531 75935744 12265 33554432000 4194304 7498468 140722035856144 140722035851160 5164349 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18539 12265 807 807 0 11530 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49060 KiB
[startup+3.10958 s]
/proc/loadavg: 0.32 0.08 0.07 3/189 25888
/proc/meminfo: memFree=21324812/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74156 memory=49240 CPUtime=3.09 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 16812 0 3 0 307 2 0 0 20 0 1 0 36613531 75935744 12310 33554432000 4194304 7498468 140722035856144 140722035851160 5613391 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18539 12310 808 807 0 11530 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49240 KiB
[startup+6.30034 s]
/proc/loadavg: 0.32 0.08 0.07 3/189 25888
/proc/meminfo: memFree=21327336/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74156 memory=49264 CPUtime=6.28 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 21103 0 3 0 626 2 0 0 20 0 1 0 36613531 75935744 12316 33554432000 4194304 7498468 140722035856144 140722035851160 5838205 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18539 12316 808 807 0 11530 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49264 KiB
[startup+12.7003 s]
/proc/loadavg: 0.46 0.11 0.08 3/189 25888
/proc/meminfo: memFree=21327732/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74156 memory=49284 CPUtime=12.67 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 25375 0 3 0 1265 2 0 0 20 0 1 0 36613531 75935744 12321 33554432000 4194304 7498468 140722035856144 140722035851160 4579909 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18539 12321 808 807 0 11530 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 49284 KiB
[startup+25.5003 s]
/proc/loadavg: 0.80 0.20 0.11 3/189 25888
/proc/meminfo: memFree=21327268/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49336 CPUtime=25.46 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 32893 0 3 0 2544 2 0 0 20 0 1 0 36613531 76103680 12334 33554432000 4194304 7498468 140722035856144 140722035851160 4580003 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12334 808 807 0 11571 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49336 KiB
[startup+51.1093 s]
/proc/loadavg: 1.21 0.35 0.16 3/189 25888
/proc/meminfo: memFree=21327652/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49340 CPUtime=51.07 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 33714 0 3 0 5105 2 0 0 20 0 1 0 36613531 76103680 12335 33554432000 4194304 7498468 140722035856144 140722035851160 5585607 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12335 808 807 0 11571 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49340 KiB
[startup+102.3 s]
/proc/loadavg: 1.66 0.60 0.25 3/190 25897
/proc/meminfo: memFree=21326856/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49344 CPUtime=102.26 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 34670 0 3 0 10224 2 0 0 20 0 1 0 36613531 76103680 12336 33554432000 4194304 7498468 140722035856144 140722035851160 4580282 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12336 808 807 0 11571 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49344 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/189 25898
/proc/meminfo: memFree=21327876/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49352 CPUtime=162.28 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 35557 0 3 0 16225 3 0 0 20 0 1 0 36613531 76103680 12338 33554432000 4194304 7498468 140722035856144 140722035851160 4581034 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12338 808 807 0 11571 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49352 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/190 25900
/proc/meminfo: memFree=21327116/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49360 CPUtime=222.28 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 36391 0 3 0 22225 3 0 0 20 0 1 0 36613531 76103680 12340 33554432000 4194304 7498468 140722035856144 140722035851160 5838205 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12340 808 807 0 11571 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49360 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/190 25901
/proc/meminfo: memFree=21327128/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49364 CPUtime=282.29 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 36442 0 3 0 28226 3 0 0 20 0 1 0 36613531 76103680 12341 33554432000 4194304 7498468 140722035856144 140722035851160 5164340 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12341 808 807 0 11571 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49364 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/188 25902
/proc/meminfo: memFree=21327100/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49368 CPUtime=342.29 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 37316 0 3 0 34226 3 0 0 20 0 1 0 36613531 76103680 12342 33554432000 4194304 7498468 140722035856144 140722035851160 4405754 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12342 808 807 0 11571 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49368 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/187 25903
/proc/meminfo: memFree=21327116/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49368 CPUtime=402.3 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 37317 0 3 0 40227 3 0 0 20 0 1 0 36613531 76103680 12342 33554432000 4194304 7498468 140722035856144 140722035851160 4545792 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12342 808 807 0 11571 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49368 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 3/187 25904
/proc/meminfo: memFree=21327264/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49368 CPUtime=462.3 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 38208 0 3 0 46227 3 0 0 20 0 1 0 36613531 76103680 12342 33554432000 4194304 7498468 140722035856144 140722035851160 4245332 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12342 808 807 0 11571 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49368 KiB
################
# More data... #
################
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1662.39 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/187 25940
/proc/meminfo: memFree=21326368/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=1722.39 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 46635 0 3 0 172236 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4580796 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1722.39 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/187 25942
/proc/meminfo: memFree=21326492/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=1782.4 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 47439 0 3 0 178237 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4580714 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/187 25943
/proc/meminfo: memFree=21326616/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=1842.4 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 47439 0 3 0 184237 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4580338 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/187 25951
/proc/meminfo: memFree=21325556/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=1902.41 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 48237 0 3 0 190238 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5574588 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/187 25974
/proc/meminfo: memFree=21324672/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=1962.41 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 48239 0 3 0 196238 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4580306 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/187 25975
/proc/meminfo: memFree=21325384/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2022.42 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 49035 0 3 0 202239 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4322624 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/187 25976
/proc/meminfo: memFree=21325632/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2082.42 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 49039 0 3 0 208239 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5838511 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2142.3 s]
/proc/loadavg: 2.47 2.14 1.87 3/187 25977
/proc/meminfo: memFree=21325632/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2142.43 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 49838 0 3 0 214240 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5164472 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2202.3 s]
/proc/loadavg: 2.17 2.11 1.87 3/187 25978
/proc/meminfo: memFree=21325756/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2202.43 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 49838 0 3 0 220240 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5838685 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.09 1.88 3/187 25979
/proc/meminfo: memFree=21325500/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2262.44 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 50634 0 3 0 226241 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4580282 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.07 1.88 3/187 25980
/proc/meminfo: memFree=21325732/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2322.44 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 50726 0 3 0 232241 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 4249716 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.06 1.89 3/187 25981
/proc/meminfo: memFree=21326088/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2382.45 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 51515 0 3 0 238242 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5791328 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.01 2.06 1.89 3/187 25981
/proc/meminfo: memFree=21326088/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2400.05 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 51532 0 3 0 240002 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5164340 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 25871 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.034002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.01 2.06 1.89 3/187 25981
/proc/meminfo: memFree=21326088/32770624 swapFree=67108860/67108860
[pid=25871] ppid=25868 vsize=74320 memory=49388 CPUtime=2400.05 cores=0,2,4,6
/proc/25871/stat : 25871 (MistralXCSP) R 25868 25871 25824 0 -1 4202496 51532 0 3 0 240002 3 0 0 20 0 1 0 36613531 76103680 12347 33554432000 4194304 7498468 140722035856144 140722035851160 5164340 0 0 4096 16386 0 0 0 17 2 0 0 1 0 0 9598848 9604096 37801984 140722035864685 140722035864835 140722035864835 140722035867593 0
/proc/25871/statm: 18580 12347 808 807 0 11571 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 74320 KiB
Current children cumulated memory: 49388 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.06
CPU user time (s): 2400.02
CPU system time (s): 0.034002
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 74320
Max. memory (cumulated for all children) (KiB): 49388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.034002
maximum resident set size= 49408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51574
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 3063
# summary of solver processes directly reported to runsolver:
# pid: 25871
# total CPU time (s): 2400.06
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.034002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54985 second user time and 16.1451 second system time
The end
Begin job on node104 at 2018-07-21 18:28:23 IDJOB=4289283 IDBENCH=141042 IDSOLVER=2741 FILE ID=node104/4289283-1532190503 RUNJOBID= node104-1532190502-25855 PBS_JOBID= 21018939 Free space on /tmp= 57248 MiB SOLVER NAME= Mistral-2.0 2018-06-15 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-4289283-1532190503/watcher-4289283-1532190503 -o /tmp/evaluation-result-4289283-1532190503/solver-4289283-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532190502-25855 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289283-1532190503.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1377696294 node104.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.11 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.11 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.11 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.11 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: 21579920 kB MemAvailable: 31943744 kB Buffers: 215080 kB Cached: 10362308 kB SwapCached: 0 kB Active: 1729620 kB Inactive: 8898548 kB Active(anon): 53952 kB Inactive(anon): 17040 kB Active(file): 1675668 kB Inactive(file): 8881508 kB Unevictable: 7224 kB Mlocked: 7224 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8968 kB Writeback: 0 kB AnonPages: 58592 kB Mapped: 34468 kB Shmem: 17036 kB Slab: 260228 kB SReclaimable: 235108 kB SUnreclaim: 25120 kB KernelStack: 3136 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317788 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 57228 MiB End job on node104 at 2018-07-21 19:08:24