1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.05/1.16 c
1.05/1.16 c SAT : Variables: 288 -- Clauses: 504
1.05/1.17 c root propagations : 16
1.05/1.17 c restarts enabled, print stats at every restarts
1.05/1.17 c
1.05/1.17 c
1.05/1.17 c
1.05/1.17 c This is cosoco 1.12 --
1.05/1.17 c
1.05/1.17 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266398-1502576479.xml
1.05/1.17 c ========================================[ Problem Statistics ]===========================================
1.05/1.17 c |
1.05/1.17 c | Parse time : 1.11 s
1.05/1.17 c |
1.05/1.17 c | Variables: 72
1.05/1.17 c | Domain Sizes: 4..4
1.05/1.17 c |
1.05/1.17 c | Constraints: 1067
1.05/1.17 c | Arity: 1..18 -- Unary: 8
1.05/1.17 c |
1.05/1.17 c | Types:
1.05/1.17 c | Exactly K: 36
1.05/1.17 c | Intension: 1008
1.05/1.17 c | Lex: 15
1.05/1.17 c | Unary: 8
1.05/1.17 c |
1.05/1.17 c =========================================================================================================
1.05/1.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.05/1.18 c 10 83 17963 553 8 2 45 50 43
1.05/1.19 c 20 154 33410 1172 8 5 7 48 35
1.14/1.20 c 30 219 48216 1766 8 9 10 43 30
1.14/1.21 c 40 297 60951 2186 8 13 4 53 36
1.14/1.22 c 50 365 75888 2706 8 18 8 44 30
1.14/1.23 c 60 457 95765 3344 8 23 45 49 42
1.14/1.24 c 70 545 108758 3758 8 31 22 57 40
1.14/1.25 c 80 609 123358 4191 8 36 7 34 25
1.14/1.26 c 90 697 135984 4586 8 40 18 50 35
1.14/1.27 c 100 779 153042 5095 8 43 37 48 40
1.14/1.28 c 101 819 160307 5274 8 44 40 40 20
1.14/1.29 c 110 891 175495 5706 8 47 36 41 34
1.24/1.30 c 120 962 191233 6207 8 51 10 45 32
1.24/1.31 c 130 1022 205814 6717 8 56 12 39 29
1.24/1.32 c 140 1110 221328 7157 8 62 23 47 36
1.24/1.33 c 150 1171 232614 7538 8 71 17 43 27
1.24/1.34 c 160 1235 250171 8000 8 74 23 40 33
1.24/1.36 c 170 1319 271251 8641 8 79 14 49 32
1.24/1.37 c 180 1403 290757 9322 8 86 20 44 33
1.24/1.38 c 190 1472 305516 9833 8 90 27 44 35
1.24/1.39 c 200 1543 321548 10249 8 92 24 42 31
1.34/1.40 c 210 1616 332268 10571 8 97 19 53 40
1.34/1.41 c 211 1649 337482 10750 8 98 33 33 16
1.34/1.41 c 220 1701 347251 11102 8 104 19 39 28
1.34/1.42 c 230 1754 357441 11418 8 107 16 37 28
1.34/1.43 c 240 1835 369834 11856 8 112 19 47 30
1.34/1.44 c 250 1895 382499 12206 8 117 22 42 33
1.34/1.45 c 260 1954 394368 12574 9 121 1 42 27
1.34/1.46 c 270 2033 410418 13084 9 127 16 49 37
1.34/1.47 c 280 2111 424596 13548 9 136 23 51 29
1.34/1.48 c 290 2174 438055 14028 9 142 23 47 32
1.34/1.49 c 300 2233 452756 14579 9 146 27 37 27
1.44/1.50 c 310 2297 465127 15002 9 148 35 43 33
1.44/1.51 c 320 2361 478937 15515 9 152 24 34 25
1.44/1.52 c 330 2417 489362 15890 9 156 13 42 34
1.44/1.53 c 332 2451 495516 16061 9 158 26 33 19
1.44/1.53 c 340 2514 505893 16430 9 163 12 48 34
1.44/1.54 c 350 2593 519622 16874 9 167 24 55 41
1.44/1.55 c 360 2673 534101 17352 9 173 23 56 30
1.44/1.57 c 370 2738 553064 17864 9 178 18 41 33
1.44/1.58 c 380 2810 566688 18301 9 179 29 38 30
1.44/1.59 c 390 2874 579816 18762 9 184 27 46 35
1.54/1.60 c 400 2939 591847 19170 9 192 19 50 33
1.54/1.61 c 410 3003 603607 19554 9 193 31 38 31
1.54/1.62 c 420 3096 621289 20082 9 200 24 46 36
1.54/1.63 c 430 3166 637108 20476 9 206 17 47 36
1.54/1.64 c 440 3228 650286 20816 9 213 20 47 30
1.54/1.65 c 450 3300 664815 21207 9 218 18 42 33
1.54/1.66 c 460 3356 674332 21504 10 227 1 46 26
1.54/1.66 c 465 3409 683686 21757 10 232 18 48 29
1.54/1.67 c 470 3485 694464 22058 10 235 47 55 43
1.54/1.68 c 480 3560 705754 22429 10 240 29 55 43
1.54/1.69 c 490 3649 718588 22819 10 247 22 55 39
1.64/1.70 c 500 3721 733535 23264 10 252 18 48 39
1.64/1.71 c 510 3814 753496 23919 10 253 34 49 38
1.64/1.72 c 520 3894 763959 24275 10 256 21 55 45
1.64/1.73 c 530 3961 779993 24922 10 258 33 40 33
1.64/1.74 c 540 4038 795922 25449 10 262 38 45 38
1.64/1.75 c 550 4111 809778 25862 11 266 1 45 30
1.64/1.76 c 560 4182 821530 26257 11 273 17 57 24
1.64/1.77 c 570 4274 836184 26675 11 275 36 51 39
1.64/1.79 c 580 4378 858160 27362 11 278 38 47 39
1.64/1.79 c 590 4432 867574 27674 11 287 21 37 25
1.74/1.81 c 600 4499 885319 28245 11 290 19 46 33
1.74/1.82 c 610 4563 898127 28631 11 295 20 46 33
1.74/1.82 c 611 4586 902355 28725 11 296 23 23 11
1.74/1.83 c 620 4633 910560 28991 11 305 18 39 23
1.74/1.84 c 630 4707 921600 29314 11 314 28 55 41
1.74/1.84 c 640 4802 934528 29702 11 320 23 53 43
1.74/1.85 c 650 4866 944013 29978 11 329 9 51 27
1.74/1.86 c 660 4961 959682 30489 11 336 20 50 35
1.74/1.87 c 670 5034 973596 30912 11 342 23 47 36
1.74/1.88 c 680 5103 984885 31268 11 347 37 47 39
1.74/1.89 c 690 5180 998889 31733 11 350 34 48 38
1.84/1.90 c 700 5273 1015404 32262 11 354 30 51 36
1.84/1.91 c 710 5331 1028856 32699 11 361 19 38 25
1.84/1.92 c 720 5402 1042828 33152 11 363 26 46 35
1.84/1.93 c 730 5467 1056181 33666 11 365 31 37 31
1.84/1.94 c 740 5531 1071652 34260 11 368 17 33 19
1.84/1.95 c 750 5602 1087552 34788 11 372 25 38 27
1.84/1.96 c 760 5676 1098981 35122 11 375 32 53 46
1.84/1.97 c 770 5742 1117064 35619 11 377 38 43 37
1.84/1.98 c 771 5768 1121770 35722 11 378 26 26 13
1.84/1.99 c 780 5822 1133997 36059 11 381 20 42 30
1.84/2.00 c 790 5933 1150496 36587 11 383 45 51 43
1.95/2.01 c 800 5995 1161747 36924 11 384 40 47 40
1.95/2.02 c 810 6099 1178083 37472 11 385 27 51 38
1.95/2.03 c 820 6155 1193264 37928 11 387 26 40 33
1.95/2.04 c 830 6242 1210663 38439 11 388 36 42 36
1.95/2.06 c 840 6334 1235894 39332 11 394 17 44 24
1.95/2.07 c 850 6403 1250738 39776 11 399 31 43 34
1.95/2.08 c 860 6503 1267459 40350 11 402 32 45 35
1.95/2.09 c 870 6588 1287178 40925 11 407 13 43 34
1.95/2.10 c 880 6693 1302627 41380 11 412 14 51 39
2.05/2.11 c 890 6761 1315885 41814 11 417 14 43 32
2.05/2.12 c 900 6837 1327827 42184 11 420 18 51 39
2.05/2.14 c 910 6922 1350912 42905 11 423 38 45 36
2.05/2.15 c 920 6987 1365553 43292 11 427 24 42 31
2.05/2.16 c 930 7087 1384983 43862 11 433 13 43 35
2.05/2.17 c 940 7151 1397672 44258 11 437 36 45 36
2.05/2.18 c 947 7210 1407377 44519 11 442 20 47 29
2.05/2.18 c 950 7263 1415918 44736 11 445 16 51 21
2.05/2.19 c 960 7341 1429160 45099 11 449 16 37 28
2.14/2.21 c 970 7432 1449964 45717 11 455 16 45 30
2.14/2.22 c 980 7488 1462359 46236 11 461 22 33 24
2.14/2.22 c 990 7547 1471482 46603 11 464 40 40 36
2.14/2.24 c 1000 7657 1494703 47321 11 470 20 44 32
2.14/2.25 c 1010 7726 1509561 47704 11 475 13 41 30
2.14/2.26 c 1020 7804 1525259 48185 11 479 15 47 31
2.14/2.27 c 1030 7870 1540480 48772 11 484 19 37 23
2.14/2.28 c 1040 7938 1556668 49238 11 487 35 41 35
2.24/2.30 c 1050 8043 1577344 49876 11 489 31 49 36
2.24/2.31 c 1060 8108 1591463 50396 11 494 17 47 38
2.24/2.32 c 1070 8180 1607980 51020 11 495 28 36 29
2.24/2.33 c 1080 8244 1621244 51406 11 501 18 42 32
2.24/2.34 c 1090 8346 1637310 51912 11 503 36 51 42
2.24/2.35 c 1100 8428 1649396 52274 11 505 28 51 44
2.24/2.36 c 1110 8505 1669678 52818 11 508 30 39 31
2.24/2.38 c 1120 8597 1691901 53436 11 513 24 42 34
2.24/2.39 c 1130 8664 1706686 53853 11 518 25 40 33
2.34/2.40 c 1140 8730 1719970 54260 11 523 18 42 32
2.34/2.40 c 1141 8753 1724293 54348 11 524 23 23 11
2.34/2.41 c 1150 8816 1735885 54812 11 527 16 29 23
2.34/2.42 c 1160 8903 1749215 55255 11 532 21 51 42
2.34/2.43 c 1170 8987 1761251 55642 11 536 7 51 39
2.34/2.44 c 1180 9046 1774251 56084 11 539 26 39 33
2.34/2.45 c 1190 9127 1791412 56618 11 545 18 42 30
2.34/2.46 c 1200 9197 1804849 57050 11 553 21 38 27
2.34/2.47 c 1210 9263 1820552 57481 11 556 25 42 34
2.34/2.48 c 1220 9334 1833649 57884 11 562 22 42 33
2.34/2.49 c 1230 9390 1845173 58288 11 567 32 43 33
2.44/2.50 c 1240 9478 1858217 58683 11 572 29 51 40
2.44/2.51 c 1250 9548 1873583 59208 11 575 16 42 30
2.44/2.52 c 1260 9604 1887957 59684 11 577 29 34 28
2.44/2.53 c 1270 9679 1903726 60164 11 584 18 48 32
2.44/2.54 c 1280 9743 1919965 60667 11 587 25 43 32
2.44/2.55 c 1290 9821 1934868 61123 11 594 20 47 34
2.44/2.57 c 1300 9887 1951171 61765 11 599 25 41 25
2.44/2.58 c 1310 9968 1964188 62161 11 602 21 36 28
2.44/2.59 c 1320 10065 1978895 62632 11 607 20 51 38
2.54/2.60 c 1330 10137 1994907 63181 11 611 15 36 29
2.54/2.61 c 1340 10186 2010535 63714 11 614 17 30 24
2.54/2.62 c 1350 10269 2023826 64189 11 618 19 45 37
2.54/2.62 c 1352 10294 2027604 64274 11 620 15 24 13
2.54/2.63 c 1360 10333 2035213 64574 12 624 1 30 20
2.54/2.64 c 1370 10403 2048782 64993 12 628 31 42 35
2.54/2.65 c 1380 10468 2063249 65449 12 633 15 35 29
2.54/2.66 c 1390 10531 2074856 65774 12 639 25 35 29
2.54/2.67 c 1400 10600 2089027 66115 12 644 24 41 30
2.54/2.68 c 1410 10658 2103119 66699 12 649 22 34 27
2.54/2.69 c 1420 10737 2118528 67189 12 656 32 41 34
2.64/2.70 c 1430 10815 2133877 67658 12 662 10 47 27
2.64/2.71 c 1440 10882 2147250 68175 12 670 20 51 24
2.64/2.72 c 1450 10966 2167094 68718 12 676 32 46 36
2.64/2.73 c 1460 11056 2185667 69270 12 680 14 47 36
2.64/2.74 c 1470 11137 2198017 69650 12 684 12 51 37
2.64/2.75 c 1480 11210 2209723 70007 12 690 23 51 38
2.64/2.76 c 1490 11287 2228121 70459 12 694 21 43 33
2.64/2.78 c 1500 11435 2247705 71081 12 697 31 51 43
2.64/2.79 c 1510 11487 2261266 71537 12 704 20 36 26
2.74/2.80 c 1520 11566 2281881 72083 12 710 32 43 33
2.74/2.82 c 1530 11688 2301109 72691 12 713 26 51 32
2.74/2.83 c 1540 11743 2315484 73205 12 714 34 35 31
2.74/2.83 c 1550 11785 2321890 73514 12 718 20 25 20
2.74/2.84 c 1560 11858 2336332 73958 12 722 22 42 34
2.74/2.85 c 1570 11940 2348612 74366 12 725 27 47 36
2.74/2.86 c 1580 12026 2369145 74905 12 728 31 42 35
2.74/2.87 c 1585 12085 2378150 75145 12 730 30 51 39
2.74/2.88 c 1590 12153 2390751 75481 12 733 32 51 32
2.74/2.89 c 1600 12212 2404108 75949 12 738 33 38 32
2.84/2.90 c 1610 12279 2419421 76397 12 743 10 41 33
2.84/2.91 c 1620 12341 2432454 76846 12 745 21 31 27
2.84/2.92 c 1630 12403 2450323 77438 12 750 40 41 37
2.84/2.94 c 1640 12476 2468345 77886 12 754 20 42 31
2.84/2.94 c 1650 12532 2479787 78239 12 757 33 38 32
2.84/2.95 c 1660 12593 2493641 78623 12 762 10 45 31
2.84/2.96 c 1670 12668 2504922 78960 12 768 22 51 37
2.84/2.98 c 1680 12779 2529076 79707 12 773 17 51 30
2.84/2.99 c 1690 12868 2549176 80177 12 775 31 43 36
2.84/3.00 c 1700 12939 2562322 80608 12 777 31 51 34
2.95/3.01 c 1710 13009 2574279 80991 12 783 10 51 35
2.95/3.02 c 1720 13088 2591026 81509 12 789 13 46 31
2.95/3.03 c 1730 13158 2601477 81823 12 795 13 45 33
2.95/3.04 c 1740 13243 2614087 82225 12 800 32 51 41
2.95/3.05 c 1750 13314 2624062 82526 12 805 15 51 38
2.95/3.06 c 1760 13386 2634697 82865 12 811 26 51 41
2.95/3.07 c 1770 13457 2648732 83381 12 814 23 40 28
2.95/3.08 c 1780 13524 2661548 83724 12 818 30 42 35
2.95/3.08 c 1790 13595 2674332 84138 12 824 25 51 32
2.95/3.10 c 1800 13659 2688934 84634 12 827 26 42 34
3.05/3.11 c 1810 13735 2707580 85266 12 830 19 45 29
3.05/3.12 c 1820 13833 2720957 85680 12 836 14 51 38
3.05/3.13 c 1830 13908 2737689 86175 12 838 43 44 39
3.05/3.14 c 1840 13989 2755085 86628 12 842 26 42 33
3.05/3.15 c 1841 14027 2761558 86770 12 843 38 38 19
3.05/3.16 c 1850 14099 2779103 87357 12 849 17 44 29
3.05/3.17 c 1860 14169 2794544 87991 12 852 18 35 21
3.05/3.18 c 1870 14253 2811925 88517 12 857 14 41 32
3.05/3.19 c 1880 14325 2823037 88854 12 860 10 47 37
3.14/3.20 c 1890 14393 2837486 89305 12 865 10 46 32
3.14/3.21 c 1900 14453 2846307 89588 12 868 23 45 38
3.14/3.22 c 1910 14560 2863304 90102 12 873 27 51 41
3.14/3.23 c 1920 14641 2875273 90445 12 877 33 51 42
3.14/3.24 c 1930 14717 2891422 90974 12 879 37 44 36
3.14/3.25 c 1940 14787 2905232 91449 12 884 29 45 36
3.14/3.26 c 1950 14849 2918760 91895 12 885 41 45 38
3.14/3.27 c 1960 14900 2929192 92276 12 889 19 31 21
3.14/3.28 c 1970 14986 2941369 92646 12 891 51 51 46
3.14/3.29 c 1980 15096 2957659 93129 12 896 28 51 38
3.24/3.30 c 1990 15179 2972560 93519 12 901 21 38 32
3.24/3.31 c 2000 15234 2987803 94087 12 903 19 33 25
3.24/3.32 c 2010 15307 3002477 94573 12 909 15 43 33
3.24/3.32 c 2020 15355 3011427 94914 12 911 33 35 30
3.24/3.34 c 2030 15478 3028357 95441 12 916 21 51 36
3.24/3.35 c 2040 15573 3042932 95885 12 917 40 51 43
3.24/3.35 c 2050 15621 3052542 96303 12 920 17 24 20
3.24/3.36 c 2060 15691 3067287 96758 12 924 26 45 35
3.24/3.37 c 2070 15757 3080416 97211 12 931 19 36 27
3.24/3.38 c 2080 15815 3090928 97586 12 932 39 41 36
3.24/3.39 c 2090 15889 3105232 98022 12 939 17 49 30
3.34/3.40 c 2100 15963 3118881 98395 12 941 39 43 38
3.34/3.41 c 2110 16052 3132188 98821 12 946 11 51 35
3.34/3.42 c 2120 16121 3146750 99249 12 948 39 44 38
3.34/3.43 c 2122 16154 3152626 99400 12 950 12 32 14
3.34/3.44 c 2130 16233 3167640 99914 12 954 12 42 30
3.34/3.45 c 2140 16378 3186166 100501 12 957 39 51 45
3.34/3.46 c 2150 16477 3206079 101126 12 963 14 46 33
3.34/3.47 c 2160 16606 3224214 101692 12 966 39 51 43
3.34/3.48 c 2170 16676 3239333 102146 12 973 20 40 30
3.34/3.49 c 2180 16734 3251435 102553 12 976 15 41 32
3.44/3.50 c 2190 16790 3263341 102999 12 983 19 36 27
3.44/3.51 c 2200 16860 3279716 103527 12 986 8 39 30
3.44/3.52 c 2210 16958 3295071 104010 12 988 29 46 38
3.44/3.54 c 2220 17035 3311017 104509 12 992 38 42 36
3.44/3.55 c 2230 17125 3325952 104942 12 997 15 45 32
3.44/3.56 c 2240 17218 3341750 105389 12 1001 27 39 31
3.44/3.57 c 2250 17287 3357601 105933 12 1004 12 30 23
3.44/3.58 c 2260 17348 3375638 106426 12 1008 25 36 31
3.44/3.59 c 2270 17440 3388769 106840 12 1009 51 51 46
3.54/3.60 c 2280 17521 3400366 107196 12 1011 45 45 40
3.54/3.61 c 2290 17611 3414854 107692 12 1013 20 51 33
3.54/3.62 c 2300 17699 3433478 108303 12 1016 39 48 40
3.54/3.63 c 2310 17757 3447702 108821 12 1018 26 39 28
3.54/3.64 c 2320 17828 3462551 109296 12 1024 32 43 35
3.54/3.65 c 2330 17922 3479566 109765 12 1029 16 46 33
3.54/3.66 c 2340 17978 3491688 110148 12 1036 15 42 27
3.54/3.67 c 2350 18029 3506695 110569 12 1041 18 32 23
3.54/3.69 c 2360 18108 3522368 111124 12 1047 22 31 22
3.64/3.70 c 2370 18197 3541072 111673 12 1050 24 36 28
3.64/3.71 c 2380 18262 3557420 112082 12 1054 29 36 30
3.64/3.72 c 2390 18321 3572136 112515 12 1056 31 40 33
3.64/3.73 c 2400 18401 3583241 112865 12 1059 20 51 43
3.64/3.74 c 2410 18460 3593224 113234 12 1060 36 40 34
3.64/3.75 c 2420 18532 3604161 113576 12 1066 43 51 44
3.64/3.76 c 2430 18595 3618775 114121 12 1068 29 38 31
3.64/3.76 c 2431 18629 3626217 114286 12 1069 34 34 17
3.64/3.77 c 2440 18678 3637061 114664 12 1071 34 36 30
3.64/3.78 c 2450 18770 3650316 115108 12 1075 13 38 30
3.64/3.79 c 2460 18902 3668706 115709 12 1078 22 51 40
3.74/3.80 c 2470 18972 3682966 116174 12 1081 36 41 35
3.74/3.82 c 2480 19042 3702574 116859 12 1082 34 39 32
3.74/3.83 c 2490 19134 3721936 117598 12 1087 25 47 30
3.74/3.84 c 2500 19218 3738316 118148 12 1090 36 47 36
3.74/3.85 c 2510 19278 3751437 118545 12 1094 24 41 31
3.74/3.87 c 2520 19346 3768963 119070 12 1096 21 41 33
3.74/3.88 c 2530 19453 3790352 119703 12 1101 31 47 33
3.74/3.89 c 2540 19573 3809816 120289 12 1108 20 50 36
3.84/3.90 c 2550 19655 3825957 120792 12 1112 35 42 36
3.84/3.91 c 2560 19738 3838145 121162 12 1116 11 45 36
3.84/3.92 c 2570 19805 3850066 121549 12 1124 12 51 33
3.84/3.93 c 2580 19863 3865124 121965 12 1129 13 42 30
3.84/3.94 c 2590 19943 3881197 122461 12 1133 18 45 31
3.84/3.95 c 2600 20012 3895523 122910 12 1136 31 39 32
3.84/3.96 c 2610 20087 3908755 123350 12 1144 27 43 34
3.84/3.98 c 2620 20174 3927505 123854 12 1149 26 43 36
3.84/3.99 c 2630 20252 3942736 124308 12 1155 16 45 29
3.84/4.00 c 2640 20303 3955922 124832 12 1156 28 31 26
3.95/4.01 c 2650 20378 3970402 125280 12 1161 35 42 35
3.95/4.02 c 2660 20484 3987375 125831 12 1166 15 51 32
3.95/4.03 c 2670 20559 3999335 126194 12 1175 17 51 30
3.95/4.04 c 2680 20650 4015622 126677 12 1184 18 51 34
3.95/4.06 c 2690 20732 4036456 127436 12 1190 21 37 28
3.95/4.07 c 2700 20805 4056367 127948 12 1196 25 42 34
3.95/4.08 c 2710 20864 4068775 128365 12 1199 21 36 26
3.95/4.09 c 2720 20939 4084112 128837 12 1205 23 38 28
3.95/4.10 c 2730 21023 4096074 129202 12 1207 51 51 46
4.05/4.11 c 2740 21112 4113426 129735 12 1210 21 47 35
4.05/4.12 c 2750 21181 4126408 130127 12 1213 26 40 31
4.05/4.13 c 2760 21244 4139826 130518 12 1217 12 43 34
4.05/4.14 c 2770 21310 4153457 130929 12 1222 36 43 34
4.05/4.14 c 2771 21325 4156393 131001 12 1223 15 15 7
4.05/4.15 c 2780 21399 4168810 131324 12 1228 26 51 32
4.05/4.16 c 2790 21471 4183153 131817 12 1229 24 41 28
4.05/4.17 c 2800 21534 4200032 132309 12 1236 15 38 27
4.05/4.18 c 2810 21616 4215902 132872 12 1239 22 41 29
4.05/4.20 c 2820 21709 4233002 133349 12 1244 22 48 38
4.14/4.21 c 2830 21772 4253312 134084 12 1249 23 32 24
4.14/4.22 c 2840 21841 4272776 134656 12 1255 12 43 28
4.14/4.23 c 2850 21938 4286344 135072 12 1259 22 46 37
4.14/4.24 c 2860 22009 4301047 135581 12 1264 29 35 29
4.14/4.25 c 2870 22096 4316963 136049 12 1269 12 47 32
4.14/4.27 c 2880 22163 4333196 136532 12 1278 18 46 30
4.14/4.28 c 2890 22238 4353454 137064 12 1281 30 42 32
4.14/4.29 c 2900 22294 4365975 137525 12 1283 28 34 28
4.24/4.30 c 2910 22377 4378694 137881 12 1288 19 44 32
4.24/4.31 c 2920 22442 4394967 138537 12 1293 19 35 28
4.24/4.32 c 2930 22557 4415760 139142 12 1297 27 51 33
4.24/4.33 c 2940 22629 4431179 139669 12 1300 36 46 35
4.24/4.34 c 2950 22692 4444561 140149 12 1302 38 40 35
4.24/4.35 c 2960 22758 4457636 140576 12 1307 19 38 31
4.24/4.36 c 2970 22817 4470214 140961 12 1312 8 36 29
4.24/4.37 c 2980 22882 4482878 141354 12 1317 22 38 29
4.24/4.38 c 2990 22947 4494404 141717 12 1320 10 34 28
4.24/4.39 c 3000 23028 4508145 142180 12 1324 38 45 38
4.34/4.40 c 3010 23133 4523639 142668 12 1328 35 51 42
4.34/4.42 c 3020 23217 4544576 143229 12 1331 35 44 35
4.34/4.42 c 3030 23289 4555219 143574 12 1337 10 51 40
4.34/4.43 c 3040 23370 4567571 143967 12 1344 21 51 33
4.34/4.44 c 3050 23431 4582610 144510 12 1349 18 37 28
4.34/4.45 c 3060 23519 4595401 144925 12 1355 12 51 40
4.34/4.47 c 3070 23602 4615657 145512 12 1358 19 42 32
4.34/4.48 c 3080 23664 4628849 145947 12 1361 39 39 35
4.34/4.49 c 3090 23742 4640897 146324 12 1367 34 51 43
4.34/4.49 c 3100 23842 4654295 146764 12 1372 19 51 37
4.44/4.50 c 3110 23917 4668118 147196 12 1377 15 39 27
4.44/4.51 c 3120 24012 4682167 147614 12 1381 18 51 39
4.44/4.52 c 3130 24127 4697751 148111 12 1388 23 51 42
4.44/4.54 c 3140 24203 4718379 148614 12 1391 34 38 32
4.44/4.55 c 3142 24244 4726540 148820 12 1393 33 39 24
4.44/4.56 c 3150 24307 4741684 149323 12 1394 26 31 25
4.44/4.57 c 3160 24393 4757669 149801 12 1396 37 43 36
4.44/4.58 c 3170 24467 4772730 150316 12 1400 33 45 36
4.44/4.59 c 3180 24531 4787515 150745 12 1403 36 41 36
4.54/4.60 c 3190 24600 4802604 151214 12 1406 33 47 35
4.54/4.61 c 3200 24678 4813651 151582 12 1412 17 51 42
4.54/4.62 c 3210 24771 4827599 152006 12 1415 11 51 38
4.54/4.63 c 3220 24852 4847629 152588 12 1418 15 40 32
4.54/4.65 c 3230 24928 4864595 153066 12 1420 33 40 32
4.54/4.66 c 3240 24996 4881645 153510 12 1423 19 39 30
4.54/4.67 c 3250 25066 4894143 153886 12 1426 11 47 34
4.54/4.68 c 3260 25143 4909826 154341 12 1429 26 39 33
4.54/4.69 c 3270 25227 4921629 154730 12 1433 31 51 43
4.64/4.70 c 3280 25292 4937644 155197 12 1438 32 44 35
4.64/4.71 c 3290 25364 4948508 155551 12 1444 15 51 38
4.64/4.72 c 3300 25444 4967094 156141 12 1447 36 41 35
4.64/4.73 c 3310 25541 4980725 156552 12 1451 24 51 43
4.64/4.74 c 3320 25634 4993978 156943 12 1454 32 51 43
4.64/4.75 c 3330 25745 5016466 157574 12 1456 26 51 32
4.64/4.76 c 3340 25799 5029015 158007 12 1463 22 36 29
4.64/4.77 c 3350 25849 5039330 158356 12 1470 15 35 24
4.64/4.78 c 3360 25910 5051129 158762 12 1474 23 34 25
4.64/4.79 c 3370 25968 5063176 159204 12 1478 27 33 27
4.74/4.80 c 3380 26086 5081640 159806 12 1481 31 51 40
4.74/4.81 c 3390 26166 5093781 160166 12 1488 16 51 37
4.74/4.82 c 3400 26243 5108792 160646 12 1492 36 40 34
4.74/4.84 c 3410 26323 5130868 161419 12 1496 23 36 29
4.74/4.84 c 3420 26396 5142445 161814 12 1499 33 45 38
4.74/4.85 c 3430 26489 5157000 162298 12 1502 33 51 35
4.74/4.87 c 3440 26583 5175049 162869 12 1504 26 39 30
4.74/4.87 c 3450 26665 5187184 163230 12 1509 14 51 41
4.74/4.89 c 3460 26755 5205368 163754 12 1513 27 46 35
4.84/4.90 c 3470 26810 5218638 164162 12 1522 14 43 31
4.84/4.91 c 3480 26877 5232702 164585 12 1527 12 49 35
4.84/4.93 c 3490 26993 5259841 165318 12 1530 17 44 33
4.84/4.93 c 3500 27070 5273295 165784 12 1534 30 48 35
4.84/4.94 c 3510 27140 5284722 166160 12 1538 36 43 37
4.84/4.96 c 3520 27214 5304587 166670 12 1542 26 36 31
4.84/4.97 c 3530 27308 5319832 167142 12 1546 28 48 35
4.84/4.98 c 3540 27380 5329997 167453 12 1552 17 51 42
4.84/4.98 c 3550 27430 5340025 167807 12 1560 17 35 24
4.84/4.99 c 3551 27468 5346843 167976 12 1561 38 38 19
4.84/5.00 c 3560 27572 5361341 168421 12 1566 27 51 39
4.95/5.01 c 3570 27641 5376422 169043 12 1569 25 33 26
4.95/5.02 c 3580 27735 5389400 169444 12 1572 13 51 42
4.95/5.03 c 3590 27809 5401594 169803 12 1580 19 51 35
4.95/5.04 c 3600 27893 5413810 170193 12 1583 43 51 45
4.95/5.05 c 3610 27983 5428672 170708 12 1588 16 45 33
4.95/5.06 c 3620 28036 5438603 171002 12 1592 18 33 27
4.95/5.06 c 3630 28127 5451755 171449 12 1593 33 45 39
4.95/5.07 c 3640 28207 5464684 171841 12 1597 32 51 42
4.95/5.09 c 3650 28293 5483407 172462 12 1599 33 43 34
4.95/5.10 c 3660 28388 5497820 172912 12 1603 19 51 40
5.05/5.11 c 3670 28467 5514406 173424 12 1607 28 44 34
5.05/5.12 c 3680 28543 5532228 173949 12 1612 18 40 31
5.05/5.13 c 3690 28616 5547140 174419 12 1617 21 41 29
5.05/5.14 c 3700 28686 5561052 174818 12 1622 13 39 29
5.05/5.15 c 3710 28748 5570902 175112 12 1630 25 49 38
5.05/5.16 c 3720 28832 5583937 175493 12 1633 27 45 37
5.05/5.17 c 3730 28926 5597390 175889 12 1636 11 51 41
5.05/5.18 c 3740 28991 5614246 176313 12 1640 9 39 29
5.05/5.19 c 3750 29082 5628623 176747 12 1644 22 51 39
5.14/5.20 c 3760 29175 5642145 177214 12 1651 27 51 42
5.14/5.21 c 3770 29241 5655744 177638 12 1657 22 40 31
5.14/5.22 c 3780 29344 5674084 178209 12 1661 27 51 36
5.14/5.23 c 3790 29431 5686965 178623 12 1662 38 51 45
5.14/5.25 c 3800 29510 5706832 179277 12 1663 26 40 30
5.14/5.26 c 3810 29594 5726015 179789 12 1666 34 46 34
5.14/5.27 c 3820 29669 5737712 180150 12 1672 31 51 42
5.14/5.28 c 3830 29759 5755906 180736 12 1674 35 45 36
5.14/5.29 c 3840 29826 5766117 181049 12 1680 30 41 32
5.24/5.30 c 3850 29903 5782897 181559 12 1682 17 40 32
5.24/5.31 c 3860 29979 5794856 181922 12 1684 30 51 43
5.24/5.32 c 3870 30041 5810190 182341 12 1688 35 41 35
5.24/5.33 c 3880 30108 5823378 182752 12 1694 24 40 32
5.24/5.34 c 3890 30180 5841833 183266 12 1699 12 45 34
5.24/5.35 c 3900 30248 5855843 183700 12 1701 24 39 32
5.24/5.37 c 3910 30330 5876794 184424 12 1703 21 33 25
5.24/5.38 c 3920 30392 5891378 184838 12 1708 19 42 32
5.24/5.39 c 3930 30460 5906956 185276 12 1711 29 42 33
5.34/5.40 c 3940 30544 5927904 185807 12 1714 41 45 38
5.34/5.42 c 3950 30609 5947165 186440 12 1721 28 41 30
5.34/5.43 c 3960 30703 5964671 186953 12 1725 22 41 31
5.34/5.44 c 3970 30789 5979524 187481 12 1727 25 47 37
5.34/5.45 c 3980 30877 5995604 188035 12 1732 22 44 36
5.34/5.47 c 3990 30953 6014268 188781 12 1737 20 34 27
5.34/5.48 c 4000 31048 6028141 189243 12 1743 14 45 34
5.34/5.48 c 4001 31069 6031911 189334 12 1744 21 21 10
5.34/5.49 c 4010 31132 6046373 189701 12 1749 27 41 32
5.44/5.50 c 4020 31210 6066393 190265 12 1754 27 40 30
5.44/5.51 c 4030 31294 6079962 190685 12 1760 31 51 37
5.44/5.52 c 4040 31387 6093076 191079 12 1762 35 51 43
5.44/5.54 c 4050 31481 6110512 191661 12 1765 26 47 34
5.44/5.55 c 4060 31540 6125065 192135 12 1771 32 42 35
5.44/5.56 c 4070 31615 6138353 192555 12 1776 22 51 36
5.44/5.57 c 4080 31713 6159005 193150 12 1781 15 48 33
5.44/5.58 c 4090 31779 6172711 193583 12 1785 25 39 31
5.44/5.59 c 4100 31850 6186995 194021 12 1791 10 39 30
5.54/5.60 c 4110 31908 6199671 194442 12 1795 28 35 27
5.54/5.61 c 4120 31973 6214843 194906 12 1801 35 44 37
5.54/5.62 c 4130 32055 6233438 195468 12 1808 25 43 34
5.54/5.63 c 4140 32135 6250894 196022 12 1815 25 44 31
5.54/5.65 c 4150 32208 6266075 196457 12 1820 28 42 34
5.54/5.66 c 4160 32292 6282928 197077 12 1822 31 47 34
5.54/5.67 c 4170 32366 6299950 197631 12 1827 28 42 31
5.54/5.68 c 4180 32451 6316956 198192 12 1830 31 43 34
5.54/5.69 c 4190 32516 6334382 198713 12 1835 21 41 32
5.64/5.70 c 4200 32581 6344185 199018 12 1839 20 51 39
5.64/5.71 c 4210 32652 6354783 199340 12 1844 26 51 42
5.64/5.72 c 4220 32707 6367477 199807 12 1847 26 34 26
5.64/5.73 c 4230 32776 6383801 200339 12 1852 36 47 37
5.64/5.74 c 4240 32871 6402639 200939 12 1859 25 47 30
5.64/5.75 c 4250 32943 6415906 201308 12 1864 26 43 35
5.64/5.76 c 4260 33003 6425998 201650 12 1869 22 45 37
5.64/5.77 c 4270 33072 6442878 202149 12 1876 13 42 31
5.64/5.79 c 4280 33151 6461648 202785 12 1880 30 40 31
5.74/5.80 c 4290 33221 6477650 203310 12 1881 39 43 37
5.74/5.81 c 4300 33324 6495630 203820 12 1885 29 45 32
5.74/5.82 c 4310 33399 6510453 204285 12 1889 36 40 35
5.74/5.83 c 4320 33469 6527230 204754 12 1895 15 41 29
5.74/5.84 c 4330 33551 6546065 205283 12 1899 25 45 35
5.74/5.85 c 4340 33621 6559100 205727 12 1905 29 45 27
5.74/5.87 c 4350 33699 6579111 206451 12 1908 24 43 33
5.74/5.88 c 4360 33778 6591141 206805 12 1912 27 47 37
5.74/5.89 c 4370 33854 6610416 207383 12 1916 30 42 34
5.84/5.90 c 4380 33945 6623416 207786 12 1921 14 44 30
5.84/5.91 c 4390 34029 6640614 208320 12 1922 36 40 34
5.84/5.92 c 4400 34112 6654542 208786 12 1929 16 45 30
5.84/5.93 c 4410 34174 6665309 209120 12 1936 17 37 24
5.84/5.94 c 4420 34303 6686806 209819 12 1938 27 51 38
5.84/5.95 c 4430 34352 6702260 210323 12 1942 16 28 20
5.84/5.97 c 4440 34426 6723129 210867 12 1945 14 42 34
5.84/5.98 c 4450 34483 6736322 211383 12 1948 28 31 27
5.84/5.99 c 4460 34578 6752718 211914 12 1953 21 45 30
5.84/6.00 c 4470 34682 6768497 212430 12 1957 21 45 36
5.95/6.01 c 4480 34814 6785596 213019 12 1961 51 51 46
5.95/6.02 c 4490 34874 6797150 213388 12 1965 21 45 32
5.95/6.02 c 4493 34905 6802930 213520 12 1968 21 29 19
5.95/6.03 c 4500 34962 6811985 213765 12 1974 29 49 37
5.95/6.04 c 4510 35049 6825025 214169 12 1977 39 47 41
5.95/6.05 c 4520 35144 6839011 214573 12 1981 32 51 41
5.95/6.06 c 4530 35212 6855228 215048 12 1985 32 42 35
5.95/6.07 c 4540 35277 6871125 215531 12 1990 23 42 31
5.95/6.08 c 4550 35347 6889437 216109 12 1994 25 43 30
5.95/6.09 c 4560 35427 6901454 216461 12 2000 17 47 37
6.05/6.10 c 4570 35509 6918700 217014 12 2004 33 40 34
6.05/6.12 c 4580 35602 6937693 217554 12 2008 24 39 30
6.05/6.13 c 4590 35687 6949813 217936 12 2012 31 51 42
6.05/6.14 c 4600 35769 6966247 218563 12 2018 26 33 26
6.05/6.15 c 4610 35834 6984655 219214 12 2021 12 40 31
6.05/6.16 c 4620 35891 6998106 219597 12 2026 21 41 33
6.05/6.17 c 4630 35953 7011398 220064 12 2030 9 36 27
6.05/6.18 c 4640 36025 7022629 220423 12 2036 17 51 39
6.05/6.19 c 4650 36095 7038779 220928 12 2038 33 40 33
6.14/6.20 c 4660 36155 7052179 221383 12 2044 30 38 31
6.14/6.22 c 4670 36239 7073998 221994 12 2049 23 45 33
6.14/6.23 c 4680 36314 7089860 222499 12 2050 34 45 35
6.14/6.24 c 4690 36384 7107441 223157 12 2053 28 33 27
6.14/6.25 c 4700 36462 7128632 223844 12 2055 30 44 30
6.14/6.27 c 4710 36557 7150544 224554 12 2058 27 41 31
6.14/6.28 c 4720 36613 7163749 225004 12 2062 35 35 31
6.14/6.29 c 4730 36679 7177755 225488 12 2063 32 37 31
6.24/6.30 c 4740 36763 7190126 225872 12 2069 21 51 42
6.24/6.31 c 4750 36830 7204303 226318 12 2074 9 42 31
6.24/6.32 c 4760 36948 7222947 226882 12 2080 24 51 36
6.24/6.33 c 4770 37022 7239250 227397 12 2081 27 41 31
6.24/6.35 c 4780 37144 7258523 228000 12 2086 24 51 38
6.24/6.36 c 4790 37217 7275870 228561 12 2088 29 42 32
6.24/6.37 c 4800 37275 7290611 228971 12 2093 22 40 32
6.24/6.38 c 4810 37350 7305774 229544 12 2096 24 32 23
6.24/6.39 c 4820 37421 7320995 230081 12 2101 17 39 29
6.34/6.40 c 4830 37489 7336473 230573 12 2107 26 45 30
6.34/6.41 c 4840 37584 7356404 231204 12 2112 20 48 29
6.34/6.43 c 4850 37669 7373625 231712 12 2116 36 43 38
6.34/6.44 c 4860 37729 7387376 232086 12 2123 22 42 32
6.34/6.45 c 4870 37787 7404660 232681 12 2126 24 36 29
6.34/6.46 c 4880 37850 7420305 233111 12 2131 35 41 35
6.34/6.47 c 4890 37911 7435974 233638 12 2138 23 39 30
6.34/6.48 c 4900 37964 7451390 234222 12 2142 20 29 22
6.44/6.50 c 4910 38046 7472178 234816 12 2146 30 39 31
6.44/6.51 c 4920 38112 7489161 235240 12 2151 28 34 28
6.44/6.52 c 4930 38186 7504834 235676 12 2155 14 42 31
6.44/6.53 c 4940 38245 7522360 236230 12 2158 16 27 21
6.44/6.54 c 4950 38310 7538269 236834 12 2161 29 39 30
6.44/6.56 c 4960 38396 7558663 237368 12 2165 23 43 33
6.44/6.57 c 4970 38471 7579602 238027 12 2168 25 37 30
6.44/6.58 c 4980 38521 7594830 238498 12 2174 19 33 24
6.44/6.59 c 4990 38595 7610772 239100 12 2180 20 40 28
6.54/6.63 c 5035 38859 7658409 240862 12 2190 27 45 37
6.95/7.04 c 5631 41661 8291438 266786 12 2202 25 51 38
7.54/7.67 c 6286 45165 9244413 291346 12 2218 13 41 34
8.05/8.14 c 7006 49677 10025803 320553 12 2225 21 49 38
8.44/8.56 c 7798 53432 10670096 346745 12 2237 29 49 43
9.05/9.16 c 8669 57244 11646397 385316 12 2243 25 46 38
9.64/9.79 c 9627 61257 12672240 421769 12 2247 30 49 40
10.54/10.65 c 10680 67987 14074238 471487 12 2253 19 49 38
11.34/11.43 c 11838 74832 15348394 517118 12 2262 26 49 41
12.14/12.29 c 13111 80747 16703748 567538 12 2276 24 47 36
13.05/13.15 c 14511 86410 18040930 622224 12 2284 22 46 36
14.24/14.32 c 16051 93107 19899144 694390 12 2292 25 45 35
15.64/15.77 c 17745 101135 22203669 768633 12 2301 25 49 36
17.14/17.22 c 19608 110073 24476772 852600 12 2307 28 46 39
18.74/18.82 c 21657 118376 26841912 943479 12 2317 19 40 29
20.05/20.13 c 23910 131185 28962666 1022989 12 2329 21 49 43
21.84/21.92 c 26388 142787 31715992 1130711 12 2346 21 45 37
23.95/24.04 c 29113 155807 35061862 1240414 12 2356 18 46 36
25.64/25.70 c 32110 168701 37644751 1344019 12 2366 25 49 40
28.44/28.58 c 35406 184463 42065449 1483612 12 2378 18 46 33
31.74/31.84 c 39031 204187 47170986 1645896 12 2387 22 49 34
34.44/34.50 c 43018 222810 51299759 1797607 12 2399 21 48 39
37.44/37.56 c 47403 249478 56159105 1979851 12 2409 21 49 42
41.44/41.53 c 52226 271983 62411413 2193257 12 2420 17 49 36
45.74/45.87 c 57531 302877 69185626 2436111 12 2430 20 49 36
49.24/49.39 c 63366 335936 74809454 2640795 12 2440 16 49 41
54.05/54.15 c 69784 374391 82469944 2924071 12 2455 20 49 39
57.95/58.09 c 76843 415123 88766331 3153747 12 2472 19 49 44
64.24/64.36 c 84607 452904 98539128 3522581 12 2483 6 47 36
70.54/70.60 c 93147 504545 108768406 3874808 12 2499 8 49 40
77.64/77.74 c 102541 559097 119939261 4306533 12 2509 14 49 35
85.95/86.09 c 112874 621616 133518481 4794746 12 2520 10 49 38
93.54/93.62 c 124240 675177 145461822 5240491 12 2535 13 49 38
103.14/103.28 c 136742 742480 160847045 5781882 12 2543 8 47 38
115.34/115.48 c 150494 812558 179989381 6414031 12 2552 18 46 35
124.34/124.40 c 165621 892337 194095904 6975108 12 2568 10 49 42
134.24/134.38 c 182260 956536 208984519 7590977 12 2576 23 49 39
144.95/145.02 c 200562 1051389 225786197 8227074 12 2588 18 49 41
162.75/162.84 c 220694 1148453 253814942 9122323 12 2599 17 49 33
182.55/182.67 c 242839 1257631 286007396 10152724 12 2608 18 49 35
196.35/196.41 c 267198 1401082 309004258 11024328 12 2617 24 49 45
217.25/217.32 c 293992 1543617 342353427 12224138 12 2632 8 47 37
241.35/241.43 c 323465 1681986 379867174 13559382 12 2641 20 43 34
259.85/259.90 c 355885 1842881 409209760 14736909 12 2653 22 49 42
287.65/287.71 c 391547 2069223 454553085 16427600 12 2670 16 49 38
311.96/312.02 c 430775 2287360 492987038 17852712 12 2686 14 49 42
348.26/348.38 c 473925 2524769 551745588 19940919 12 2706 9 49 37
385.16/385.27 c 521390 2775088 610069793 22018344 12 2726 11 49 38
426.26/426.30 c 573601 3037193 676170950 24495907 12 2742 13 49 38
456.97/457.02 c 631033 3340019 726400870 26499797 12 2754 18 49 43
511.17/511.23 c 694208 3626724 809956881 29406971 12 2771 16 46 32
564.77/564.81 c 763700 4016427 896615676 32388070 12 2789 15 49 39
616.09/616.17 c 840141 4385585 977579627 35408841 12 2798 20 49 41
675.99/676.02 c 924226 4745712 1068864526 38951494 12 2811 20 47 36
749.79/749.82 c 1016719 5251474 1186319887 43242831 12 2828 10 49 35
826.01/826.07 c 1118461 5811180 1307665213 47582576 12 2841 11 49 38
900.60/900.69 c 1230377 6430084 1425987333 52200862 12 2855 15 49 41
984.51/984.52 c 1353484 7152314 1560303041 57089106 12 2872 17 49 40
1060.82/1060.84 c 1488901 7912864 1683716434 61916898 12 2885 17 49 43
1179.52/1179.55 c 1637859 8850315 1875409083 69029196 12 2904 9 49 38
1294.04/1294.03 c 1801712 9794776 2060139512 75505270 12 2914 13 49 41
1407.05/1407.02 c 1981950 10698122 2242577893 82650382 12 2928 6 49 41
1575.85/1575.88 c 2180211 11820518 2510657509 92683202 12 2944 7 49 37
1755.26/1755.23 c 2398298 12976966 2796254075 102728239 12 2962 9 49 36
1962.78/1962.78 c 2638193 14365867 3135490029 113954741 12 2977 9 49 37
2135.89/2135.88 c 2902077 15829685 3413007826 124199847 12 2997 14 49 41
2367.31/2367.22 c 3192349 17588110 3788262672 137976450 12 3020 10 49 38
2520.02/2519.90
2520.02/2519.90 c *** INTERRUPTED ***
2520.02/2519.90 c restarts : 584
2520.02/2519.90 c conflicts : 3400493 (1349 /sec)
2520.02/2519.90 c decisions : 18917692 (7507 /sec)
2520.02/2519.90 c propagations : 147118826 (58380 /sec)
2520.02/2519.90 c root propagations : 16
2520.02/2519.90 c filter calls : 4034119701 (1600834 /sec)
2520.02/2519.90 c useless filter calls : 3928971818 (97 %)
2520.02/2519.90 c
2520.02/2519.90 c clauses : 3524
2520.02/2519.90 c SAT propagations : 791
2520.02/2519.90 c SAT conflicts : 1 (0 learnts)
2520.02/2519.90 c Memory used : 34.03 MB
2520.02/2519.90 c CPU time : 2520.01 s
2520.02/2519.90
2520.02/2519.90 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15106 MiB free)
memory of node 1: 16384 MiB (14254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266398-1502576479/watcher-4266398-1502576479 -o /tmp/evaluation-result-4266398-1502576479/solver-4266398-1502576479 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266398-1502576479.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14235, runsolver pid=14232
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 2.16 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30065140/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=27128 memory=3592 CPUtime=0.05 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 1081 0 0 0 5 0 0 0 20 0 1 0 99559130 27779072 898 18446744073709551615 4194304 5972588 140722814744176 140722814740824 140581312672335 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 6782 898 781 435 0 145 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 27128 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209502 s]*
/proc/loadavg: 2.16 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30064768/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=27488 memory=3940 CPUtime=0.16 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 1146 0 0 0 16 0 0 0 20 0 1 0 99559130 28147712 985 18446744073709551615 4194304 5972588 140722814744176 140722814740824 5229452 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 6872 985 787 435 0 235 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3940 KiB
[startup+0.308971 s]*
/proc/loadavg: 2.16 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30064768/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=27608 memory=4056 CPUtime=0.26 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 1204 0 0 0 26 0 0 0 20 0 1 0 99559130 28270592 1014 18446744073709551615 4194304 5972588 140722814744176 140722814740824 140581312684912 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 6902 1014 787 435 0 265 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27608 KiB
Current children cumulated memory: 4056 KiB
[startup+0.700341 s]
/proc/loadavg: 2.16 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30064552/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=28596 memory=5044 CPUtime=0.64 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 1428 0 0 0 64 0 0 0 20 0 1 0 99559130 29282304 1261 18446744073709551615 4194304 5972588 140722814744176 140722814737976 140581322316180 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 7149 1261 787 435 0 512 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 5044 KiB
[startup+1.50035 s]
/proc/loadavg: 2.16 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30063684/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34580 memory=6932 CPUtime=1.44 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 1917 0 0 0 144 0 0 0 20 0 1 0 99559130 35409920 1733 18446744073709551615 4194304 5972588 140722814744176 140722814737976 4909639 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8645 1733 841 435 0 2008 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 34580 KiB
Current children cumulated memory: 6932 KiB
[startup+3.10951 s]
/proc/loadavg: 2.14 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30062004/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34580 memory=7128 CPUtime=3.05 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 2814 0 0 0 305 0 0 0 20 0 1 0 99559130 35409920 1782 18446744073709551615 4194304 5972588 140722814744176 140722814737976 4909657 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8645 1782 844 435 0 2008 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 34580 KiB
Current children cumulated memory: 7128 KiB
[startup+6.30034 s]
/proc/loadavg: 2.14 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30061960/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7260 CPUtime=6.24 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 3771 0 0 0 624 0 0 0 20 0 1 0 99559130 35540992 1815 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1815 844 435 0 2040 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7260 KiB
[startup+12.7003 s]
/proc/loadavg: 2.13 2.07 2.06 3/185 14236
/proc/meminfo: memFree=30061960/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7380 CPUtime=12.64 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 4711 0 0 0 1264 0 0 0 20 0 1 0 99559130 35540992 1845 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1845 844 435 0 2040 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7380 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 2.06 2.06 3/185 14236
/proc/meminfo: memFree=30061744/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7400 CPUtime=25.44 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 6562 0 0 0 2544 0 0 0 20 0 1 0 99559130 35540992 1850 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5328649 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1850 844 435 0 2040 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7400 KiB
[startup+51.1093 s]
/proc/loadavg: 2.07 2.06 2.06 3/186 14239
/proc/meminfo: memFree=30060624/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7416 CPUtime=51.05 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 7528 0 0 0 5105 0 0 0 20 0 1 0 99559130 35540992 1854 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4962247 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1854 844 435 0 2040 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7416 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/186 14241
/proc/meminfo: memFree=30061000/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7432 CPUtime=102.24 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 8477 0 0 0 10224 0 0 0 20 0 1 0 99559130 35540992 1858 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5338126 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1858 844 435 0 2040 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7432 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/190 14259
/proc/meminfo: memFree=30056176/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7444 CPUtime=162.25 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 9424 0 0 0 16225 0 0 0 20 0 1 0 99559130 35540992 1861 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965681 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1861 844 435 0 2040 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7444 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 14261
/proc/meminfo: memFree=30056436/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7444 CPUtime=222.25 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 10372 0 0 0 22225 0 0 0 20 0 1 0 99559130 35540992 1861 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4962405 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1861 844 435 0 2040 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7444 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 14263
/proc/meminfo: memFree=30060780/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7444 CPUtime=282.25 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 10374 0 0 0 28225 0 0 0 20 0 1 0 99559130 35540992 1861 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965681 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1861 844 435 0 2040 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7444 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/186 14266
/proc/meminfo: memFree=30061368/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7456 CPUtime=342.26 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 11325 0 0 0 34226 0 0 0 20 0 1 0 99559130 35540992 1864 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965238 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1864 844 435 0 2040 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7456 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 14268
/proc/meminfo: memFree=30060768/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7476 CPUtime=402.26 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 11332 0 0 0 40226 0 0 0 20 0 1 0 99559130 35540992 1869 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5328649 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1869 844 435 0 2040 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7476 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 14270
/proc/meminfo: memFree=30060624/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34708 memory=7480 CPUtime=462.27 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 12288 0 0 0 46227 0 0 0 20 0 1 0 99559130 35540992 1870 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4909639 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8677 1870 844 435 0 2040 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 7480 KiB
################
# More data... #
################
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 14353
/proc/meminfo: memFree=30059576/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7524 CPUtime=1842.37 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 22882 0 0 0 184236 1 0 0 20 0 1 0 99559130 35676160 1881 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 14355
/proc/meminfo: memFree=30059568/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7524 CPUtime=1902.37 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 23835 0 0 0 190236 1 0 0 20 0 1 0 99559130 35676160 1881 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4909639 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 14372
/proc/meminfo: memFree=30054828/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7524 CPUtime=1962.38 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 23835 0 0 0 196237 1 0 0 20 0 1 0 99559130 35676160 1881 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5053071 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 14374
/proc/meminfo: memFree=30055824/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7524 CPUtime=2022.38 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 24809 0 0 0 202237 1 0 0 20 0 1 0 99559130 35676160 1881 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14376
/proc/meminfo: memFree=30057048/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7524 CPUtime=2082.39 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 24809 0 0 0 208238 1 0 0 20 0 1 0 99559130 35676160 1881 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5053090 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1881 844 435 0 2073 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7524 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14378
/proc/meminfo: memFree=30057512/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7528 CPUtime=2142.39 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 25778 0 0 0 214238 1 0 0 20 0 1 0 99559130 35676160 1882 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1882 844 435 0 2073 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7528 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14380
/proc/meminfo: memFree=30057528/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7528 CPUtime=2202.39 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 25778 0 0 0 220238 1 0 0 20 0 1 0 99559130 35676160 1882 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4909660 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1882 844 435 0 2073 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7528 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 14383
/proc/meminfo: memFree=30058412/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7532 CPUtime=2262.4 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 26723 0 0 0 226239 1 0 0 20 0 1 0 99559130 35676160 1883 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965342 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1883 844 435 0 2073 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14387
/proc/meminfo: memFree=30056984/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7532 CPUtime=2322.4 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 26740 0 0 0 232239 1 0 0 20 0 1 0 99559130 35676160 1883 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5053099 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1883 844 435 0 2073 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.61 2.17 2.10 3/186 14389
/proc/meminfo: memFree=30057092/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7536 CPUtime=2382.41 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 27711 0 0 0 238240 1 0 0 20 0 1 0 99559130 35676160 1884 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4965342 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1884 844 435 0 2073 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7536 KiB
[startup+2442.3 s]
/proc/loadavg: 2.22 2.14 2.09 3/186 14391
/proc/meminfo: memFree=30057324/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7536 CPUtime=2442.41 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 27711 0 0 0 244240 1 0 0 20 0 1 0 99559130 35676160 1884 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4966110 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1884 844 435 0 2073 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7536 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/186 14453
/proc/meminfo: memFree=31112980/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7552 CPUtime=2502.41 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 28641 0 0 0 250240 1 0 0 20 0 1 0 99559130 35676160 1888 18446744073709551615 4194304 5972588 140722814744176 140722814741480 5071952 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1888 844 435 0 2073 0
Current children cumulated CPU time: 2502.41 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.06 2.11 2.08 2/183 14483
/proc/meminfo: memFree=31117396/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7552 CPUtime=2520.02 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 28641 0 0 0 252001 1 0 0 20 0 1 0 99559130 35676160 1888 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4969209 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1888 844 435 0 2073 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 14235 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.015001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.06 2.11 2.08 2/183 14483
/proc/meminfo: memFree=31117396/32770624 swapFree=67108860/67108860
[pid=14235] ppid=14232 vsize=34840 memory=7552 CPUtime=2520.02 cores=0,2,4,6
/proc/14235/stat : 14235 (cosoco) R 14232 14235 12395 0 -1 4202496 28641 0 0 0 252001 1 0 0 20 0 1 0 99559130 35676160 1888 18446744073709551615 4194304 5972588 140722814744176 140722814741480 4969209 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33579008 140722814747076 140722814747176 140722814747176 140722814750670 0
/proc/14235/statm: 8710 1888 844 435 0 2073 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 7552 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2520.01
CPU system time (s): 0.015001
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 34840
Max. memory (cumulated for all children) (KiB): 7552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.015001
maximum resident set size= 7624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28686
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= 6
involuntary context switches= 750
# summary of solver processes directly reported to runsolver:
# pid: 14235
# total CPU time (s): 2520.03
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.015001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57398 second user time and 16.6715 second system time
The end