| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.08 | 2400.4 |
| Name | Kakuro/Kakuro-sumdiff-medium/ Kakuro-medium-191-sumdiff.xml |
| MD5SUM | 261f5e0f67b6e0c567fd630968b40e71 |
| 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.17449 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 704 |
| Number of constraints | 508 |
| Number of domains | 1 |
| Minimum domain size | 9 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":9,"count":499}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":0,"count":205},{"degree":4,"count":499}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":128},{"arity":3,"count":132},{"arity":4,"count":64},{"arity":5,"count":104},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":9,"count":24}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":254},{"type":"sum","count":254}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.04 c SAT : Variables: 6336 -- Clauses: 26048 0.00/0.04 c root propagations : 1385 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 1.0 -- 0.00/0.04 c 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.03 s 0.00/0.04 c | 0.00/0.04 c | Variables: 704 0.00/0.04 c | Domain Sizes: 9..9 0.00/0.04 c | 0.00/0.04 c | Constraints: 508 0.00/0.04 c | Arity: 2..9 -- Binary: 128 -- Ternary: 132 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | All Different: 254 0.00/0.04 c | Sum: 254 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c remove useless variable x[0][0] 0.00/0.04 c remove useless variable x[0][1] 0.00/0.04 c remove useless variable x[0][2] 0.00/0.04 c remove useless variable x[0][3] 0.00/0.04 c remove useless variable x[0][4] 0.00/0.04 c remove useless variable x[0][5] 0.00/0.04 c remove useless variable x[0][6] 0.00/0.04 c remove useless variable x[0][7] 0.00/0.04 c remove useless variable x[0][8] 0.00/0.04 c remove useless variable x[0][9] 0.00/0.04 c remove useless variable x[0][10] 0.00/0.04 c remove useless variable x[0][11] 0.00/0.04 c remove useless variable x[0][12] 0.00/0.04 c remove useless variable x[0][13] 0.00/0.04 c remove useless variable x[0][14] 0.00/0.04 c remove useless variable x[0][15] 0.00/0.04 c remove useless variable x[0][16] 0.00/0.04 c remove useless variable x[0][17] 0.00/0.04 c remove useless variable x[0][18] 0.00/0.04 c remove useless variable x[0][19] 0.00/0.04 c remove useless variable x[0][20] 0.00/0.04 c remove useless variable x[0][21] 0.00/0.04 c remove useless variable x[1][0] 0.00/0.04 c remove useless variable x[1][1] 0.00/0.04 c remove useless variable x[1][2] 0.00/0.04 c remove useless variable x[1][7] 0.00/0.04 c remove useless variable x[1][10] 0.00/0.04 c remove useless variable x[1][11] 0.00/0.04 c remove useless variable x[1][12] 0.00/0.04 c remove useless variable x[1][15] 0.00/0.04 c remove useless variable x[1][20] 0.00/0.04 c remove useless variable x[1][21] 0.00/0.04 c remove useless variable x[2][0] 0.00/0.04 c remove useless variable x[2][1] 0.00/0.04 c remove useless variable x[2][11] 0.00/0.04 c remove useless variable x[2][21] 0.00/0.04 c remove useless variable x[3][0] 0.00/0.04 c remove useless variable x[3][4] 0.00/0.04 c remove useless variable x[3][8] 0.00/0.04 c remove useless variable x[3][14] 0.00/0.04 c remove useless variable x[3][18] 0.00/0.04 c remove useless variable x[4][0] 0.00/0.04 c remove useless variable x[4][3] 0.00/0.04 c remove useless variable x[4][7] 0.00/0.04 c remove useless variable x[4][8] 0.00/0.04 c remove useless variable x[4][9] 0.00/0.04 c remove useless variable x[4][13] 0.00/0.04 c remove useless variable x[4][14] 0.00/0.04 c remove useless variable x[4][15] 0.00/0.04 c remove useless variable x[4][19] 0.00/0.04 c remove useless variable x[5][0] 0.00/0.04 c remove useless variable x[5][5] 0.00/0.04 c remove useless variable x[5][8] 0.00/0.04 c remove useless variable x[5][14] 0.00/0.04 c remove useless variable x[5][17] 0.00/0.04 c remove useless variable x[6][0] 0.00/0.04 c remove useless variable x[6][1] 0.00/0.04 c remove useless variable x[6][6] 0.00/0.04 c remove useless variable x[6][11] 0.00/0.04 c remove useless variable x[6][16] 0.00/0.04 c remove useless variable x[6][21] 0.00/0.04 c remove useless variable x[7][0] 0.00/0.04 c remove useless variable x[7][4] 0.00/0.04 c remove useless variable x[7][10] 0.00/0.04 c remove useless variable x[7][18] 0.00/0.04 c remove useless variable x[8][0] 0.00/0.04 c remove useless variable x[8][3] 0.00/0.04 c remove useless variable x[8][4] 0.00/0.04 c remove useless variable x[8][5] 0.00/0.04 c remove useless variable x[8][13] 0.00/0.04 c remove useless variable x[8][17] 0.00/0.04 c remove useless variable x[8][18] 0.00/0.04 c remove useless variable x[8][19] 0.00/0.04 c remove useless variable x[9][0] 0.00/0.04 c remove useless variable x[9][4] 0.00/0.04 c remove useless variable x[9][7] 0.00/0.04 c remove useless variable x[9][12] 0.00/0.04 c remove useless variable x[9][18] 0.00/0.04 c remove useless variable x[10][0] 0.00/0.04 c remove useless variable x[10][1] 0.00/0.04 c remove useless variable x[10][9] 0.00/0.04 c remove useless variable x[10][15] 0.00/0.04 c remove useless variable x[10][21] 0.00/0.04 c remove useless variable x[11][0] 0.00/0.04 c remove useless variable x[11][1] 0.00/0.04 c remove useless variable x[11][2] 0.00/0.04 c remove useless variable x[11][8] 0.00/0.04 c remove useless variable x[11][11] 0.00/0.04 c remove useless variable x[11][14] 0.00/0.04 c remove useless variable x[11][20] 0.00/0.04 c remove useless variable x[11][21] 0.00/0.04 c remove useless variable x[12][0] 0.00/0.04 c remove useless variable x[12][1] 0.00/0.04 c remove useless variable x[12][5] 0.00/0.04 c remove useless variable x[12][12] 0.00/0.04 c remove useless variable x[12][18] 0.00/0.04 c remove useless variable x[12][21] 0.00/0.04 c remove useless variable x[13][0] 0.00/0.04 c remove useless variable x[13][6] 0.00/0.04 c remove useless variable x[13][9] 0.00/0.04 c remove useless variable x[13][16] 0.00/0.04 c remove useless variable x[14][0] 0.00/0.04 c remove useless variable x[14][3] 0.00/0.04 c remove useless variable x[14][10] 0.00/0.04 c remove useless variable x[14][14] 0.00/0.04 c remove useless variable x[14][17] 0.00/0.04 c remove useless variable x[15][0] 0.00/0.04 c remove useless variable x[15][4] 0.00/0.04 c remove useless variable x[15][7] 0.00/0.04 c remove useless variable x[15][13] 0.00/0.04 c remove useless variable x[15][19] 0.00/0.04 c remove useless variable x[16][0] 0.00/0.04 c remove useless variable x[16][1] 0.00/0.04 c remove useless variable x[16][6] 0.00/0.04 c remove useless variable x[16][16] 0.00/0.04 c remove useless variable x[16][21] 0.00/0.04 c remove useless variable x[17][0] 0.00/0.04 c remove useless variable x[17][3] 0.00/0.04 c remove useless variable x[17][9] 0.00/0.04 c remove useless variable x[17][15] 0.00/0.04 c remove useless variable x[17][18] 0.00/0.04 c remove useless variable x[18][0] 0.00/0.04 c remove useless variable x[18][5] 0.00/0.04 c remove useless variable x[18][8] 0.00/0.04 c remove useless variable x[18][12] 0.00/0.04 c remove useless variable x[18][19] 0.00/0.04 c remove useless variable x[19][0] 0.00/0.04 c remove useless variable x[19][6] 0.00/0.04 c remove useless variable x[19][13] 0.00/0.04 c remove useless variable x[19][16] 0.00/0.04 c remove useless variable x[20][0] 0.00/0.04 c remove useless variable x[20][1] 0.00/0.04 c remove useless variable x[20][4] 0.00/0.04 c remove useless variable x[20][10] 0.00/0.04 c remove useless variable x[20][17] 0.00/0.04 c remove useless variable x[20][21] 0.00/0.04 c remove useless variable x[21][0] 0.00/0.04 c remove useless variable x[21][1] 0.00/0.04 c remove useless variable x[21][2] 0.00/0.04 c remove useless variable x[21][8] 0.00/0.04 c remove useless variable x[21][11] 0.00/0.04 c remove useless variable x[21][14] 0.00/0.04 c remove useless variable x[21][20] 0.00/0.04 c remove useless variable x[21][21] 0.00/0.04 c remove useless variable x[22][0] 0.00/0.04 c remove useless variable x[22][1] 0.00/0.04 c remove useless variable x[22][7] 0.00/0.04 c remove useless variable x[22][13] 0.00/0.04 c remove useless variable x[22][21] 0.00/0.04 c remove useless variable x[23][0] 0.00/0.04 c remove useless variable x[23][4] 0.00/0.04 c remove useless variable x[23][10] 0.00/0.04 c remove useless variable x[23][15] 0.00/0.04 c remove useless variable x[23][18] 0.00/0.04 c remove useless variable x[24][0] 0.00/0.04 c remove useless variable x[24][3] 0.00/0.04 c remove useless variable x[24][4] 0.00/0.04 c remove useless variable x[24][5] 0.00/0.04 c remove useless variable x[24][9] 0.00/0.04 c remove useless variable x[24][17] 0.00/0.04 c remove useless variable x[24][18] 0.00/0.04 c remove useless variable x[24][19] 0.00/0.04 c remove useless variable x[25][0] 0.00/0.04 c remove useless variable x[25][4] 0.00/0.04 c remove useless variable x[25][12] 0.00/0.04 c remove useless variable x[25][18] 0.00/0.04 c remove useless variable x[26][0] 0.00/0.04 c remove useless variable x[26][1] 0.00/0.04 c remove useless variable x[26][6] 0.00/0.04 c remove useless variable x[26][11] 0.00/0.04 c remove useless variable x[26][16] 0.00/0.04 c remove useless variable x[26][21] 0.00/0.04 c remove useless variable x[27][0] 0.00/0.04 c remove useless variable x[27][5] 0.00/0.04 c remove useless variable x[27][8] 0.00/0.04 c remove useless variable x[27][14] 0.00/0.04 c remove useless variable x[27][17] 0.00/0.04 c remove useless variable x[28][0] 0.00/0.04 c remove useless variable x[28][3] 0.00/0.04 c remove useless variable x[28][7] 0.00/0.04 c remove useless variable x[28][8] 0.00/0.04 c remove useless variable x[28][9] 0.00/0.04 c remove useless variable x[28][13] 0.00/0.04 c remove useless variable x[28][14] 0.00/0.04 c remove useless variable x[28][15] 0.00/0.04 c remove useless variable x[28][19] 0.00/0.04 c remove useless variable x[29][0] 0.00/0.04 c remove useless variable x[29][4] 0.00/0.04 c remove useless variable x[29][8] 0.00/0.04 c remove useless variable x[29][14] 0.00/0.04 c remove useless variable x[29][18] 0.00/0.04 c remove useless variable x[30][0] 0.00/0.04 c remove useless variable x[30][1] 0.00/0.04 c remove useless variable x[30][11] 0.00/0.04 c remove useless variable x[30][21] 0.00/0.04 c remove useless variable x[31][0] 0.00/0.04 c remove useless variable x[31][1] 0.00/0.04 c remove useless variable x[31][2] 0.00/0.04 c remove useless variable x[31][7] 0.00/0.04 c remove useless variable x[31][10] 0.00/0.04 c remove useless variable x[31][11] 0.00/0.04 c remove useless variable x[31][12] 0.00/0.04 c remove useless variable x[31][15] 0.00/0.04 c remove useless variable x[31][20] 0.00/0.04 c remove useless variable x[31][21] 0.00/0.04 c 10 57 1750 2033 306 2 3 43 32 0.00/0.04 c 20 183 2993 2672 306 12 2 117 53 0.00/0.04 c 30 265 3850 3261 306 17 2 66 28 0.00/0.04 c 40 300 4373 3693 312 24 1 20 10 0.00/0.05 c 50 466 6186 4777 313 29 10 130 42 0.00/0.05 c 60 667 8240 5885 313 39 12 181 80 0.00/0.05 c 70 809 9623 6669 313 49 9 131 65 0.00/0.05 c 80 869 10380 7173 313 58 1 48 25 0.00/0.05 c 90 943 11264 7745 313 66 1 63 27 0.00/0.05 c 100 1019 12234 8349 313 75 1 62 30 0.00/0.05 c 101 1027 12463 8529 313 76 8 8 4 0.00/0.05 c 110 1068 13228 9127 322 84 1 20 5 0.00/0.06 c 120 1157 14153 9687 322 87 1 74 48 0.00/0.06 c 130 1227 15007 10259 322 90 1 41 27 0.00/0.06 c 140 1309 16015 10920 322 92 19 52 36 0.00/0.06 c 150 1389 17051 11568 322 93 17 32 20 0.00/0.06 c 160 1578 18881 12516 322 99 1 179 118 0.00/0.06 c 170 1796 20960 13653 322 107 1 209 110 0.00/0.07 c 180 1998 23202 15229 322 112 87 188 150 0.00/0.07 c 190 2188 25335 16533 322 119 1 166 88 0.00/0.07 c 200 2396 27310 17674 322 129 46 199 91 0.00/0.07 c 210 2509 28816 18603 322 133 1 101 70 0.00/0.07 c 211 2510 28822 18611 322 133 1 1 0 0.00/0.07 c 220 2638 30206 19453 322 138 43 115 48 0.00/0.08 c 230 2727 31305 20278 322 144 1 74 32 0.00/0.08 c 240 2776 32048 20819 322 148 21 32 26 0.00/0.08 c 250 2950 34037 22157 322 157 1 144 84 0.00/0.08 c 260 3087 35649 23215 322 164 1 115 78 0.00/0.08 c 270 3174 36806 24018 323 167 1 63 30 0.00/0.08 c 280 3300 38332 25025 323 173 76 115 99 0.00/0.08 c 290 3395 39633 25866 323 176 1 81 65 0.00/0.09 c 300 3544 41401 26999 325 184 1 136 52 0.00/0.09 c 310 3740 43568 28398 325 187 1 132 86 0.00/0.09 c 320 3812 44561 29083 325 189 1 37 23 0.00/0.09 c 330 3905 45988 30034 325 194 6 78 61 0.00/0.09 c 332 3907 46008 30069 325 195 1 1 0 0.00/0.09 c 340 4015 47456 30948 325 201 1 96 34 0.00/0.09 c 350 4115 48791 31746 325 210 27 84 55 0.00/0.10 c 360 4172 49628 32418 325 214 1 33 20 0.09/0.10 c 370 4229 50416 32980 325 219 1 24 11 0.09/0.10 c 380 4497 53000 34380 325 227 6 252 103 0.09/0.10 c 390 4550 53998 35183 326 229 1 27 19 0.09/0.10 c 400 4755 56068 36406 326 233 13 172 122 0.09/0.10 c 410 5039 58823 37839 326 241 10 267 182 0.09/0.11 c 420 5258 60957 39183 326 245 1 140 95 0.09/0.11 c 430 5473 63203 40566 326 250 111 151 122 0.09/0.11 c 440 5587 65752 42569 326 253 1 67 43 0.09/0.11 c 450 5735 67389 43579 326 261 10 128 89 0.09/0.11 c 460 5886 69188 44815 326 265 1 116 91 0.09/0.12 c 465 5955 70228 45435 326 269 12 64 44 0.09/0.12 c 470 5997 70880 45870 326 272 12 36 23 0.09/0.12 c 480 6092 72153 46644 326 282 12 85 47 0.09/0.12 c 490 6197 73717 47671 326 285 13 89 57 0.09/0.12 c 500 6338 75337 48699 326 293 1 127 62 0.09/0.12 c 510 6431 77306 50184 326 296 42 63 49 0.09/0.12 c 520 6483 78029 50653 326 299 1 31 21 0.09/0.13 c 530 6675 80199 52097 326 302 106 125 105 0.09/0.13 c 540 6808 81924 53191 329 305 1 115 89 0.09/0.13 c 550 6915 83735 54403 329 311 40 66 42 0.09/0.13 c 560 7004 84973 55191 329 318 17 70 33 0.09/0.13 c 570 7096 86281 55981 329 328 23 82 51 0.09/0.13 c 580 7171 87465 56770 329 335 36 63 49 0.09/0.13 c 590 7289 88909 57692 329 342 44 108 71 0.09/0.13 c 600 7344 90026 58473 329 347 1 31 23 0.09/0.14 c 610 7456 91434 59321 329 357 33 102 57 0.09/0.14 c 611 7498 92168 59781 329 358 42 42 21 0.09/0.14 c 620 7585 93449 60566 329 367 33 78 50 0.09/0.14 c 630 7661 94782 61470 329 374 45 63 52 0.09/0.14 c 640 7744 95928 62169 329 382 43 74 51 0.09/0.14 c 650 7811 97059 62940 329 388 1 56 38 0.09/0.14 c 660 7899 98310 63724 329 398 14 77 36 0.09/0.14 c 670 7954 99209 64307 329 407 15 44 28 0.09/0.14 c 680 8003 100069 64916 329 412 30 38 30 0.09/0.14 c 690 8063 101156 65619 332 418 1 35 20 0.09/0.15 c 700 8124 102076 66200 332 423 27 43 29 0.09/0.15 c 710 8214 103234 66918 332 433 17 78 44 0.09/0.15 c 720 8277 104170 67545 332 438 15 42 28 0.09/0.15 c 730 8323 104851 68000 332 440 12 31 21 0.09/0.15 c 740 8401 105897 68663 332 446 8 48 22 0.09/0.15 c 750 8472 106936 69367 332 451 1 44 20 0.09/0.15 c 760 8648 109197 70873 332 453 56 108 73 0.09/0.15 c 770 8707 110129 71498 332 460 31 47 38 0.09/0.15 c 771 8736 110517 71711 332 461 29 29 14 0.09/0.15 c 780 8858 112049 72653 332 469 44 108 63 0.09/0.16 c 790 8931 113145 73369 332 473 1 40 16 0.09/0.16 c 800 9063 114771 74445 332 477 40 101 65 0.09/0.16 c 810 9145 116007 75248 332 481 1 43 14 0.09/0.16 c 820 9208 116988 75917 332 483 12 30 21 0.09/0.16 c 830 9321 118947 77231 332 487 12 57 24 0.09/0.16 c 840 9393 120183 78072 332 488 25 40 30 0.09/0.16 c 850 9491 121496 78873 332 496 8 76 34 0.09/0.16 c 860 9602 123087 79894 332 502 7 70 30 0.09/0.16 c 870 9712 124384 80692 332 508 40 101 70 0.09/0.17 c 880 9999 127003 82122 332 517 44 276 149 0.09/0.17 c 890 10073 128259 83160 332 522 1 57 36 0.09/0.17 c 900 10156 129283 83883 333 531 1 74 25 0.09/0.17 c 910 10277 131012 84969 333 537 12 73 36 0.09/0.17 c 920 10384 132364 85792 334 546 1 96 46 0.09/0.17 c 930 10523 133841 86653 334 556 14 129 57 0.09/0.17 c 940 10590 134624 87211 335 560 1 51 36 0.09/0.17 c 947 10629 135139 87611 336 566 1 33 6 0.09/0.17 c 950 10652 135480 87821 336 567 5 11 6 0.09/0.18 c 960 10756 136748 88636 338 571 1 93 59 0.09/0.18 c 970 10875 138177 89577 338 574 45 94 77 0.09/0.18 c 980 11015 139650 90557 338 582 1 119 68 0.09/0.18 c 990 11140 141174 91554 338 586 17 68 37 0.09/0.18 c 1000 11324 142795 92454 338 592 68 172 124 0.09/0.18 c 1010 11395 143887 93296 338 599 33 47 33 0.09/0.18 c 1020 11491 145256 94300 338 605 1 43 22 0.09/0.18 c 1030 11642 146973 95395 338 612 53 111 65 0.09/0.19 c 1040 11855 149009 96617 338 616 14 160 69 0.09/0.19 c 1050 11926 150111 97479 338 618 33 47 34 0.09/0.19 c 1060 12142 152059 98644 338 622 11 173 120 0.09/0.19 c 1070 12225 153184 99472 338 624 30 48 35 0.09/0.19 c 1080 12301 154209 100193 338 629 31 47 37 0.09/0.19 c 1090 12344 155049 100884 339 631 1 32 22 0.09/0.19 c 1100 12436 156396 101825 339 637 15 43 25 0.09/0.19 c 1110 12513 157520 102571 339 640 9 33 18 0.09/0.19 c 1120 12703 159330 103675 339 644 1 150 48 0.09/0.19 c 1130 12889 161057 104756 339 648 1 170 116 0.19/0.20 c 1140 13044 162670 105775 339 655 90 121 96 0.19/0.20 c 1141 13045 162676 105784 339 655 1 1 0 0.19/0.20 c 1150 13214 164166 106711 339 659 100 122 102 0.19/0.20 c 1160 13373 165824 107751 339 664 13 127 78 0.19/0.20 c 1170 13567 167601 108941 339 671 78 129 91 0.19/0.20 c 1180 13670 168742 109666 339 679 55 91 67 0.19/0.20 c 1190 13765 169994 110535 339 685 16 48 34 0.19/0.20 c 1200 13854 171232 111417 339 691 16 47 33 0.19/0.20 c 1210 13911 172084 112030 339 694 11 36 20 0.19/0.20 c 1220 13982 172974 112598 339 700 5 59 41 0.19/0.21 c 1230 14098 174163 113343 339 707 49 94 65 0.19/0.21 c 1240 14206 175385 114175 339 714 53 98 71 0.19/0.21 c 1250 14317 176635 114974 339 721 53 101 68 0.19/0.21 c 1260 14463 178130 115929 339 726 50 100 75 0.19/0.21 c 1270 14581 179541 116799 339 730 73 86 76 0.19/0.21 c 1280 14697 180803 117615 339 736 23 101 69 0.19/0.21 c 1290 14823 182235 118532 339 740 57 109 76 0.19/0.21 c 1300 14909 183190 119163 339 742 49 57 50 0.19/0.21 c 1310 15023 184544 120098 339 748 49 90 71 0.19/0.21 c 1320 15145 185988 120985 339 753 56 87 66 0.19/0.22 c 1330 15277 187578 122029 339 756 64 89 73 0.19/0.22 c 1340 15388 188904 122906 339 762 49 87 65 0.19/0.22 c 1350 15514 190565 123994 339 763 38 73 54 0.19/0.22 c 1352 15592 191488 124549 339 765 56 76 44 0.19/0.22 c 1360 15705 193147 125663 339 771 27 64 44 0.19/0.22 c 1370 15817 194496 126538 339 774 35 86 69 0.19/0.22 c 1380 15870 195438 127275 339 777 19 39 22 0.19/0.22 c 1390 15965 196984 128376 339 780 35 57 37 0.19/0.22 c 1400 16025 197863 129037 339 785 15 33 22 0.19/0.22 c 1410 16121 198976 129757 342 788 4 69 22 0.19/0.22 c 1420 16200 199936 130395 342 795 4 62 30 0.19/0.23 c 1430 16295 201160 131219 342 796 52 75 62 0.19/0.23 c 1440 16389 202387 132050 342 801 20 74 58 0.19/0.23 c 1450 16495 203752 132994 342 802 46 70 57 0.19/0.23 c 1460 16617 205365 134070 342 808 23 63 46 0.19/0.23 c 1470 16692 206397 134769 342 813 10 60 30 0.19/0.23 c 1480 16811 208050 135867 342 818 23 63 45 0.19/0.23 c 1490 16888 209159 136646 342 822 20 58 41 0.19/0.23 c 1500 16940 209766 137052 342 826 11 22 15 0.19/0.23 c 1510 17068 211409 138110 342 832 34 102 69 0.19/0.23 c 1520 17151 212633 139003 342 833 23 58 40 0.19/0.24 c 1530 17224 213695 139762 342 834 23 52 36 0.19/0.24 c 1540 17299 214779 140536 342 836 23 50 33 0.19/0.24 c 1550 17334 215144 140781 342 841 7 16 9 0.19/0.24 c 1560 17399 215992 141375 342 848 7 35 16 0.19/0.24 c 1570 17521 217444 142348 342 851 57 103 85 0.19/0.24 c 1580 17733 219316 143390 342 858 58 202 115 0.19/0.24 c 1585 17751 219578 143583 342 860 6 9 6 0.19/0.24 c 1590 17801 220367 144115 342 863 13 44 17 0.19/0.24 c 1600 17873 221146 144614 342 866 16 24 18 0.19/0.24 c 1610 17994 222609 145588 342 869 57 102 84 0.19/0.24 c 1620 18256 224747 146749 342 875 72 191 136 0.19/0.24 c 1630 18318 225685 147435 342 879 22 40 28 0.19/0.25 c 1640 18525 227545 148498 342 883 1 180 67 0.19/0.25 c 1650 18597 228595 149223 342 890 19 51 30 0.19/0.25 c 1660 18708 229960 150051 342 896 1 101 58 0.19/0.25 c 1670 18886 231667 151006 342 903 61 169 105 0.19/0.25 c 1680 18990 233292 152196 342 908 35 61 43 0.19/0.25 c 1690 19094 234512 152940 342 917 3 88 39 0.19/0.25 c 1700 19244 236390 154090 342 921 51 98 75 0.19/0.25 c 1710 19420 238289 155267 342 926 1 98 69 0.19/0.26 c 1720 19597 240002 156278 342 933 77 168 121 0.19/0.26 c 1730 19680 241308 157318 342 938 22 62 35 0.19/0.26 c 1740 19783 242512 158079 342 947 1 92 48 0.19/0.26 c 1750 19930 244112 159048 342 956 68 133 107 0.19/0.26 c 1760 20006 245360 160006 342 958 1 37 22 0.19/0.26 c 1770 20162 246958 160937 342 960 9 124 28 0.19/0.26 c 1780 20230 247911 161628 342 962 16 51 32 0.19/0.26 c 1790 20321 249268 162588 342 966 9 48 25 0.19/0.26 c 1800 20480 250902 163605 342 972 92 131 109 0.19/0.26 c 1810 20547 251780 164228 342 979 9 45 26 0.19/0.27 c 1820 20715 253467 165353 342 985 1 115 86 0.19/0.27 c 1830 20910 255552 166740 342 989 62 108 79 0.19/0.27 c 1840 21068 257321 167800 342 995 54 97 78 0.19/0.27 c 1841 21136 258235 168326 342 996 68 68 34 0.19/0.27 c 1850 21266 259641 169164 342 1002 63 110 83 0.19/0.27 c 1860 21385 261204 170226 342 1011 21 92 60 0.19/0.27 c 1870 21513 262696 171161 342 1018 62 108 87 0.19/0.27 c 1880 21591 263803 171933 342 1022 19 47 34 0.19/0.27 c 1890 21726 265405 173051 342 1026 86 111 89 0.19/0.28 c 1900 21854 266762 173939 342 1033 81 105 89 0.19/0.28 c 1910 21930 268058 174887 342 1034 17 51 33 0.19/0.28 c 1920 22065 269824 176054 344 1038 7 81 56 0.19/0.28 c 1930 22194 271203 176975 344 1040 76 89 75 0.19/0.28 c 1940 22284 272626 178048 344 1044 25 60 40 0.19/0.28 c 1950 22372 273624 178757 344 1049 6 75 34 0.19/0.28 c 1960 22458 274764 179582 344 1057 13 75 51 0.19/0.28 c 1970 22587 276382 180709 344 1061 50 74 60 0.19/0.28 c 1980 22729 278168 181909 344 1070 24 87 59 0.19/0.29 c 1990 22831 279638 182863 344 1074 49 77 58 0.19/0.29 c 2000 22959 281350 184047 344 1079 41 70 49 0.19/0.29 c 2010 23082 283047 185233 344 1081 35 71 57 0.19/0.29 c 2020 23168 284083 185950 344 1086 15 57 30 0.19/0.29 c 2030 23268 285463 186909 344 1093 23 68 53 0.19/0.29 c 2040 23380 286905 187899 344 1098 23 70 54 0.19/0.29 c 2050 23489 288337 188894 344 1101 27 69 58 0.19/0.29 c 2060 23592 289693 189809 344 1106 28 69 53 0.19/0.29 c 2070 23700 291109 190781 344 1111 34 69 57 0.19/0.30 c 2080 23761 291769 191291 344 1114 17 24 18 0.29/0.30 c 2090 23873 293186 192287 344 1117 22 68 51 0.29/0.30 c 2100 23952 294181 193010 344 1124 24 68 50 0.29/0.30 c 2110 23995 294631 193381 344 1131 1 20 13 0.29/0.30 c 2120 24100 296190 194446 344 1136 38 71 47 0.29/0.30 c 2122 24113 296310 194546 344 1138 12 12 8 0.29/0.30 c 2130 24176 297127 195084 344 1146 18 52 33 0.29/0.30 c 2140 24258 298199 195873 344 1151 15 56 36 0.29/0.30 c 2150 24339 299144 196555 344 1155 16 48 19 0.29/0.30 c 2160 24402 299842 197056 344 1160 1 50 29 0.29/0.30 c 2170 24458 300561 197626 344 1168 17 37 25 0.29/0.30 c 2180 24504 300993 197939 344 1172 12 25 18 0.29/0.30 c 2190 24577 301843 198531 347 1173 13 36 15 0.29/0.30 c 2200 24628 302444 199026 347 1176 15 27 21 0.29/0.30 c 2210 24669 302947 199409 348 1178 1 20 12 0.29/0.30 c 2220 24723 303632 199935 348 1181 23 33 24 0.29/0.30 c 2230 24764 304071 200238 348 1184 18 21 17 0.29/0.31 c 2240 24818 304701 200694 349 1189 1 33 16 0.29/0.31 c 2250 24886 305573 201322 349 1194 1 48 25 0.29/0.31 c 2260 24945 306434 202006 349 1200 9 42 29 0.29/0.31 c 2270 25048 307894 203029 349 1205 7 57 25 0.29/0.31 c 2280 25131 309105 203924 349 1212 9 39 23 0.29/0.31 c 2290 25240 310604 205015 349 1216 7 43 31 0.29/0.31 c 2300 25346 312044 205996 354 1222 1 69 37 0.29/0.31 c 2310 25412 312968 206672 354 1230 27 48 37 0.29/0.31 c 2320 25507 314234 207564 354 1236 1 68 26 0.29/0.31 c 2330 25571 315279 208332 354 1241 25 44 36 0.29/0.31 c 2340 25683 316715 209319 354 1243 7 68 36 0.29/0.32 c 2350 25798 318381 210532 354 1244 25 68 40 0.29/0.32 c 2360 25847 319030 211048 354 1249 22 34 22 0.29/0.32 c 2370 25971 320692 212193 354 1251 23 81 45 0.29/0.32 c 2380 26024 321382 212701 354 1255 17 28 21 0.29/0.32 c 2390 26120 322804 213775 357 1261 1 38 20 0.29/0.32 c 2400 26253 324590 215067 357 1266 30 75 44 0.29/0.32 c 2410 26365 325922 215978 357 1274 26 100 51 0.29/0.32 c 2420 26455 327337 216996 357 1277 26 39 28 0.29/0.32 c 2430 26598 329011 218028 357 1281 52 99 61 0.29/0.32 c 2431 26626 329378 218223 357 1282 28 28 14 0.29/0.33 c 2440 26751 331033 219386 357 1284 42 74 54 0.29/0.33 c 2450 26806 331691 219865 357 1286 19 28 21 0.29/0.33 c 2460 26843 332040 220126 357 1290 6 14 7 0.29/0.33 c 2470 26933 333373 221146 357 1295 11 50 24 0.29/0.33 c 2480 27019 334313 221829 357 1299 25 28 24 0.29/0.33 c 2490 27066 334876 222257 357 1301 19 21 18 0.29/0.33 c 2500 27138 336017 223081 357 1304 8 52 18 0.29/0.33 c 2510 27190 336557 223488 357 1308 13 21 16 0.29/0.33 c 2520 27221 336864 223708 357 1313 6 15 9 0.29/0.33 c 2530 27357 339038 225231 357 1316 27 52 34 0.29/0.33 c 2540 27495 340605 226252 357 1321 11 117 70 0.29/0.33 c 2550 27575 341860 227160 357 1324 8 53 20 0.29/0.33 c 2560 27654 343093 228036 357 1327 8 52 19 0.29/0.34 c 2570 27754 344834 229308 357 1330 7 50 26 0.29/0.34 c 2580 27804 345512 229808 357 1334 7 22 15 0.29/0.34 c 2590 27909 346755 230704 357 1339 20 27 22 0.29/0.34 c 2600 27940 347104 230953 357 1344 7 17 13 0.29/0.34 c 2610 28044 348828 232198 357 1347 7 50 26 0.29/0.34 c 2620 28147 350550 233442 357 1350 7 50 26 0.29/0.34 c 2630 28271 352551 234904 357 1353 24 41 28 0.29/0.34 c 2640 28533 356607 237707 357 1357 8 51 42 0.29/0.35 c 2650 28643 358489 239059 357 1360 22 50 29 0.29/0.35 c 2660 28833 361028 240893 357 1363 23 61 46 0.29/0.35 c 2670 28923 362509 241942 357 1365 9 45 29 0.29/0.35 c 2680 29035 364277 243187 357 1370 15 50 28 0.29/0.35 c 2690 29178 366601 244884 357 1374 25 50 33 0.29/0.35 c 2700 29296 368517 246286 357 1378 17 50 32 0.29/0.35 c 2710 29394 369788 247097 357 1384 17 49 30 0.29/0.36 c 2720 29509 371533 248318 357 1387 28 44 31 0.29/0.36 c 2730 29639 373396 249679 357 1389 34 57 45 0.29/0.36 c 2740 29705 374437 250383 357 1395 17 46 27 0.29/0.36 c 2750 29772 375358 251005 357 1398 15 45 26 0.29/0.36 c 2760 29847 376567 251895 357 1403 15 45 26 0.29/0.36 c 2770 29946 378076 252931 357 1408 20 44 30 0.29/0.36 c 2771 29985 378685 253310 357 1409 39 39 19 0.29/0.36 c 2780 30053 379844 254201 357 1413 7 30 20 0.29/0.36 c 2790 30145 381305 255268 357 1414 29 44 34 0.29/0.36 c 2800 30233 382842 256472 357 1415 22 29 23 0.29/0.37 c 2810 30347 384417 257616 357 1419 15 74 37 0.29/0.37 c 2820 30399 385290 258218 357 1422 15 42 23 0.29/0.37 c 2830 30464 386277 258909 357 1424 9 27 13 0.29/0.37 c 2840 30525 387421 259767 357 1427 28 28 25 0.29/0.37 c 2850 30568 388054 260117 357 1428 15 23 19 0.29/0.37 c 2860 30660 389523 261204 357 1429 27 44 34 0.29/0.37 c 2870 30736 391108 262465 357 1431 21 27 23 0.29/0.37 c 2880 30819 392574 263657 357 1435 11 27 20 0.29/0.37 c 2890 30983 394733 265094 357 1441 14 79 44 0.29/0.37 c 2900 31050 395835 265830 357 1446 16 28 20 0.29/0.37 c 2910 31123 397124 266711 357 1452 4 35 20 0.29/0.38 c 2920 31208 398281 267501 357 1455 17 44 32 0.29/0.38 c 2930 31285 399593 268468 357 1457 14 43 26 0.29/0.38 c 2940 31355 400561 269171 357 1459 8 42 19 0.29/0.38 c 2950 31420 401613 269908 357 1462 19 42 26 0.29/0.38 c 2960 31555 403677 271518 357 1465 22 53 40 0.29/0.38 c 2970 31628 404745 272203 357 1470 19 42 30 0.29/0.38 c 2980 31698 405963 273072 357 1473 23 33 25 0.29/0.38 c 2990 31793 407262 273939 357 1475 25 42 34 0.29/0.38 c 3000 31864 408619 274957 357 1477 24 33 27 0.29/0.38 c 3010 31937 409593 275609 357 1478 31 42 37 0.29/0.38 c 3020 32014 410786 276450 357 1482 17 35 25 0.29/0.39 c 3030 32071 411792 277129 357 1484 23 31 24 0.29/0.39 c 3040 32218 413987 278820 357 1487 32 53 43 0.29/0.39 c 3050 32278 414831 279454 357 1491 19 21 18 0.29/0.39 c 3060 32449 416583 280494 357 1496 12 133 75 0.29/0.39 c 3070 32515 417356 281008 357 1500 17 36 29 0.29/0.39 c 3080 32577 418487 281840 357 1504 24 33 26 0.29/0.39 c 3090 32639 419265 282347 357 1507 17 35 27 0.29/0.39 c 3100 32714 420551 283230 357 1512 19 38 27 0.29/0.39 c 3110 32783 421661 284019 357 1517 13 31 21 0.29/0.39 c 3120 32850 422772 284796 357 1521 23 33 25 0.29/0.39 c 3130 32933 424176 285772 357 1525 21 38 32 0.29/0.40 c 3140 32982 424901 286251 357 1528 9 25 14 0.39/0.40 c 3142 33021 425464 286614 357 1530 29 38 22 0.39/0.40 c 3150 33080 426269 287139 357 1534 9 35 25 0.39/0.40 c 3160 33256 428972 289227 357 1537 37 52 44 0.39/0.40 c 3170 33315 429979 289984 357 1541 21 32 24 0.39/0.40 c 3180 33373 430750 290485 357 1545 24 33 27 0.39/0.40 c 3190 33432 431623 291130 357 1550 18 31 21 0.39/0.40 c 3200 33507 432772 291964 357 1554 19 33 23 0.39/0.40 c 3210 33569 433876 292789 357 1558 23 27 24 0.39/0.40 c 3220 33621 434489 293163 357 1560 28 33 29 0.39/0.40 c 3230 33663 435127 293655 357 1562 7 16 10 0.39/0.40 c 3240 33823 436649 294547 357 1567 78 131 99 0.39/0.40 c 3250 33883 437790 295405 357 1572 17 27 18 0.39/0.41 c 3260 33937 438659 296056 357 1575 7 26 11 0.39/0.41 c 3270 33996 439499 296615 357 1578 23 33 27 0.39/0.41 c 3280 34049 440388 297272 357 1581 17 22 18 0.39/0.41 c 3290 34179 441718 298025 357 1588 27 107 60 0.39/0.41 c 3300 34229 442652 298711 357 1592 17 28 19 0.39/0.41 c 3310 34389 444165 299606 357 1597 27 131 91 0.39/0.41 c 3320 34460 445352 300484 357 1601 21 34 24 0.39/0.41 c 3330 34603 447537 302152 357 1605 35 52 39 0.39/0.41 c 3340 34666 448458 302817 357 1610 8 25 14 0.39/0.41 c 3350 34816 450719 304522 357 1611 37 50 41 0.39/0.42 c 3360 34872 451599 305112 357 1614 15 33 22 0.39/0.42 c 3370 35026 453748 306664 357 1619 44 53 45 0.39/0.42 c 3380 35085 454613 307283 357 1623 8 32 17 0.39/0.42 c 3390 35155 455784 308100 357 1625 21 32 24 0.39/0.42 c 3400 35314 457536 309113 357 1633 27 132 68 0.39/0.42 c 3410 35457 459150 310058 357 1639 19 107 42 0.39/0.42 c 3420 35608 460670 310953 357 1646 9 128 70 0.39/0.42 c 3430 35739 462740 312570 357 1650 9 54 40 0.39/0.43 c 3440 35926 465160 314145 357 1652 20 75 41 0.39/0.43 c 3450 36076 466540 314948 357 1657 22 129 75 0.39/0.43 c 3460 36234 468228 315967 357 1664 18 127 71 0.39/0.43 c 3470 36369 469755 316945 357 1668 18 110 73 0.39/0.43 c 3480 36450 470875 317793 357 1671 7 52 21 0.39/0.43 c 3490 36623 472957 319207 357 1673 19 75 41 0.39/0.43 c 3500 36726 474563 320312 357 1679 20 55 33 0.39/0.43 c 3510 36880 476975 322185 357 1682 24 51 32 0.39/0.44 c 3520 37032 479399 323941 357 1686 39 51 43 0.39/0.44 c 3530 37183 480916 324875 357 1690 1 128 77 0.39/0.44 c 3540 37385 483122 326323 357 1694 47 128 77 0.39/0.44 c 3550 37593 484808 327192 357 1702 27 181 116 0.39/0.44 c 3551 37594 484818 327198 357 1702 1 1 0 0.39/0.44 c 3560 37753 486373 328101 357 1706 91 127 96 0.39/0.44 c 3570 37889 488132 329431 357 1708 44 97 67 0.39/0.44 c 3580 38033 489598 330303 357 1713 71 123 91 0.39/0.45 c 3590 38193 491319 331412 357 1720 44 97 75 0.39/0.45 c 3600 38376 493300 332665 357 1723 49 123 88 0.39/0.45 c 3610 38525 494886 333674 357 1728 42 119 87 0.39/0.45 c 3620 38680 496798 334988 357 1730 43 98 67 0.39/0.45 c 3630 38785 498506 336229 357 1732 41 54 43 0.39/0.45 c 3640 38891 500149 337353 357 1736 25 50 37 0.39/0.45 c 3650 39112 502097 338450 357 1741 96 143 102 0.39/0.46 c 3660 39267 504080 339727 357 1745 44 99 68 0.39/0.46 c 3670 39467 506314 341103 357 1750 45 140 70 0.39/0.46 c 3680 39549 507487 341935 362 1757 1 73 17 0.39/0.46 c 3690 39650 508671 342711 362 1765 23 68 41 0.39/0.46 c 3700 39875 510717 343881 362 1770 95 139 104 0.39/0.46 c 3710 40072 512391 344828 362 1775 47 95 71 0.39/0.46 c 3720 40268 514346 346014 362 1779 43 134 79 0.39/0.47 c 3730 40466 516145 347049 362 1785 45 131 85 0.39/0.47 c 3740 40621 517757 348098 362 1791 44 98 78 0.39/0.47 c 3750 40809 519510 349124 362 1796 44 132 81 0.39/0.47 c 3760 40965 521367 350289 362 1801 43 127 78 0.39/0.47 c 3770 41189 523462 351477 362 1808 44 127 91 0.39/0.47 c 3780 41320 525145 352689 362 1812 31 59 40 0.39/0.47 c 3790 41370 525792 353165 362 1819 12 26 19 0.39/0.47 c 3800 41530 527723 354450 362 1822 8 113 60 0.39/0.48 c 3810 41722 529858 355796 362 1826 44 92 66 0.39/0.48 c 3820 41844 531185 356570 362 1830 44 110 83 0.39/0.48 c 3830 41988 532645 357392 362 1835 85 110 90 0.39/0.48 c 3840 42120 534033 358171 362 1840 1 110 79 0.39/0.48 c 3850 42298 536184 359541 362 1847 44 94 67 0.39/0.48 c 3860 42491 538024 360598 362 1853 54 111 83 0.39/0.48 c 3870 42629 539690 361695 362 1857 32 94 65 0.39/0.49 c 3880 42769 541165 362608 362 1858 88 109 91 0.39/0.49 c 3890 42901 542479 363385 362 1863 40 121 73 0.39/0.49 c 3900 43061 544138 364374 362 1868 33 91 59 0.39/0.49 c 3910 43230 545776 365298 362 1874 43 107 74 0.39/0.49 c 3920 43371 547387 366376 362 1877 31 94 60 0.39/0.49 c 3930 43528 549066 367356 362 1881 89 117 92 0.39/0.49 c 3940 43743 551543 368943 362 1887 42 93 67 0.39/0.49 c 3950 43908 553143 369860 362 1891 54 106 82 0.49/0.50 c 3960 44045 554573 370844 362 1896 43 95 72 0.49/0.50 c 3970 44185 556038 371752 362 1901 42 108 68 0.49/0.50 c 3980 44327 557651 372765 362 1907 37 107 71 0.49/0.50 c 3990 44466 559262 373882 362 1909 33 93 54 0.49/0.50 c 4000 44593 560763 374834 362 1914 36 107 71 0.49/0.50 c 4001 44669 561784 375442 362 1916 67 67 33 0.49/0.50 c 4010 44796 563182 376338 362 1920 37 108 70 0.49/0.50 c 4020 44946 565155 377712 362 1922 34 112 66 0.49/0.51 c 4030 45075 566514 378483 362 1928 35 107 75 0.49/0.51 c 4040 45254 568531 379786 362 1932 1 91 51 0.49/0.51 c 4050 45389 570121 380801 362 1935 36 107 67 0.49/0.51 c 4060 45499 571904 382081 362 1942 26 55 36 0.49/0.51 c 4070 45599 573009 382756 362 1952 27 91 54 0.49/0.51 c 4080 45733 574389 383688 362 1958 57 95 79 0.49/0.51 c 4090 45892 576123 384740 362 1961 58 109 82 0.49/0.51 c 4100 46065 577780 385815 362 1963 42 83 52 0.49/0.52 c 4110 46206 579413 386815 362 1965 12 108 65 0.49/0.52 c 4120 46345 581055 387882 362 1968 51 93 68 0.49/0.52 c 4130 46477 582482 388685 362 1974 79 106 83 0.49/0.52 c 4140 46681 584489 389963 362 1975 34 83 56 0.49/0.52 c 4150 46819 586127 390919 362 1979 79 93 79 0.49/0.52 c 4160 46975 587810 391999 362 1981 52 92 69 0.49/0.52 c 4170 47093 589075 392776 362 1987 7 104 70 0.49/0.52 c 4180 47259 590835 393909 362 1991 65 90 72 0.49/0.53 c 4190 47392 592237 394779 362 1992 38 82 58 0.49/0.53 c 4200 47515 593645 395640 362 1998 55 109 75 0.49/0.53 c 4210 47672 595375 396670 362 2004 52 102 70 0.49/0.53 c 4220 47839 597193 397833 362 2007 65 87 71 0.49/0.53 c 4230 47968 598712 398713 362 2013 51 88 62 0.49/0.53 c 4240 48134 600524 399868 362 2017 63 87 71 0.49/0.53 c 4250 48264 601816 400635 362 2023 51 100 71 0.49/0.53 c 4260 48435 603919 402042 362 2028 30 80 46 0.49/0.54 c 4270 48572 605422 402903 362 2032 72 100 81 0.49/0.54 c 4280 48693 606978 403898 362 2035 34 65 47 0.49/0.54 c 4290 48840 608645 404951 362 2037 64 100 73 0.49/0.54 c 4300 49030 611060 406462 362 2039 43 64 50 0.49/0.54 c 4310 49134 612402 407322 362 2044 29 56 42 0.49/0.54 c 4320 49219 613894 408374 362 2049 30 47 39 0.49/0.54 c 4330 49396 615874 409574 362 2054 64 84 63 0.49/0.55 c 4340 49503 617840 411061 362 2059 52 56 49 0.49/0.55 c 4350 49612 619317 411980 362 2062 33 63 42 0.49/0.55 c 4360 49761 621431 413338 362 2067 45 83 47 0.49/0.55 c 4370 49873 622778 414182 362 2069 49 92 57 0.49/0.55 c 4380 50018 624329 415103 362 2074 50 101 74 0.49/0.55 c 4390 50133 625819 416162 362 2075 36 61 50 0.49/0.55 c 4400 50266 627313 417076 362 2076 70 101 81 0.49/0.55 c 4410 50433 629560 418654 362 2081 37 70 46 0.49/0.56 c 4420 50552 631264 419803 362 2084 22 57 39 0.49/0.56 c 4430 50694 633026 421040 362 2089 32 70 49 0.49/0.56 c 4440 50841 634811 422175 362 2093 32 79 51 0.49/0.56 c 4450 50957 636318 423112 362 2096 32 55 44 0.49/0.56 c 4460 51063 637678 424019 362 2100 30 64 48 0.49/0.56 c 4470 51160 639008 425071 362 2103 10 34 24 0.49/0.56 c 4480 51268 640402 425990 362 2109 29 64 47 0.49/0.56 c 4490 51458 642280 427154 362 2114 57 81 67 0.49/0.57 c 4493 51533 643049 427593 362 2116 52 61 41 0.49/0.57 c 4500 51608 644033 428352 362 2116 11 35 18 0.49/0.57 c 4510 51754 645729 429380 362 2123 35 81 56 0.49/0.57 c 4520 51862 647175 430396 362 2126 39 60 46 0.49/0.57 c 4530 51973 648742 431428 362 2127 47 66 55 0.49/0.57 c 4540 52133 650862 432891 362 2131 47 68 52 0.49/0.57 c 4550 52245 652506 434058 362 2137 16 90 47 0.49/0.57 c 4560 52413 655025 435860 362 2141 48 65 50 0.49/0.58 c 4570 52549 656723 436980 362 2147 43 71 52 0.49/0.58 c 4580 52645 658146 438014 362 2152 25 64 40 0.49/0.58 c 4590 52794 660223 439373 362 2158 46 68 50 0.49/0.58 c 4600 52901 661854 440508 362 2163 20 68 40 0.49/0.58 c 4610 52998 663409 441639 362 2170 29 50 39 0.49/0.58 c 4620 53107 665267 442946 362 2175 33 63 45 0.49/0.58 c 4630 53233 666973 444249 362 2179 10 82 51 0.49/0.58 c 4640 53341 668493 445301 362 2185 36 55 44 0.49/0.59 c 4650 53489 670686 446819 362 2189 44 60 46 0.49/0.59 c 4660 53576 671780 447567 362 2195 19 60 38 0.49/0.59 c 4670 53799 673540 448493 362 2204 46 214 101 0.49/0.59 c 4680 53886 674940 449424 362 2208 31 65 42 0.49/0.59 c 4690 54250 677416 450701 362 2213 121 214 175 0.49/0.59 c 4700 54356 679146 451887 362 2215 42 56 44 0.49/0.59 c 4710 54510 681179 453252 362 2218 38 70 51 0.59/0.60 c 4720 54925 683938 454684 362 2223 170 210 179 0.59/0.60 c 4730 55043 685677 455840 362 2224 44 64 49 0.59/0.60 c 4740 55153 687221 456869 362 2227 41 63 46 0.59/0.60 c 4750 55394 689170 457940 362 2235 56 182 119 0.59/0.60 c 4760 55516 690842 459049 362 2237 44 65 52 0.59/0.60 c 4770 55726 692564 459952 362 2247 44 201 96 0.59/0.60 c 4780 55838 694173 460951 362 2251 44 65 49 0.59/0.61 c 4790 55957 695723 461983 362 2255 7 71 50 0.59/0.61 c 4800 56049 697057 463014 362 2257 36 62 41 0.59/0.61 c 4810 56154 698498 463922 362 2260 47 63 47 0.59/0.61 c 4820 56311 700488 465258 362 2266 36 90 52 0.59/0.61 c 4830 56409 701851 466124 362 2268 45 67 49 0.59/0.61 c 4840 56630 703860 467424 362 2271 60 155 90 0.59/0.61 c 4850 56713 705046 468199 362 2272 44 67 50 0.59/0.61 c 4860 56820 706645 469446 362 2274 42 66 44 0.59/0.62 c 4870 56965 708576 470742 362 2276 35 71 50 0.59/0.62 c 4880 57065 709966 471703 362 2279 45 61 46 0.59/0.62 c 4890 57148 711023 472442 362 2280 37 64 50 0.59/0.62 c 4900 57238 712110 473131 362 2287 36 68 50 0.59/0.62 c 4910 57346 713480 474036 362 2289 39 65 48 0.59/0.62 c 4920 57439 714731 474918 362 2291 35 61 45 0.59/0.62 c 4930 57530 715833 475610 362 2297 31 64 40 0.59/0.62 c 4940 57611 716885 476340 362 2300 35 55 43 0.59/0.62 c 4950 57696 717957 477037 362 2305 30 52 39 0.59/0.62 c 4960 57840 719724 478293 362 2312 38 99 63 0.59/0.63 c 4970 57906 720637 478969 362 2318 28 46 37 0.59/0.63 c 4980 58018 721972 479820 362 2322 29 68 48 0.59/0.63 c 4990 58128 723324 480690 362 2326 44 64 53 0.59/0.63 c 5035 58562 728951 485017 362 2334 25 75 53 0.59/0.67 c 5631 63429 787802 528099 363 2342 8 221 72 0.69/0.71 c 6286 68018 844090 568900 363 2365 16 134 82 0.69/0.76 c 7006 72353 908753 619209 363 2372 18 88 40 0.79/0.82 c 7798 78092 984091 675119 363 2381 18 126 47 0.79/0.87 c 8669 83332 1061983 735648 363 2390 9 75 31 0.89/0.93 c 9627 88575 1144865 801529 363 2405 11 120 39 0.89/0.99 c 10680 94413 1232617 871520 363 2417 10 81 31 0.99/1.07 c 11838 100900 1337896 953669 363 2424 5 104 34 1.09/1.14 c 13111 108095 1441576 1037152 363 2452 8 347 127 1.19/1.24 c 14511 117613 1572178 1137122 363 2464 5 153 59 1.29/1.30 c 16051 124639 1665565 1220355 363 2476 9 184 118 1.29/1.38 c 17745 132025 1777957 1325977 363 2516 7 183 101 1.39/1.48 c 19608 139966 1907677 1436041 364 2541 1 105 57 1.49/1.58 c 21657 149573 2057706 1558739 366 2556 5 103 55 1.59/1.67 c 23910 158676 2184158 1670071 367 2612 7 440 185 1.69/1.76 c 26388 167081 2305182 1782168 367 2647 10 264 171 1.79/1.86 c 29113 177400 2456074 1918936 367 2694 11 278 141 1.89/1.97 c 32110 186437 2607558 2060771 367 2723 11 127 76 2.09/2.11 c 35406 200240 2799679 2227681 367 2762 11 250 145 2.19/2.23 c 39031 210881 2980250 2401266 367 2783 67 156 122 2.39/2.44 c 43018 239684 3266108 2641041 367 2835 1 441 253 2.49/2.59 c 47403 253429 3485447 2842893 367 2863 37 192 119 2.79/2.80 c 52226 268386 3783158 3120374 367 2890 20 106 58 2.99/3.03 c 57531 290925 4108219 3405777 367 2946 15 260 162 3.19/3.25 c 63366 307503 4419506 3697747 367 3003 1 184 133 3.48/3.51 c 69784 329061 4781457 4025464 367 3054 38 181 105 3.68/3.76 c 76843 349564 5131365 4350532 368 3078 10 113 67 3.98/4.08 c 84607 374311 5584623 4742724 368 3118 17 100 62 4.49/4.55 c 93147 410029 6230538 5345949 368 3139 16 93 59 4.78/4.90 c 102541 434400 6715213 5814904 369 3189 5 116 31 5.28/5.34 c 112874 470349 7338753 6406385 369 3214 1 116 57 5.68/5.72 c 124240 504369 7848660 6883496 370 3251 1 111 66 6.08/6.16 c 136742 539826 8468021 7491712 371 3272 1 70 30 6.48/6.59 c 150494 576590 9068488 8052530 371 3299 1 97 47 7.19/7.23 c 165621 637295 9958059 8815661 371 3349 1 233 117 7.70/7.80 c 182260 688534 10738591 9538098 372 3393 3 143 72 8.49/8.55 c 200562 758426 11757240 10457344 375 3437 7 195 73 9.49/9.50 c 220694 851188 13087186 11567776 375 3468 14 276 130 10.59/10.63 c 242839 977732 14646066 12967807 375 3540 15 458 225 11.69/11.74 c 267198 1091657 16140270 14296935 375 3578 17 250 141 12.89/12.92 c 293992 1192826 17768030 15714460 375 3627 5 230 78 14.29/14.36 c 323465 1306083 19742907 17398549 375 3665 9 112 81 15.69/15.71 c 355885 1397997 21636955 19331263 375 3683 9 98 47 17.29/17.31 c 391547 1525434 23882611 21313734 375 3706 3 162 100 19.09/19.12 c 430775 1666061 26361855 23614322 375 3752 8 110 62 21.19/21.28 c 473925 1877983 29274181 26095209 377 3799 1 282 137 22.99/23.04 c 521390 2006038 31710800 28474514 377 3834 1 91 56 24.89/24.98 c 573601 2138583 34442941 31448771 378 3875 6 159 80 27.08/27.12 c 631033 2292403 37435324 34205091 378 3908 1 151 37 29.98/30.02 c 694208 2493794 41493474 37989686 378 3946 8 149 81 33.38/33.47 c 763700 2765815 46189402 42102112 378 3983 10 122 76 36.78/36.85 c 840141 3028005 50829048 46429448 378 4018 10 129 77 39.69/39.78 c 924226 3262497 54848344 50082321 378 4042 6 78 47 43.28/43.33 c 1016719 3544374 59636476 54307853 380 4061 1 64 42 48.18/48.23 c 1118461 3902069 66286204 59959917 381 4087 1 63 38 53.48/53.50 c 1230377 4313168 73502706 66302313 381 4114 9 113 56 59.39/59.42 c 1353484 4736625 81566001 73747512 383 4144 1 103 54 65.98/66.01 c 1488901 5252467 90713795 81971779 385 4165 1 285 81 74.18/74.24 c 1637859 5961964 101555645 91286243 385 4190 11 158 65 83.18/83.26 c 1801712 6896412 113790948 101108950 385 4206 6 286 134 91.98/92.01 c 1981950 7600165 125812075 111930183 385 4230 16 127 66 102.67/102.71 c 2180211 8557789 140006218 123994713 386 4289 6 273 96 112.28/112.38 c 2398298 9323520 153294481 135760025 386 4314 10 252 73 124.17/124.22 c 2638193 10477183 169137869 149224753 386 4348 1 258 111 136.07/136.18 c 2902077 11387705 185570640 163896519 386 4378 7 183 49 149.37/149.49 c 3192349 12483442 203454125 179737916 386 4415 8 167 61 164.16/164.25 c 3511648 13622712 223441204 197339892 386 4449 1 107 43 180.47/180.57 c 3862876 14846483 246083493 216853003 386 4480 14 90 44 196.76/196.80 c 4249226 16074181 268403023 236773287 386 4507 11 75 45 215.76/215.82 c 4674211 17510154 294640718 259807771 386 4524 13 77 44 237.25/237.33 c 5141694 19141318 324067254 285609123 386 4543 9 135 44 261.65/261.74 c 5655925 20990171 357354720 314801824 386 4558 4 128 44 287.95/288.09 c 6221579 22984543 393066721 345682844 386 4577 10 85 39 319.44/319.50 c 6843798 25224607 436490392 385459122 386 4615 4 87 44 352.74/352.82 c 7528238 27823665 482262474 423176050 386 4639 7 85 48 393.03/393.14 c 8281122 31074845 536292787 468705649 386 4660 9 130 50 433.43/433.54 c 9109294 34340897 590752383 515320561 386 4679 7 83 49 478.22/478.35 c 10020283 37790138 652274122 567511012 386 4708 12 135 49 524.72/524.89 c 11022370 41312494 715129087 621976429 386 4733 5 132 46 565.32/565.50 c 12124665 44550032 770706929 668930067 388 4754 6 67 34 620.60/620.77 c 13337189 49180260 844441352 731432181 388 4772 7 78 45 690.99/691.10 c 14670965 55007813 939316891 811065011 388 4800 7 129 48 771.58/771.79 c 16138118 61882759 1048493340 903436664 389 4835 6 127 61 843.68/843.84 c 17751986 67640434 1146041381 987913026 389 4859 4 127 45 926.86/927.06 c 19527240 74538277 1257668702 1081087114 389 4885 13 84 46 1052.14/1052.31 c 21480019 84257743 1429096698 1225328557 389 4910 5 220 66 1177.13/1177.30 c 23628075 94711823 1596764296 1363054007 389 4935 7 133 58 1321.51/1321.71 c 25990936 105632155 1793810507 1537937290 389 4961 7 224 62 1479.99/1480.28 c 28590083 117974759 2011876175 1718662881 389 4984 8 135 58 1623.97/1624.25 c 31449144 129304855 2209520219 1883776227 389 5002 12 227 55 1793.75/1794.00 c 34594111 142818160 2446129638 2082171685 389 5035 1 281 61 1962.82/1963.11 c 38053574 155625218 2675143674 2279603823 391 5071 6 79 47 2167.20/2167.55 c 41858983 171116497 2952537921 2517523258 391 5097 6 225 54 2380.17/2380.57 c 46044932 187478302 3236851924 2767464323 391 5130 1 140 51
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240989-1500628725/watcher-4240989-1500628725 -o /tmp/evaluation-result-4240989-1500628725/solver-4240989-1500628725 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240989-1500628725.xml pid=5535 running on 4 cores: 1,3,5,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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.01 2.02 2.18 3/186 5538 /proc/meminfo: memFree=31792048/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=27256 CPUtime=0 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 1003 0 0 0 0 0 0 0 20 0 1 0 16149039 27910144 832 33554432000 4194304 5970956 140726385490128 140726385485464 140686229306341 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 6814 832 702 434 0 178 0 [startup+0.100161 s] /proc/loadavg: 2.01 2.02 2.18 3/186 5538 /proc/meminfo: memFree=31792048/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=35672 CPUtime=0.09 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 2211 0 0 0 9 0 0 0 20 0 1 0 16149039 36528128 2045 33554432000 4194304 5970956 140726385490128 140726385487464 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 8918 2045 795 434 0 2282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35672 [startup+0.200326 s] /proc/loadavg: 2.01 2.02 2.18 3/186 5538 /proc/meminfo: memFree=31792048/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=35936 CPUtime=0.19 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 2273 0 0 0 19 0 0 0 20 0 1 0 16149039 36798464 2111 33554432000 4194304 5970956 140726385490128 140726385487464 5272836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 8984 2111 795 434 0 2348 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 35936 [startup+0.300251 s] /proc/loadavg: 2.01 2.02 2.18 3/186 5538 /proc/meminfo: memFree=31792048/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=35936 CPUtime=0.29 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 2296 0 0 0 29 0 0 0 20 0 1 0 16149039 36798464 2111 33554432000 4194304 5970956 140726385490128 140726385487464 5337472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 8984 2111 795 434 0 2348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35936 [startup+0.700221 s] /proc/loadavg: 2.01 2.02 2.18 3/186 5538 /proc/meminfo: memFree=31792048/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=35936 CPUtime=0.69 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 2358 0 0 0 69 0 0 0 20 0 1 0 16149039 36798464 2177 33554432000 4194304 5970956 140726385490128 140726385487464 4974894 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 8984 2177 795 434 0 2348 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35936 [startup+1.50022 s] /proc/loadavg: 2.01 2.02 2.18 3/187 5539 /proc/meminfo: memFree=31786484/32770624 swapFree=6264/12248 [pid=5538] ppid=5535 vsize=36068 CPUtime=1.49 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 2416 0 0 0 149 0 0 0 20 0 1 0 16149039 36933632 2243 33554432000 4194304 5970956 140726385490128 140726385487464 4974886 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9017 2243 795 434 0 2381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36068 [startup+3.10021 s] /proc/loadavg: 2.01 2.02 2.17 3/187 5539 /proc/meminfo: memFree=31785248/32770624 swapFree=6264/12548 [pid=5538] ppid=5535 vsize=36464 CPUtime=3.09 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 3851 0 0 0 309 0 0 0 20 0 1 0 16149039 37339136 2348 33554432000 4194304 5970956 140726385490128 140726385487464 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9116 2348 795 434 0 2480 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36464 [startup+6.30022 s] /proc/loadavg: 2.01 2.02 2.17 3/187 5539 /proc/meminfo: memFree=31784968/32770624 swapFree=6264/12560 [pid=5538] ppid=5535 vsize=36464 CPUtime=6.28 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 4930 0 0 0 628 0 0 0 20 0 1 0 16149039 37339136 2404 33554432000 4194304 5970956 140726385490128 140726385487464 5038772 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9116 2404 795 434 0 2480 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36464 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.17 3/187 5539 /proc/meminfo: memFree=31784348/32770624 swapFree=6264/12568 [pid=5538] ppid=5535 vsize=36596 CPUtime=12.69 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 6591 0 0 0 1268 1 0 0 20 0 1 0 16149039 37474304 2428 33554432000 4194304 5970956 140726385490128 140726385487464 5038781 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2428 795 434 0 2513 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36596 [startup+25.5003 s] /proc/loadavg: 2.01 2.02 2.17 3/187 5539 /proc/meminfo: memFree=31784544/32770624 swapFree=6264/12584 [pid=5538] ppid=5535 vsize=36596 CPUtime=25.49 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 9172 0 0 0 2548 1 0 0 20 0 1 0 16149039 37474304 2470 33554432000 4194304 5970956 140726385490128 140726385487464 5038470 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2470 795 434 0 2513 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36596 [startup+51.1003 s] /proc/loadavg: 2.07 2.03 2.17 3/187 5539 /proc/meminfo: memFree=31784544/32770624 swapFree=6264/12616 [pid=5538] ppid=5535 vsize=36596 CPUtime=51.08 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 10250 0 0 0 5107 1 0 0 20 0 1 0 16149039 37474304 2480 33554432000 4194304 5970956 140726385490128 140726385487464 5243559 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2480 795 434 0 2513 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36596 [startup+102.3 s] /proc/loadavg: 2.03 2.03 2.16 3/188 5548 /proc/meminfo: memFree=31783484/32770624 swapFree=6264/12692 [pid=5538] ppid=5535 vsize=36596 CPUtime=102.28 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 12025 0 0 0 10227 1 0 0 20 0 1 0 16149039 37474304 2486 33554432000 4194304 5970956 140726385490128 140726385487464 5319903 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2486 795 434 0 2513 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 36596 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.15 3/188 5549 /proc/meminfo: memFree=31782784/32770624 swapFree=6264/12748 [pid=5538] ppid=5535 vsize=36596 CPUtime=162.26 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 13372 0 0 0 16225 1 0 0 20 0 1 0 16149039 37474304 2501 33554432000 4194304 5970956 140726385490128 140726385487464 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2501 795 434 0 2513 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 36596 [startup+222.306 s] /proc/loadavg: 2.06 2.03 2.14 3/188 5550 /proc/meminfo: memFree=31782784/32770624 swapFree=6264/12792 [pid=5538] ppid=5535 vsize=36596 CPUtime=222.26 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 14079 0 0 0 22225 1 0 0 20 0 1 0 16149039 37474304 2504 33554432000 4194304 5970956 140726385490128 140726385487464 5038329 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2504 795 434 0 2513 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 36596 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.13 3/188 5551 /proc/meminfo: memFree=31782908/32770624 swapFree=6264/12848 [pid=5538] ppid=5535 vsize=36596 CPUtime=282.25 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 14829 0 0 0 28224 1 0 0 20 0 1 0 16149039 37474304 2506 33554432000 4194304 5970956 140726385490128 140726385487464 5038669 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2506 795 434 0 2513 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 36596 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.13 3/188 5552 /proc/meminfo: memFree=31782784/32770624 swapFree=6264/12884 [pid=5538] ppid=5535 vsize=36596 CPUtime=342.24 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 15532 0 0 0 34223 1 0 0 20 0 1 0 16149039 37474304 2506 33554432000 4194304 5970956 140726385490128 140726385487464 5337509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2506 795 434 0 2513 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 36596 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.12 3/187 5554 /proc/meminfo: memFree=31783120/32770624 swapFree=6264/12928 [pid=5538] ppid=5535 vsize=36596 CPUtime=402.23 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 16229 0 0 0 40222 1 0 0 20 0 1 0 16149039 37474304 2508 33554432000 4194304 5970956 140726385490128 140726385487464 4974618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2508 795 434 0 2513 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 36596 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.12 3/187 5555 /proc/meminfo: memFree=31782608/32770624 swapFree=6264/12968 [pid=5538] ppid=5535 vsize=36596 CPUtime=462.22 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 16963 0 0 0 46221 1 0 0 20 0 1 0 16149039 37474304 2508 33554432000 4194304 5970956 140726385490128 140726385487464 5038721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2508 795 434 0 2513 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 36596 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.11 3/187 5617 /proc/meminfo: memFree=31810748/32770624 swapFree=6264/14344 [pid=5538] ppid=5535 vsize=36596 CPUtime=522.22 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 17682 0 0 0 52221 1 0 0 20 0 1 0 16149039 37474304 2509 33554432000 4194304 5970956 140726385490128 140726385487464 4977886 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2509 795 434 0 2513 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 36596 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.10 3/187 5619 /proc/meminfo: memFree=31803616/32770624 swapFree=6264/14468 [pid=5538] ppid=5535 vsize=36596 CPUtime=582.21 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 18388 0 0 0 58220 1 0 0 20 0 1 0 16149039 37474304 2512 33554432000 4194304 5970956 140726385490128 140726385487464 5333453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2512 795 434 0 2513 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 36596 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.05 3/189 5652 /proc/meminfo: memFree=31801872/32770624 swapFree=6264/16456 [pid=5538] ppid=5535 vsize=36596 CPUtime=1482.09 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 29614 0 0 0 148207 2 0 0 20 0 1 0 16149039 37474304 2519 33554432000 4194304 5970956 140726385490128 140726385487464 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2519 795 434 0 2513 0 Current children cumulated CPU time (s) 1482.09 Current children cumulated vsize (KiB) 36596 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/189 5653 /proc/meminfo: memFree=31801376/32770624 swapFree=6264/16492 [pid=5538] ppid=5535 vsize=36596 CPUtime=1542.09 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 30533 0 0 0 154207 2 0 0 20 0 1 0 16149039 37474304 2519 33554432000 4194304 5970956 140726385490128 140726385487464 5337497 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2519 795 434 0 2513 0 Current children cumulated CPU time (s) 1542.09 Current children cumulated vsize (KiB) 36596 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 5654 /proc/meminfo: memFree=31801552/32770624 swapFree=6264/16528 [pid=5538] ppid=5535 vsize=36596 CPUtime=1602.07 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 31423 0 0 0 160205 2 0 0 20 0 1 0 16149039 37474304 2519 33554432000 4194304 5970956 140726385490128 140726385487464 5327993 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2519 795 434 0 2513 0 Current children cumulated CPU time (s) 1602.07 Current children cumulated vsize (KiB) 36596 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5655 /proc/meminfo: memFree=31802296/32770624 swapFree=6264/16568 [pid=5538] ppid=5535 vsize=36596 CPUtime=1662.07 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 32184 0 0 0 166205 2 0 0 20 0 1 0 16149039 37474304 2520 33554432000 4194304 5970956 140726385490128 140726385487464 4976191 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2520 795 434 0 2513 0 Current children cumulated CPU time (s) 1662.07 Current children cumulated vsize (KiB) 36596 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5656 /proc/meminfo: memFree=31802668/32770624 swapFree=6264/16604 [pid=5538] ppid=5535 vsize=36596 CPUtime=1722.06 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 33196 0 0 0 172204 2 0 0 20 0 1 0 16149039 37474304 2520 33554432000 4194304 5970956 140726385490128 140726385487464 5319774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2520 795 434 0 2513 0 Current children cumulated CPU time (s) 1722.06 Current children cumulated vsize (KiB) 36596 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5657 /proc/meminfo: memFree=31802088/32770624 swapFree=6264/16644 [pid=5538] ppid=5535 vsize=36596 CPUtime=1782.05 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 33959 0 0 0 178203 2 0 0 20 0 1 0 16149039 37474304 2520 33554432000 4194304 5970956 140726385490128 140726385487464 5306275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2520 795 434 0 2513 0 Current children cumulated CPU time (s) 1782.05 Current children cumulated vsize (KiB) 36596 [startup+1842.3 s] /proc/loadavg: 2.14 2.05 2.05 3/187 5658 /proc/meminfo: memFree=31802020/32770624 swapFree=6264/16684 [pid=5538] ppid=5535 vsize=36596 CPUtime=1842.04 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 34647 0 0 0 184202 2 0 0 20 0 1 0 16149039 37474304 2521 33554432000 4194304 5970956 140726385490128 140726385487464 4974949 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2521 795 434 0 2513 0 Current children cumulated CPU time (s) 1842.04 Current children cumulated vsize (KiB) 36596 [startup+1902.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 5666 /proc/meminfo: memFree=31802164/32770624 swapFree=6264/16724 [pid=5538] ppid=5535 vsize=36596 CPUtime=1902.03 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 35352 0 0 0 190201 2 0 0 20 0 1 0 16149039 37474304 2522 33554432000 4194304 5970956 140726385490128 140726385487464 5038567 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2522 795 434 0 2513 0 Current children cumulated CPU time (s) 1902.03 Current children cumulated vsize (KiB) 36596 [startup+1962.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 5667 /proc/meminfo: memFree=31802436/32770624 swapFree=6264/16760 [pid=5538] ppid=5535 vsize=36596 CPUtime=1962.02 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 35982 0 0 0 196200 2 0 0 20 0 1 0 16149039 37474304 2522 33554432000 4194304 5970956 140726385490128 140726385487464 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2522 795 434 0 2513 0 Current children cumulated CPU time (s) 1962.02 Current children cumulated vsize (KiB) 36596 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5668 /proc/meminfo: memFree=31802932/32770624 swapFree=6264/16788 [pid=5538] ppid=5535 vsize=36596 CPUtime=2022.02 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 36722 0 0 0 202200 2 0 0 20 0 1 0 16149039 37474304 2522 33554432000 4194304 5970956 140726385490128 140726385487464 5038238 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2522 795 434 0 2513 0 Current children cumulated CPU time (s) 2022.02 Current children cumulated vsize (KiB) 36596 [startup+2082.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 5669 /proc/meminfo: memFree=31802692/32770624 swapFree=6264/16820 [pid=5538] ppid=5535 vsize=36596 CPUtime=2082.01 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 37426 0 0 0 208199 2 0 0 20 0 1 0 16149039 37474304 2522 33554432000 4194304 5970956 140726385490128 140726385487464 5337472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2522 795 434 0 2513 0 Current children cumulated CPU time (s) 2082.01 Current children cumulated vsize (KiB) 36596 [startup+2142.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5670 /proc/meminfo: memFree=31802940/32770624 swapFree=6264/16852 [pid=5538] ppid=5535 vsize=36596 CPUtime=2142 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 38369 0 0 0 214198 2 0 0 20 0 1 0 16149039 37474304 2522 33554432000 4194304 5970956 140726385490128 140726385487464 5039483 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2522 795 434 0 2513 0 Current children cumulated CPU time (s) 2142 Current children cumulated vsize (KiB) 36596 [startup+2202.31 s] /proc/loadavg: 2.07 2.04 2.05 3/187 5672 /proc/meminfo: memFree=31802848/32770624 swapFree=6264/16896 [pid=5538] ppid=5535 vsize=36596 CPUtime=2202 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 39293 0 0 0 220198 2 0 0 20 0 1 0 16149039 37474304 2523 33554432000 4194304 5970956 140726385490128 140726385487464 5337505 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2523 795 434 0 2513 0 Current children cumulated CPU time (s) 2202 Current children cumulated vsize (KiB) 36596 [startup+2262.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 5673 /proc/meminfo: memFree=31802600/32770624 swapFree=6264/16932 [pid=5538] ppid=5535 vsize=36596 CPUtime=2261.98 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 39939 0 0 0 226196 2 0 0 20 0 1 0 16149039 37474304 2524 33554432000 4194304 5970956 140726385490128 140726385487464 4977863 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2524 795 434 0 2513 0 Current children cumulated CPU time (s) 2261.98 Current children cumulated vsize (KiB) 36596 [startup+2322.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5674 /proc/meminfo: memFree=31802600/32770624 swapFree=6264/16964 [pid=5538] ppid=5535 vsize=36596 CPUtime=2321.97 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 40607 0 0 0 232195 2 0 0 20 0 1 0 16149039 37474304 2524 33554432000 4194304 5970956 140726385490128 140726385487464 4974567 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2524 795 434 0 2513 0 Current children cumulated CPU time (s) 2321.97 Current children cumulated vsize (KiB) 36596 [startup+2382.3 s] /proc/loadavg: 2.10 2.06 2.05 3/187 5676 /proc/meminfo: memFree=31802596/32770624 swapFree=6264/17020 [pid=5538] ppid=5535 vsize=36596 CPUtime=2381.97 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 41296 0 0 0 238195 2 0 0 20 0 1 0 16149039 37474304 2525 33554432000 4194304 5970956 140726385490128 140726385487464 4977807 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2525 795 434 0 2513 0 Current children cumulated CPU time (s) 2381.97 Current children cumulated vsize (KiB) 36596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.07 2.05 2.05 3/187 5676 /proc/meminfo: memFree=31802596/32770624 swapFree=6264/17036 [pid=5538] ppid=5535 vsize=36596 CPUtime=2400.06 cores=1,3,5,7 /proc/5538/stat : 5538 (cosoco) R 5535 5538 3975 0 -1 4202496 41917 0 0 0 240004 2 0 0 20 0 1 0 16149039 37474304 2525 33554432000 4194304 5970956 140726385490128 140726385487464 5038163 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 8736768 140726385493180 140726385493315 140726385493315 140726385496014 0 /proc/5538/statm: 9149 2525 795 434 0 2513 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 36596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5538 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.4 CPU time (s): 2400.08 CPU user time (s): 2400.05 CPU system time (s): 0.026996 CPU usage (%): 99.9865 Max. virtual memory (cumulated for all children) (KiB): 36596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.026996 maximum resident set size= 10144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41945 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= 7 involuntary context switches= 120749 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.60269 second user time and 8.03513 second system time The end
Begin job on node131 at 2017-07-21 11:18:45 IDJOB=4240989 IDBENCH=125541 IDSOLVER=2621 FILE ID=node131/4240989-1500628725 RUNJOBID= node131-1500623778-4007 PBS_JOBID= 20623002 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Kakuro/Kakuro-sumdiff-medium/Kakuro-medium-191-sumdiff.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240989-1500628725/watcher-4240989-1500628725 -o /tmp/evaluation-result-4240989-1500628725/solver-4240989-1500628725 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240989-1500628725.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 261f5e0f67b6e0c567fd630968b40e71 RANDOM SEED=1939545660 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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 : 2267.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 : 1600.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 : 1600.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 : 1600.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 : 1600.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 : 1600.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: 31792488 kB MemAvailable: 31784524 kB Buffers: 93684 kB Cached: 172320 kB SwapCached: 0 kB Active: 470492 kB Inactive: 76424 kB Active(anon): 228552 kB Inactive(anon): 64176 kB Active(file): 241940 kB Inactive(file): 12248 kB Unevictable: 6264 kB Mlocked: 6264 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2348 kB Writeback: 20 kB AnonPages: 286940 kB Mapped: 34644 kB Shmem: 8852 kB Slab: 132792 kB SReclaimable: 107364 kB SUnreclaim: 25428 kB KernelStack: 3328 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 586840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61988 MiB End job on node131 at 2017-07-21 11:58:45