| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | SAT | 13.8896 | 13.899 |
| Name | MultiKnapsack/MultiKnapsack-m1-gp/ MultiKnapsack-2-48.xml |
| MD5SUM | fdc0acb1128a6a46ad14275048f2788c |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.6242299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 35 |
| Number of constraints | 5 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":35}] |
| Minimum variable degree | 5 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":5,"count":35}] |
| Minimum constraint arity | 35 |
| Maximum constraint arity | 35 |
| Distribution of constraint arities | [{"arity":35,"count":5}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":5}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c SAT : Variables: 70 -- Clauses: 70 0.00/0.01 c root propagations : 0 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.0 -- 0.00/0.01 c 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.00 s 0.00/0.01 c | 0.00/0.01 c | Variables: 35 0.00/0.01 c | Domain Sizes: 2..2 0.00/0.01 c | 0.00/0.01 c | Constraints: 5 0.00/0.01 c | Arity: 29..35 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 5 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 10 57 457 271 0 4 17 23 18 0.00/0.01 c 20 108 851 550 0 7 18 23 18 0.00/0.01 c 30 153 1200 770 0 9 16 24 20 0.00/0.01 c 40 197 1547 1074 0 10 16 22 17 0.00/0.01 c 50 242 1916 1287 0 13 16 22 17 0.00/0.01 c 60 284 2197 1465 0 16 20 24 19 0.00/0.01 c 70 326 2492 1642 0 19 20 23 19 0.00/0.01 c 80 367 2783 1803 0 22 19 24 19 0.00/0.02 c 90 417 3122 2010 0 24 19 24 19 0.00/0.02 c 100 476 3527 2299 0 27 18 25 19 0.00/0.02 c 101 494 3636 2332 0 28 18 18 9 0.00/0.02 c 110 530 3888 2500 0 32 16 23 17 0.00/0.02 c 120 568 4171 2720 0 37 15 23 17 0.00/0.02 c 130 613 4458 2918 0 43 15 26 20 0.00/0.02 c 140 653 4738 3108 0 46 16 24 18 0.00/0.02 c 150 703 5116 3378 0 49 17 24 18 0.00/0.02 c 160 752 5482 3603 0 54 14 24 17 0.00/0.02 c 170 798 5921 3936 0 57 12 19 12 0.00/0.02 c 180 847 6304 4195 0 60 15 21 17 0.00/0.03 c 190 898 6700 4439 0 64 15 23 17 0.00/0.03 c 200 958 7123 4712 0 68 16 25 19 0.00/0.03 c 210 1013 7582 5008 0 71 17 22 17 0.00/0.03 c 211 1030 7691 5041 0 72 17 17 8 0.00/0.03 c 220 1068 7960 5215 0 77 15 25 19 0.00/0.03 c 230 1105 8230 5359 0 86 13 26 18 0.00/0.03 c 240 1153 8626 5612 0 89 14 19 15 0.00/0.03 c 250 1197 8962 5835 0 91 15 23 17 0.00/0.03 c 260 1258 9486 6236 0 95 15 21 16 0.00/0.03 c 270 1300 9766 6455 0 101 16 24 18 0.00/0.04 c 280 1347 10084 6670 0 103 18 24 19 0.00/0.04 c 290 1398 10448 6907 0 106 16 23 18 0.00/0.04 c 300 1443 10800 7204 0 109 16 21 16 0.00/0.04 c 310 1491 11170 7479 0 111 17 20 17 0.00/0.04 c 320 1541 11554 7708 0 114 17 23 18 0.00/0.04 c 330 1590 11908 7967 0 117 18 23 18 0.00/0.04 c 332 1614 12061 8047 0 118 21 22 14 0.00/0.04 c 340 1659 12391 8262 0 119 20 23 19 0.00/0.04 c 350 1702 12736 8467 0 124 9 20 13 0.00/0.04 c 360 1738 13002 8645 0 127 12 22 17 0.00/0.05 c 370 1787 13369 8892 0 128 14 22 17 0.00/0.05 c 380 1833 13717 9128 0 130 19 22 19 0.00/0.05 c 390 1881 14048 9373 0 133 14 24 19 0.00/0.05 c 400 1924 14364 9597 0 137 14 22 16 0.00/0.05 c 410 1970 14716 9816 0 143 16 22 17 0.00/0.05 c 420 2019 15085 10048 0 149 15 23 18 0.00/0.05 c 430 2067 15450 10256 0 151 16 24 18 0.00/0.05 c 440 2109 15773 10488 0 154 15 23 17 0.00/0.05 c 450 2152 16124 10756 0 158 15 21 16 0.00/0.05 conflict 15lvl : 19 bt19-21:0(18)X3378 0.00/0.05 c 460 2209 16569 11054 0 163 14 22 16 0.00/0.05 c 465 2238 16783 11179 0 166 13 21 13 0.00/0.05 c 470 2261 16947 11318 0 171 14 19 13 0.00/0.06 c 480 2301 17264 11585 0 174 13 16 13 0.00/0.06 c 490 2345 17626 11854 0 178 13 19 15 0.00/0.06 c 500 2389 17989 12057 0 180 15 19 15 0.00/0.06 c 510 2425 18264 12248 0 183 15 19 15 0.00/0.06 c 520 2478 18648 12531 0 185 15 21 17 0.00/0.06 c 530 2528 19014 12821 0 189 16 23 17 0.00/0.06 conflict 13lvl : 13 bt13-27:0(13)X3953 0.00/0.06 -> -27:X(13)c 540 2594 19484 13133 0 193 19 25 20 0.00/0.06 c 550 2639 19801 13390 0 194 14 25 18 0.00/0.06 c 560 2692 20160 13605 0 197 21 26 21 0.00/0.06 c 570 2740 20520 13803 0 201 17 25 20 0.00/0.06 c 580 2783 20835 14008 0 205 17 24 19 0.00/0.07 c 590 2830 21188 14223 0 207 18 23 19 0.00/0.07 c 600 2882 21571 14457 0 210 17 24 19 0.00/0.07 c 610 2925 21902 14667 0 212 14 21 16 0.00/0.07 c 611 2944 22013 14709 0 213 19 19 9 0.00/0.07 c 620 2980 22301 14935 0 220 10 20 14 0.00/0.07 c 630 3015 22569 15144 0 229 11 22 15 0.00/0.07 c 640 3056 22872 15392 0 232 14 22 16 0.00/0.07 c 650 3098 23223 15678 0 236 11 17 13 0.00/0.07 c 660 3134 23506 15873 0 241 11 22 16 0.00/0.07 c 670 3180 23847 16075 0 245 14 22 16 0.00/0.07 conflict 11lvl : 14 bt12-9:0(14)X5002 0.00/0.07 c 680 3229 24220 16298 0 249 13 24 18 0.00/0.07 c 690 3275 24590 16614 0 252 14 20 15 0.00/0.07 c 700 3332 25011 16886 0 255 16 24 18 0.00/0.08 c 710 3382 25392 17134 0 259 13 23 17 0.00/0.08 c 720 3441 25812 17420 0 262 15 23 17 0.00/0.08 c 730 3481 26135 17641 0 263 13 19 15 0.00/0.08 c 740 3527 26506 17934 0 265 12 20 15 0.00/0.08 c 750 3569 26875 18207 0 267 9 18 13 0.00/0.08 c 760 3612 27226 18497 0 269 13 17 13 0.00/0.08 c 770 3655 27570 18802 0 271 13 19 14 0.00/0.08 c 771 3670 27659 18830 0 272 15 15 7 0.00/0.08 c 780 3706 27935 19091 0 275 10 19 13 0.00/0.08 c 790 3764 28374 19451 0 279 14 21 16 0.00/0.08 c 800 3807 28714 19673 0 283 11 20 14 0.00/0.08 c 810 3849 29043 19852 0 286 12 24 16 0.00/0.09 c 820 3904 29486 20133 0 291 16 22 17 0.00/0.09 c 830 3959 29910 20384 0 295 16 24 19 0.00/0.09 conflict 13lvl : 14 bt14-63:0(14)X5850 0.00/0.09 -> -63:X(14)c 840 4009 30290 20621 0 298 17 23 18 0.00/0.09 c 850 4054 30630 20866 0 301 13 24 16 0.00/0.09 c 860 4098 30997 21169 0 303 11 19 14 0.00/0.09 c 870 4131 31270 21394 0 305 12 16 12 0.00/0.09 c 880 4165 31561 21622 0 307 10 17 12 0.00/0.09 c 890 4202 31853 21829 0 311 12 17 13 0.00/0.09 c 900 4242 32183 22080 0 312 12 19 15 0.00/0.09 c 910 4281 32478 22329 0 314 14 20 16 0.00/0.09 c 920 4313 32720 22496 0 322 10 23 16 0.00/0.09 c 930 4359 33113 22794 0 326 11 19 14 0.00/0.09 c 940 4408 33519 23087 0 329 16 19 16 0.00/0.10 c 947 4444 33799 23277 0 331 12 20 14 0.09/0.10 c 950 4476 34006 23375 0 333 16 22 14 0.09/0.10 c 960 4535 34437 23639 0 336 19 25 20 0.09/0.10 c 970 4580 34773 23860 0 337 15 24 19 0.09/0.10 c 980 4621 35124 24093 0 339 14 20 16 0.09/0.10 c 990 4668 35484 24330 0 344 13 21 16 0.09/0.10 c 1000 4720 35931 24603 0 346 13 22 15 0.09/0.10 c 1010 4768 36358 24916 0 351 10 18 14 0.09/0.10 c 1020 4810 36726 25148 0 356 10 21 15 0.09/0.10 c 1030 4857 37095 25404 0 362 11 21 15 0.09/0.10 c 1040 4910 37486 25647 0 368 14 22 17 0.09/0.10 c 1050 4952 37824 25917 0 370 12 21 15 0.09/0.10 c 1060 4992 38138 26143 0 373 12 19 14 0.09/0.11 c 1070 5031 38452 26365 0 378 10 20 15 0.09/0.11 c 1080 5076 38793 26605 0 381 10 21 16 0.09/0.11 c 1090 5128 39175 26858 0 386 11 21 15 0.09/0.11 c 1100 5169 39474 27083 0 392 15 23 17 0.09/0.11 c 1110 5212 39783 27300 0 394 17 23 19 0.09/0.11 c 1120 5265 40194 27594 0 397 15 22 16 0.09/0.11 conflict 11lvl : 13 bt13-53:0(12)X7608 0.09/0.11 -> -53:X(12)c 1130 5316 40596 27869 0 400 14 19 15 0.09/0.11 c 1140 5358 40892 28113 0 404 12 22 17 0.09/0.11 c 1141 5369 40961 28132 0 405 11 11 5 0.09/0.11 c 1150 5406 41236 28357 0 411 14 20 15 0.09/0.11 c 1160 5449 41525 28574 0 414 16 23 18 0.09/0.11 c 1170 5494 41846 28830 0 417 12 24 18 0.09/0.11 c 1180 5540 42155 29044 0 420 15 25 19 0.09/0.11 c 1190 5577 42401 29212 0 425 18 24 19 0.09/0.11 c 1200 5623 42740 29410 0 432 14 24 18 0.09/0.12 c 1210 5673 43085 29626 0 438 15 24 17 0.09/0.12 c 1220 5725 43460 29905 0 440 16 23 19 0.09/0.12 c 1230 5778 43799 30126 0 444 20 26 20 0.09/0.12 c 1240 5836 44234 30403 0 447 20 26 21 0.09/0.12 c 1250 5879 44551 30617 0 448 15 24 18 0.09/0.12 c 1260 5926 44884 30819 0 451 16 24 17 0.09/0.12 c 1270 5982 45310 31062 0 453 15 26 18 0.09/0.12 c 1280 6027 45706 31295 0 454 14 23 15 0.09/0.12 c 1290 6071 46079 31554 0 457 14 20 15 0.09/0.12 c 1300 6117 46399 31794 0 461 18 23 18 0.09/0.12 c 1310 6157 46721 32034 0 466 10 18 14 0.09/0.12 c 1320 6202 47100 32379 0 470 12 17 13 0.09/0.12 c 1330 6244 47448 32650 0 474 13 18 14 0.09/0.13 c 1340 6279 47737 32861 0 480 8 17 12 0.09/0.13 c 1350 6316 48006 33073 0 485 13 21 15 0.09/0.13 c 1352 6334 48112 33111 0 487 15 17 10 0.09/0.13 c 1360 6374 48370 33272 0 494 10 23 16 0.09/0.13 c 1370 6419 48686 33501 0 497 17 25 20 0.09/0.13 c 1380 6470 49043 33736 0 501 18 26 21 0.09/0.13 c 1390 6519 49416 33989 0 502 16 23 18 0.09/0.13 c 1400 6565 49738 34183 0 505 16 23 18 0.09/0.13 c 1410 6616 50073 34409 0 508 21 25 20 0.09/0.13 c 1420 6665 50437 34624 0 511 16 24 19 0.09/0.13 c 1430 6717 50822 34880 0 513 17 23 19 0.09/0.13 c 1440 6768 51223 35174 0 514 12 23 16 0.09/0.13 c 1450 6815 51613 35436 0 519 12 21 15 0.09/0.13 c 1460 6856 51942 35681 0 522 11 20 14 0.09/0.13 c 1470 6901 52292 35918 0 524 13 22 17 0.09/0.14 c 1480 6936 52546 36127 0 528 12 18 14 0.09/0.14 c 1490 6973 52809 36273 0 532 17 23 17 0.09/0.14 c 1500 7017 53154 36505 0 538 13 22 16 0.09/0.14 c 1510 7069 53545 36791 0 540 20 24 20 0.09/0.14 c 1520 7120 53956 37065 0 544 11 22 16 0.09/0.14 c 1530 7165 54322 37306 0 546 12 22 15 0.09/0.14 c 1540 7213 54728 37565 0 549 13 20 15 0.09/0.14 c 1550 7255 55087 37782 0 550 13 22 15 0.09/0.14 c 1560 7313 55516 38066 0 555 15 24 17 0.09/0.14 c 1570 7363 55972 38376 0 556 15 23 16 0.09/0.14 c 1580 7415 56355 38644 0 559 14 24 17 0.09/0.14 c 1585 7444 56583 38783 0 562 14 23 15 0.09/0.14 c 1590 7473 56814 38937 0 565 14 17 12 0.09/0.14 c 1600 7523 57189 39155 0 570 15 23 17 0.09/0.15 c 1610 7585 57636 39459 0 572 15 25 19 0.09/0.15 c 1620 7642 58036 39735 0 576 17 26 20 0.09/0.15 c 1630 7699 58492 39995 0 580 15 25 18 0.09/0.15 c 1640 7746 58817 40211 0 583 14 27 20 0.09/0.15 conflict 14lvl : 16 bt15-39:0(16)X11070 0.09/0.15 c 1650 7796 59173 40435 0 586 15 26 20 0.09/0.15 c 1660 7836 59504 40645 0 590 14 19 15 0.09/0.15 c 1670 7883 59885 40965 0 593 12 20 14 0.09/0.15 c 1680 7927 60267 41229 0 597 10 19 12 0.09/0.15 c 1690 7973 60635 41439 0 602 12 19 14 0.09/0.15 c 1700 8011 60955 41708 0 604 12 18 13 0.09/0.15 c 1710 8053 61271 41947 0 606 14 20 15 0.09/0.15 c 1720 8093 61573 42177 0 608 16 21 17 0.09/0.15 c 1730 8143 61940 42434 0 609 14 20 16 0.09/0.15 c 1740 8187 62255 42679 0 612 15 22 16 0.09/0.16 c 1750 8234 62589 42895 0 615 19 26 20 0.09/0.16 c 1760 8276 62874 43087 0 619 18 24 19 0.09/0.16 c 1770 8318 63164 43317 0 623 18 22 18 0.09/0.16 c 1780 8357 63437 43479 0 627 16 23 18 0.09/0.16 c 1790 8412 63822 43761 0 631 20 24 20 0.09/0.16 c 1800 8453 64114 43949 0 636 14 24 18 0.09/0.16 c 1810 8519 64579 44271 0 639 19 26 20 0.09/0.16 c 1820 8568 64983 44497 0 642 15 21 15 0.09/0.16 c 1830 8619 65374 44772 0 647 16 22 18 0.09/0.16 c 1840 8671 65788 45013 0 652 15 25 17 0.09/0.16 c 1841 8686 65882 45050 0 653 15 15 7 0.09/0.16 c 1850 8721 66187 45293 0 656 14 17 14 0.09/0.16 c 1860 8762 66519 45598 0 658 13 18 14 0.09/0.16 c 1870 8804 66864 45829 0 660 14 20 15 0.09/0.16 c 1880 8850 67214 46087 0 664 13 20 16 0.09/0.17 c 1890 8901 67643 46395 0 669 10 17 13 0.09/0.17 c 1900 8941 67959 46649 0 671 11 20 15 0.09/0.17 c 1910 8986 68309 46919 0 674 14 20 16 0.09/0.17 c 1920 9039 68754 47258 0 678 12 21 16 0.09/0.17 c 1930 9079 69106 47507 0 681 13 21 15 0.09/0.17 c 1940 9125 69463 47775 0 686 12 23 16 0.09/0.17 c 1950 9171 69812 48002 0 690 12 23 17 0.09/0.17 c 1960 9222 70200 48302 0 693 16 25 17 0.09/0.17 c 1970 9275 70597 48542 0 696 16 25 19 0.09/0.17 c 1980 9324 70958 48763 0 700 14 23 18 0.09/0.17 c 1990 9385 71433 49072 0 704 16 23 18 0.09/0.17 c 2000 9428 71748 49271 0 708 16 22 17 0.09/0.17 c 2010 9476 72132 49504 0 711 16 22 17 0.09/0.17 c 2020 9530 72592 49837 0 714 12 22 16 0.09/0.17 c 2030 9575 72967 50077 0 718 15 19 15 0.09/0.18 c 2040 9625 73385 50338 0 720 14 21 16 0.09/0.18 c 2050 9667 73726 50553 0 724 16 22 17 0.09/0.18 c 2060 9706 74078 50768 0 725 12 19 14 0.09/0.18 c 2070 9751 74453 50988 0 727 14 20 16 0.09/0.18 c 2080 9812 74922 51289 0 731 15 20 16 0.09/0.18 c 2090 9873 75407 51574 0 734 15 20 16 0.09/0.18 c 2100 9926 75806 51875 0 736 16 22 18 0.09/0.18 c 2110 9982 76253 52164 0 738 15 22 16 0.09/0.18 c 2120 10026 76617 52401 0 744 13 20 15 0.09/0.18 c 2122 10053 76795 52465 0 745 24 25 16 0.09/0.18 c 2130 10105 77176 52692 0 750 17 26 20 0.09/0.18 c 2140 10153 77549 52893 0 752 16 25 18 0.09/0.18 c 2150 10198 77878 53146 0 755 12 21 15 0.09/0.18 c 2160 10254 78291 53407 0 757 13 24 17 0.09/0.18 c 2170 10310 78691 53664 0 762 17 25 18 0.09/0.19 c 2180 10357 79049 53925 0 766 15 20 16 0.09/0.19 c 2190 10405 79403 54219 0 771 8 22 16 0.09/0.19 c 2200 10456 79761 54455 0 775 15 22 16 0.09/0.19 c 2210 10505 80140 54736 0 777 11 24 16 0.09/0.19 c 2220 10551 80489 55028 0 779 17 20 17 0.09/0.19 c 2230 10590 80801 55243 0 784 10 21 16 0.09/0.19 c 2240 10642 81169 55518 0 787 17 24 18 0.09/0.19 c 2250 10699 81625 55806 0 791 17 24 18 0.09/0.19 c 2260 10736 81957 56009 0 794 15 19 15 0.09/0.19 c 2270 10774 82281 56206 0 797 15 19 15 0.09/0.19 c 2280 10824 82673 56475 0 801 11 21 14 0.09/0.19 c 2290 10869 83073 56738 0 805 11 19 14 0.09/0.19 c 2300 10910 83389 57018 0 809 10 19 15 0.09/0.19 c 2310 10946 83658 57209 0 813 9 21 15 0.09/0.19 c 2320 10985 83969 57441 0 817 10 22 15 0.09/0.19 c 2330 11028 84290 57684 0 822 11 22 16 0.09/0.19 c 2340 11072 84635 57917 0 824 17 20 17 0.09/0.19 c 2350 11112 84913 58114 0 830 11 21 16 0.18/0.20 c 2360 11163 85291 58367 0 834 18 23 19 0.18/0.20 c 2370 11210 85630 58569 0 837 15 24 17 0.18/0.20 c 2380 11248 85950 58807 0 840 10 17 13 0.18/0.20 c 2390 11289 86271 59043 0 843 15 19 15 0.18/0.20 c 2400 11328 86582 59256 0 846 14 18 14 0.18/0.20 c 2410 11371 86912 59517 0 849 9 20 15 0.18/0.20 c 2420 11423 87326 59853 0 851 12 18 14 0.18/0.20 c 2430 11467 87670 60160 0 853 13 20 16 0.18/0.20 c 2431 11482 87774 60193 0 854 15 15 7 0.18/0.20 c 2440 11526 88083 60447 0 858 13 21 15 0.18/0.20 c 2450 11577 88491 60734 0 860 12 22 16 0.18/0.20 c 2460 11617 88788 60928 0 865 14 23 18 0.18/0.20 c 2470 11665 89140 61164 0 870 16 24 19 0.18/0.20 c 2480 11712 89500 61448 0 872 12 21 15 0.18/0.20 c 2490 11755 89862 61668 0 875 13 19 14 0.18/0.20 c 2500 11800 90218 61941 0 876 16 21 17 0.18/0.20 c 2510 11854 90628 62224 0 880 19 23 18 0.18/0.21 c 2520 11907 91026 62507 0 883 19 22 18 0.18/0.21 c 2530 11956 91401 62752 0 886 17 23 18 0.18/0.21 c 2540 12012 91803 63034 0 889 15 24 17 0.18/0.21 c 2550 12063 92165 63299 0 892 16 22 18 0.18/0.21 c 2560 12098 92420 63479 0 898 14 19 15 0.18/0.21 c 2570 12144 92716 63698 0 900 17 24 19 0.18/0.21 c 2580 12200 93139 63963 0 906 14 24 18 0.18/0.21 c 2590 12245 93469 64199 0 908 16 24 18 0.18/0.21 c 2600 12293 93835 64425 0 909 18 24 19 0.18/0.21 c 2610 12341 94206 64642 0 913 14 23 17 0.18/0.21 c 2620 12390 94597 64819 0 917 15 22 15 0.18/0.21 c 2630 12432 94944 65017 0 921 12 19 13 0.18/0.21 c 2640 12483 95328 65281 0 925 15 22 16 0.18/0.21 c 2650 12530 95689 65507 0 929 13 22 17 0.18/0.21 c 2660 12575 96036 65737 0 934 14 21 16 0.18/0.21 c 2670 12627 96441 66008 0 936 17 22 18 0.18/0.22 c 2680 12663 96720 66207 0 941 13 18 14 0.18/0.22 c 2690 12701 97002 66433 0 943 13 21 16 0.18/0.22 c 2700 12748 97347 66671 0 948 15 22 18 0.18/0.22 c 2710 12795 97697 66901 0 952 18 22 18 0.18/0.22 c 2720 12847 98091 67223 0 955 17 21 17 0.18/0.22 c 2730 12895 98472 67526 0 957 17 22 16 0.18/0.22 c 2740 12947 98869 67784 0 962 14 23 18 0.18/0.22 c 2750 13005 99281 68041 0 965 19 25 20 0.18/0.22 c 2760 13055 99656 68293 0 968 15 23 18 0.18/0.22 c 2770 13096 99961 68471 0 970 19 24 19 0.18/0.22 c 2771 13118 100092 68509 0 971 22 22 11 0.18/0.22 c 2780 13158 100400 68682 0 977 14 23 17 0.18/0.22 c 2790 13210 100844 68939 0 980 14 21 14 0.18/0.22 c 2800 13262 101257 69218 0 983 13 24 15 0.18/0.22 c 2810 13327 101765 69564 0 985 16 22 17 0.18/0.22 c 2820 13371 102147 69790 0 989 11 22 14 0.18/0.22 c 2830 13416 102487 70020 0 993 17 20 16 0.18/0.23 c 2840 13460 102835 70388 0 997 11 20 15 0.18/0.23 c 2850 13503 103154 70576 0 1003 12 23 17 0.18/0.23 c 2860 13555 103523 70826 0 1007 17 25 19 0.18/0.23 c 2870 13611 103925 71072 0 1012 13 25 20 0.18/0.23 c 2880 13656 104267 71299 0 1013 16 23 18 0.18/0.23 c 2890 13700 104553 71497 0 1016 19 25 20 0.18/0.23 c 2900 13747 104904 71745 0 1020 17 20 17 0.18/0.23 c 2910 13805 105298 72010 0 1026 14 26 19 0.18/0.23 c 2920 13850 105619 72211 0 1030 15 26 19 0.18/0.23 c 2930 13890 105890 72416 0 1033 17 25 19 0.18/0.23 c 2940 13941 106226 72639 0 1036 19 24 20 0.18/0.23 c 2950 13990 106581 72896 0 1037 15 26 20 0.18/0.23 c 2960 14024 106882 73111 0 1041 13 19 14 0.18/0.23 c 2970 14060 107227 73359 0 1044 9 17 12 0.18/0.23 c 2980 14108 107645 73642 0 1046 14 21 15 0.18/0.23 c 2990 14143 107935 73861 0 1049 14 20 15 0.18/0.24 c 3000 14193 108369 74131 0 1051 14 22 15 0.18/0.24 c 3010 14230 108670 74361 0 1056 15 19 15 0.18/0.24 c 3020 14275 109047 74617 0 1057 14 20 15 0.18/0.24 c 3030 14314 109381 74904 0 1058 11 18 14 0.18/0.24 c 3040 14362 109745 75164 0 1059 14 21 15 0.18/0.24 c 3050 14409 110164 75421 0 1063 15 21 15 0.18/0.24 c 3060 14462 110565 75696 0 1069 16 25 18 0.18/0.24 c 3070 14521 111022 75973 0 1073 15 25 18 0.18/0.24 c 3080 14566 111364 76181 0 1077 14 25 18 0.18/0.24 c 3090 14605 111722 76402 0 1079 13 19 15 0.18/0.24 c 3100 14650 112053 76617 0 1084 16 23 18 0.18/0.24 c 3110 14704 112448 76887 0 1085 17 23 18 0.18/0.24 conflict 15lvl : 16 bt16-19:0(15)X20190 0.18/0.24 c 3120 14759 112842 77114 0 1090 19 23 19 0.18/0.24 c 3130 14805 113204 77367 0 1092 18 23 19 0.18/0.24 c 3140 14843 113502 77566 0 1096 16 20 16 0.18/0.24 c 3142 14863 113639 77621 0 1098 16 19 11 0.18/0.24 c 3150 14903 113948 77852 0 1102 12 20 16 0.18/0.25 c 3160 14953 114333 78116 0 1105 14 20 16 0.18/0.25 c 3170 15002 114760 78452 0 1107 14 20 15 0.18/0.25 c 3180 15053 115163 78756 0 1108 15 22 17 0.18/0.25 c 3190 15102 115592 79038 0 1112 12 22 15 0.18/0.25 c 3200 15145 115947 79339 0 1115 12 18 14 0.18/0.25 c 3210 15191 116290 79568 0 1121 14 24 17 0.18/0.25 c 3220 15234 116604 79788 0 1124 16 25 18 0.18/0.25 c 3230 15276 116913 80035 0 1127 11 22 17 0.18/0.25 c 3240 15320 117247 80222 0 1132 12 23 17 0.18/0.25 c 3250 15372 117635 80506 0 1135 15 24 18 0.18/0.25 c 3260 15420 117991 80772 0 1139 13 24 19 0.18/0.25 c 3270 15467 118309 80934 0 1142 17 26 20 0.18/0.25 c 3280 15500 118553 81089 0 1149 12 24 17 0.18/0.25 c 3290 15547 118888 81298 0 1155 14 23 17 0.18/0.25 c 3300 15602 119288 81603 0 1161 13 24 18 0.18/0.25 c 3310 15653 119675 81870 0 1165 14 24 18 0.18/0.26 c 3320 15714 120093 82176 0 1169 15 26 18 0.18/0.26 c 3330 15760 120429 82397 0 1173 16 26 19 0.18/0.26 c 3340 15796 120696 82579 0 1176 15 21 17 0.18/0.26 c 3350 15831 120945 82760 0 1183 14 22 17 0.18/0.26 c 3360 15876 121275 82968 0 1185 18 23 19 0.18/0.26 c 3370 15932 121663 83229 0 1188 16 24 18 0.18/0.26 c 3380 15976 121957 83452 0 1191 15 23 18 0.18/0.26 c 3390 16029 122328 83715 0 1194 18 24 19 0.18/0.26 c 3400 16090 122779 84037 0 1195 18 22 17 0.18/0.26 c 3410 16136 123124 84273 0 1196 16 23 18 0.18/0.26 c 3420 16179 123445 84495 0 1198 17 22 18 0.18/0.26 c 3430 16228 123830 84745 0 1204 12 20 16 0.18/0.26 c 3440 16277 124230 85017 0 1209 13 22 16 0.18/0.26 c 3450 16338 124668 85280 0 1216 16 25 19 0.18/0.26 c 3460 16387 125084 85497 0 1218 16 23 17 0.18/0.26 c 3470 16441 125493 85804 0 1221 14 23 17 0.18/0.27 c 3480 16489 125875 86061 0 1224 14 20 16 0.18/0.27 c 3490 16542 126295 86365 0 1227 11 22 17 0.18/0.27 c 3500 16585 126653 86620 0 1230 12 22 17 0.18/0.27 c 3510 16637 127019 86864 0 1236 15 24 18 0.18/0.27 c 3520 16691 127399 87141 0 1238 15 24 18 0.18/0.27 c 3530 16745 127790 87397 0 1241 18 24 18 0.18/0.27 c 3540 16794 128226 87703 0 1242 13 22 15 0.18/0.27 c 3550 16843 128630 87964 0 1247 10 21 15 0.18/0.27 c 3551 16862 128759 88020 0 1248 19 19 9 0.18/0.27 c 3560 16906 129109 88285 0 1250 13 20 15 0.18/0.27 c 3570 16940 129394 88484 0 1253 11 18 13 0.18/0.27 c 3580 16978 129703 88692 0 1257 16 20 16 0.18/0.27 c 3590 17015 130002 88924 0 1264 10 20 14 0.18/0.27 c 3600 17057 130352 89147 0 1266 12 19 14 0.18/0.27 c 3610 17112 130792 89468 0 1269 15 20 16 0.18/0.27 c 3620 17162 131164 89705 0 1272 15 23 16 0.18/0.27 c 3630 17205 131465 89905 0 1276 12 24 17 0.18/0.28 c 3640 17265 131939 90247 0 1280 11 23 17 0.18/0.28 c 3650 17314 132305 90464 0 1282 16 22 18 0.18/0.28 c 3660 17366 132695 90733 0 1285 18 23 19 0.18/0.28 c 3670 17425 133154 91047 0 1288 15 24 17 0.18/0.28 c 3680 17497 133647 91341 0 1290 17 24 19 0.18/0.28 c 3690 17543 134009 91578 0 1293 15 23 16 0.18/0.28 c 3700 17589 134401 91896 0 1298 11 18 13 0.18/0.28 c 3710 17630 134749 92170 0 1302 11 18 13 0.18/0.28 c 3720 17689 135215 92516 0 1306 11 19 14 0.18/0.28 c 3730 17731 135564 92816 0 1309 10 15 11 0.18/0.28 c 3740 17780 135967 93073 0 1312 14 19 15 0.18/0.28 c 3750 17826 136387 93376 0 1314 12 20 13 0.18/0.28 c 3760 17867 136743 93600 0 1318 12 20 15 0.18/0.28 c 3770 17916 137157 93868 0 1322 12 20 15 0.18/0.29 c 3780 17967 137527 94139 0 1325 12 23 17 0.18/0.29 c 3790 18002 137800 94315 0 1327 12 22 17 0.18/0.29 c 3800 18044 138099 94518 0 1331 11 24 18 0.18/0.29 c 3810 18096 138476 94735 0 1334 19 24 20 0.18/0.29 c 3820 18148 138811 94965 0 1337 19 24 19 0.18/0.29 c 3830 18200 139214 95210 0 1342 19 22 18 0.18/0.29 c 3840 18247 139527 95439 0 1346 15 25 19 0.18/0.29 c 3850 18302 139931 95690 0 1348 14 24 18 0.18/0.29 conflict 12lvl : 17 bt13-29:0(16)X24876 0.18/0.29 c 3860 18358 140352 95958 0 1353 15 22 16 0.18/0.29 c 3870 18412 140783 96221 0 1356 16 22 17 0.18/0.29 c 3880 18458 141118 96426 0 1360 12 24 18 0.18/0.29 c 3890 18500 141431 96643 0 1362 14 22 17 0.18/0.29 c 3900 18554 141840 96914 0 1367 18 22 19 0.18/0.29 c 3910 18603 142237 97122 0 1371 17 22 18 0.18/0.29 c 3920 18644 142537 97279 0 1375 15 23 18 0.18/0.29 c 3930 18693 142906 97476 0 1377 19 23 19 0.28/0.30 c 3940 18743 143268 97726 0 1380 12 24 19 0.28/0.30 c 3950 18787 143594 97968 0 1384 14 22 18 0.28/0.30 c 3960 18836 143925 98221 0 1387 19 24 19 0.28/0.30 c 3970 18893 144359 98529 0 1391 12 24 18 0.28/0.30 c 3980 18940 144735 98774 0 1394 16 22 17 0.28/0.30 c 3990 18986 145093 98973 0 1396 14 23 17 0.28/0.30 c 4000 19032 145450 99205 0 1398 13 23 16 0.28/0.30 c 4001 19049 145563 99233 0 1399 17 17 8 0.28/0.30 c 4010 19085 145844 99435 0 1402 14 20 16 0.28/0.30 c 4020 19128 146183 99720 0 1405 13 19 15 0.28/0.30 c 4030 19162 146436 99919 0 1407 14 21 16 0.28/0.30 c 4040 19201 146755 100162 0 1411 12 18 14 0.28/0.30 c 4050 19243 147109 100377 0 1415 12 18 14 0.28/0.30 c 4060 19277 147384 100588 0 1418 12 19 14 0.28/0.30 c 4070 19321 147720 100831 0 1422 13 22 16 0.28/0.30 c 4080 19374 148110 101087 0 1426 19 22 19 0.28/0.30 c 4090 19413 148420 101309 0 1430 11 22 16 0.28/0.31 c 4100 19461 148786 101579 0 1434 12 23 17 0.28/0.31 c 4110 19509 149189 101832 0 1437 15 24 16 0.28/0.31 c 4120 19572 149662 102149 0 1441 14 25 19 0.28/0.31 c 4130 19623 150016 102378 0 1444 16 26 19 0.28/0.31 c 4140 19674 150397 102584 0 1449 16 23 18 0.28/0.31 c 4150 19728 150804 102834 0 1452 17 22 17 0.28/0.31 c 4160 19770 151119 103008 0 1456 14 24 17 0.28/0.31 c 4170 19817 151495 103227 0 1459 16 22 17 0.28/0.31 c 4180 19864 151849 103463 0 1463 20 22 19 0.28/0.31 c 4190 19915 152239 103701 0 1467 20 25 19 0.28/0.31 c 4200 19960 152583 103899 0 1468 18 22 18 0.28/0.31 c 4210 20010 152992 104187 0 1472 13 22 17 0.28/0.31 conflict 13lvl : 15 bt15-53:0(13)X27144 0.28/0.31 c 4220 20061 153408 104458 0 1475 16 22 16 0.28/0.31 conflict 11lvl : 12 bt12-37:0(12)X27209 0.28/0.31 -> -37:X(12)c 4230 20107 153788 104790 0 1478 11 18 13 0.28/0.31 c 4240 20163 154214 105094 0 1479 14 24 18 0.28/0.32 c 4250 20218 154663 105373 0 1481 16 23 18 0.28/0.32 c 4260 20275 155083 105658 0 1483 14 23 18 0.28/0.32 c 4270 20319 155392 105893 0 1486 14 23 17 0.28/0.32 c 4280 20370 155777 106170 0 1489 12 23 17 0.28/0.32 c 4290 20422 156194 106411 0 1493 15 22 16 0.28/0.32 c 4300 20474 156594 106653 0 1496 15 22 17 0.28/0.32 conflict 12lvl : 15 bt15-21:0(13)X27562 0.28/0.32 c 4310 20524 157022 106931 0 1499 15 21 15 0.28/0.32 conflict 18lvl : 18 bt18-19:0(18)X27626 0.28/0.32 -> -19:X(18)c 4320 20566 157320 107126 0 1503 17 25 18 0.28/0.32 c 4330 20606 157608 107343 0 1505 14 22 16 0.28/0.32 c 4340 20653 157949 107577 0 1508 18 24 19 0.28/0.32 c 4350 20705 158304 107775 0 1512 17 26 19 0.28/0.32 c 4360 20753 158713 108061 0 1513 15 21 16 0.28/0.32 c 4370 20817 159209 108388 0 1518 16 23 17 0.28/0.32 c 4380 20867 159618 108647 0 1519 13 23 16 0.28/0.33 c 4390 20913 160005 108861 0 1522 16 19 16 0.28/0.33 c 4400 20955 160405 109130 0 1526 13 18 14 0.28/0.33 c 4410 21000 160825 109420 0 1528 13 18 15 0.28/0.33 c 4420 21048 161220 109660 0 1532 13 21 15 0.28/0.33 conflict 13lvl : 14 bt14-53:0(13)X28231 0.28/0.33 c 4430 21104 161671 110011 0 1534 15 21 16 0.28/0.33 c 4440 21150 162041 110244 0 1539 15 20 16 0.28/0.33 c 4450 21196 162407 110522 0 1545 13 21 15 0.28/0.33 c 4460 21243 162780 110809 0 1547 11 22 17 0.28/0.33 c 4470 21292 163163 111063 0 1550 12 24 17 0.28/0.33 c 4480 21332 163452 111323 0 1555 12 23 17 0.28/0.33 c 4490 21397 163926 111629 0 1559 17 25 19 0.28/0.33 c 4493 21418 164087 111724 0 1562 14 17 11 0.28/0.33 c 4500 21459 164381 111879 0 1566 13 24 17 0.28/0.33 c 4510 21505 164719 112091 0 1568 14 23 17 0.28/0.33 c 4520 21552 165054 112310 0 1571 16 23 18 0.28/0.33 c 4530 21608 165463 112570 0 1577 15 27 18 0.28/0.34 c 4540 21665 165914 112913 0 1580 14 22 17 0.28/0.34 conflict 12lvl : 12 bt12-15:0(12)X29158 0.28/0.34 -> -15:X(12)c 4550 21708 166264 113117 0 1583 15 23 16 0.28/0.34 c 4560 21755 166576 113330 0 1586 21 24 20 0.28/0.34 c 4570 21801 166910 113523 0 1592 15 23 18 0.28/0.34 c 4580 21843 167238 113746 0 1593 18 24 19 0.28/0.34 c 4590 21893 167584 113963 0 1596 16 25 19 0.28/0.34 c 4600 21949 167974 114255 0 1600 20 25 20 0.28/0.34 c 4610 22012 168429 114541 0 1603 17 25 19 0.28/0.34 c 4620 22056 168738 114749 0 1607 14 23 18 0.28/0.34 c 4630 22112 169124 115014 0 1610 18 25 20 0.28/0.34 conflict 16lvl : 20 bt20-7:0(19)X29779 0.28/0.34 c 4640 22167 169498 115274 0 1612 18 27 21 0.28/0.34 c 4650 22214 169845 115488 0 1615 19 23 19 0.28/0.34 c 4660 22264 170210 115736 0 1619 17 25 19 0.28/0.34 c 4670 22309 170521 115948 0 1623 17 27 20 0.28/0.34 c 4680 22360 170908 116187 0 1627 14 23 16 0.28/0.34 c 4690 22410 171285 116434 0 1629 16 27 19 0.28/0.35 c 4700 22450 171621 116641 0 1632 11 15 12 0.28/0.35 c 4710 22489 171901 116821 0 1635 12 25 19 0.28/0.35 c 4720 22531 172205 117021 0 1638 13 24 18 0.28/0.35 c 4730 22575 172518 117217 0 1640 16 25 20 0.28/0.35 c 4740 22620 172835 117409 0 1643 14 26 19 0.28/0.35 c 4750 22673 173187 117641 0 1647 21 25 21 0.28/0.35 c 4760 22725 173589 117861 0 1650 16 23 17 0.28/0.35 c 4770 22771 173913 118083 0 1657 15 24 18 0.28/0.35 c 4780 22818 174276 118305 0 1658 17 23 18 0.28/0.35 c 4790 22865 174671 118581 0 1661 17 22 17 0.28/0.35 c 4800 22906 174979 118814 0 1665 14 23 18 0.28/0.35 c 4810 22960 175378 119069 0 1670 17 24 18 0.28/0.35 c 4820 23016 175820 119377 0 1673 14 23 16 0.28/0.35 c 4830 23060 176176 119640 0 1675 13 23 17 0.28/0.35 c 4840 23101 176549 119881 0 1678 11 18 12 0.28/0.35 c 4850 23136 176856 120110 0 1681 11 18 13 0.28/0.36 c 4860 23175 177194 120323 0 1686 12 19 14 0.28/0.36 c 4870 23216 177534 120566 0 1690 12 20 14 0.28/0.36 c 4880 23265 177933 120851 0 1691 13 22 16 0.28/0.36 c 4890 23310 178315 121116 0 1693 12 20 15 0.28/0.36 c 4900 23352 178666 121354 0 1696 12 23 16 0.28/0.36 c 4910 23411 179148 121625 0 1701 13 19 15 0.28/0.36 c 4920 23459 179515 121883 0 1706 10 23 16 0.28/0.36 c 4930 23524 180034 122247 0 1708 16 22 18 0.28/0.36 c 4940 23589 180547 122597 0 1711 14 24 17 0.28/0.36 c 4950 23636 180894 122846 0 1716 13 24 18 0.28/0.36 c 4960 23691 181325 123114 0 1717 15 22 17 0.28/0.36 c 4970 23752 181840 123425 0 1720 16 23 17 0.28/0.36 c 4980 23788 182154 123622 0 1725 12 18 14 0.28/0.37 c 4990 23827 182473 123808 0 1729 15 19 15 0.28/0.37 c 5035 23971 183501 124616 0 1735 12 24 20 0.28/0.39 c 5631 26244 201405 138818 0 1740 12 26 21 0.38/0.42 c 6286 28693 220422 153815 0 1748 12 28 22 0.38/0.46 c 7006 31392 241158 170251 0 1758 9 28 21 0.38/0.49 c 7798 34256 263153 187731 0 1764 10 27 22 0.48/0.53 c 8669 37476 288213 207115 0 1775 14 27 23 0.48/0.57 c 9627 41125 318038 229543 0 1788 8 27 20 0.58/0.63 c 10680 45217 352068 254071 0 1792 12 27 20 0.58/0.69 c 11838 49947 390652 283536 0 1798 10 27 20 0.68/0.75 c 13111 55128 432149 315103 0 1802 13 28 21 0.78/0.82 c 14511 60678 476261 348473 0 1811 11 28 21 0.78/0.89 c 16051 66576 524419 385210 0 1814 10 26 20 0.88/0.97 c 17745 72879 575159 423243 0 1821 10 27 21 0.98/1.05 c 19608 79593 630402 466873 0 1832 6 26 19 1.09/1.14 c 21657 86874 687631 512292 0 1843 7 28 21 1.19/1.23 c 23910 95126 751105 563135 0 1851 10 28 22 1.28/1.33 c 26388 103884 817908 613587 0 1858 11 29 23 1.38/1.45 c 29113 114051 898326 679120 0 1865 9 28 21 1.48/1.59 c 32110 125003 987240 751313 0 1869 6 28 20 1.68/1.76 c 35406 137597 1093705 838775 0 1873 9 26 18 1.88/1.93 c 39031 151636 1206839 928294 0 1880 10 28 21 2.08/2.13 c 43018 167456 1336259 1025483 0 1887 11 29 21 2.29/2.33 c 47403 183850 1466972 1130919 0 1894 9 28 21 2.48/2.58 c 52226 202744 1626314 1251488 0 1903 9 27 20 2.78/2.83 c 57531 223502 1794836 1385168 0 1911 9 29 21 3.08/3.10 c 63366 245685 1977007 1524495 0 1923 10 30 22 3.29/3.39 c 69784 269935 2171373 1675070 0 1935 10 30 22 3.68/3.71 c 76843 296081 2384361 1839343 0 1944 9 30 22 3.98/4.08 c 84607 326336 2629119 2029907 0 1952 10 29 22 4.39/4.48 c 93147 358981 2895533 2236826 0 1960 5 28 20 4.88/4.93 c 102541 395221 3189509 2455871 0 1968 10 30 22 5.28/5.36 c 112874 433274 3487590 2687371 0 1978 7 29 23 5.68/5.78 conflict 4lvl : 19 bt19-23:0(6)X35788 5.78/5.89 -> -23:X(6)c 124240 476928 3841041 2955620 0 1986 10 30 22 5.78/5.89 conflict 7lvl : 15 bt13-29:0(11)X35904 6.08/6.17 conflict 7lvl : 24 bt21-61:0(13)X35914 6.38/6.43 c 136742 522164 4196298 3231590 0 1996 7 28 22 6.59/6.64 conflict 8lvl : 18 bt18-13:0(9)X36073 6.59/6.64 conflict 6lvl : 20 bt20-37:0(11)X36084 6.69/6.78 conflict 4lvl : 15 bt14-23:0(8)X36093 6.98/7.09 -> -23:X(8)c 150494 574515 4622145 3563736 0 2003 8 29 21 7.08/7.19 conflict 8lvl : 21 bt21-67:0(12)X36189 7.69/7.71 c 165621 628393 5048134 3910774 0 2013 7 29 22 8.38/8.45 c 182260 690106 5544092 4307848 0 2022 6 29 21 9.08/9.19 c 200562 757625 6057617 4702974 0 2030 9 30 24 9.38/9.44 conflict 7lvl : 19 bt19-31:0(13)X36582 9.38/9.44 conflict 6lvl : 20 bt18-53:0(12)X36592 9.48/9.56 conflict 11lvl : 17 bt17-31:0(14)X36601 10.08/10.13 c 220694 833159 6672576 5173512 0 2041 10 30 21 10.08/10.17 conflict 5lvl : 22 bt22-23:0(8)X36784 10.28/10.33 -> -23:X(8)conflict 4lvl : 16 bt16-21:0(7)X36792 10.88/10.91 -> -21:X(7)conflict 4lvl : 24 bt24-21:0(7)X36799 10.99/11.07 c 242839 915097 7309268 5665907 0 2055 8 29 23 11.18/11.22 conflict 5lvl : 19 bt19-35:0(10)X37017 11.28/11.34 conflict 6lvl : 21 bt21-21:0(11)X37025 12.09/12.17 c 267198 1005486 8040172 6238589 0 2064 8 29 21 12.68/12.78 conflict 7lvl : 20 bt19-51:0(13)X37163 13.08/13.16 conflict 5lvl : 20 bt20-51:0(11)X37173 13.29/13.35 -> -51:X(11)c 293992 1105211 8831316 6842967 0 2073 9 30 22 13.48/13.54 conflict 4lvl : 23 bt16-37:0(11)X37297 13.68/13.78 conflict 5lvl : 17 bt13-51:0(10)X37304 13.78/13.81 conflict 4lvl : 15 bt15-9:0(5)X37312 13.78/13.89 -> -9:X(5)c solution 1 13.78/13.89 13.78/13.89 v <instantiation type='solution'> 13.78/13.89 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] </list> 13.78/13.89 v <values>0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 </values> 13.78/13.89 v </instantiation> 13.78/13.89 13.78/13.89 c restarts : 559 13.78/13.89 c conflicts : 306186 (22054 /sec) 13.78/13.89 c decisions : 1150398 (82862 /sec) 13.78/13.89 c propagations : 7115452 (512516 /sec) 13.78/13.89 c root propagations : 0 13.78/13.89 c filter calls : 9195443 (662335 /sec) 13.78/13.89 c useless filter calls : 7680395 (83 %) 13.78/13.89 c 13.78/13.89 c clauses : 2143 13.78/13.89 c SAT propagations : 5977 13.78/13.89 c SAT conflicts : 4641 (35 learnts) 13.78/13.89 c Memory used : 30.88 MB 13.78/13.89 c CPU time : 13.8833 s 13.78/13.89 13.78/13.89 s SATISFIABLE
OK
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-4240280-1500625005/watcher-4240280-1500625005 -o /tmp/evaluation-result-4240280-1500625005/solver-4240280-1500625005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240280-1500625005.xml pid=3956 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.93 1.97 1.49 3/186 3959 /proc/meminfo: memFree=31043188/32770624 swapFree=6176/987128 [pid=3959] ppid=3956 vsize=26912 CPUtime=0 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4194304 616 0 0 0 0 0 0 0 20 0 1 0 15777344 27557888 420 33554432000 4194304 5970956 140735046914464 140735046911112 140151455000840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 6728 420 379 434 0 60 0 [startup+0.100137 s] /proc/loadavg: 1.93 1.97 1.49 3/186 3959 /proc/meminfo: memFree=31043188/32770624 swapFree=6176/987128 [pid=3959] ppid=3956 vsize=31348 CPUtime=0.09 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1056 0 0 0 9 0 0 0 20 0 1 0 15777344 32100352 832 33554432000 4194304 5970956 140735046914464 140735046911800 140151439387744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7837 832 737 434 0 1201 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31348 [startup+0.200288 s] /proc/loadavg: 1.93 1.97 1.49 3/186 3959 /proc/meminfo: memFree=31043188/32770624 swapFree=6176/987128 [pid=3959] ppid=3956 vsize=31480 CPUtime=0.18 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1073 0 0 0 18 0 0 0 20 0 1 0 15777344 32235520 898 33554432000 4194304 5970956 140735046914464 140735046911800 140151438949349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7870 898 785 434 0 1234 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 31480 [startup+0.30025 s] /proc/loadavg: 1.93 1.97 1.49 3/186 3959 /proc/meminfo: memFree=31043188/32770624 swapFree=6176/987128 [pid=3959] ppid=3956 vsize=31480 CPUtime=0.28 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1093 0 0 0 28 0 0 0 20 0 1 0 15777344 32235520 898 33554432000 4194304 5970956 140735046914464 140735046911800 140151439387744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7870 898 785 434 0 1234 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 31480 [startup+0.70022 s] /proc/loadavg: 1.93 1.97 1.49 3/186 3959 /proc/meminfo: memFree=31043188/32770624 swapFree=6176/987128 [pid=3959] ppid=3956 vsize=31480 CPUtime=0.68 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1109 0 0 0 68 0 0 0 20 0 1 0 15777344 32235520 898 33554432000 4194304 5970956 140735046914464 140735046911800 5136634 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7870 898 785 434 0 1234 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 31480 [startup+1.5002 s] /proc/loadavg: 1.93 1.97 1.49 3/187 3960 /proc/meminfo: memFree=31041996/32770624 swapFree=6176/987160 [pid=3959] ppid=3956 vsize=31480 CPUtime=1.48 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1114 0 0 0 148 0 0 0 20 0 1 0 15777344 32235520 898 33554432000 4194304 5970956 140735046914464 140735046911800 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7870 898 785 434 0 1234 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31480 [startup+3.10022 s] /proc/loadavg: 1.93 1.97 1.49 3/187 3960 /proc/meminfo: memFree=31041076/32770624 swapFree=6176/987160 [pid=3959] ppid=3956 vsize=31612 CPUtime=3.08 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1209 0 0 0 308 0 0 0 20 0 1 0 15777344 32370688 958 33554432000 4194304 5970956 140735046914464 140735046911800 5045321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 958 785 434 0 1267 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31612 [startup+6.30022 s] /proc/loadavg: 1.94 1.97 1.49 3/187 3960 /proc/meminfo: memFree=31041272/32770624 swapFree=6176/987176 [pid=3959] ppid=3956 vsize=31612 CPUtime=6.28 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1339 0 0 0 628 0 0 0 20 0 1 0 15777344 32370688 959 33554432000 4194304 5970956 140735046914464 140735046911896 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 959 785 434 0 1267 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31612 [startup+12.7002 s] /proc/loadavg: 1.95 1.97 1.49 3/187 3960 /proc/meminfo: memFree=31041024/32770624 swapFree=6176/987180 [pid=3959] ppid=3956 vsize=31612 CPUtime=12.68 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1455 0 0 0 1268 0 0 0 20 0 1 0 15777344 32370688 963 33554432000 4194304 5970956 140735046914464 140735046911800 5044765 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 963 785 434 0 1267 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31612 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3959 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8002 s] /proc/loadavg: 1.95 1.97 1.49 3/187 3960 /proc/meminfo: memFree=31041024/32770624 swapFree=6176/987180 [pid=3959] ppid=3956 vsize=31612 CPUtime=12.78 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1455 0 0 0 1278 0 0 0 20 0 1 0 15777344 32370688 963 33554432000 4194304 5970956 140735046914464 140735046911896 5038382 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 963 785 434 0 1267 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 31612 [startup+13.6002 s] /proc/loadavg: 1.95 1.97 1.50 3/187 3960 /proc/meminfo: memFree=31041024/32770624 swapFree=6176/987188 [pid=3959] ppid=3956 vsize=31612 CPUtime=13.58 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1455 0 0 0 1358 0 0 0 20 0 1 0 15777344 32370688 963 33554432000 4194304 5970956 140735046914464 140735046911896 5136570 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 963 785 434 0 1267 0 Current children cumulated CPU time (s) 13.58 Current children cumulated vsize (KiB) 31612 [startup+13.8002 s] /proc/loadavg: 1.95 1.97 1.50 3/187 3960 /proc/meminfo: memFree=31041024/32770624 swapFree=6176/987188 [pid=3959] ppid=3956 vsize=31612 CPUtime=13.78 cores=1,3,5,7 /proc/3959/stat : 3959 (cosoco) R 3956 3959 2920 0 -1 4202496 1455 0 0 0 1378 0 0 0 20 0 1 0 15777344 32370688 963 33554432000 4194304 5970956 140735046914464 140735046911896 5045648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 23437312 140735046919356 140735046919491 140735046919491 140735046922190 0 /proc/3959/statm: 7903 963 785 434 0 1267 0 Current children cumulated CPU time (s) 13.78 Current children cumulated vsize (KiB) 31612 Child status: 0 Real time (s): 13.899 CPU time (s): 13.8896 CPU user time (s): 13.8836 CPU system time (s): 0.005998 CPU usage (%): 99.9328 Max. virtual memory (cumulated for all children) (KiB): 31612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.8836 system time used= 0.005998 maximum resident set size= 3940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1497 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 718 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03829 second user time and 0.080528 second system time The end
Begin job on node125 at 2017-07-21 10:16:45 IDJOB=4240280 IDBENCH=120863 IDSOLVER=2621 FILE ID=node125/4240280-1500625005 RUNJOBID= node125-1500623778-2952 PBS_JOBID= 20623008 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-48.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240280-1500625005/watcher-4240280-1500625005 -o /tmp/evaluation-result-4240280-1500625005/solver-4240280-1500625005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240280-1500625005.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fdc0acb1128a6a46ad14275048f2788c RANDOM SEED=1035392034 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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 : 1600.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.56 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.75 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.56 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.75 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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 : 2400.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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31042972 kB MemAvailable: 32011692 kB Buffers: 155436 kB Cached: 1093764 kB SwapCached: 0 kB Active: 315628 kB Inactive: 995992 kB Active(anon): 65096 kB Inactive(anon): 8864 kB Active(file): 250532 kB Inactive(file): 987128 kB Unevictable: 6176 kB Mlocked: 6176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2504 kB Writeback: 0 kB AnonPages: 68640 kB Mapped: 33812 kB Shmem: 8848 kB Slab: 117972 kB SReclaimable: 93792 kB SUnreclaim: 24180 kB KernelStack: 3360 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 10:16:59