Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 686 | 2519.8799 | 2520 |
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.10 c 280717 0.99/1.13 o 0 0.99/1.13 o 3 0.99/1.13 o 4 0.99/1.14 o 5 0.99/1.14 o 6 0.99/1.14 o 8 0.99/1.16 o 9 0.99/1.16 o 10 0.99/1.16 o 11 0.99/1.16 o 12 1.19/1.37 o 16 1.19/1.37 o 17 1.19/1.37 o 18 1.39/1.59 o 20 1.39/1.59 o 21 1.39/1.59 o 22 1.39/1.59 o 23 1.39/1.59 o 24 1.69/1.81 o 26 1.69/1.81 o 27 1.69/1.81 o 28 1.69/1.82 o 30 1.69/1.82 o 31 1.69/1.82 o 32 1.69/1.83 o 33 1.69/1.83 o 34 1.69/1.83 o 35 1.69/1.84 o 36 1.69/1.87 o 40 1.69/1.87 o 41 1.89/2.08 o 44 1.89/2.08 o 45 1.89/2.08 o 46 1.89/2.09 o 47 1.99/2.10 o 48 1.99/2.12 o 49 1.99/2.12 o 50 1.99/2.12 o 51 2.19/2.35 o 52 2.19/2.35 o 53 2.19/2.35 o 54 2.19/2.35 o 55 2.19/2.36 o 56 2.19/2.36 o 57 2.19/2.36 o 58 2.19/2.36 o 59 2.19/2.36 o 60 2.19/2.36 o 61 2.39/2.58 o 65 2.39/2.58 o 66 2.39/2.58 o 67 2.39/2.59 o 69 2.49/2.60 o 70 2.49/2.60 o 71 2.49/2.64 o 72 2.68/2.88 o 74 2.68/2.88 o 75 2.68/2.88 o 76 2.68/2.89 o 77 2.68/2.89 o 78 2.68/2.89 o 79 2.68/2.89 o 80 2.78/2.91 o 82 2.78/2.92 o 83 2.78/2.94 o 84 2.78/2.99 o 85 3.08/3.22 o 88 3.08/3.22 o 89 3.08/3.22 o 90 3.08/3.23 o 91 3.08/3.23 o 92 3.08/3.23 o 93 3.08/3.23 o 94 3.08/3.24 o 95 3.29/3.45 o 98 3.29/3.45 o 99 3.29/3.46 o 100 3.29/3.46 o 101 3.29/3.46 o 102 3.29/3.47 o 103 3.29/3.48 o 104 3.29/3.48 o 105 3.29/3.49 o 107 3.29/3.49 o 108 3.29/3.49 o 109 3.38/3.50 o 110 3.59/3.73 o 112 3.59/3.73 o 113 3.59/3.73 o 114 3.59/3.74 o 116 3.59/3.74 o 117 3.59/3.75 o 118 3.69/3.80 o 119 3.69/3.80 o 120 3.69/3.81 o 121 3.89/4.01 o 123 3.89/4.01 o 124 3.89/4.02 o 125 3.89/4.02 o 126 3.89/4.03 o 127 3.89/4.05 o 128 3.89/4.05 o 129 3.89/4.05 o 130 4.09/4.25 o 133 4.09/4.25 o 134 4.09/4.25 o 138 4.09/4.26 o 139 4.09/4.27 o 141 4.09/4.27 o 142 4.09/4.27 o 143 4.09/4.28 o 144 4.19/4.30 o 145 4.29/4.47 o 146 4.29/4.48 o 148 4.29/4.49 o 149 4.29/4.49 o 150 4.39/4.50 o 151 4.39/4.51 o 152 4.39/4.51 o 153 4.39/4.52 o 154 4.58/4.72 o 155 4.58/4.75 o 156 4.68/4.80 o 157 4.78/4.99 o 159 4.88/5.02 o 160 4.88/5.04 o 161 6.18/6.32 o 182 6.18/6.33 o 183 6.18/6.33 o 184 6.18/6.36 o 185 6.18/6.36 o 186 6.18/6.37 o 187 6.59/6.79 o 188 6.69/6.80 o 189 6.69/6.80 o 190 6.69/6.81 o 191 6.69/6.81 o 192 6.69/6.82 o 193 6.69/6.82 o 194 6.69/6.83 o 196 6.69/6.84 o 197 6.69/6.84 o 198 6.89/7.03 o 199 6.89/7.03 o 200 6.89/7.05 o 202 6.89/7.06 o 203 6.89/7.06 o 204 6.89/7.07 o 205 6.99/7.10 o 206 7.58/7.73 o 207 7.68/7.84 o 208 8.08/8.28 o 209 8.18/8.33 o 210 8.58/8.76 o 218 9.59/9.70 o 235 9.59/9.78 o 236 10.48/10.69 o 238 10.68/10.89 o 239 10.78/10.98 o 240 11.28/11.48 o 244 11.49/11.65 o 245 12.09/12.23 o 247 12.59/12.77 o 257 12.69/12.84 o 259 13.09/13.22 o 260 13.58/13.71 o 271 13.68/13.85 o 272 13.98/14.11 o 273 14.08/14.28 o 274 14.19/14.34 o 275 14.29/14.42 o 276 14.29/14.48 o 277 14.38/14.54 o 278 14.98/15.15 o 302 15.18/15.38 o 303 15.48/15.61 o 304 15.48/15.61 o 305 17.69/17.86 o 307 17.69/17.87 o 308 17.69/17.87 o 309 17.69/17.87 o 310 18.69/18.84 o 336 18.98/19.13 o 337 20.58/20.70 o 376 20.58/20.77 o 377 23.78/23.90 o 383 25.08/25.22 o 384 26.78/26.91 o 404 26.78/26.92 o 405 26.78/26.96 o 407 28.78/28.90 o 409 28.78/28.97 o 410 33.38/33.50 o 421 33.98/34.15 o 423 34.37/34.58 o 432 34.87/35.04 o 433 35.18/35.31 o 434 35.18/35.38 o 435 35.37/35.53 o 436 35.57/35.74 o 437 36.87/37.09 o 443 38.48/38.60 o 447 38.48/38.62 o 448 38.48/38.63 o 449 39.18/39.31 o 453 39.28/39.46 o 454 40.78/40.99 o 461 40.98/41.10 o 462 40.98/41.10 o 463 42.38/42.58 o 464 42.78/42.94 o 468 45.17/45.32 o 469 45.37/45.51 o 470 45.37/45.52 o 471 49.87/50.01 o 472 49.87/50.03 o 473 53.17/53.37 o 474 59.37/59.54 o 475 59.37/59.55 o 476 61.37/61.53 o 477 61.37/61.53 o 478 63.17/63.36 o 479 66.06/66.23 o 483 67.96/68.16 o 484 68.57/68.74 o 485 69.47/69.67 o 486 69.57/69.79 o 487 71.27/71.45 o 489 71.47/71.62 o 490 71.47/71.69 o 491 72.36/72.53 o 492 72.66/72.86 o 507 72.76/72.91 o 508 75.06/75.22 o 513 75.36/75.54 o 515 75.36/75.55 o 516 75.36/75.57 o 517 75.46/75.60 o 518 76.06/76.28 o 519 76.06/76.28 o 520 76.16/76.31 o 521 76.16/76.31 o 522 76.56/76.75 o 524 77.96/78.17 o 525 78.96/79.17 o 526 81.26/81.41 o 530 81.26/81.41 o 531 82.46/82.69 o 532 86.05/86.28 o 533 86.15/86.33 o 534 86.15/86.36 o 535 86.15/86.38 o 536 86.25/86.41 o 537 86.25/86.44 o 538 86.45/86.60 o 539 94.35/94.60 o 540 94.55/94.77 o 541 95.25/95.47 o 542 96.15/96.32 o 543 96.15/96.34 o 544 98.25/98.46 o 548 98.25/98.49 o 549 99.65/99.87 o 552 99.65/99.88 o 553 100.85/101.07 o 554 101.95/102.19 o 555 104.64/104.80 o 556 110.44/110.62 o 557 110.74/110.99 o 559 114.94/115.18 o 560 114.94/115.19 o 561 115.14/115.30 o 562 120.34/120.50 o 563 122.34/122.54 o 564 122.44/122.62 o 565 122.84/123.04 o 568 125.93/126.12 o 572 127.93/128.18 o 574 134.53/134.79 o 575 135.43/135.69 o 577 135.73/135.90 o 578 138.63/138.82 o 581 139.73/139.92 o 582 149.43/149.60 o 583 149.53/149.74 o 584 149.93/150.10 o 585 151.73/151.91 o 586 169.92/170.18 o 587 170.12/170.31 o 588 173.42/173.65 o 590 178.32/178.58 o 592 208.70/208.90 o 593 216.00/216.25 o 598 233.60/233.83 o 599 234.20/234.48 o 600 234.20/234.49 o 601 234.40/234.67 o 602 235.10/235.38 o 603 236.30/236.60 o 604 284.50/284.71 o 605 310.80/311.09 o 606 312.20/312.47 o 607 319.40/319.68 o 608 319.60/319.87 o 609 319.80/320.01 o 610 319.80/320.05 o 611 332.30/332.57 o 612 368.20/368.42 o 613 412.20/412.46 o 614 430.20/430.41 o 615 450.00/450.23 o 616 450.00/450.24 o 617 457.20/457.45 o 618 458.90/459.19 o 619 460.41/460.63 o 620 468.42/468.65 o 621 497.41/497.69 o 622 498.71/498.91 o 623 592.32/592.55 o 624 603.42/603.67 o 625 628.82/629.06 o 626 664.52/664.75 o 627 681.52/681.79 o 628 681.62/681.84 o 629 681.62/681.84 o 630 681.62/681.85 o 631 681.62/681.85 o 632 681.72/681.92 o 633 681.72/681.92 o 634 681.72/681.92 o 635 694.32/694.59 o 636 694.42/694.60 o 637 694.42/694.61 o 638 708.62/708.84 o 639 721.12/721.36 o 640 783.02/783.26 o 641 788.63/788.84 o 642 885.72/885.97 o 643 892.72/892.97 o 644 963.53/963.76 o 645 999.02/999.29 o 646 1002.12/1002.35 o 647 1003.72/1003.98 o 648 1102.92/1103.14 o 649 1103.92/1104.16 o 650 1149.02/1149.29 o 651 1152.52/1152.74 o 654 1202.23/1202.40 o 657 1236.72/1236.97 o 658 1405.24/1405.43 o 659 1408.14/1408.37 o 660 1413.14/1413.39 o 661 1434.44/1434.64 o 669 1677.14/1677.38 o 670 1684.44/1684.66 o 671 1684.64/1684.84 o 672 1700.84/1701.07 o 673 1710.74/1710.98 o 674 1712.84/1713.03 o 675 1718.84/1719.05 o 677 1724.24/1724.42 o 678 1844.24/1844.40 o 681 1845.94/1846.10 o 682 1851.74/1851.94 o 683 1912.34/1912.58 o 684 2190.85/2191.07 o 685 2367.56/2367.74 o 686 2519.86/2520.00 s SATISFIABLE 2519.86/2520.00 v <instantiation type="solution"> 2519.86/2520.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[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> 2519.86/2520.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> 2519.86/2520.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-4261195-1502341669/watcher-4261195-1502341669 -o /tmp/evaluation-result-4261195-1502341669/solver-4261195-1502341669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1158099857 HOME/instance-4261195-1502341669.xml pid=720 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 2.05 2/185 723 /proc/meminfo: memFree=31198900/32770624 swapFree=0/423224 [pid=723] ppid=720 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/723/stat : 723 (runsolver) D 720 723 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76077971 24240128 108 18446744073709551615 4194304 4338465 140720589074544 140720589072184 139955154404055 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 34095104 140720589082762 140720589083209 140720589083209 140720589086666 0 /proc/723/statm: 5918 108 54 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 2.05 2.03 2.05 2/185 723 /proc/meminfo: memFree=31198900/32770624 swapFree=0/423224 [pid=723] ppid=720 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/723/stat : 723 (runsolver) D 720 723 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76077971 24240128 108 18446744073709551615 4194304 4338465 140720589074544 140720589072184 139955154404055 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 34095104 140720589082762 140720589083209 140720589083209 140720589086666 0 /proc/723/statm: 5918 108 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.20028 s] /proc/loadavg: 2.05 2.03 2.05 2/185 723 /proc/meminfo: memFree=31198900/32770624 swapFree=0/423224 [pid=723] ppid=720 vsize=63704 CPUtime=0.09 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 9759 0 0 0 8 1 0 0 20 0 1 0 76077971 65232896 9515 18446744073709551615 4194304 7396336 140728282995264 140728282992264 139984755455904 0 0 1 0 0 0 0 17 0 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 15959 9515 646 782 0 8975 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 63704 [startup+0.300291 s] /proc/loadavg: 2.05 2.03 2.05 2/185 723 /proc/meminfo: memFree=31198900/32770624 swapFree=0/423224 [pid=723] ppid=720 vsize=142116 CPUtime=0.19 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 29345 0 0 0 16 3 0 0 20 0 1 0 76077971 145526784 29117 18446744073709551615 4194304 7396336 140728282995264 140728282992264 4253785 0 0 1 0 0 0 0 17 0 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 35529 29117 646 782 0 28545 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 142116 [startup+0.700218 s] /proc/loadavg: 2.05 2.03 2.05 2/185 723 /proc/meminfo: memFree=31198900/32770624 swapFree=0/423224 [pid=723] ppid=720 vsize=354216 CPUtime=0.59 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 82458 0 0 0 49 10 0 0 20 0 1 0 76077971 362717184 82247 18446744073709551615 4194304 7396336 140728282995264 140728282986424 6195578 0 0 1 0 0 0 0 17 0 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 88554 82247 722 782 0 81570 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 354216 [startup+1.50023 s] /proc/loadavg: 2.05 2.03 2.05 3/186 724 /proc/meminfo: memFree=30869184/32770624 swapFree=0/423208 [pid=723] ppid=720 vsize=359248 CPUtime=1.39 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 83899 0 0 0 129 10 0 0 20 0 1 0 76077971 367869952 83570 18446744073709551615 4194304 7396336 140728282995264 140728282989784 5792030 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 89812 83570 789 782 0 82828 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 359248 [startup+3.10021 s] /proc/loadavg: 2.05 2.03 2.05 3/186 724 /proc/meminfo: memFree=30867452/32770624 swapFree=0/423208 [pid=723] ppid=720 vsize=360568 CPUtime=2.98 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 133593 0 0 0 286 12 0 0 20 0 1 0 76077971 369221632 83901 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5772800 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90142 83901 789 782 0 83158 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 360568 [startup+6.30036 s] /proc/loadavg: 2.04 2.03 2.05 3/186 724 /proc/meminfo: memFree=30865412/32770624 swapFree=0/423216 [pid=723] ppid=720 vsize=361764 CPUtime=6.18 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 225092 0 0 0 601 17 0 0 20 0 1 0 76077971 370446336 84200 18446744073709551615 4194304 7396336 140728282995264 140728282989800 4581566 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90441 84200 791 782 0 83457 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 361764 [startup+12.7004 s] /proc/loadavg: 2.04 2.03 2.05 3/186 724 /proc/meminfo: memFree=30864544/32770624 swapFree=0/423216 [pid=723] ppid=720 vsize=362292 CPUtime=12.59 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 288839 0 0 0 1238 21 0 0 20 0 1 0 76077971 370987008 84346 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792137 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90573 84346 791 782 0 83589 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 362292 [startup+25.5004 s] /proc/loadavg: 2.03 2.03 2.05 3/186 724 /proc/meminfo: memFree=30863552/32770624 swapFree=0/423216 [pid=723] ppid=720 vsize=362972 CPUtime=25.38 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 344003 0 0 0 2513 25 0 0 20 0 1 0 76077971 371683328 84498 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4406471 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90743 84498 791 782 0 83759 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 362972 [startup+51.1004 s] /proc/loadavg: 2.02 2.02 2.05 3/186 786 /proc/meminfo: memFree=30921848/32770624 swapFree=0/423244 [pid=723] ppid=720 vsize=363236 CPUtime=50.97 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 431158 0 0 0 5067 30 0 0 20 0 1 0 76077971 371953664 84593 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792137 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90809 84593 791 782 0 83825 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 363236 [startup+102.3 s] /proc/loadavg: 1.97 2.01 2.04 3/186 852 /proc/meminfo: memFree=30770332/32770624 swapFree=0/423296 [pid=723] ppid=720 vsize=363632 CPUtime=102.15 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 482058 0 0 0 10182 33 0 0 20 0 1 0 76077971 372359168 84661 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4249696 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90908 84661 791 782 0 83924 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 363632 [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.04 3/185 855 /proc/meminfo: memFree=30768980/32770624 swapFree=0/423300 [pid=723] ppid=720 vsize=363632 CPUtime=162.13 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 507632 0 0 0 16178 35 0 0 20 0 1 0 76077971 372359168 84672 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792027 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90908 84672 791 782 0 83924 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 363632 [startup+222.306 s] /proc/loadavg: 2.04 2.02 2.05 3/185 857 /proc/meminfo: memFree=30768612/32770624 swapFree=0/423296 [pid=723] ppid=720 vsize=363632 CPUtime=222.1 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 509276 0 0 0 22175 35 0 0 20 0 1 0 76077971 372359168 84682 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4547368 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90908 84682 791 782 0 83924 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 363632 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.05 3/185 860 /proc/meminfo: memFree=30767400/32770624 swapFree=0/423308 [pid=723] ppid=720 vsize=363632 CPUtime=282.1 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 510330 0 0 0 28175 35 0 0 20 0 1 0 76077971 372359168 84684 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5839021 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90908 84684 791 782 0 83924 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 363632 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 863 /proc/meminfo: memFree=30767576/32770624 swapFree=0/423296 [pid=723] ppid=720 vsize=363632 CPUtime=342.1 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 511411 0 0 0 34175 35 0 0 20 0 1 0 76077971 372359168 84698 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792070 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90908 84698 791 782 0 83924 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 363632 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 880 /proc/meminfo: memFree=30763704/32770624 swapFree=0/423332 [pid=723] ppid=720 vsize=363764 CPUtime=402.1 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 512482 0 0 0 40175 35 0 0 20 0 1 0 76077971 372494336 84700 18446744073709551615 4194304 7396336 140728282995264 140728282989800 5792030 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90941 84700 791 782 0 83957 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 363764 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 906 /proc/meminfo: memFree=30763488/32770624 swapFree=0/423360 [pid=723] ppid=720 vsize=363764 CPUtime=462.11 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 513562 0 0 0 46175 36 0 0 20 0 1 0 76077971 372494336 84719 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5165842 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90941 84719 791 782 0 83957 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 363764 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 910 /proc/meminfo: memFree=30763100/32770624 swapFree=0/423368 [pid=723] ppid=720 vsize=363764 CPUtime=522.11 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 514267 0 0 0 52175 36 0 0 20 0 1 0 76077971 372494336 84720 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4252922 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90941 84720 791 782 0 83957 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 363764 [startup+582.3 s] /proc/loadavg: 2.05 2.03 2.05 3/187 914 /proc/meminfo: memFree=30767376/32770624 swapFree=0/423376 [pid=723] ppid=720 vsize=363764 CPUtime=582.11 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 515704 0 0 0 58175 36 0 0 20 0 1 0 76077971 372494336 84729 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4257799 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 90941 84729 791 782 0 83957 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 363764 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 984 /proc/meminfo: memFree=30762636/32770624 swapFree=0/423576 [pid=723] ppid=720 vsize=364160 CPUtime=1602.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 534918 0 0 0 160177 37 0 0 20 0 1 0 76077971 372899840 84814 18446744073709551615 4194304 7396336 140728282995264 140728282989608 5792030 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84814 791 782 0 84056 0 Current children cumulated CPU time (s) 1602.14 Current children cumulated vsize (KiB) 364160 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 986 /proc/meminfo: memFree=30762616/32770624 swapFree=0/423592 [pid=723] ppid=720 vsize=364160 CPUtime=1662.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 535948 0 0 0 166177 37 0 0 20 0 1 0 76077971 372899840 84814 18446744073709551615 4194304 7396336 140728282995264 140728282989608 4399495 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84814 791 782 0 84056 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 364160 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 988 /proc/meminfo: memFree=30767200/32770624 swapFree=0/423620 [pid=723] ppid=720 vsize=364160 CPUtime=1722.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 537181 0 0 0 172177 37 0 0 20 0 1 0 76077971 372899840 84815 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792016 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84815 791 782 0 84056 0 Current children cumulated CPU time (s) 1722.14 Current children cumulated vsize (KiB) 364160 [startup+1782.3 s] /proc/loadavg: 2.08 2.04 2.05 3/186 991 /proc/meminfo: memFree=30766812/32770624 swapFree=0/423620 [pid=723] ppid=720 vsize=364160 CPUtime=1782.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 538128 0 0 0 178177 37 0 0 20 0 1 0 76077971 372899840 84815 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792112 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84815 791 782 0 84056 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 364160 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/186 993 /proc/meminfo: memFree=30766608/32770624 swapFree=0/423632 [pid=723] ppid=720 vsize=364160 CPUtime=1842.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 539494 0 0 0 184177 37 0 0 20 0 1 0 76077971 372899840 84815 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5791952 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84815 791 782 0 84056 0 Current children cumulated CPU time (s) 1842.14 Current children cumulated vsize (KiB) 364160 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/186 996 /proc/meminfo: memFree=30767280/32770624 swapFree=0/423640 [pid=723] ppid=720 vsize=364160 CPUtime=1902.14 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 540630 0 0 0 190177 37 0 0 20 0 1 0 76077971 372899840 84816 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4581498 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84816 791 782 0 84056 0 Current children cumulated CPU time (s) 1902.14 Current children cumulated vsize (KiB) 364160 [startup+1962.3 s] /proc/loadavg: 2.15 2.06 2.06 3/186 998 /proc/meminfo: memFree=30766784/32770624 swapFree=0/423648 [pid=723] ppid=720 vsize=364160 CPUtime=1962.15 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 541535 0 0 0 196177 38 0 0 20 0 1 0 76077971 372899840 84826 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792027 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84826 791 782 0 84056 0 Current children cumulated CPU time (s) 1962.15 Current children cumulated vsize (KiB) 364160 [startup+2022.3 s] /proc/loadavg: 2.10 2.06 2.06 3/186 1000 /proc/meminfo: memFree=30766904/32770624 swapFree=0/423656 [pid=723] ppid=720 vsize=364160 CPUtime=2022.15 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 542617 0 0 0 202177 38 0 0 20 0 1 0 76077971 372899840 84826 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4407584 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84826 791 782 0 84056 0 Current children cumulated CPU time (s) 2022.15 Current children cumulated vsize (KiB) 364160 [startup+2082.3 s] /proc/loadavg: 2.04 2.05 2.05 3/185 1004 /proc/meminfo: memFree=30766424/32770624 swapFree=0/423664 [pid=723] ppid=720 vsize=364160 CPUtime=2082.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 543767 0 0 0 208178 38 0 0 20 0 1 0 76077971 372899840 84827 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4252905 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84827 791 782 0 84056 0 Current children cumulated CPU time (s) 2082.16 Current children cumulated vsize (KiB) 364160 [startup+2142.3 s] /proc/loadavg: 2.01 2.04 2.05 3/185 1006 /proc/meminfo: memFree=30766800/32770624 swapFree=0/423672 [pid=723] ppid=720 vsize=364160 CPUtime=2142.15 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 545232 0 0 0 214177 38 0 0 20 0 1 0 76077971 372899840 84828 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4249696 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84828 791 782 0 84056 0 Current children cumulated CPU time (s) 2142.15 Current children cumulated vsize (KiB) 364160 [startup+2202.31 s] /proc/loadavg: 2.00 2.04 2.05 3/188 1022 /proc/meminfo: memFree=30762900/32770624 swapFree=0/423716 [pid=723] ppid=720 vsize=364160 CPUtime=2202.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 546359 0 0 0 220178 38 0 0 20 0 1 0 76077971 372899840 84828 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792078 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84828 791 782 0 84056 0 Current children cumulated CPU time (s) 2202.16 Current children cumulated vsize (KiB) 364160 [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/189 1025 /proc/meminfo: memFree=30762752/32770624 swapFree=0/423728 [pid=723] ppid=720 vsize=364160 CPUtime=2262.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 547544 0 0 0 226178 38 0 0 20 0 1 0 76077971 372899840 84828 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4252950 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84828 791 782 0 84056 0 Current children cumulated CPU time (s) 2262.16 Current children cumulated vsize (KiB) 364160 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 1027 /proc/meminfo: memFree=30766072/32770624 swapFree=0/423744 [pid=723] ppid=720 vsize=364160 CPUtime=2322.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 548680 0 0 0 232178 38 0 0 20 0 1 0 76077971 372899840 84829 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5792030 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84829 791 782 0 84056 0 Current children cumulated CPU time (s) 2322.16 Current children cumulated vsize (KiB) 364160 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 1029 /proc/meminfo: memFree=30766072/32770624 swapFree=0/423752 [pid=723] ppid=720 vsize=364160 CPUtime=2382.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 549646 0 0 0 238178 38 0 0 20 0 1 0 76077971 372899840 84829 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4581738 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84829 791 782 0 84056 0 Current children cumulated CPU time (s) 2382.16 Current children cumulated vsize (KiB) 364160 [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1031 /proc/meminfo: memFree=30765700/32770624 swapFree=0/423760 [pid=723] ppid=720 vsize=364160 CPUtime=2442.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 550766 0 0 0 244178 38 0 0 20 0 1 0 76077971 372899840 84829 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4249751 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84829 791 782 0 84056 0 Current children cumulated CPU time (s) 2442.16 Current children cumulated vsize (KiB) 364160 [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1033 /proc/meminfo: memFree=30765700/32770624 swapFree=0/423772 [pid=723] ppid=720 vsize=364160 CPUtime=2502.16 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 551765 0 0 0 250178 38 0 0 20 0 1 0 76077971 372899840 84830 18446744073709551615 4194304 7396336 140728282995264 140728282990280 4257799 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84830 791 782 0 84056 0 Current children cumulated CPU time (s) 2502.16 Current children cumulated vsize (KiB) 364160 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1033 /proc/meminfo: memFree=30765700/32770624 swapFree=0/423772 [pid=723] ppid=720 vsize=364160 CPUtime=2519.86 cores=0,2,4,6 /proc/723/stat : 723 (MistralXCSP) R 720 723 9153 0 -1 4202496 551787 0 0 0 251948 38 0 0 20 0 1 0 76077971 372899840 84830 18446744073709551615 4194304 7396336 140728282995264 140728282990280 5839273 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 25513984 140728283001266 140728283001416 140728283001416 140728283004873 0 /proc/723/statm: 91040 84830 791 782 0 84056 0 Current children cumulated CPU time (s) 2519.86 Current children cumulated vsize (KiB) 364160 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 723 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.88 CPU user time (s): 2519.49 CPU system time (s): 0.38801 CPU usage (%): 99.9949 Max. virtual memory (cumulated for all children) (KiB): 364160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.49 system time used= 0.38801 maximum resident set size= 339344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 551819 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= 155 involuntary context switches= 3168 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.21572 second user time and 8.323 second system time The end
Begin job on node135 at 2017-08-10 06:53:53 IDJOB=4261195 IDBENCH=115896 IDSOLVER=2649 FILE ID=node135/4261195-1502341669 RUNJOBID= node135-1502330739-31365 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-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-4261195-1502341669/watcher-4261195-1502341669 -o /tmp/evaluation-result-4261195-1502341669/solver-4261195-1502341669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1158099857 HOME/instance-4261195-1502341669.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877 RANDOM SEED=1158099857 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31199036 kB MemAvailable: 31910164 kB Buffers: 271432 kB Cached: 732720 kB SwapCached: 0 kB Active: 678988 kB Inactive: 456252 kB Active(anon): 131408 kB Inactive(anon): 33140 kB Active(file): 547580 kB Inactive(file): 423112 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5808 kB Writeback: 28 kB AnonPages: 151148 kB Mapped: 48688 kB Shmem: 33464 kB Slab: 139208 kB SReclaimable: 112544 kB SUnreclaim: 26664 kB KernelStack: 3280 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 398208 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62020 MiB End job on node135 at 2017-08-10 07:35:53