Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 686 | 2400.02 | 2401 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml |
| MD5SUM | 45cb885f577274590a53a0b26d80d877 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 686 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3082 |
| Number of constraints | 1747 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3043 |
| Distribution of domain sizes | [{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 41 |
| Distribution of constraint arities | [{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}] |
| Number of extensional constraints | 1517 |
| Number of intensional constraints | 186 |
| Distribution of constraint types | [{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral-2017-06-28 0.99/1.05 o 0 0.99/1.05 o 3 0.99/1.05 o 4 0.99/1.06 o 5 0.99/1.06 o 6 0.99/1.06 o 8 0.99/1.07 o 9 0.99/1.07 o 10 0.99/1.08 o 11 0.99/1.08 o 12 1.19/1.28 o 16 1.19/1.29 o 17 1.19/1.29 o 18 1.49/1.50 o 20 1.49/1.50 o 21 1.49/1.50 o 22 1.49/1.50 o 23 1.49/1.50 o 24 1.69/1.72 o 26 1.69/1.72 o 27 1.69/1.72 o 28 1.69/1.73 o 30 1.69/1.73 o 31 1.69/1.73 o 32 1.69/1.74 o 33 1.69/1.74 o 34 1.69/1.74 o 35 1.69/1.75 o 36 1.69/1.78 o 40 1.69/1.78 o 41 1.89/1.99 o 44 1.89/1.99 o 45 1.89/1.99 o 46 1.89/2.00 o 47 1.99/2.01 o 48 1.99/2.02 o 49 1.99/2.03 o 50 1.99/2.03 o 51 2.20/2.26 o 52 2.20/2.26 o 53 2.20/2.26 o 54 2.20/2.26 o 55 2.20/2.26 o 56 2.20/2.26 o 57 2.20/2.27 o 58 2.20/2.27 o 59 2.20/2.27 o 60 2.20/2.27 o 61 2.39/2.48 o 65 2.39/2.48 o 66 2.39/2.48 o 67 2.49/2.50 o 69 2.49/2.50 o 70 2.49/2.51 o 71 2.49/2.54 o 72 2.69/2.78 o 74 2.69/2.78 o 75 2.69/2.78 o 76 2.69/2.79 o 77 2.69/2.79 o 78 2.69/2.79 o 79 2.69/2.79 o 80 2.78/2.81 o 82 2.78/2.82 o 83 2.78/2.84 o 84 2.78/2.89 o 85 3.09/3.12 o 88 3.09/3.12 o 89 3.09/3.12 o 90 3.09/3.13 o 91 3.09/3.13 o 92 3.09/3.13 o 93 3.09/3.13 o 94 3.09/3.13 o 95 3.30/3.35 o 98 3.30/3.35 o 99 3.30/3.36 o 100 3.30/3.36 o 101 3.30/3.36 o 102 3.30/3.37 o 103 3.30/3.38 o 104 3.30/3.38 o 105 3.30/3.39 o 107 3.30/3.39 o 108 3.30/3.39 o 109 3.30/3.40 o 110 3.59/3.62 o 112 3.59/3.62 o 113 3.59/3.62 o 114 3.59/3.63 o 116 3.59/3.63 o 117 3.59/3.64 o 118 3.59/3.69 o 119 3.59/3.69 o 120 3.69/3.70 o 121 3.89/3.90 o 123 3.89/3.90 o 124 3.89/3.91 o 125 3.89/3.91 o 126 3.89/3.91 o 127 3.89/3.94 o 128 3.89/3.94 o 129 3.89/3.94 o 130 4.09/4.14 o 133 4.09/4.14 o 134 4.09/4.14 o 138 4.09/4.14 o 139 4.09/4.16 o 141 4.09/4.16 o 142 4.09/4.16 o 143 4.09/4.17 o 144 4.09/4.19 o 145 4.29/4.36 o 146 4.29/4.37 o 148 4.39/4.44 o 149 4.39/4.44 o 150 4.39/4.44 o 151 4.39/4.44 o 152 4.39/4.44 o 153 4.39/4.44 o 154 4.58/4.61 o 155 4.58/4.64 o 156 4.58/4.69 o 157 4.78/4.88 o 159 4.88/4.90 o 160 4.88/4.93 o 161 6.08/6.19 o 182 6.19/6.21 o 183 6.19/6.21 o 184 6.19/6.24 o 185 6.19/6.24 o 186 6.19/6.24 o 187 6.60/6.66 o 188 6.60/6.68 o 189 6.60/6.68 o 190 6.60/6.68 o 191 6.60/6.69 o 192 6.60/6.69 o 193 6.60/6.70 o 194 6.70/6.71 o 196 6.70/6.71 o 197 6.70/6.72 o 198 6.89/6.91 o 199 6.89/6.91 o 200 6.89/6.93 o 202 6.89/6.94 o 203 6.89/6.94 o 204 6.89/6.95 o 205 6.89/6.98 o 206 7.59/7.62 o 207 7.69/7.72 o 208 8.09/8.16 o 209 8.19/8.22 o 210 8.59/8.64 o 218 9.59/9.61 o 235 9.59/9.68 o 236 10.48/10.57 o 238 10.68/10.77 o 239 10.78/10.87 o 240 11.28/11.36 o 244 11.48/11.53 o 245 12.09/12.12 o 247 12.59/12.65 o 257 12.69/12.73 o 259 13.09/13.10 o 260 13.49/13.59 o 271 13.68/13.73 o 272 13.88/13.99 o 273 14.08/14.16 o 274 14.18/14.23 o 275 14.18/14.30 o 276 14.29/14.36 o 277 14.39/14.43 o 278 14.98/15.03 o 302 15.18/15.26 o 303 15.39/15.49 o 304 15.39/15.50 o 305 17.69/17.74 o 307 17.69/17.75 o 308 17.69/17.75 o 309 17.69/17.75 o 310 18.69/18.72 o 336 18.98/19.02 o 337 20.48/20.59 o 376 20.58/20.66 o 377 23.78/23.81 o 383 25.08/25.13 o 384 26.78/26.82 o 404 26.78/26.83 o 405 26.78/26.88 o 407 28.77/28.82 o 409 28.77/28.89 o 410 33.28/33.39 o 421 33.98/34.04 o 423 34.38/34.46 o 432 34.88/34.92 o 433 35.08/35.19 o 434 35.18/35.26 o 435 35.38/35.41 o 436 35.58/35.62 o 437 36.88/36.98 o 443 38.37/38.49 o 447 38.48/38.50 o 448 38.48/38.51 o 449 39.07/39.19 o 453 39.27/39.34 o 454 40.78/40.84 o 461 40.87/40.95 o 462 40.87/40.95 o 463 42.37/42.43 o 464 42.67/42.78 o 468 45.07/45.12 o 469 45.27/45.32 o 470 45.27/45.32 o 471 49.66/49.79 o 472 49.76/49.81 o 473 53.06/53.13 o 474 59.15/59.29 o 475 59.15/59.30 o 476 61.15/61.25 o 477 61.15/61.25 o 478 62.95/63.05 o 479 65.85/65.91 o 483 67.74/67.85 o 484 68.34/68.42 o 485 69.25/69.34 o 486 69.35/69.46 o 487 71.04/71.10 o 489 71.14/71.28 o 490 71.24/71.35 o 491 72.04/72.18 o 492 72.44/72.50 o 507 72.44/72.55 o 508 74.75/74.85 o 513 75.04/75.17 o 515 75.04/75.18 o 516 75.14/75.20 o 517 75.14/75.23 o 518 75.84/75.91 o 519 75.84/75.91 o 520 75.84/75.94 o 521 75.84/75.95 o 522 76.24/76.39 o 524 77.64/77.79 o 525 78.73/78.80 o 526 80.94/81.03 o 530 80.94/81.03 o 531 82.23/82.30 o 532 85.74/85.90 o 533 85.84/85.95 o 534 85.84/85.98 o 535 85.93/86.00 o 536 85.93/86.04 o 537 85.93/86.06 o 538 86.13/86.22 o 539 94.02/94.19 o 540 94.22/94.36 o 541 94.92/95.05 o 542 95.82/95.91 o 543 95.82/95.93 o 544 97.92/98.07 o 548 98.01/98.10 o 549 99.31/99.47 o 552 99.31/99.48 o 553 100.51/100.65 o 554 101.61/101.77 o 555 104.21/104.38 o 556 110.10/110.27 o 557 110.50/110.63 o 559 114.70/114.85 o 560 114.70/114.86 o 561 114.80/114.97 o 562 120.09/120.23 o 563 122.10/122.26 o 564 122.19/122.35 o 565 122.59/122.77 o 568 125.69/125.87 o 572 127.78/127.96 o 574 134.48/134.62 o 575 135.38/135.52 o 577 135.58/135.72 o 578 138.48/138.68 o 581 139.58/139.77 o 582 149.36/149.54 o 583 149.47/149.68 o 584 149.86/150.04 o 585 151.67/151.87 o 586 170.15/170.37 o 587 170.35/170.50 o 588 173.65/173.87 o 590 178.64/178.86 o 592 209.32/209.56 o 593 216.71/217.00 o 598 234.60/234.87 o 599 235.30/235.52 o 600 235.30/235.54 o 601 235.50/235.71 o 602 236.20/236.44 o 603 237.40/237.68 o 604 286.08/286.36 o 605 312.77/313.06 o 606 314.17/314.44 o 607 321.47/321.73 o 608 321.67/321.92 o 609 321.77/322.06 o 610 321.87/322.11 o 611 334.46/334.78 o 612 370.75/371.07 o 613 415.33/415.67 o 614 433.53/433.80 o 615 453.53/453.82 o 616 453.53/453.83 o 617 460.82/461.11 o 618 462.52/462.86 o 619 464.03/464.32 o 620 472.12/472.42 o 621 501.41/501.75 o 622 502.61/502.99 o 623 597.18/597.59 o 624 608.37/608.79 o 625 634.06/634.44 o 626 670.15/670.50 o 627 687.34/687.73 o 628 687.34/687.78 o 629 687.34/687.79 o 630 687.34/687.79 o 631 687.34/687.79 o 632 687.44/687.86 o 633 687.44/687.86 o 634 687.44/687.87 o 635 700.24/700.66 o 636 700.24/700.67 o 637 700.24/700.68 o 638 714.64/715.06 o 639 727.23/727.69 o 640 789.80/790.20 o 641 795.40/795.85 o 642 893.46/893.99 o 643 900.57/901.05 o 644 972.04/972.58 o 645 1007.92/1008.43 o 646 1011.02/1011.51 o 647 1012.62/1013.16 o 648 1112.69/1113.30 o 649 1113.79/1114.33 o 650 1159.17/1159.78 o 651 1162.67/1163.25 o 654 1212.76/1213.39 o 657 1247.74/1248.36 o 658 1417.87/1418.54 o 659 1420.87/1421.51 o 660 1425.87/1426.58 o 661 1447.36/1448.02 o 669 1692.77/1693.57 o 670 1700.16/1700.92 o 671 1700.36/1701.11 o 672 1716.66/1717.49 o 673 1726.65/1727.48 o 674 1728.75/1729.55 o 675 1734.85/1735.63 o 677 1740.25/1741.05 o 678 1861.20/1862.08 o 681 1862.90/1863.79 o 682 1868.80/1869.69 o 683 1930.08/1930.93 o 684 2212.07/2213.00 o 685 2390.91/2391.98 o 686 2400.01/2401.00 s SATISFIABLE 2400.01/2401.00 v <instantiation type="solution"> 2400.01/2401.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[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[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] 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[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] 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[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] 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[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] 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[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] 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[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] 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[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] 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[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] 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[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] 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[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] 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[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] 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[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] 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[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] 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[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] 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[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] 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[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] 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[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] 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[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] 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[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] 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[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] 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[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] 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[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] 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] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z </list> 2400.01/2401.00 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 16 27 32 35 38 43 47 52 55 59 63 63 65 71 76 77 77 80 81 83 86 89 92 94 95 99 104 106 108 110 113 116 119 120 123 126 126 127 142 686 </values> 2400.01/2401.00 v </instantiation>
OK 686
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-4239955-1500636376/watcher-4239955-1500636376 -o /tmp/evaluation-result-4239955-1500636376/solver-4239955-1500636376 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500623778-3045 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1370875230 HOME/instance-4239955-1500636376.xml pid=5267 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.97 2.01 2.04 2/186 5270 /proc/meminfo: memFree=30444492/32770624 swapFree=6400/1481092 [pid=5270] ppid=5267 vsize=28800 CPUtime=0 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 943 0 0 0 0 0 0 0 20 0 1 0 16914446 29491200 765 33554432000 4194304 7402444 140736660751664 140736660748712 140695178341349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 7200 765 593 784 0 214 0 [startup+0.100179 s] /proc/loadavg: 1.97 2.01 2.04 2/186 5270 /proc/meminfo: memFree=30444492/32770624 swapFree=6400/1481092 [pid=5270] ppid=5267 vsize=44252 CPUtime=0.09 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 4910 0 0 0 8 1 0 0 20 0 1 0 16914446 45314048 4644 33554432000 4194304 7402444 140736660751664 140736660744904 5928890 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 11063 4644 657 784 0 4077 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 44252 [startup+0.200434 s] /proc/loadavg: 1.97 2.01 2.04 2/186 5270 /proc/meminfo: memFree=30444492/32770624 swapFree=6400/1481092 [pid=5270] ppid=5267 vsize=108160 CPUtime=0.19 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 20879 0 0 0 16 3 0 0 20 0 1 0 16914446 110755840 20616 33554432000 4194304 7402444 140736660751664 140736660742744 140695178341349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 27040 20616 663 784 0 20054 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 108160 [startup+0.300394 s] /proc/loadavg: 1.97 2.01 2.04 2/186 5270 /proc/meminfo: memFree=30444492/32770624 swapFree=6400/1481092 [pid=5270] ppid=5267 vsize=186320 CPUtime=0.29 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 40419 0 0 0 24 5 0 0 20 0 1 0 16914446 190791680 40152 33554432000 4194304 7402444 140736660751664 140736660743160 140695178341349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 46580 40152 663 784 0 39594 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 186320 [startup+0.700315 s] /proc/loadavg: 1.97 2.01 2.04 2/186 5270 /proc/meminfo: memFree=30444492/32770624 swapFree=6400/1481092 [pid=5270] ppid=5267 vsize=354224 CPUtime=0.69 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 82474 0 0 0 59 10 0 0 20 0 1 0 16914446 362725376 82260 33554432000 4194304 7402444 140736660751664 140736660741440 6027727 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 88556 82260 734 784 0 81570 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 354224 [startup+1.50034 s] /proc/loadavg: 1.97 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30113252/32770624 swapFree=6400/1481120 [pid=5270] ppid=5267 vsize=359388 CPUtime=1.49 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 83950 0 0 0 139 10 0 0 20 0 1 0 16914446 368013312 83573 33554432000 4194304 7402444 140736660751664 140736660746200 4709507 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 89847 83573 792 784 0 82861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 359388 [startup+3.10035 s] /proc/loadavg: 1.97 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30112136/32770624 swapFree=6400/1481120 [pid=5270] ppid=5267 vsize=360576 CPUtime=3.09 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 133760 0 0 0 296 13 0 0 20 0 1 0 16914446 369229824 83914 33554432000 4194304 7402444 140736660751664 140736660746200 4484551 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90144 83914 792 784 0 83158 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 360576 [startup+6.30033 s] /proc/loadavg: 1.98 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30110268/32770624 swapFree=6400/1481116 [pid=5270] ppid=5267 vsize=361772 CPUtime=6.29 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 225463 0 0 0 612 17 0 0 20 0 1 0 16914446 370454528 84206 33554432000 4194304 7402444 140736660751664 140736660746680 4484598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90443 84206 793 784 0 83457 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 361772 [startup+12.7003 s] /proc/loadavg: 1.98 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30109528/32770624 swapFree=6400/1481128 [pid=5270] ppid=5267 vsize=362300 CPUtime=12.69 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 289062 0 0 0 1249 20 0 0 20 0 1 0 16914446 370995200 84350 33554432000 4194304 7402444 140736660751664 140736660746680 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90575 84350 793 784 0 83589 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 362300 [startup+25.5004 s] /proc/loadavg: 1.98 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30108536/32770624 swapFree=6400/1481148 [pid=5270] ppid=5267 vsize=362980 CPUtime=25.48 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 344228 0 0 0 2525 23 0 0 20 0 1 0 16914446 371691520 84501 33554432000 4194304 7402444 140736660751664 140736660746680 4484665 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90745 84501 793 784 0 83759 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 362980 [startup+51.1004 s] /proc/loadavg: 1.99 2.01 2.04 3/187 5271 /proc/meminfo: memFree=30107504/32770624 swapFree=6400/1481180 [pid=5270] ppid=5267 vsize=363244 CPUtime=51.06 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 434476 0 0 0 5077 29 0 0 20 0 1 0 16914446 371961856 84596 33554432000 4194304 7402444 140736660751664 140736660746680 4464386 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90811 84596 793 784 0 83825 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 363244 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 5272 /proc/meminfo: memFree=30107568/32770624 swapFree=6400/1481272 [pid=5270] ppid=5267 vsize=363640 CPUtime=102.21 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 486221 0 0 0 10188 33 0 0 20 0 1 0 16914446 372367360 84664 33554432000 4194304 7402444 140736660751664 140736660746680 4484551 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90910 84664 793 784 0 83924 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 363640 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 5274 /proc/meminfo: memFree=30107064/32770624 swapFree=6400/1481340 [pid=5270] ppid=5267 vsize=363640 CPUtime=162.16 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 511933 0 0 0 16181 35 0 0 20 0 1 0 16914446 372367360 84676 33554432000 4194304 7402444 140736660751664 140736660746680 5758796 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90910 84676 794 784 0 83924 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 363640 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/187 5275 /proc/meminfo: memFree=30106136/32770624 swapFree=6400/1481404 [pid=5270] ppid=5267 vsize=363640 CPUtime=222.11 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 514069 0 0 0 22176 35 0 0 20 0 1 0 16914446 372367360 84686 33554432000 4194304 7402444 140736660751664 140736660746680 5753913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90910 84686 794 784 0 83924 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 363640 [startup+282.3 s] /proc/loadavg: 2.03 2.03 2.05 3/188 5284 /proc/meminfo: memFree=30105436/32770624 swapFree=6400/1481452 [pid=5270] ppid=5267 vsize=363640 CPUtime=282.08 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 515161 0 0 0 28173 35 0 0 20 0 1 0 16914446 372367360 84688 33554432000 4194304 7402444 140736660751664 140736660746680 4484544 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90910 84688 794 784 0 83924 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 363640 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 5285 /proc/meminfo: memFree=30106240/32770624 swapFree=6400/1481492 [pid=5270] ppid=5267 vsize=363640 CPUtime=342.06 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 516288 0 0 0 34171 35 0 0 20 0 1 0 16914446 372367360 84702 33554432000 4194304 7402444 140736660751664 140736660746680 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90910 84702 794 784 0 83924 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 363640 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 5286 /proc/meminfo: memFree=30105964/32770624 swapFree=6400/1481528 [pid=5270] ppid=5267 vsize=363772 CPUtime=402.04 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 517369 0 0 0 40169 35 0 0 20 0 1 0 16914446 372502528 84704 33554432000 4194304 7402444 140736660751664 140736660746200 5747570 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90943 84704 794 784 0 83957 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 363772 [startup+462.3 s] /proc/loadavg: 2.21 2.06 2.06 3/188 5287 /proc/meminfo: memFree=30106100/32770624 swapFree=6400/1481576 [pid=5270] ppid=5267 vsize=363772 CPUtime=462.02 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 518496 0 0 0 46166 36 0 0 20 0 1 0 16914446 372502528 84723 33554432000 4194304 7402444 140736660751664 140736660746680 5753939 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90943 84723 794 784 0 83957 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 363772 [startup+522.3 s] /proc/loadavg: 2.08 2.05 2.05 3/188 5288 /proc/meminfo: memFree=30105984/32770624 swapFree=6400/1481616 [pid=5270] ppid=5267 vsize=363772 CPUtime=522 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 518923 0 0 0 52164 36 0 0 20 0 1 0 16914446 372502528 84724 33554432000 4194304 7402444 140736660751664 140736660746680 4747298 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90943 84724 794 784 0 83957 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 363772 [startup+582.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 5289 /proc/meminfo: memFree=30105656/32770624 swapFree=6400/1481636 [pid=5270] ppid=5267 vsize=363772 CPUtime=581.98 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 519701 0 0 0 58162 36 0 0 20 0 1 0 16914446 372502528 84733 33554432000 4194304 7402444 140736660751664 140736660746680 4484583 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 90943 84733 794 784 0 83957 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 363772 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.05 3/187 5319 /proc/meminfo: memFree=30105088/32770624 swapFree=6400/1482184 [pid=5270] ppid=5267 vsize=364036 CPUtime=1481.65 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 530458 0 0 0 148129 36 0 0 20 0 1 0 16914446 372772864 84801 33554432000 4194304 7402444 140736660751664 140736660746680 5877655 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91009 84801 794 784 0 84023 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 364036 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.05 3/187 5320 /proc/meminfo: memFree=30104976/32770624 swapFree=6400/1482204 [pid=5270] ppid=5267 vsize=364036 CPUtime=1541.63 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 531310 0 0 0 154127 36 0 0 20 0 1 0 16914446 372772864 84802 33554432000 4194304 7402444 140736660751664 140736660746680 5695876 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91009 84802 794 784 0 84023 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 364036 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5321 /proc/meminfo: memFree=30104856/32770624 swapFree=6400/1482228 [pid=5270] ppid=5267 vsize=364168 CPUtime=1601.6 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 531940 0 0 0 160124 36 0 0 20 0 1 0 16914446 372908032 84818 33554432000 4194304 7402444 140736660751664 140736660746008 4712981 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84818 794 784 0 84056 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 364168 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5322 /proc/meminfo: memFree=30105108/32770624 swapFree=6400/1482256 [pid=5270] ppid=5267 vsize=364168 CPUtime=1661.58 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 532816 0 0 0 166122 36 0 0 20 0 1 0 16914446 372908032 84818 33554432000 4194304 7402444 140736660751664 140736660746008 5698142 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84818 794 784 0 84056 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 364168 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5323 /proc/meminfo: memFree=30105608/32770624 swapFree=6400/1482292 [pid=5270] ppid=5267 vsize=364168 CPUtime=1721.56 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 533502 0 0 0 172120 36 0 0 20 0 1 0 16914446 372908032 84819 33554432000 4194304 7402444 140736660751664 140736660746680 4484555 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84819 794 784 0 84056 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 364168 [startup+1782.3 s] /proc/loadavg: 2.08 2.04 2.05 3/187 5325 /proc/meminfo: memFree=30105188/32770624 swapFree=6400/1482336 [pid=5270] ppid=5267 vsize=364168 CPUtime=1781.53 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 533985 0 0 0 178117 36 0 0 20 0 1 0 16914446 372908032 84819 33554432000 4194304 7402444 140736660751664 140736660746680 4484234 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84819 794 784 0 84056 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 364168 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 5326 /proc/meminfo: memFree=30104696/32770624 swapFree=6400/1482360 [pid=5270] ppid=5267 vsize=364168 CPUtime=1841.51 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 534739 0 0 0 184115 36 0 0 20 0 1 0 16914446 372908032 84819 33554432000 4194304 7402444 140736660751664 140736660746680 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84819 794 784 0 84056 0 Current children cumulated CPU time (s) 1841.51 Current children cumulated vsize (KiB) 364168 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5327 /proc/meminfo: memFree=30104824/32770624 swapFree=6400/1482400 [pid=5270] ppid=5267 vsize=364168 CPUtime=1901.48 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 535663 0 0 0 190112 36 0 0 20 0 1 0 16914446 372908032 84820 33554432000 4194304 7402444 140736660751664 140736660746680 4483946 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84820 794 784 0 84056 0 Current children cumulated CPU time (s) 1901.48 Current children cumulated vsize (KiB) 364168 [startup+1962.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 5457 /proc/meminfo: memFree=30106960/32770624 swapFree=6400/1482440 [pid=5270] ppid=5267 vsize=364168 CPUtime=1961.46 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 536275 0 0 0 196109 37 0 0 20 0 1 0 16914446 372908032 84829 33554432000 4194304 7402444 140736660751664 140736660746680 4484665 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84829 794 784 0 84056 0 Current children cumulated CPU time (s) 1961.46 Current children cumulated vsize (KiB) 364168 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 5458 /proc/meminfo: memFree=30106488/32770624 swapFree=6400/1482480 [pid=5270] ppid=5267 vsize=364168 CPUtime=2021.44 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 537188 0 0 0 202107 37 0 0 20 0 1 0 16914446 372908032 84830 33554432000 4194304 7402444 140736660751664 140736660746680 4484562 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84830 794 784 0 84056 0 Current children cumulated CPU time (s) 2021.44 Current children cumulated vsize (KiB) 364168 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5466 /proc/meminfo: memFree=30098104/32770624 swapFree=6400/1482504 [pid=5270] ppid=5267 vsize=364168 CPUtime=2081.43 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 537927 0 0 0 208106 37 0 0 20 0 1 0 16914446 372908032 84831 33554432000 4194304 7402444 140736660751664 140736660746680 4529232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84831 794 784 0 84056 0 Current children cumulated CPU time (s) 2081.43 Current children cumulated vsize (KiB) 364168 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5489 /proc/meminfo: memFree=30097472/32770624 swapFree=6400/1482532 [pid=5270] ppid=5267 vsize=364168 CPUtime=2141.4 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 538626 0 0 0 214103 37 0 0 20 0 1 0 16914446 372908032 84831 33554432000 4194304 7402444 140736660751664 140736660746680 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84831 794 784 0 84056 0 Current children cumulated CPU time (s) 2141.4 Current children cumulated vsize (KiB) 364168 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5490 /proc/meminfo: memFree=30098084/32770624 swapFree=6400/1482560 [pid=5270] ppid=5267 vsize=364168 CPUtime=2201.38 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 539418 0 0 0 220101 37 0 0 20 0 1 0 16914446 372908032 84832 33554432000 4194304 7402444 140736660751664 140736660746680 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84832 794 784 0 84056 0 Current children cumulated CPU time (s) 2201.38 Current children cumulated vsize (KiB) 364168 [startup+2262.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 5491 /proc/meminfo: memFree=30098320/32770624 swapFree=6400/1482604 [pid=5270] ppid=5267 vsize=364168 CPUtime=2261.36 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 540140 0 0 0 226099 37 0 0 20 0 1 0 16914446 372908032 84832 33554432000 4194304 7402444 140736660751664 140736660746680 5877540 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84832 794 784 0 84056 0 Current children cumulated CPU time (s) 2261.36 Current children cumulated vsize (KiB) 364168 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 5492 /proc/meminfo: memFree=30098204/32770624 swapFree=6400/1482628 [pid=5270] ppid=5267 vsize=364168 CPUtime=2321.33 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 540703 0 0 0 232096 37 0 0 20 0 1 0 16914446 372908032 84833 33554432000 4194304 7402444 140736660751664 140736660746680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84833 794 784 0 84056 0 Current children cumulated CPU time (s) 2321.33 Current children cumulated vsize (KiB) 364168 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 5493 /proc/meminfo: memFree=30097600/32770624 swapFree=6400/1482652 [pid=5270] ppid=5267 vsize=364168 CPUtime=2381.31 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 541446 0 0 0 238094 37 0 0 20 0 1 0 16914446 372908032 84833 33554432000 4194304 7402444 140736660751664 140736660746680 5753888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84833 794 784 0 84056 0 Current children cumulated CPU time (s) 2381.31 Current children cumulated vsize (KiB) 364168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5493 /proc/meminfo: memFree=30097848/32770624 swapFree=6400/1482664 [pid=5270] ppid=5267 vsize=364168 CPUtime=2400.01 cores=0,2,4,6 /proc/5270/stat : 5270 (MistralXCSP) R 5267 5270 3014 0 -1 4202496 541651 0 0 0 239964 37 0 0 20 0 1 0 16914446 372908032 84833 33554432000 4194304 7402444 140736660751664 140736660746680 5753958 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 34684928 140736660755624 140736660755774 140736660755774 140736660758473 0 /proc/5270/statm: 91042 84833 794 784 0 84056 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 364168 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 5270 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2401 CPU time (s): 2400.02 CPU user time (s): 2399.64 CPU system time (s): 0.38086 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (KiB): 364168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.64 system time used= 0.38086 maximum resident set size= 339356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 541678 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= 144 involuntary context switches= 120813 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.15458 second user time and 9.20728 second system time The end
Begin job on node127 at 2017-07-21 13:26:16 IDJOB=4239955 IDBENCH=115896 IDSOLVER=2622 FILE ID=node127/4239955-1500636376 RUNJOBID= node127-1500623778-3045 PBS_JOBID= 20623006 Free space on /tmp= 61992 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239955-1500636376/watcher-4239955-1500636376 -o /tmp/evaluation-result-4239955-1500636376/solver-4239955-1500636376 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500623778-3045 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1370875230 HOME/instance-4239955-1500636376.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=1370875230 node127.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 : 2267.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.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.48 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 : 1600.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.48 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 : 1733.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.48 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: 30444812 kB MemAvailable: 31999616 kB Buffers: 158328 kB Cached: 1675200 kB SwapCached: 0 kB Active: 413200 kB Inactive: 1490252 kB Active(anon): 72272 kB Inactive(anon): 8900 kB Active(file): 340928 kB Inactive(file): 1481352 kB Unevictable: 6400 kB Mlocked: 6400 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5848 kB Writeback: 0 kB AnonPages: 75180 kB Mapped: 34032 kB Shmem: 8848 kB Slab: 121656 kB SReclaimable: 96716 kB SUnreclaim: 24940 kB KernelStack: 3328 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61984 MiB End job on node127 at 2017-07-21 14:06:17