Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 37.7821 | 37.7791 |
Name | Crossword/Crossword-m1c-lex-herald/ Crossword-m1c-lex-h2304.xml |
MD5SUM | 2b17aa29d465407901b3bf5b8794b9ea |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.61632 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 529 |
Number of constraints | 170 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":449}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":80},{"degree":2,"count":449}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":20},{"arity":4,"count":20},{"arity":5,"count":84},{"arity":6,"count":12},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":8}] |
Number of extensional constraints | 170 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":170}] |
Optimization problem | NO |
Type of objective |
0.10/0.20 c root propagations : 528 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c This is cosoco 2.00 -- 0.10/0.20 c 0.10/0.20 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397430-1568589762.xml 0.10/0.20 c ========================================[ Problem Statistics ]=========================================== 0.10/0.20 c | 0.10/0.20 c | Parse time : 0.16 s 0.10/0.20 c | 0.10/0.20 c | Variables: 529 0.10/0.20 c | Domain Sizes: 26..26 0.10/0.20 c | 0.10/0.20 c | Constraints: 170 0.10/0.20 c | Arity: 3..9 -- Ternary: 20 0.10/0.20 c | 0.10/0.20 c | Types: 0.10/0.20 c | Extension: 170 (nb tuples: 753..4042) -- (shared: 163) 0.10/0.20 c | 0.10/0.20 c ========================================================================================================= 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c remove useless variable x[0][5] 0.10/0.20 c remove useless variable x[0][11] 0.10/0.20 c remove useless variable x[0][17] 0.10/0.20 c remove useless variable x[1][5] 0.10/0.20 c remove useless variable x[1][11] 0.10/0.20 c remove useless variable x[1][17] 0.10/0.20 c remove useless variable x[2][5] 0.10/0.20 c remove useless variable x[2][11] 0.10/0.20 c remove useless variable x[2][17] 0.10/0.20 c remove useless variable x[3][9] 0.10/0.20 c remove useless variable x[3][13] 0.10/0.20 c remove useless variable x[4][8] 0.10/0.20 c remove useless variable x[4][14] 0.10/0.20 c remove useless variable x[5][0] 0.10/0.20 c remove useless variable x[5][1] 0.10/0.20 c remove useless variable x[5][2] 0.10/0.20 c remove useless variable x[5][7] 0.10/0.20 c remove useless variable x[5][15] 0.10/0.20 c remove useless variable x[5][20] 0.10/0.20 c remove useless variable x[5][21] 0.10/0.20 c remove useless variable x[5][22] 0.10/0.20 c remove useless variable x[6][6] 0.10/0.20 c remove useless variable x[6][12] 0.10/0.20 c remove useless variable x[6][16] 0.10/0.20 c remove useless variable x[7][5] 0.10/0.20 c remove useless variable x[7][11] 0.10/0.20 c remove useless variable x[7][17] 0.10/0.20 c remove useless variable x[8][4] 0.10/0.20 c remove useless variable x[8][10] 0.10/0.20 c remove useless variable x[8][18] 0.10/0.20 c remove useless variable x[9][3] 0.10/0.20 c remove useless variable x[9][9] 0.10/0.20 c remove useless variable x[9][13] 0.10/0.20 c remove useless variable x[9][19] 0.10/0.20 c remove useless variable x[10][6] 0.10/0.20 c remove useless variable x[10][14] 0.10/0.20 c remove useless variable x[11][0] 0.10/0.20 c remove useless variable x[11][1] 0.10/0.20 c remove useless variable x[11][2] 0.10/0.20 c remove useless variable x[11][7] 0.10/0.20 c remove useless variable x[11][15] 0.10/0.20 c remove useless variable x[11][20] 0.10/0.20 c remove useless variable x[11][21] 0.10/0.20 c remove useless variable x[11][22] 0.10/0.20 c remove useless variable x[12][8] 0.10/0.20 c remove useless variable x[12][16] 0.10/0.20 c remove useless variable x[13][3] 0.10/0.20 c remove useless variable x[13][9] 0.10/0.20 c remove useless variable x[13][13] 0.10/0.20 c remove useless variable x[13][19] 0.10/0.20 c remove useless variable x[14][4] 0.10/0.20 c remove useless variable x[14][12] 0.10/0.20 c remove useless variable x[14][18] 0.10/0.20 c remove useless variable x[15][5] 0.10/0.20 c remove useless variable x[15][11] 0.10/0.20 c remove useless variable x[15][17] 0.10/0.20 c remove useless variable x[16][6] 0.10/0.20 c remove useless variable x[16][10] 0.10/0.20 c remove useless variable x[16][16] 0.10/0.20 c remove useless variable x[17][0] 0.10/0.20 c remove useless variable x[17][1] 0.10/0.20 c remove useless variable x[17][2] 0.10/0.20 c remove useless variable x[17][7] 0.10/0.20 c remove useless variable x[17][15] 0.10/0.20 c remove useless variable x[17][20] 0.10/0.20 c remove useless variable x[17][21] 0.10/0.20 c remove useless variable x[17][22] 0.10/0.20 c remove useless variable x[18][8] 0.10/0.20 c remove useless variable x[18][14] 0.10/0.20 c remove useless variable x[19][9] 0.10/0.20 c remove useless variable x[19][13] 0.10/0.20 c remove useless variable x[20][5] 0.10/0.20 c remove useless variable x[20][11] 0.10/0.20 c remove useless variable x[20][17] 0.10/0.20 c remove useless variable x[21][5] 0.10/0.20 c remove useless variable x[21][11] 0.10/0.20 c remove useless variable x[21][17] 0.10/0.20 c remove useless variable x[22][5] 0.10/0.20 c remove useless variable x[22][11] 0.10/0.20 c remove useless variable x[22][17] 0.21/0.31 c 101 304 5936 37324 303 0 40 157 135 0.41/0.46 c 211 864 13630 94852 303 0 16 241 129 0.60/0.64 c 332 1484 23188 166550 303 0 16 207 176 0.69/0.75 c 465 1865 32788 230764 303 0 11 25 17 0.89/0.92 c 611 2161 41515 305695 303 0 6 12 9 1.10/1.12 c 771 2439 50786 390855 303 0 5 16 10 1.29/1.35 c 947 2927 64363 499289 303 0 5 21 11 1.49/1.50 c 1140 3303 75442 583698 303 0 10 18 14 1.59/1.69 c 1352 3744 88497 680260 303 0 12 22 15 1.79/1.86 c 1585 4191 102615 786312 303 0 10 21 13 2.10/2.18 c 1841 5038 122243 930368 303 0 5 31 11 2.39/2.40 c 2122 5567 137833 1060609 303 0 10 21 13 2.69/2.73 c 2431 6256 159059 1226109 303 0 8 23 12 3.00/3.01 c 2770 6868 178671 1383312 303 0 10 19 13 3.39/3.48 c 3142 7812 204178 1593123 303 0 7 16 11 3.79/3.88 c 3551 8519 224017 1785767 303 0 6 19 9 4.19/4.27 c 4000 9613 250491 1997438 303 0 6 69 15 4.69/4.79 c 4493 10742 279850 2247435 303 0 7 69 13 5.19/5.24 c 5035 12031 314793 2492054 303 0 5 21 14 5.79/5.88 c 5631 13668 351298 2773849 303 0 6 61 14 6.59/6.64 c 6286 15027 389507 3105904 303 0 4 17 10 7.39/7.40 c 7006 16467 428691 3453877 303 0 6 17 11 8.29/8.30 c 7798 18644 485438 3874096 303 0 3 61 12 9.10/9.14 c 8669 21653 544513 4277294 303 0 6 247 113 9.69/9.77 c 9627 24517 594215 4618727 303 0 56 412 271 10.29/10.33 c 10680 27757 653637 4981176 303 0 56 307 281 11.19/11.21 c 11838 30333 720427 5432657 303 0 56 278 261 12.19/12.29 c 13111 35472 800925 5930151 303 0 68 222 156 13.19/13.28 c 14511 39175 892211 6555175 303 0 76 380 340 15.29/15.39 c 16051 45901 1006992 7466340 303 0 114 294 276 17.39/17.44 c 17745 50059 1109576 8335004 303 0 14 80 24 19.29/19.33 c 19608 54320 1221035 9234810 303 0 7 24 13 21.59/21.62 c 21657 59336 1360240 10352440 303 0 10 108 88 23.69/23.73 c 23910 66322 1509067 11387004 303 0 11 144 67 26.79/26.88 c 26388 72355 1664823 12782284 303 0 20 75 52 29.59/29.61 c 29113 79448 1846353 14130895 303 0 5 110 47 32.39/32.49 c 32110 90451 2052714 15595008 303 0 4 394 202 35.39/35.42 c 35406 104254 2273211 17274492 303 0 11 345 292 37.69/37.77 c First solution is found 37.69/37.77 s SATISFIABLE 37.69/37.77 c restarts : 38 37.69/37.77 c conflicts : 38893 (1030 /sec) 37.69/37.77 c decisions : 116857 (3094 /sec) 37.69/37.77 c propagations : 18667003 (494189 /sec) 37.69/37.77 c root propagations : 528 37.69/37.77 c filter calls : 2507410 (66381 /sec) 37.69/37.77 c useless filter calls : 668958 (26 %) 37.69/37.77 c Memory used : 33.70 MB 37.69/37.77 c CPU time : 37.773 s 37.69/37.77 c real time : 37.7747 s 37.69/37.77 37.69/37.77 c solution 1 37.69/37.77 37.69/37.77 v <instantiation type='solution'> 37.69/37.77 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list> 37.69/37.77 v <values>18 19 0 15 7 * 18 0 11 4 12 * 7 0 8 5 0 * 18 2 0 20 15 19 4 17 17 4 * 19 17 8 0 2 * 8 13 5 4 17 * 2 14 1 17 0 0 17 6 14 13 * 0 11 0 17 12 * 2 24 13 8 2 * 14 17 1 8 19 15 17 14 15 4 11 11 4 17 * 8 17 10 * 8 13 19 4 17 21 4 13 4 7 4 13 4 16 20 4 13 * 18 11 4 4 19 * 19 0 23 15 0 24 4 17 * * * 11 20 2 24 * 1 8 11 0 24 4 17 * 13 0 8 11 * * * 18 8 1 11 4 24 * 7 8 17 0 12 * 17 7 14 * 12 14 11 4 18 19 0 11 11 4 13 * 7 0 6 4 13 * 15 17 8 18 12 * 13 8 2 7 4 11 14 20 3 * 18 8 17 4 13 * 5 17 0 13 2 4 18 * 18 11 8 15 14 13 4 * 2 0 12 4 11 * 17 8 14 * 4 0 19 4 13 * 0 13 8 13 0 19 7 0 13 * 12 14 13 0 17 2 7 * 17 4 12 8 19 19 4 3 * * * 4 17 3 0 * 22 8 17 4 19 0 15 * 17 8 6 0 * * * 0 6 6 17 8 4 21 4 * 1 8 12 14 3 0 11 * 13 4 19 19 11 4 1 14 0 * 1 17 0 8 3 * 19 0 17 * 11 0 12 0 17 * 7 4 13 17 14 19 2 * 18 8 3 4 12 0 13 * 13 14 1 4 11 * 5 8 0 19 0 3 14 17 13 * 11 4 13 8 13 * 22 14 12 0 13 * 2 20 17 18 4 12 24 17 8 0 3 * 17 4 3 * 3 8 21 0 13 * 1 14 17 3 4 17 * * * 19 17 4 4 * 1 0 18 8 11 0 17 * 1 14 13 13 * * * 1 0 18 4 1 0 11 11 * 18 19 0 11 10 * 18 4 13 19 8 13 4 11 0 18 19 17 14 13 0 20 19 * 4 11 8 * 12 0 6 13 4 19 8 19 4 18 19 0 8 13 * 8 12 0 6 4 * 0 11 14 13 6 * 12 20 6 7 14 18 4 19 14 13 * 13 4 15 0 11 * 12 0 11 19 0 * 15 17 4 4 13 8 17 4 13 4 * 4 13 4 12 24 * 18 14 11 0 17 * 19 4 17 17 4 </values> 37.69/37.77 v </instantiation> 37.69/37.77
OK
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: 16375 MiB (14483 MiB free) memory of node 1: 16384 MiB (15558 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397430-1568589762/watcher-4397430-1568589762 -o /tmp/evaluation-result-4397430-1568589762/solver-4397430-1568589762 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397430-1568589762.xml running on 4 cores: 4-7 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=20351, runsolver pid=20348 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 2.68 2.17 2.10 3/201 20352 /proc/meminfo: memFree=30760844/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=29044 memory=5272 CPUtime=0.1 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 1521 0 0 0 10 0 0 0 20 0 1 0 434917890 29741056 1318 33554432000 4194304 6211092 140734538378496 140734538375032 5817885 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 7261 1318 815 493 0 566 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29044 KiB Current children cumulated memory: 5272 KiB [startup+0.210742 s]* /proc/loadavg: 2.68 2.17 2.10 3/201 20352 /proc/meminfo: memFree=30756380/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33432 memory=9760 CPUtime=0.21 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 2648 0 0 0 21 0 0 0 20 0 1 0 434917890 34234368 2440 33554432000 4194304 6211092 140734538378496 140734538375032 5039007 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8358 2440 817 493 0 1663 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33432 KiB Current children cumulated memory: 9760 KiB [startup+0.31074 s]* /proc/loadavg: 2.68 2.17 2.10 4/202 20354 /proc/meminfo: memFree=30753324/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33564 memory=10024 CPUtime=0.31 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 2690 0 0 0 31 0 0 0 20 0 1 0 434917890 34369536 2506 33554432000 4194304 6211092 140734538378496 140734538375032 5039178 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8391 2506 858 493 0 1696 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 33564 KiB Current children cumulated memory: 10024 KiB [startup+0.7003 s] /proc/loadavg: 2.68 2.17 2.10 3/202 20354 /proc/meminfo: memFree=30755036/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33828 memory=10288 CPUtime=0.69 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 2754 0 0 0 69 0 0 0 20 0 1 0 434917890 34639872 2572 33554432000 4194304 6211092 140734538378496 140734538375032 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8457 2572 860 493 0 1762 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 33828 KiB Current children cumulated memory: 10288 KiB [startup+1.50029 s] /proc/loadavg: 2.71 2.19 2.10 3/202 20354 /proc/meminfo: memFree=30755116/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33828 memory=10288 CPUtime=1.49 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 2754 0 0 0 149 0 0 0 20 0 1 0 434917890 34639872 2572 33554432000 4194304 6211092 140734538378496 140734538376456 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8457 2572 860 493 0 1762 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 33828 KiB Current children cumulated memory: 10288 KiB [startup+3.11034 s] /proc/loadavg: 2.71 2.19 2.10 3/201 20354 /proc/meminfo: memFree=30755128/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33828 memory=10364 CPUtime=3.1 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 3605 0 0 0 310 0 0 0 20 0 1 0 434917890 34639872 2591 33554432000 4194304 6211092 140734538378496 140734538376456 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8457 2591 860 493 0 1762 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 33828 KiB Current children cumulated memory: 10364 KiB [startup+6.30028 s] /proc/loadavg: 2.81 2.22 2.11 3/201 20354 /proc/meminfo: memFree=30755176/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=33828 memory=10364 CPUtime=6.29 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 4606 0 0 0 629 0 0 0 20 0 1 0 434917890 34639872 2591 33554432000 4194304 6211092 140734538378496 140734538376456 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8457 2591 860 493 0 1762 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 33828 KiB Current children cumulated memory: 10364 KiB [startup+12.7003 s] /proc/loadavg: 2.83 2.23 2.12 3/201 20354 /proc/meminfo: memFree=30754936/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=10816 CPUtime=12.69 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 6416 0 0 0 1269 0 0 0 20 0 1 0 434917890 35328000 2704 33554432000 4194304 6211092 140734538378496 140734538376456 5039228 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2704 860 493 0 1930 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 10816 KiB [startup+25.5003 s] /proc/loadavg: 2.70 2.22 2.12 3/201 20354 /proc/meminfo: memFree=30754500/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=10984 CPUtime=25.49 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 9403 0 0 0 2549 0 0 0 20 0 1 0 434917890 35328000 2746 33554432000 4194304 6211092 140734538378496 140734538376456 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2746 860 493 0 1930 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 10984 KiB [startup+37.7791 s] # the end of solver process 20351 was just reported to runsolver # cumulated CPU time of all completed processes: user=37.7731 s, system=0.009 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6003 s] /proc/loadavg: 2.70 2.22 2.12 3/201 20354 /proc/meminfo: memFree=30754500/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=10984 CPUtime=25.59 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 9403 0 0 0 2559 0 0 0 20 0 1 0 434917890 35328000 2746 33554432000 4194304 6211092 140734538378496 140734538376456 5039199 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2746 860 493 0 1930 0 Current children cumulated CPU time: 25.59 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 10984 KiB [startup+32.0003 s]* /proc/loadavg: 2.59 2.22 2.11 3/201 20354 /proc/meminfo: memFree=30754780/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=32 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10015 0 0 0 3200 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5039014 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 32 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB [startup+35.2003 s] /proc/loadavg: 2.59 2.22 2.11 3/201 20354 /proc/meminfo: memFree=30754788/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=35.19 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10016 0 0 0 3519 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5039536 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 35.19 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB [startup+36.8003 s] /proc/loadavg: 2.55 2.21 2.11 3/201 20354 /proc/meminfo: memFree=30754788/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=36.79 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10017 0 0 0 3679 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 36.79 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB [startup+37.2003 s] /proc/loadavg: 2.55 2.21 2.11 3/201 20354 /proc/meminfo: memFree=30754788/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=37.19 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10017 0 0 0 3719 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 37.19 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB [startup+37.6003 s] /proc/loadavg: 2.55 2.21 2.11 3/201 20354 /proc/meminfo: memFree=30754788/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=37.59 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10024 0 0 0 3759 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5039070 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 37.59 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB [startup+37.7003 s] /proc/loadavg: 2.55 2.21 2.11 3/201 20354 /proc/meminfo: memFree=30754788/32770688 swapFree=66961180/67108860 [pid=20351] ppid=20348 vsize=34500 memory=11024 CPUtime=37.69 cores=4-7 /proc/20351/stat : 20351 (cosoco) R 20348 20351 16726 0 -1 4202496 10024 0 0 0 3769 0 0 0 20 0 1 0 434917890 35328000 2756 33554432000 4194304 6211092 140734538378496 140734538376456 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 15486976 140734538380299 140734538380401 140734538380401 140734538383310 0 /proc/20351/statm: 8625 2756 860 493 0 1930 0 Current children cumulated CPU time: 37.69 s Current children cumulated vsize: 34500 KiB Current children cumulated memory: 11024 KiB Child status: 0 Real time (s): 37.7791 CPU time (s): 37.7821 CPU user time (s): 37.7731 CPU system time (s): 0.009 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 34500 Max. memory (cumulated for all children) (KiB): 11024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.7731 system time used= 0.009 maximum resident set size= 11160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10066 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 12 # summary of solver processes directly reported to runsolver: # pid: 20351 # total CPU time (s): 37.7821 # total CPU user time (s): 37.7731 # total CPU system time (s): 0.009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.174303 second user time and 0.322536 second system time The end
Begin job on node116 at 2019-09-16 01:22:01 IDJOB=4397430 IDBENCH=139816 IDSOLVER=2849 FILE ID=node116/4397430-1568589762 RUNJOBID= node116-1568572744-16758 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Crossword/Crossword-m1c-lex-herald/Crossword-m1c-lex-h2304.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397430-1568589762/watcher-4397430-1568589762 -o /tmp/evaluation-result-4397430-1568589762/solver-4397430-1568589762 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397430-1568589762.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2b17aa29d465407901b3bf5b8794b9ea RANDOM SEED=1699329214 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30762560 kB MemAvailable: 31846744 kB Buffers: 112364 kB Cached: 1266088 kB SwapCached: 46616 kB Active: 929916 kB Inactive: 500348 kB Active(anon): 5720 kB Inactive(anon): 94976 kB Active(file): 924196 kB Inactive(file): 405372 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961180 kB Dirty: 3412 kB Writeback: 0 kB AnonPages: 212648 kB Mapped: 48332 kB Shmem: 40264 kB Slab: 169632 kB SReclaimable: 140900 kB SUnreclaim: 28732 kB KernelStack: 3840 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 536868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61228 MiB End job on node116 at 2019-09-16 01:22:39