Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | UNSAT | 146.666 | 146.707 |
Name | Dubois/Dubois-m1-s1/ Dubois-022.xml |
MD5SUM | 6cb564a1b449df83d852ba5f609dcac6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.003606 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 66 |
Number of constraints | 44 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":66}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":66}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":44}] |
Number of extensional constraints | 44 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":44}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c SAT : Variables: 132 -- Clauses: 132 0.00/0.00 c root propagations : 0 0.00/0.00 c restarts enabled, print stats at every restarts 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c This is cosoco 1.0 -- 0.00/0.00 c 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 66 0.00/0.00 c | Domain Sizes: 2..2 0.00/0.00 c | 0.00/0.00 c | Constraints: 44 0.00/0.00 c | Arity: 3..3 -- Ternary: 44 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | Extension: 44 (nb tuples: 4..4) -- (shared: 39) 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.00 c 10 116 540 461 0 1 41 63 48 0.00/0.00 c 20 186 773 646 0 2 38 45 37 0.00/0.00 c 30 295 1126 945 0 4 52 63 53 0.00/0.00 c 40 406 1517 1290 0 5 42 52 44 0.00/0.00 c 50 464 1712 1448 0 7 36 46 37 0.00/0.00 c 60 559 2034 1706 0 9 50 61 49 0.00/0.00 c 70 676 2422 2041 0 13 46 60 49 0.00/0.00 c 80 751 2682 2256 0 16 39 50 40 0.00/0.00 c 90 858 3050 2572 0 18 48 59 49 0.00/0.00 c 100 944 3329 2811 0 21 45 57 46 0.00/0.00 c 101 985 3438 2880 0 22 41 41 20 0.00/0.01 c 110 1060 3682 3088 0 23 43 50 41 0.00/0.01 c 120 1160 4006 3368 0 26 39 47 41 0.00/0.01 c 130 1310 4439 3753 0 27 57 65 56 0.00/0.01 c 140 1437 4832 4096 0 29 40 63 49 0.00/0.01 c 150 1551 5194 4404 0 32 54 63 55 0.00/0.01 c 160 1657 5526 4700 0 34 50 62 51 0.00/0.01 c 170 1747 5837 4961 0 36 32 50 36 0.00/0.01 c 180 1849 6166 5232 0 39 43 62 49 0.00/0.01 c 190 1952 6498 5512 0 41 52 62 50 0.00/0.01 c 200 2099 6969 5916 0 44 48 62 54 0.00/0.01 c 210 2180 7237 6126 0 46 52 57 50 0.00/0.01 c 211 2224 7358 6207 0 47 44 44 22 0.00/0.01 c 220 2317 7644 6434 0 49 39 64 42 0.00/0.01 c 230 2357 7788 6563 0 51 15 29 21 0.00/0.01 c 240 2458 8104 6815 0 55 16 62 34 0.00/0.01 c 250 2552 8407 7065 0 57 36 58 40 0.00/0.01 c 260 2671 8793 7386 0 60 48 62 54 0.00/0.01 c 270 2784 9161 7700 0 62 28 62 48 0.00/0.01 c 280 2857 9399 7901 0 63 41 58 46 0.00/0.01 c 290 2962 9737 8182 0 67 28 62 38 0.00/0.01 c 300 3068 10064 8464 0 70 29 62 49 0.00/0.01 c 310 3154 10329 8670 0 73 28 62 35 0.00/0.01 c 320 3268 10690 8971 0 74 62 62 56 0.00/0.01 c 330 3384 11046 9270 0 76 49 57 50 0.00/0.01 c 332 3451 11239 9409 0 77 62 62 41 0.00/0.01 c 340 3511 11427 9566 0 78 42 53 41 0.00/0.01 c 350 3584 11659 9767 0 79 28 40 32 0.00/0.01 c 360 3704 12034 10083 0 83 51 61 52 0.00/0.01 c 370 3800 12339 10337 0 85 48 61 51 0.00/0.01 c 380 3912 12698 10633 0 89 44 61 51 0.00/0.01 c 390 4051 13132 10999 0 92 56 64 54 0.00/0.01 c 400 4130 13390 11213 0 95 36 42 37 0.00/0.01 c 410 4263 13824 11588 0 97 46 62 51 0.00/0.01 c 420 4345 14089 11817 0 98 47 59 48 0.00/0.01 c 430 4440 14388 12062 0 101 37 62 42 0.00/0.01 c 440 4531 14677 12309 0 102 49 62 50 0.00/0.01 c 450 4657 15072 12649 0 105 43 62 50 0.00/0.01 c 460 4737 15327 12869 0 106 45 57 45 0.00/0.01 c 465 4800 15524 13031 0 107 39 47 37 0.00/0.01 c 470 4888 15792 13241 0 111 39 62 46 0.00/0.01 c 480 4966 16058 13478 0 112 23 40 31 0.00/0.01 c 490 5074 16386 13749 0 115 16 62 34 0.00/0.01 c 500 5185 16740 14040 0 118 56 62 55 0.00/0.01 c 510 5265 16998 14265 0 120 37 62 44 0.00/0.02 c 520 5405 17466 14669 0 125 44 62 52 0.00/0.02 c 530 5487 17732 14913 0 128 19 38 28 0.00/0.02 c 540 5556 17967 15125 0 131 7 15 11 0.00/0.02 c 550 5660 18294 15397 0 135 25 62 48 0.00/0.02 c 560 5760 18623 15671 0 136 53 62 52 0.00/0.02 c 570 5885 19003 15995 0 138 57 64 56 0.00/0.02 c 580 5988 19328 16276 0 139 48 62 53 0.00/0.02 c 590 6105 19700 16588 0 142 56 62 54 0.00/0.02 c 600 6180 19946 16792 0 144 42 62 47 0.00/0.02 c 610 6285 20276 17065 0 148 53 62 54 0.00/0.02 c 611 6347 20450 17180 0 149 62 62 31 0.00/0.02 c 620 6458 20798 17483 0 150 44 62 52 0.00/0.02 c 630 6583 21204 17840 0 154 44 58 47 0.00/0.02 c 640 6677 21519 18116 0 155 36 49 41 0.00/0.02 c 650 6768 21823 18368 0 157 53 62 52 0.00/0.02 c 660 6875 22163 18653 0 160 42 62 50 0.00/0.02 c 670 6960 22429 18885 0 162 45 60 48 0.00/0.02 c 680 7117 22926 19340 0 167 41 62 51 0.00/0.02 c 690 7258 23361 19732 0 171 45 64 53 0.00/0.02 c 700 7368 23711 20041 0 173 46 58 48 0.00/0.02 c 710 7465 24019 20305 0 175 36 51 40 0.00/0.02 c 720 7570 24377 20612 0 177 47 58 48 0.00/0.02 c 730 7707 24823 21010 0 178 40 53 46 0.00/0.02 c 740 7817 25160 21302 0 180 27 62 41 0.00/0.02 c 750 7954 25593 21687 0 183 37 54 45 0.00/0.02 c 760 8013 25782 21853 0 185 20 27 22 0.00/0.02 c 770 8137 26179 22189 0 188 33 53 45 0.00/0.02 c 771 8187 26318 22286 0 189 50 50 25 0.00/0.02 c 780 8267 26573 22506 0 192 35 50 39 0.00/0.02 c 790 8351 26846 22730 0 195 43 50 43 0.00/0.02 c 800 8450 27160 22999 0 199 37 49 41 0.00/0.02 c 810 8573 27550 23352 0 201 35 48 40 0.00/0.02 c 820 8636 27774 23537 0 203 13 40 18 0.00/0.02 c 830 8737 28094 23805 0 206 35 62 49 0.00/0.02 c 840 8867 28518 24170 0 208 48 62 53 0.00/0.02 c 850 8968 28818 24428 0 210 31 62 51 0.00/0.02 c 860 9058 29089 24655 0 214 48 57 49 0.00/0.02 c 870 9190 29510 25020 0 218 42 57 46 0.00/0.02 c 880 9292 29843 25306 0 222 40 57 47 0.00/0.02 c 890 9403 30189 25604 0 226 42 57 48 0.00/0.02 c 900 9461 30388 25780 0 227 27 48 33 0.00/0.02 c 910 9570 30724 26066 0 230 47 57 47 0.00/0.02 c 920 9632 30932 26248 0 231 31 52 34 0.00/0.02 c 930 9716 31210 26476 0 234 38 48 38 0.00/0.03 c 940 9827 31574 26782 0 237 37 52 45 0.00/0.03 c 947 9909 31823 26979 0 239 48 62 48 0.00/0.03 c 950 9980 32027 27125 0 242 57 57 42 0.00/0.03 c 960 10077 32353 27389 0 244 36 62 46 0.00/0.03 c 970 10158 32621 27623 0 245 38 53 41 0.00/0.03 c 980 10275 32971 27915 0 248 27 62 52 0.00/0.03 c 990 10357 33232 28139 0 251 35 41 35 0.00/0.03 c 1000 10494 33645 28488 0 255 53 62 53 0.00/0.03 c 1010 10605 33991 28789 0 257 56 62 54 0.00/0.03 c 1020 10726 34372 29122 0 259 49 61 52 0.00/0.03 c 1030 10854 34803 29489 0 262 44 63 52 0.00/0.03 c 1040 10972 35165 29815 0 263 37 54 44 0.00/0.03 c 1050 11073 35495 30095 0 265 44 49 42 0.00/0.03 c 1060 11157 35739 30309 0 267 29 41 31 0.00/0.03 c 1070 11259 36068 30583 0 271 21 62 34 0.00/0.03 c 1080 11349 36353 30821 0 274 49 62 49 0.00/0.03 c 1090 11440 36660 31097 0 277 40 62 47 0.00/0.03 c 1100 11545 36990 31371 0 280 53 62 53 0.00/0.03 c 1110 11643 37296 31637 0 281 48 58 49 0.00/0.03 c 1120 11781 37732 32024 0 283 50 62 52 0.00/0.03 c 1130 11892 38091 32327 0 286 49 62 52 0.00/0.03 c 1140 11991 38413 32595 0 291 43 61 50 0.00/0.03 c 1141 12044 38579 32726 0 292 52 52 26 0.00/0.03 c 1150 12153 38917 33032 0 295 15 61 44 0.00/0.03 c 1160 12224 39148 33228 0 296 42 61 45 0.00/0.03 c 1170 12350 39543 33562 0 300 48 57 50 0.00/0.03 c 1180 12455 39873 33851 0 301 44 57 48 0.00/0.03 c 1190 12551 40175 34101 0 303 45 57 47 0.00/0.03 c 1200 12630 40435 34331 0 304 37 57 44 0.00/0.03 c 1210 12727 40752 34599 0 307 34 44 37 0.00/0.03 c 1220 12870 41198 34987 0 311 37 61 45 0.00/0.03 c 1230 12998 41586 35316 0 313 56 63 55 0.00/0.03 c 1240 13129 42004 35687 0 317 36 53 44 0.00/0.03 c 1250 13237 42356 35998 0 319 44 61 50 0.00/0.03 c 1260 13384 42826 36424 0 322 43 61 51 0.00/0.03 c 1270 13500 43194 36737 0 324 50 63 52 0.00/0.03 c 1280 13601 43544 37038 0 327 46 57 48 0.00/0.03 c 1290 13726 43938 37391 0 329 45 57 48 0.00/0.03 c 1300 13821 44235 37632 0 331 52 61 52 0.00/0.03 c 1310 13951 44666 38005 0 334 40 57 48 0.00/0.03 c 1320 14067 45048 38346 0 336 41 52 45 0.00/0.04 c 1330 14180 45401 38641 0 340 27 61 51 0.00/0.04 c 1340 14293 45752 38944 0 343 57 63 54 0.00/0.04 c 1350 14398 46129 39264 0 345 36 57 43 0.00/0.04 c 1352 14454 46286 39371 0 347 52 52 34 0.00/0.04 c 1360 14557 46606 39651 0 349 49 63 53 0.00/0.04 c 1370 14612 46773 39800 0 351 9 16 12 0.00/0.04 c 1380 14721 47168 40123 0 354 53 59 52 0.00/0.04 c 1390 14811 47458 40380 0 355 37 61 48 0.00/0.04 c 1400 14933 47836 40706 0 359 41 57 48 0.00/0.04 c 1410 15059 48244 41056 0 364 45 59 50 0.00/0.04 c 1420 15131 48478 41260 0 365 40 57 44 0.00/0.04 c 1430 15226 48789 41520 0 368 37 52 44 0.00/0.04 c 1440 15331 49122 41806 0 371 35 52 41 0.00/0.04 c 1450 15459 49531 42169 0 375 43 52 45 0.00/0.04 c 1460 15505 49692 42303 0 377 25 36 27 0.00/0.04 c 1470 15610 50056 42626 0 380 40 52 42 0.00/0.04 c 1480 15678 50283 42819 0 381 36 52 39 0.00/0.04 c 1490 15773 50618 43098 0 382 41 52 44 0.00/0.04 c 1500 15894 51028 43445 0 385 33 61 45 0.00/0.04 c 1510 15984 51314 43681 0 387 46 61 48 0.00/0.04 c 1520 16094 51661 43975 0 389 47 59 48 0.00/0.04 c 1530 16199 51990 44250 0 391 34 61 45 0.00/0.04 c 1540 16328 52406 44595 0 394 50 57 47 0.00/0.04 c 1550 16475 52876 44991 0 399 54 61 53 0.00/0.04 c 1560 16603 53273 45329 0 405 49 57 49 0.00/0.04 c 1570 16710 53615 45626 0 407 44 52 44 0.00/0.04 c 1580 16844 54059 46021 0 409 38 52 43 0.00/0.04 c 1585 16912 54269 46183 0 412 46 52 42 0.00/0.04 c 1590 16985 54493 46364 0 414 41 47 38 0.00/0.04 c 1600 17073 54766 46587 0 417 37 51 42 0.00/0.04 c 1610 17199 55199 46978 0 420 34 49 41 0.00/0.04 c 1620 17276 55457 47207 0 423 28 41 34 0.00/0.04 c 1630 17383 55801 47482 0 428 49 61 52 0.00/0.04 c 1640 17497 56196 47826 0 431 42 54 46 0.00/0.04 c 1650 17563 56421 48023 0 435 28 35 29 0.00/0.04 c 1660 17658 56729 48274 0 439 43 49 42 0.00/0.04 c 1670 17755 57041 48543 0 442 41 51 41 0.00/0.04 c 1680 17857 57364 48819 0 445 15 61 46 0.00/0.04 c 1690 17954 57675 49072 0 448 48 61 48 0.00/0.04 c 1700 18067 58034 49385 0 451 49 54 47 0.00/0.04 c 1710 18155 58312 49611 0 453 32 61 40 0.00/0.04 c 1720 18272 58673 49912 0 456 44 61 50 0.00/0.05 c 1730 18430 59181 50375 0 458 50 57 49 0.00/0.05 c 1740 18493 59392 50564 0 459 26 41 29 0.00/0.05 c 1750 18574 59650 50773 0 462 32 49 36 0.00/0.05 c 1760 18682 59994 51057 0 465 42 61 47 0.00/0.05 c 1770 18814 60423 51410 0 470 42 61 51 0.00/0.05 c 1780 18978 60943 51889 0 471 41 58 49 0.00/0.05 c 1790 19118 61383 52274 0 473 50 58 48 0.00/0.05 c 1800 19224 61711 52542 0 478 44 62 52 0.00/0.05 c 1810 19413 62243 53014 0 480 58 62 55 0.00/0.05 c 1820 19543 62672 53379 0 485 40 55 46 0.00/0.05 c 1830 19662 63039 53696 0 488 44 53 45 0.00/0.05 c 1840 19771 63385 54007 0 489 39 53 44 0.00/0.05 c 1841 19818 63520 54097 0 490 47 47 23 0.00/0.05 c 1850 19915 63817 54342 0 493 47 55 46 0.00/0.05 c 1860 20042 64203 54677 0 496 53 62 53 0.00/0.05 c 1870 20165 64590 55005 0 501 44 62 52 0.00/0.05 c 1880 20276 64947 55300 0 504 48 58 50 0.00/0.05 c 1890 20417 65377 55670 0 508 40 62 49 0.00/0.05 c 1900 20537 65760 56011 0 511 48 62 50 0.00/0.05 c 1910 20672 66189 56396 0 515 41 58 50 0.00/0.05 c 1920 20802 66600 56766 0 518 44 62 52 0.00/0.05 c 1930 20911 66945 57071 0 519 45 62 51 0.00/0.05 c 1940 21017 67287 57364 0 522 46 58 48 0.00/0.05 c 1950 21130 67635 57665 0 525 38 60 46 0.00/0.05 c 1960 21233 67949 57929 0 529 44 53 45 0.00/0.05 c 1970 21363 68365 58285 0 532 37 53 45 0.00/0.05 c 1980 21481 68732 58600 0 535 45 53 45 0.00/0.05 c 1990 21576 69032 58857 0 538 44 53 45 0.00/0.05 c 2000 21690 69386 59159 0 541 42 62 50 0.00/0.05 c 2010 21794 69710 59436 0 543 44 56 45 0.00/0.05 c 2020 21900 70056 59719 0 546 31 62 39 0.00/0.05 c 2030 22040 70476 60077 0 551 23 62 42 0.00/0.05 c 2040 22163 70858 60407 0 554 55 62 55 0.00/0.05 c 2050 22279 71230 60724 0 557 52 58 51 0.00/0.05 c 2060 22398 71593 61036 0 560 42 62 50 0.00/0.05 c 2070 22537 72005 61403 0 564 37 64 53 0.00/0.05 c 2080 22647 72343 61687 0 567 50 58 50 0.00/0.05 c 2090 22793 72786 62096 0 570 53 58 51 0.00/0.06 c 2100 22885 73076 62343 0 573 45 58 48 0.00/0.06 c 2110 22979 73379 62595 0 576 48 53 47 0.00/0.06 c 2120 23037 73574 62772 0 577 32 49 36 0.00/0.06 c 2122 23087 73712 62870 0 578 49 49 32 0.00/0.06 c 2130 23187 74033 63135 0 581 47 53 46 0.00/0.06 c 2140 23326 74470 63526 0 583 40 53 45 0.00/0.06 c 2150 23433 74798 63800 0 587 39 53 45 0.00/0.06 c 2160 23530 75092 64061 0 591 35 53 42 0.00/0.06 c 2170 23638 75436 64362 0 594 45 53 44 0.00/0.06 c 2180 23755 75796 64658 0 599 45 62 51 0.00/0.06 c 2190 23904 76291 65119 0 601 40 62 51 0.00/0.06 c 2200 24007 76619 65395 0 604 51 62 52 0.00/0.06 c 2210 24165 77088 65826 0 607 21 60 43 0.00/0.06 c 2220 24258 77402 66098 0 608 34 58 43 0.00/0.06 c 2230 24349 77694 66354 0 610 36 58 45 0.00/0.06 c 2240 24453 78024 66633 0 612 46 58 50 0.00/0.06 c 2250 24539 78319 66869 0 617 36 58 45 0.00/0.06 c 2260 24618 78571 67081 0 619 45 58 45 0.00/0.06 c 2270 24711 78881 67343 0 620 48 49 44 0.00/0.06 c 2280 24801 79146 67570 0 621 31 47 36 0.00/0.06 c 2290 24899 79468 67853 0 622 36 50 38 0.00/0.06 c 2300 24979 79725 68064 0 626 45 58 47 0.00/0.06 c 2310 25088 80074 68362 0 629 26 53 44 0.00/0.06 c 2320 25199 80423 68680 0 632 38 43 38 0.00/0.06 c 2330 25307 80761 68968 0 636 20 53 44 0.00/0.06 c 2340 25425 81142 69293 0 640 43 53 45 0.00/0.06 c 2350 25528 81462 69557 0 644 48 62 51 0.00/0.06 c 2360 25674 81886 69955 0 645 44 53 47 0.00/0.06 c 2370 25838 82409 70435 0 648 43 53 46 0.00/0.06 c 2380 25952 82774 70764 0 649 33 53 43 0.00/0.06 c 2390 26035 83046 70994 0 651 22 47 31 0.00/0.06 c 2400 26133 83367 71280 0 653 31 51 39 0.00/0.06 c 2410 26233 83672 71529 0 655 54 62 53 0.00/0.06 c 2420 26343 84011 71814 0 659 43 53 46 0.00/0.06 c 2430 26432 84294 72059 0 660 42 62 52 0.00/0.06 c 2431 26477 84438 72159 0 661 45 45 22 0.00/0.06 c 2440 26591 84812 72488 0 663 37 62 51 0.00/0.06 c 2450 26663 85051 72705 0 665 26 42 30 0.00/0.06 c 2460 26788 85455 73052 0 668 46 53 46 0.00/0.06 c 2470 26897 85784 73332 0 670 46 53 46 0.00/0.06 c 2480 27002 86114 73609 0 674 45 62 48 0.00/0.06 c 2490 27111 86465 73903 0 677 48 62 52 0.00/0.07 c 2500 27228 86845 74232 0 680 43 53 45 0.00/0.07 c 2510 27372 87280 74609 0 684 49 62 50 0.00/0.07 c 2520 27504 87679 74945 0 688 45 64 53 0.00/0.07 c 2530 27626 88068 75303 0 691 41 53 44 0.00/0.07 c 2540 27748 88456 75649 0 693 42 53 46 0.00/0.07 c 2550 27869 88829 75971 0 697 53 62 54 0.00/0.07 c 2560 28031 89329 76414 0 701 46 58 51 0.00/0.07 c 2570 28156 89716 76758 0 704 49 55 48 0.00/0.07 conflict 21lvl : 38 bt28-87:0(39)X32144 0.00/0.07 c 2580 28294 90124 77114 0 707 57 62 55 0.00/0.07 c 2590 28406 90473 77415 0 709 45 64 52 0.00/0.07 c 2600 28491 90739 77638 0 713 45 58 49 0.00/0.07 c 2610 28614 91152 77992 0 717 39 58 45 0.00/0.07 c 2620 28725 91509 78307 0 718 46 53 47 0.00/0.07 c 2630 28857 91926 78661 0 721 35 62 45 0.00/0.07 c 2640 28959 92254 78955 0 723 36 52 39 0.00/0.07 c 2650 29075 92623 79266 0 725 56 58 52 0.00/0.07 c 2660 29211 93042 79628 0 729 47 62 54 0.00/0.07 c 2670 29325 93375 79920 0 731 42 60 48 0.00/0.07 c 2680 29406 93678 80194 0 732 31 58 42 0.00/0.07 c 2690 29539 94082 80541 0 735 38 58 48 0.00/0.07 c 2700 29656 94438 80848 0 737 47 58 48 0.00/0.07 c 2710 29764 94769 81130 0 740 39 62 47 0.00/0.07 c 2720 29895 95178 81477 0 744 46 62 52 0.00/0.07 c 2730 30028 95603 81854 0 746 55 62 54 0.00/0.07 c 2740 30166 96029 82223 0 750 46 58 51 0.00/0.07 c 2750 30269 96350 82488 0 752 44 58 48 0.00/0.07 c 2760 30382 96688 82781 0 754 47 64 54 0.00/0.07 c 2770 30485 97026 83072 0 757 43 62 51 0.00/0.07 c 2771 30510 97101 83121 0 758 25 25 12 0.00/0.07 c 2780 30628 97456 83431 0 761 42 49 42 0.00/0.07 c 2790 30711 97740 83667 0 763 39 41 36 0.00/0.07 c 2800 30806 98039 83931 0 766 35 53 40 0.00/0.07 c 2810 30934 98448 84279 0 769 41 62 46 0.00/0.07 c 2820 31034 98737 84541 0 770 26 43 32 0.00/0.07 c 2830 31153 99099 84846 0 774 55 62 54 0.00/0.07 c 2840 31278 99500 85196 0 779 31 62 51 0.00/0.07 c 2850 31385 99828 85476 0 782 49 64 54 0.00/0.07 c 2860 31495 100161 85749 0 786 42 62 52 0.00/0.07 c 2870 31658 100661 86215 0 789 33 58 47 0.00/0.07 c 2880 31768 100994 86500 0 793 39 53 45 0.00/0.07 c 2890 31879 101345 86798 0 795 43 58 48 0.00/0.07 c 2900 31972 101658 87057 0 797 34 52 41 0.00/0.07 c 2910 32037 101888 87256 0 798 30 41 32 0.00/0.07 c 2920 32128 102177 87487 0 800 33 62 36 0.00/0.08 c 2930 32239 102529 87788 0 803 47 62 51 0.00/0.08 c 2940 32342 102858 88061 0 806 38 62 47 0.00/0.08 c 2950 32461 103244 88390 0 808 50 58 51 0.00/0.08 c 2960 32560 103584 88688 0 812 29 62 48 0.00/0.08 c 2970 32688 103985 89046 0 814 54 62 53 0.00/0.08 c 2980 32832 104448 89470 0 817 46 62 53 0.00/0.08 c 2990 32994 104921 89903 0 818 50 64 53 0.00/0.08 c 3000 33100 105260 90184 0 822 44 62 50 0.00/0.08 c 3010 33219 105657 90529 0 823 46 62 51 0.00/0.08 c 3020 33332 106040 90854 0 825 40 62 48 0.00/0.08 c 3030 33469 106484 91236 0 827 41 62 50 0.00/0.08 c 3040 33608 106939 91652 0 829 46 62 51 0.00/0.08 c 3050 33710 107267 91933 0 832 35 49 39 0.00/0.08 c 3060 33850 107710 92317 0 836 44 53 46 0.00/0.08 c 3070 33940 108015 92580 0 839 31 53 36 0.00/0.08 c 3080 34068 108415 92913 0 843 44 62 50 0.00/0.08 c 3090 34228 108911 93364 0 844 55 62 54 0.00/0.08 c 3100 34326 109211 93617 0 847 47 53 46 0.00/0.08 c 3110 34456 109632 93985 0 852 39 55 46 0.00/0.08 c 3120 34572 109982 94293 0 854 41 54 46 0.00/0.08 c 3130 34737 110463 94715 0 857 62 62 56 0.00/0.08 c 3140 34906 110996 95205 0 861 41 60 50 0.00/0.08 c 3142 34962 111158 95325 0 862 53 53 35 0.00/0.08 c 3150 35074 111503 95626 0 863 44 55 47 0.00/0.08 c 3160 35203 111901 95974 0 867 53 62 53 0.00/0.08 c 3170 35342 112361 96401 0 870 32 54 44 0.00/0.08 c 3180 35452 112705 96694 0 875 42 62 53 0.00/0.08 c 3190 35603 113185 97113 0 877 41 62 52 0.00/0.08 c 3200 35757 113687 97567 0 879 43 62 52 0.00/0.08 c 3210 35849 113982 97836 0 881 36 52 40 0.00/0.08 c 3220 35962 114336 98140 0 885 46 60 50 0.00/0.08 c 3230 36004 114490 98271 0 887 18 29 23 0.00/0.08 c 3240 36141 114883 98606 0 892 19 60 39 0.00/0.08 c 3250 36261 115288 98971 0 894 26 60 43 0.00/0.08 c 3260 36399 115744 99392 0 896 40 60 50 0.00/0.08 c 3270 36562 116247 99832 0 899 50 60 52 0.00/0.08 c 3280 36662 116578 100115 0 901 35 60 50 0.00/0.08 c 3290 36781 116953 100451 0 903 38 60 48 0.00/0.08 c 3300 36878 117266 100720 0 904 46 60 50 0.00/0.08 c 3310 36963 117546 100966 0 906 33 38 32 0.00/0.08 c 3320 37087 117945 101297 0 911 41 60 51 0.00/0.08 c 3330 37211 118326 101611 0 914 35 60 50 0.00/0.09 c 3340 37322 118677 101922 0 917 41 60 50 0.00/0.09 c 3350 37432 119025 102238 0 921 35 44 37 0.00/0.09 c 3360 37524 119318 102477 0 924 48 60 51 0.00/0.09 c 3370 37659 119773 102892 0 925 39 62 49 0.00/0.09 c 3380 37782 120149 103222 0 927 45 56 45 0.00/0.09 c 3390 37883 120463 103484 0 929 32 64 40 0.00/0.09 c 3400 38031 120941 103911 0 931 50 64 53 0.00/0.09 c 3410 38102 121170 104105 0 933 37 62 44 0.00/0.09 c 3420 38204 121470 104339 0 936 16 62 23 0.00/0.09 c 3430 38351 121911 104718 0 941 55 64 55 0.00/0.09 c 3440 38487 122342 105086 0 944 58 62 54 0.00/0.09 c 3450 38586 122655 105354 0 946 30 58 39 0.00/0.09 c 3460 38702 123019 105668 0 949 46 54 46 0.00/0.09 c 3470 38808 123353 105955 0 951 41 52 44 0.00/0.09 c 3480 38920 123698 106244 0 955 25 62 38 0.00/0.09 c 3490 39041 124083 106577 0 957 32 62 48 0.00/0.09 c 3500 39166 124487 106923 0 960 41 62 50 0.00/0.09 c 3510 39271 124815 107204 0 962 58 62 55 0.00/0.09 c 3520 39396 125213 107571 0 963 46 61 51 0.00/0.09 c 3530 39500 125550 107873 0 966 38 57 45 0.00/0.09 c 3540 39646 126019 108266 0 969 57 61 55 0.00/0.09 c 3550 39741 126343 108550 0 972 41 54 44 0.00/0.09 c 3551 39785 126469 108639 0 973 44 44 22 0.00/0.09 c 3560 39879 126770 108890 0 976 33 52 38 0.00/0.09 c 3570 39949 127012 109106 0 978 26 40 30 0.00/0.09 c 3580 40061 127362 109400 0 982 49 64 52 0.00/0.09 c 3590 40135 127605 109606 0 985 31 31 28 0.00/0.09 c 3600 40287 128087 110041 0 987 50 62 54 0.00/0.09 c 3610 40349 128295 110211 0 989 29 34 29 0.00/0.09 c 3620 40480 128697 110556 0 993 15 64 52 0.00/0.09 c 3630 40547 128905 110745 0 995 9 23 13 0.00/0.09 c 3640 40671 129288 111080 0 997 26 62 47 0.00/0.09 c 3650 40767 129591 111331 0 999 49 62 53 0.00/0.09 conflict 23lvl : 43 bt33-75:0(44)X45139 0.00/0.09 c 3660 40898 129998 111670 0 1003 49 62 54 0.00/0.09 c 3670 41023 130400 112009 0 1005 38 62 44 0.00/0.09 c 3680 41163 130839 112387 0 1007 52 58 51 0.00/0.09 conflict 32lvl : 37 bt35-75:0(38)X45558 0.00/0.09 c 3690 41302 131259 112752 0 1011 52 62 54 0.00/0.09 c 3700 41412 131608 113063 0 1014 52 62 52 0.00/0.09 c 3710 41505 131905 113327 0 1015 47 62 50 0.00/0.09 conflict 29lvl : 38 bt33-75:0(40)X45931 0.00/0.09 c 3720 41600 132208 113593 0 1017 34 40 34 0.00/0.09 c 3730 41705 132531 113869 0 1020 47 62 52 0.00/0.09 c 3740 41834 132929 114207 0 1023 47 61 52 0.00/0.09 c 3750 41966 133343 114573 0 1026 51 61 53 0.00/0.10 c 3760 42058 133645 114844 0 1028 38 53 44 0.09/0.10 c 3770 42243 134222 115379 0 1029 53 57 50 0.09/0.10 c 3780 42367 134618 115721 0 1032 51 57 50 0.09/0.10 c 3790 42474 134966 116034 0 1034 41 57 43 0.09/0.10 c 3800 42601 135357 116378 0 1036 51 61 53 0.09/0.10 c 3810 42726 135758 116723 0 1039 54 61 53 0.09/0.10 c 3820 42859 136166 117074 0 1043 39 61 52 0.09/0.10 c 3830 42962 136494 117352 0 1047 45 61 50 0.09/0.10 c 3840 43137 137028 117819 0 1050 45 63 51 0.09/0.10 c 3850 43267 137442 118173 0 1054 49 61 52 0.09/0.10 c 3860 43379 137803 118500 0 1055 39 57 45 0.09/0.10 c 3870 43471 138089 118738 0 1057 24 61 35 0.09/0.10 c 3880 43575 138423 119015 0 1060 38 61 44 0.09/0.10 c 3890 43722 138903 119434 0 1063 55 61 54 0.09/0.10 c 3900 43845 139277 119756 0 1066 51 61 53 0.09/0.10 c 3910 43966 139673 120082 0 1070 57 61 54 0.09/0.10 c 3920 44067 140023 120379 0 1072 41 61 44 0.09/0.10 c 3930 44261 140640 120925 0 1074 61 61 55 0.09/0.10 c 3940 44425 141166 121378 0 1077 57 61 55 0.09/0.10 c 3950 44603 141744 121894 0 1081 57 61 55 0.09/0.10 c 3960 44680 141990 122098 0 1083 30 46 35 0.09/0.10 c 3970 44829 142484 122533 0 1085 57 61 54 0.09/0.10 c 3980 44934 142837 122839 0 1088 45 61 52 0.09/0.10 c 3990 45042 143179 123123 0 1092 51 61 52 0.09/0.10 c 4000 45168 143564 123463 0 1095 43 63 52 0.09/0.10 c 4001 45230 143754 123597 0 1097 61 61 30 0.09/0.10 c 4010 45402 144290 124091 0 1099 35 57 46 0.09/0.10 c 4020 45545 144750 124494 0 1103 45 61 51 0.09/0.10 c 4030 45651 145096 124793 0 1106 36 61 48 0.09/0.10 c 4040 45753 145424 125070 0 1111 33 57 44 0.09/0.10 c 4050 45866 145805 125395 0 1113 49 61 51 0.09/0.10 c 4060 45975 146155 125687 0 1116 41 61 49 0.09/0.10 c 4070 46176 146779 126247 0 1119 29 59 50 0.09/0.10 c 4080 46289 147141 126553 0 1122 45 59 50 0.09/0.10 c 4090 46394 147495 126849 0 1125 42 59 48 0.09/0.11 c 4100 46540 147975 127280 0 1128 48 59 50 0.09/0.11 c 4110 46642 148309 127557 0 1132 47 59 49 0.09/0.11 c 4120 46753 148682 127881 0 1135 44 59 50 0.09/0.11 c 4130 46873 149038 128197 0 1136 43 57 46 0.09/0.11 c 4140 46970 149353 128464 0 1138 35 55 43 0.09/0.11 c 4150 47021 149527 128615 0 1140 19 28 22 0.09/0.11 c 4160 47122 149858 128898 0 1143 38 59 49 0.09/0.11 c 4170 47238 150226 129201 0 1147 38 59 51 0.09/0.11 c 4180 47298 150428 129373 0 1148 31 44 34 0.09/0.11 c 4190 47419 150807 129711 0 1149 42 59 51 0.09/0.11 c 4200 47533 151183 130024 0 1152 47 59 50 0.09/0.11 c 4210 47640 151529 130322 0 1154 43 59 49 0.09/0.11 c 4220 47747 151897 130637 0 1157 49 59 48 0.09/0.11 c 4230 47843 152202 130906 0 1160 35 59 48 0.09/0.11 c 4240 47998 152731 131358 0 1163 39 59 49 0.09/0.11 c 4250 48134 153201 131770 0 1166 45 59 50 0.09/0.11 c 4260 48286 153663 132169 0 1169 45 59 51 0.09/0.11 c 4270 48448 154199 132655 0 1172 30 59 45 0.09/0.11 c 4280 48546 154510 132935 0 1175 31 59 46 0.09/0.11 c 4290 48694 154993 133375 0 1180 35 55 46 0.09/0.11 c 4300 48813 155347 133692 0 1184 50 59 49 0.09/0.11 c 4310 48886 155588 133899 0 1187 36 59 42 0.09/0.11 c 4320 49014 155960 134249 0 1188 24 38 31 0.09/0.11 c 4330 49156 156403 134641 0 1191 19 59 47 0.09/0.11 c 4340 49299 156845 135032 0 1193 51 59 51 0.09/0.11 c 4350 49372 157082 135227 0 1196 29 44 34 0.09/0.11 c 4360 49489 157453 135534 0 1200 46 59 51 0.09/0.11 c 4370 49576 157748 135781 0 1204 32 59 45 0.09/0.11 c 4380 49672 158059 136039 0 1209 38 55 44 0.09/0.11 c 4390 49788 158415 136344 0 1213 50 59 50 0.09/0.11 c 4400 49902 158792 136674 0 1216 39 59 45 0.09/0.11 c 4410 50017 159158 136980 0 1220 28 59 49 0.09/0.11 c 4420 50123 159496 137259 0 1224 35 55 46 0.09/0.11 c 4430 50250 159904 137625 0 1227 46 59 51 0.09/0.11 c 4440 50371 160294 137958 0 1230 49 59 49 0.09/0.11 c 4450 50495 160721 138338 0 1232 42 56 45 0.09/0.11 c 4460 50642 161184 138752 0 1234 32 55 43 0.09/0.11 c 4470 50788 161652 139160 0 1238 29 55 46 0.09/0.11 c 4480 50896 161986 139438 0 1243 33 55 41 0.09/0.11 c 4490 50998 162322 139725 0 1246 27 55 45 0.09/0.12 c 4493 51057 162499 139856 0 1247 43 50 35 0.09/0.12 c 4500 51139 162759 140087 0 1249 41 50 40 0.09/0.12 c 4510 51275 163173 140442 0 1252 46 59 46 0.09/0.12 c 4520 51445 163694 140919 0 1256 36 59 51 0.09/0.12 c 4530 51557 164074 141268 0 1257 33 59 44 0.09/0.12 c 4540 51673 164436 141581 0 1262 51 55 47 0.09/0.12 c 4550 51810 164869 141947 0 1268 47 55 47 0.09/0.12 c 4560 51920 165215 142235 0 1272 48 55 49 0.09/0.12 c 4570 52018 165521 142493 0 1275 41 55 46 0.09/0.12 c 4580 52116 165831 142756 0 1278 26 59 40 0.09/0.12 c 4590 52232 166206 143085 0 1282 40 59 50 0.09/0.12 c 4600 52345 166573 143404 0 1284 43 55 48 0.09/0.12 conflict 23lvl : 36 bt36-45:0(38)X57932 0.09/0.12 c 4610 52469 166961 143748 0 1287 26 40 34 0.09/0.12 c 4620 52572 167289 144014 0 1290 29 59 34 0.09/0.12 c 4630 52702 167714 144373 0 1292 49 59 51 0.09/0.12 c 4640 52811 168067 144656 0 1297 41 55 48 0.09/0.12 c 4650 52871 168269 144828 0 1298 34 51 37 0.09/0.12 c 4660 52952 168545 145058 0 1302 28 44 33 0.09/0.12 conflict 26lvl : 43 bt41-9:0(44)X58691 0.09/0.12 c 4670 53070 168923 145379 0 1306 44 59 50 0.09/0.12 c 4680 53191 169319 145711 0 1311 46 59 47 0.09/0.12 c 4690 53332 169816 146172 0 1314 34 55 45 0.09/0.12 c 4700 53389 170031 146357 0 1315 28 37 27 0.09/0.12 c 4710 53493 170372 146654 0 1320 35 50 42 0.09/0.12 c 4720 53592 170721 146943 0 1322 40 50 41 0.09/0.12 c 4730 53701 171074 147234 0 1327 36 50 43 0.09/0.12 c 4740 53822 171432 147562 0 1329 31 52 40 0.09/0.12 c 4750 53881 171642 147748 0 1330 28 50 35 0.09/0.12 c 4760 54016 172093 148127 0 1332 42 50 44 0.09/0.12 c 4770 54120 172441 148435 0 1334 50 59 51 0.09/0.12 c 4780 54244 172862 148806 0 1336 39 59 50 0.09/0.12 c 4790 54364 173248 149130 0 1341 50 59 52 0.09/0.12 c 4800 54526 173800 149606 0 1343 47 59 52 0.09/0.12 c 4810 54656 174223 149973 0 1345 26 59 34 0.09/0.12 c 4820 54783 174646 150323 0 1348 45 59 52 0.09/0.12 c 4830 54913 175076 150684 0 1353 43 59 50 0.09/0.12 c 4840 55039 175471 151027 0 1356 27 59 47 0.09/0.12 c 4850 55156 175850 151353 0 1358 36 59 42 0.09/0.12 c 4860 55271 176216 151675 0 1360 45 59 49 0.09/0.12 c 4870 55385 176575 151977 0 1362 31 55 40 0.09/0.12 c 4880 55479 176882 152247 0 1366 29 59 45 0.09/0.12 c 4890 55575 177206 152526 0 1369 32 48 35 0.09/0.13 c 4900 55691 177576 152829 0 1375 40 59 50 0.09/0.13 c 4910 55789 177897 153098 0 1377 49 59 49 0.09/0.13 c 4920 55912 178300 153462 0 1382 25 55 44 0.09/0.13 c 4930 56031 178724 153828 0 1385 47 59 49 0.09/0.13 c 4940 56141 179136 154203 0 1386 30 55 39 0.09/0.13 c 4950 56253 179499 154504 0 1391 51 59 51 0.09/0.13 c 4960 56412 180027 154958 0 1393 40 59 51 0.09/0.13 c 4970 56466 180213 155114 0 1394 31 45 34 0.09/0.13 c 4980 56586 180596 155440 0 1397 18 59 40 0.09/0.13 c 4990 56716 181012 155795 0 1401 55 59 52 0.09/0.13 c 5035 57054 182136 156882 0 1403 23 49 32 0.09/0.14 c 5631 62149 199337 173634 0 1406 32 61 54 0.09/0.14 c 6286 66833 215101 189156 0 1413 17 64 53 0.09/0.15 c 7006 72363 234694 208019 0 1418 34 63 56 0.09/0.16 c 7798 77947 254131 226973 0 1425 26 62 48 0.09/0.17 c 8669 84077 275498 247665 0 1433 39 62 56 0.09/0.18 c 9627 90637 298454 270143 0 1440 19 61 53 0.09/0.19 c 10680 98384 325541 296521 0 1444 25 61 55 0.19/0.21 c 11838 106840 354344 324832 0 1449 22 61 54 0.19/0.22 c 13111 116771 388398 358219 0 1456 24 61 55 0.19/0.22 conflict 15lvl : 44 bt38-1:0(48)X64862 0.19/0.24 c 14511 127144 424276 392925 0 1461 30 61 53 0.19/0.26 c 16051 138979 466545 434059 0 1470 14 59 46 0.19/0.28 c 17745 151331 509394 476136 0 1477 18 61 51 0.29/0.30 c 19608 165066 559240 524210 0 1483 14 59 47 0.29/0.33 c 21657 179439 609919 573812 0 1488 23 61 52 0.29/0.36 c 23910 198272 674704 637841 0 1496 15 61 44 0.29/0.39 c 26388 220160 749756 711586 0 1502 20 61 54 0.39/0.43 c 29113 244339 833921 794615 0 1507 14 61 53 0.39/0.47 c 32110 266764 912593 871593 0 1515 20 61 49 0.39/0.47 conflict 13lvl : 24 bt23-35:0(28)X66704 0.49/0.51 c 35406 292449 1001976 959649 0 1521 12 60 50 0.49/0.56 c 39031 322884 1109658 1065743 0 1529 21 60 49 0.59/0.60 c 43018 349914 1204480 1159898 0 1536 16 58 44 0.59/0.66 c 47403 382430 1317528 1271130 0 1545 10 60 47 0.69/0.72 c 52226 424130 1463267 1414830 0 1553 15 60 52 0.79/0.80 c 57531 472935 1635321 1581632 0 1562 19 60 52 0.79/0.87 c 63366 518389 1796923 1740333 0 1568 16 60 46 0.89/0.95 c 69784 568640 1971593 1910430 0 1576 16 60 48 0.99/1.06 c 76843 633383 2196457 2132625 0 1586 13 60 51 1.10/1.17 c 84607 700462 2436635 2369614 0 1593 14 60 49 1.20/1.28 c 93147 770600 2680605 2611039 0 1600 14 60 49 1.39/1.41 c 102541 850307 2960163 2885489 0 1611 15 60 50 1.49/1.56 c 112874 940082 3275610 3196247 0 1619 13 60 52 1.69/1.73 c 124240 1050545 3657286 3574547 0 1630 12 60 52 1.89/1.90 c 136742 1152786 4020817 3927921 0 1638 12 60 51 1.99/2.07 c 150494 1256774 4382346 4283802 0 1645 14 60 48 1.99/2.07 conflict 10lvl : 21 bt21-57:0(26)X70128 2.20/2.28 c 165621 1390113 4848347 4739881 0 1653 10 60 51 2.49/2.51 c 182260 1530757 5336001 5219628 0 1663 16 60 51 2.69/2.76 c 200562 1689761 5887195 5760843 0 1675 14 60 51 2.99/3.00 c 220694 1839588 6415151 6278452 0 1683 11 60 46 3.30/3.30 c 242839 2028303 7073823 6928729 0 1693 12 60 50 3.59/3.61 c 267198 2212722 7753322 7593927 0 1706 12 60 50 3.99/4.02 c 293992 2476584 8664198 8480501 0 1713 13 60 53 4.39/4.41 c 323465 2721677 9519015 9320990 0 1723 11 60 50 4.69/4.79 c 355885 2956329 10328313 10122382 0 1730 11 60 46 5.19/5.29 c 391547 3274244 11448204 11222077 0 1741 12 60 50 5.69/5.72 c 430775 3540212 12371012 12134176 0 1750 9 60 46 6.19/6.22 c 473925 3842817 13434188 13186450 0 1756 12 60 47 6.79/6.81 c 521390 4206833 14712399 14440935 0 1765 9 60 48 7.39/7.47 c 573601 4600690 16137165 15830720 0 1776 12 60 50 8.18/8.26 c 631033 5102241 17889826 17527087 0 1784 15 59 51 8.98/9.04 c 694208 5580356 19579908 19186924 0 1798 9 60 46 9.78/9.88 c 763700 6099265 21396106 20983518 0 1804 8 60 47 10.78/10.88 c 840141 6729661 23588198 23146808 0 1813 10 61 50 11.88/11.99 c 924226 7415252 26065593 25549175 0 1826 9 61 51 12.98/13.07 c 1016719 8081064 28401769 27864218 0 1834 10 61 48 14.39/14.41 c 1118461 8920413 31295736 30700769 0 1842 9 61 47 15.78/15.83 c 1230377 9798970 34373693 33723482 0 1850 12 61 50 17.38/17.41 c 1353484 10763193 37791650 37079510 0 1862 9 61 51 19.18/19.27 c 1488901 11899365 41843142 41030716 0 1875 7 61 50 21.28/21.31 c 1637859 13171049 46284484 45406948 0 1885 9 61 50 23.19/23.24 c 1801712 14348871 50434239 49495610 0 1896 10 61 49 25.39/25.47 c 1981950 15716899 55253099 54261738 0 1904 7 61 48 28.18/28.28 c 2180211 17502446 61467395 60411209 0 1916 12 60 52 30.78/30.84 c 2398298 19107685 67045199 65893702 0 1929 7 61 46 33.88/33.92 c 2638193 20962332 73715306 72468639 0 1939 9 60 47 37.08/37.16 c 2902077 22876194 80780805 79363945 0 1951 7 59 47 40.57/40.69 c 3192349 24997142 88440179 86894699 0 1966 7 58 48 44.77/44.85 c 3511648 27547773 97475855 95767743 0 1977 11 59 48 48.97/49.09 c 3862876 30109320 106534483 104742501 0 1988 12 58 48 53.77/53.88 c 4249226 33088999 117140275 115082739 0 2001 11 59 48 59.17/59.24 c 4674211 36308377 128810044 126578073 0 2009 6 58 48 64.17/64.29 c 5141694 39336385 139563261 137209465 0 2021 6 58 44 71.07/71.13 c 5655925 43484390 154508205 151857035 0 2034 10 59 48 78.76/78.85 c 6221579 48180953 171700812 168437785 0 2044 6 59 49 86.46/86.56 c 6843798 52859711 188497214 184960858 0 2052 10 59 47 95.76/95.88 c 7528238 58615464 208872942 205013400 0 2067 10 59 48 96.56/96.63 conflict 4lvl : 42 bt24-5:0(26)X80173 96.66/96.73 conflict 4lvl : 35 bt32-89:0(16)X80180 100.46/100.55 conflict 4lvl : 22 bt22-89:0(11)X80187 105.06/105.19 c 8281122 64140476 229374735 225097304 0 2075 7 58 47 108.86/108.97 conflict 4lvl : 28 bt24-89:0(13)X80351 109.45/109.55 conflict 4lvl : 21 bt19-5:0(10)X80358 112.55/112.67 conflict 4lvl : 27 bt27-89:0(10)X80365 115.05/115.12 c 9109294 70127915 250456212 245709961 0 2090 8 59 46 125.95/126.08 conflict 3lvl : 18 bt17-89:0(16)X80711 126.05/126.13 c 10020283 76713224 274318218 269178878 0 2101 6 58 46 127.75/127.85 conflict 2lvl : 17 bt14-91:0(11)X80974 127.75/127.88 conflict 2lvl : 18 bt17-91:0(11)X80979 138.85/138.98 c 11022370 84247280 301984174 296365327 1 2112 6 59 46 146.64/146.70 c restarts : 597 146.64/146.70 c conflicts : 11589432 (79025 /sec) 146.64/146.70 c decisions : 88755937 (605197 /sec) 146.64/146.70 c propagations : 312460601 (2130566 /sec) 146.64/146.70 c root propagations : 0 146.64/146.70 c filter calls : 318642492 (2172718 /sec) 146.64/146.70 c useless filter calls : 179048450 (56 %) 146.64/146.70 c 146.64/146.70 c clauses : 2244 146.64/146.70 c SAT propagations : 309296 146.64/146.70 c SAT conflicts : 87236 (18 learnts) 146.64/146.70 c Memory used : 31.00 MB 146.64/146.70 c CPU time : 146.656 s 146.64/146.70 146.64/146.70 s UNSATISFIABLE
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-4241449-1500631431/watcher-4241449-1500631431 -o /tmp/evaluation-result-4241449-1500631431/solver-4241449-1500631431 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241449-1500631431.xml pid=7770 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.05 2/187 7773 /proc/meminfo: memFree=30952700/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31480 CPUtime=0 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 1 0 17890147 32235520 832 33554432000 4194304 5970956 140722667869616 140722667866264 140496961863134 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7870 832 722 434 0 1234 0 [startup+0.100108 s] /proc/loadavg: 2.08 2.03 2.05 2/187 7773 /proc/meminfo: memFree=30952700/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=0.09 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1116 0 0 0 9 0 0 0 20 0 1 0 17890147 32370688 898 33554432000 4194304 5970956 140722667869616 140722667866952 5243322 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 898 765 434 0 1267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31612 [startup+0.200233 s] /proc/loadavg: 2.08 2.03 2.05 2/187 7773 /proc/meminfo: memFree=30952700/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=0.19 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1144 0 0 0 19 0 0 0 20 0 1 0 17890147 32370688 964 33554432000 4194304 5970956 140722667869616 140722667866952 5240224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 964 770 434 0 1267 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31612 [startup+0.300213 s] /proc/loadavg: 2.08 2.03 2.05 2/187 7773 /proc/meminfo: memFree=30952700/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=0.29 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1147 0 0 0 29 0 0 0 20 0 1 0 17890147 32370688 964 33554432000 4194304 5970956 140722667869616 140722667866952 5321343 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 964 770 434 0 1267 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31612 [startup+0.700195 s] /proc/loadavg: 2.08 2.03 2.05 2/187 7773 /proc/meminfo: memFree=30952700/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=0.69 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1151 0 0 0 69 0 0 0 20 0 1 0 17890147 32370688 964 33554432000 4194304 5970956 140722667869616 140722667866952 5322042 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 964 770 434 0 1267 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31612 [startup+1.50019 s] /proc/loadavg: 2.08 2.03 2.05 3/188 7774 /proc/meminfo: memFree=30951484/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=1.49 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1154 0 0 0 149 0 0 0 20 0 1 0 17890147 32370688 964 33554432000 4194304 5970956 140722667869616 140722667866952 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 964 770 434 0 1267 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31612 [startup+3.10019 s] /proc/loadavg: 2.08 2.03 2.05 3/188 7774 /proc/meminfo: memFree=30950988/32770624 swapFree=6312/24856 [pid=7773] ppid=7770 vsize=31612 CPUtime=3.09 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1320 0 0 0 309 0 0 0 20 0 1 0 17890147 32370688 997 33554432000 4194304 5970956 140722667869616 140722667866952 5325282 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 997 770 434 0 1267 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31612 [startup+6.30019 s] /proc/loadavg: 2.08 2.03 2.05 3/188 7774 /proc/meminfo: memFree=30950772/32770624 swapFree=6312/24868 [pid=7773] ppid=7770 vsize=31612 CPUtime=6.29 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1490 0 0 0 629 0 0 0 20 0 1 0 17890147 32370688 1000 33554432000 4194304 5970956 140722667869616 140722667866952 5327275 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 1000 770 434 0 1267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31612 [startup+12.7002 s] /proc/loadavg: 2.07 2.03 2.05 3/188 7774 /proc/meminfo: memFree=30950400/32770624 swapFree=6312/24876 [pid=7773] ppid=7770 vsize=31612 CPUtime=12.68 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 1666 0 0 0 1268 0 0 0 20 0 1 0 17890147 32370688 1004 33554432000 4194304 5970956 140722667869616 140722667866952 5273343 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 1004 770 434 0 1267 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31612 [startup+25.5002 s] /proc/loadavg: 2.20 2.06 2.06 3/188 7774 /proc/meminfo: memFree=30950400/32770624 swapFree=6312/24892 [pid=7773] ppid=7770 vsize=31612 CPUtime=25.48 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2017 0 0 0 2548 0 0 0 20 0 1 0 17890147 32370688 1010 33554432000 4194304 5970956 140722667869616 140722667866952 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 1010 770 434 0 1267 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31612 [startup+51.1002 s] /proc/loadavg: 2.13 2.06 2.06 3/188 7774 /proc/meminfo: memFree=30950524/32770624 swapFree=6312/24924 [pid=7773] ppid=7770 vsize=31612 CPUtime=51.07 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2200 0 0 0 5107 0 0 0 20 0 1 0 17890147 32370688 1012 33554432000 4194304 5970956 140722667869616 140722667866952 5337487 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7903 1012 770 434 0 1267 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31612 [startup+102.3 s] /proc/loadavg: 2.06 2.05 2.05 3/187 7775 /proc/meminfo: memFree=30950876/32770624 swapFree=6312/24996 [pid=7773] ppid=7770 vsize=31744 CPUtime=102.26 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2397 0 0 0 10226 0 0 0 20 0 1 0 17890147 32505856 1023 33554432000 4194304 5970956 140722667869616 140722667867048 4935005 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1023 770 434 0 1300 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31744 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7773 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+102.406 s] /proc/loadavg: 2.06 2.05 2.05 3/187 7775 /proc/meminfo: memFree=30950876/32770624 swapFree=6312/24996 [pid=7773] ppid=7770 vsize=31744 CPUtime=102.36 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2397 0 0 0 10236 0 0 0 20 0 1 0 17890147 32505856 1023 33554432000 4194304 5970956 140722667869616 140722667867048 4934025 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1023 770 434 0 1300 0 Current children cumulated CPU time (s) 102.36 Current children cumulated vsize (KiB) 31744 [startup+128 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950248/32770624 swapFree=6312/25040 [pid=7773] ppid=7770 vsize=31744 CPUtime=127.95 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2581 0 0 0 12795 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667867048 5322051 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 127.95 Current children cumulated vsize (KiB) 31744 [startup+134.4 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950496/32770624 swapFree=6312/25048 [pid=7773] ppid=7770 vsize=31744 CPUtime=134.35 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2581 0 0 0 13435 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667867048 4930640 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 134.35 Current children cumulated vsize (KiB) 31744 [startup+140.8 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950656/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=140.75 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2584 0 0 0 14075 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 5243447 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 140.75 Current children cumulated vsize (KiB) 31744 [startup+144 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950648/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=143.95 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2586 0 0 0 14395 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 4930614 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 143.95 Current children cumulated vsize (KiB) 31744 [startup+145.6 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950716/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=145.55 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2586 0 0 0 14555 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 5327360 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 145.55 Current children cumulated vsize (KiB) 31744 [startup+146.406 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950716/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=146.35 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2586 0 0 0 14635 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 5327847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 146.35 Current children cumulated vsize (KiB) 31744 [startup+146.6 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950716/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=146.54 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2586 0 0 0 14654 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 4934937 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 146.54 Current children cumulated vsize (KiB) 31744 [startup+146.7 s] /proc/loadavg: 2.03 2.04 2.05 3/187 7776 /proc/meminfo: memFree=30950716/32770624 swapFree=6312/25068 [pid=7773] ppid=7770 vsize=31744 CPUtime=146.64 cores=0,2,4,6 /proc/7773/stat : 7773 (cosoco) R 7770 7773 5313 0 -1 4202496 2586 0 0 0 14664 0 0 0 20 0 1 0 17890147 32505856 1024 33554432000 4194304 5970956 140722667869616 140722667866952 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 29159424 140722667873468 140722667873603 140722667873603 140722667876302 0 /proc/7773/statm: 7936 1024 770 434 0 1300 0 Current children cumulated CPU time (s) 146.64 Current children cumulated vsize (KiB) 31744 Child status: 0 Real time (s): 146.707 CPU time (s): 146.666 CPU user time (s): 146.656 CPU system time (s): 0.009997 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 31744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 146.656 system time used= 0.009997 maximum resident set size= 4180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2626 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= 12 involuntary context switches= 7537 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.28397 second user time and 0.601827 second system time The end
Begin job on node104 at 2017-07-21 12:03:51 IDJOB=4241449 IDBENCH=126883 IDSOLVER=2621 FILE ID=node104/4241449-1500631431 RUNJOBID= node104-1500623789-5344 PBS_JOBID= 20623023 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-022.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241449-1500631431/watcher-4241449-1500631431 -o /tmp/evaluation-result-4241449-1500631431/solver-4241449-1500631431 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241449-1500631431.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6cb564a1b449df83d852ba5f609dcac6 RANDOM SEED=1553500396 node104.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 : 2400.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.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 : 2533.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30953620 kB MemAvailable: 30956732 kB Buffers: 126984 kB Cached: 162344 kB SwapCached: 0 kB Active: 1295056 kB Inactive: 95772 kB Active(anon): 1050176 kB Inactive(anon): 70916 kB Active(file): 244880 kB Inactive(file): 24856 kB Unevictable: 6312 kB Mlocked: 6312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2248 kB Writeback: 0 kB AnonPages: 894624 kB Mapped: 34676 kB Shmem: 17044 kB Slab: 123904 kB SReclaimable: 98424 kB SUnreclaim: 25480 kB KernelStack: 3584 kB PageTables: 7124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1385140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 837632 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= 62008 MiB End job on node104 at 2017-07-21 12:06:18