1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.10/1.14 c
1.10/1.14 c SAT : Variables: 288 -- Clauses: 504
1.10/1.14 c root propagations : 16
1.10/1.14 c restarts enabled, print stats at every restarts
1.10/1.14 c
1.10/1.14 c
1.10/1.14 c
1.10/1.14 c This is cosoco 1.0 --
1.10/1.14 c
1.10/1.14 c ========================================[ Problem Statistics ]===========================================
1.10/1.14 c |
1.10/1.14 c | Parse time : 1.14 s
1.10/1.14 c |
1.10/1.14 c | Variables: 72
1.10/1.14 c | Domain Sizes: 4..4
1.10/1.14 c |
1.10/1.14 c | Constraints: 1067
1.10/1.14 c | Arity: 1..18 -- Unary: 8
1.10/1.14 c |
1.10/1.14 c | Types:
1.10/1.14 c | Exactly K: 36
1.10/1.14 c | Intension: 1008
1.10/1.14 c | Lex: 15
1.10/1.14 c | Unary: 8
1.10/1.14 c |
1.10/1.14 c =========================================================================================================
1.10/1.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.10/1.16 c 10 83 17963 553 8 2 45 50 43
1.10/1.17 c 20 154 33410 1172 8 5 7 48 35
1.10/1.18 c 30 219 48216 1766 8 9 10 43 30
1.10/1.19 c 40 297 60951 2186 8 13 4 53 36
1.10/1.20 c 50 365 75888 2706 8 18 8 44 30
1.20/1.21 c 60 457 95765 3344 8 23 45 49 42
1.20/1.22 c 70 545 108758 3758 8 31 22 57 40
1.20/1.23 c 80 609 123358 4191 8 36 7 34 25
1.20/1.24 c 90 697 135984 4586 8 40 18 50 35
1.20/1.25 c 100 779 153042 5095 8 43 37 48 40
1.20/1.26 c 101 819 160307 5274 8 44 40 40 20
1.20/1.27 c 110 891 175495 5706 8 47 36 41 34
1.20/1.28 c 120 962 191233 6207 8 51 10 45 32
1.20/1.29 c 130 1022 205814 6717 8 56 12 39 29
1.29/1.30 c 140 1110 221328 7157 8 62 23 47 36
1.29/1.31 c 150 1171 232614 7538 8 71 17 43 27
1.29/1.32 c 160 1235 250171 8000 8 74 23 40 33
1.29/1.34 c 170 1319 271251 8641 8 79 14 49 32
1.29/1.35 c 180 1403 290757 9322 8 86 20 44 33
1.29/1.36 c 190 1472 305516 9833 8 90 27 44 35
1.29/1.37 c 200 1543 321548 10249 8 92 24 42 31
1.29/1.38 c 210 1616 332268 10571 8 97 19 53 40
1.29/1.39 c 211 1649 337482 10750 8 98 33 33 16
1.29/1.39 c 220 1701 347251 11102 8 104 19 39 28
1.39/1.40 c 230 1754 357441 11418 8 107 16 37 28
1.39/1.41 c 240 1835 369834 11856 8 112 19 47 30
1.39/1.42 c 250 1895 382499 12206 8 117 22 42 33
1.39/1.43 c 260 1954 394368 12574 9 121 1 42 27
1.39/1.44 c 270 2033 410418 13084 9 127 16 49 37
1.39/1.45 c 280 2111 424596 13548 9 136 23 51 29
1.39/1.46 c 290 2174 438055 14028 9 142 23 47 32
1.39/1.47 c 300 2233 452756 14579 9 146 27 37 27
1.39/1.48 c 310 2297 465127 15002 9 148 35 43 33
1.39/1.49 c 320 2361 478937 15515 9 152 24 34 25
1.49/1.50 c 330 2417 489362 15890 9 156 13 42 34
1.49/1.50 c 332 2451 495516 16061 9 158 26 33 19
1.49/1.51 c 340 2514 505893 16430 9 163 12 48 34
1.49/1.52 c 350 2593 519622 16874 9 167 24 55 41
1.49/1.53 c 360 2673 534101 17352 9 173 23 56 30
1.49/1.55 c 370 2738 553064 17864 9 178 18 41 33
1.49/1.56 c 380 2810 566688 18301 9 179 29 38 30
1.49/1.57 c 390 2874 579816 18762 9 184 27 46 35
1.49/1.58 c 400 2939 591847 19170 9 192 19 50 33
1.49/1.58 c 410 3003 603607 19554 9 193 31 38 31
1.59/1.60 c 420 3096 621289 20082 9 200 24 46 36
1.59/1.61 c 430 3166 637108 20476 9 206 17 47 36
1.59/1.62 c 440 3228 650286 20816 9 213 20 47 30
1.59/1.63 c 450 3300 664815 21207 9 218 18 42 33
1.59/1.63 c 460 3356 674332 21504 10 227 1 46 26
1.59/1.64 c 465 3409 683686 21757 10 232 18 48 29
1.59/1.65 c 470 3485 694464 22058 10 235 47 55 43
1.59/1.66 c 480 3560 705754 22429 10 240 29 55 43
1.59/1.67 c 490 3649 718588 22819 10 247 22 55 39
1.59/1.68 c 500 3721 733535 23264 10 252 18 48 39
1.59/1.69 c 510 3814 753496 23919 10 253 34 49 38
1.69/1.70 c 520 3894 763959 24275 10 256 21 55 45
1.69/1.71 c 530 3961 779993 24922 10 258 33 40 33
1.69/1.72 c 540 4038 795922 25449 10 262 38 45 38
1.69/1.73 c 550 4111 809778 25862 11 266 1 45 30
1.69/1.74 c 560 4182 821530 26257 11 273 17 57 24
1.69/1.75 c 570 4274 836184 26675 11 275 36 51 39
1.69/1.77 c 580 4378 858160 27362 11 278 38 47 39
1.69/1.77 c 590 4432 867574 27674 11 287 21 37 25
1.69/1.79 c 600 4499 885319 28245 11 290 19 46 33
1.69/1.79 c 610 4563 898127 28631 11 295 20 46 33
1.79/1.80 c 611 4586 902355 28725 11 296 23 23 11
1.79/1.81 c 620 4633 910560 28991 11 305 18 39 23
1.79/1.81 c 630 4707 921600 29314 11 314 28 55 41
1.79/1.82 c 640 4802 934528 29702 11 320 23 53 43
1.79/1.83 c 650 4866 944013 29978 11 329 9 51 27
1.79/1.84 c 660 4961 959682 30489 11 336 20 50 35
1.79/1.85 c 670 5034 973596 30912 11 342 23 47 36
1.79/1.86 c 680 5103 984885 31268 11 347 37 47 39
1.79/1.87 c 690 5180 998889 31733 11 350 34 48 38
1.79/1.88 c 700 5273 1015404 32262 11 354 30 51 36
1.79/1.89 c 710 5331 1028856 32699 11 361 19 38 25
1.89/1.90 c 720 5402 1042828 33152 11 363 26 46 35
1.89/1.91 c 730 5467 1056181 33666 11 365 31 37 31
1.89/1.92 c 740 5531 1071652 34260 11 368 17 33 19
1.89/1.93 c 750 5602 1087552 34788 11 372 25 38 27
1.89/1.94 c 760 5676 1098981 35122 11 375 32 53 46
1.89/1.95 c 770 5742 1117064 35619 11 377 38 43 37
1.89/1.95 c 771 5768 1121770 35722 11 378 26 26 13
1.89/1.96 c 780 5822 1133997 36059 11 381 20 42 30
1.89/1.97 c 790 5933 1150496 36587 11 383 45 51 43
1.89/1.98 c 800 5995 1161747 36924 11 384 40 47 40
1.89/1.99 c 810 6099 1178083 37472 11 385 27 51 38
1.99/2.01 c 820 6155 1193264 37928 11 387 26 40 33
1.99/2.02 c 830 6242 1210663 38439 11 388 36 42 36
1.99/2.03 c 840 6334 1235894 39332 11 394 17 44 24
1.99/2.05 c 850 6403 1250738 39776 11 399 31 43 34
1.99/2.06 c 860 6503 1267459 40350 11 402 32 45 35
1.99/2.07 c 870 6588 1287178 40925 11 407 13 43 34
1.99/2.08 c 880 6693 1302627 41380 11 412 14 51 39
1.99/2.09 c 890 6761 1315885 41814 11 417 14 43 32
2.09/2.10 c 900 6837 1327827 42184 11 420 18 51 39
2.09/2.11 c 910 6922 1350912 42905 11 423 38 45 36
2.09/2.12 c 920 6987 1365553 43292 11 427 24 42 31
2.09/2.14 c 930 7087 1384983 43862 11 433 13 43 35
2.09/2.15 c 940 7151 1397672 44258 11 437 36 45 36
2.09/2.15 c 947 7210 1407377 44519 11 442 20 47 29
2.09/2.16 c 950 7263 1415918 44736 11 445 16 51 21
2.09/2.17 c 960 7341 1429160 45099 11 449 16 37 28
2.09/2.18 c 970 7432 1449964 45717 11 455 16 45 30
2.09/2.19 c 980 7488 1462359 46236 11 461 22 33 24
2.09/2.20 c 990 7547 1471482 46603 11 464 40 40 36
2.20/2.22 c 1000 7657 1494703 47321 11 470 20 44 32
2.20/2.23 c 1010 7726 1509561 47704 11 475 13 41 30
2.20/2.24 c 1020 7804 1525259 48185 11 479 15 47 31
2.20/2.25 c 1030 7870 1540480 48772 11 484 19 37 23
2.20/2.26 c 1040 7938 1556668 49238 11 487 35 41 35
2.20/2.27 c 1050 8043 1577344 49876 11 489 31 49 36
2.20/2.29 c 1060 8108 1591463 50396 11 494 17 47 38
2.20/2.30 c 1070 8180 1607980 51020 11 495 28 36 29
2.30/2.31 c 1080 8244 1621244 51406 11 501 18 42 32
2.30/2.32 c 1090 8346 1637310 51912 11 503 36 51 42
2.30/2.33 c 1100 8428 1649396 52274 11 505 28 51 44
2.30/2.34 c 1110 8505 1669678 52818 11 508 30 39 31
2.30/2.35 c 1120 8597 1691901 53436 11 513 24 42 34
2.30/2.36 c 1130 8664 1706686 53853 11 518 25 40 33
2.30/2.37 c 1140 8730 1719970 54260 11 523 18 42 32
2.30/2.38 c 1141 8753 1724293 54348 11 524 23 23 11
2.30/2.39 c 1150 8816 1735885 54812 11 527 16 29 23
2.39/2.40 c 1160 8903 1749215 55255 11 532 21 51 42
2.39/2.40 c 1170 8987 1761251 55642 11 536 7 51 39
2.39/2.41 c 1180 9046 1774251 56084 11 539 26 39 33
2.39/2.43 c 1190 9127 1791412 56618 11 545 18 42 30
2.39/2.44 c 1200 9197 1804849 57050 11 553 21 38 27
2.39/2.45 c 1210 9263 1820552 57481 11 556 25 42 34
2.39/2.46 c 1220 9334 1833649 57884 11 562 22 42 33
2.39/2.47 c 1230 9390 1845173 58288 11 567 32 43 33
2.39/2.48 c 1240 9478 1858217 58683 11 572 29 51 40
2.39/2.49 c 1250 9548 1873583 59208 11 575 16 42 30
2.49/2.50 c 1260 9604 1887957 59684 11 577 29 34 28
2.49/2.51 c 1270 9679 1903726 60164 11 584 18 48 32
2.49/2.52 c 1280 9743 1919965 60667 11 587 25 43 32
2.49/2.53 c 1290 9821 1934868 61123 11 594 20 47 34
2.49/2.54 c 1300 9887 1951171 61765 11 599 25 41 25
2.49/2.55 c 1310 9968 1964188 62161 11 602 21 36 28
2.49/2.56 c 1320 10065 1978895 62632 11 607 20 51 38
2.49/2.57 c 1330 10137 1994907 63181 11 611 15 36 29
2.49/2.58 c 1340 10186 2010535 63714 11 614 17 30 24
2.49/2.59 c 1350 10269 2023826 64189 11 618 19 45 37
2.59/2.60 c 1352 10294 2027604 64274 11 620 15 24 13
2.59/2.60 c 1360 10333 2035213 64574 12 624 1 30 20
2.59/2.61 c 1370 10403 2048782 64993 12 628 31 42 35
2.59/2.62 c 1380 10468 2063249 65449 12 633 15 35 29
2.59/2.63 c 1390 10531 2074856 65774 12 639 25 35 29
2.59/2.64 c 1400 10600 2089027 66115 12 644 24 41 30
2.59/2.65 c 1410 10658 2103119 66699 12 649 22 34 27
2.59/2.66 c 1420 10737 2118528 67189 12 656 32 41 34
2.59/2.67 c 1430 10815 2133877 67658 12 662 10 47 27
2.59/2.68 c 1440 10882 2147250 68175 12 670 20 51 24
2.69/2.70 c 1450 10966 2167094 68718 12 676 32 46 36
2.69/2.71 c 1460 11056 2185667 69270 12 680 14 47 36
2.69/2.72 c 1470 11137 2198017 69650 12 684 12 51 37
2.69/2.73 c 1480 11210 2209723 70007 12 690 23 51 38
2.69/2.74 c 1490 11287 2228121 70459 12 694 21 43 33
2.69/2.75 c 1500 11435 2247705 71081 12 697 31 51 43
2.69/2.76 c 1510 11487 2261266 71537 12 704 20 36 26
2.69/2.78 c 1520 11566 2281881 72083 12 710 32 43 33
2.69/2.79 c 1530 11688 2301109 72691 12 713 26 51 32
2.79/2.80 c 1540 11743 2315484 73205 12 714 34 35 31
2.79/2.81 c 1550 11785 2321890 73514 12 718 20 25 20
2.79/2.82 c 1560 11858 2336332 73958 12 722 22 42 34
2.79/2.83 c 1570 11940 2348612 74366 12 725 27 47 36
2.79/2.84 c 1580 12026 2369145 74905 12 728 31 42 35
2.79/2.85 c 1585 12085 2378150 75145 12 730 30 51 39
2.79/2.86 c 1590 12153 2390751 75481 12 733 32 51 32
2.79/2.86 c 1600 12212 2404108 75949 12 738 33 38 32
2.79/2.87 c 1610 12279 2419421 76397 12 743 10 41 33
2.79/2.89 c 1620 12341 2432454 76846 12 745 21 31 27
2.89/2.90 c 1630 12403 2450323 77438 12 750 40 41 37
2.89/2.91 c 1640 12476 2468345 77886 12 754 20 42 31
2.89/2.92 c 1650 12532 2479787 78239 12 757 33 38 32
2.89/2.93 c 1660 12593 2493641 78623 12 762 10 45 31
2.89/2.94 c 1670 12668 2504922 78960 12 768 22 51 37
2.89/2.95 c 1680 12779 2529076 79707 12 773 17 51 30
2.89/2.97 c 1690 12868 2549176 80177 12 775 31 43 36
2.89/2.98 c 1700 12939 2562322 80608 12 777 31 51 34
2.89/2.99 c 1710 13009 2574279 80991 12 783 10 51 35
2.99/3.00 c 1720 13088 2591026 81509 12 789 13 46 31
2.99/3.01 c 1730 13158 2601477 81823 12 795 13 45 33
2.99/3.02 c 1740 13243 2614087 82225 12 800 32 51 41
2.99/3.02 c 1750 13314 2624062 82526 12 805 15 51 38
2.99/3.03 c 1760 13386 2634697 82865 12 811 26 51 41
2.99/3.04 c 1770 13457 2648732 83381 12 814 23 40 28
2.99/3.05 c 1780 13524 2661548 83724 12 818 30 42 35
2.99/3.06 c 1790 13595 2674332 84138 12 824 25 51 32
2.99/3.07 c 1800 13659 2688934 84634 12 827 26 42 34
2.99/3.08 c 1810 13735 2707580 85266 12 830 19 45 29
2.99/3.09 c 1820 13833 2720957 85680 12 836 14 51 38
3.09/3.10 c 1830 13908 2737689 86175 12 838 43 44 39
3.09/3.12 c 1840 13989 2755085 86628 12 842 26 42 33
3.09/3.12 c 1841 14027 2761558 86770 12 843 38 38 19
3.09/3.13 c 1850 14099 2779103 87357 12 849 17 44 29
3.09/3.14 c 1860 14169 2794544 87991 12 852 18 35 21
3.09/3.16 c 1870 14253 2811925 88517 12 857 14 41 32
3.09/3.16 c 1880 14325 2823037 88854 12 860 10 47 37
3.09/3.17 c 1890 14393 2837486 89305 12 865 10 46 32
3.09/3.18 c 1900 14453 2846307 89588 12 868 23 45 38
3.09/3.19 c 1910 14560 2863304 90102 12 873 27 51 41
3.19/3.20 c 1920 14641 2875273 90445 12 877 33 51 42
3.19/3.21 c 1930 14717 2891422 90974 12 879 37 44 36
3.19/3.22 c 1940 14787 2905232 91449 12 884 29 45 36
3.19/3.23 c 1950 14849 2918760 91895 12 885 41 45 38
3.19/3.24 c 1960 14900 2929192 92276 12 889 19 31 21
3.19/3.25 c 1970 14986 2941369 92646 12 891 51 51 46
3.19/3.26 c 1980 15096 2957659 93129 12 896 28 51 38
3.19/3.27 c 1990 15179 2972560 93519 12 901 21 38 32
3.19/3.28 c 2000 15234 2987803 94087 12 903 19 33 25
3.19/3.29 c 2010 15307 3002477 94573 12 909 15 43 33
3.19/3.30 c 2020 15355 3011427 94914 12 911 33 35 30
3.30/3.31 c 2030 15478 3028357 95441 12 916 21 51 36
3.30/3.32 c 2040 15573 3042932 95885 12 917 40 51 43
3.30/3.33 c 2050 15621 3052542 96303 12 920 17 24 20
3.30/3.34 c 2060 15691 3067287 96758 12 924 26 45 35
3.30/3.35 c 2070 15757 3080416 97211 12 931 19 36 27
3.30/3.35 c 2080 15815 3090928 97586 12 932 39 41 36
3.30/3.36 c 2090 15889 3105232 98022 12 939 17 49 30
3.30/3.37 c 2100 15963 3118881 98395 12 941 39 43 38
3.30/3.38 c 2110 16052 3132188 98821 12 946 11 51 35
3.30/3.39 c 2120 16121 3146750 99249 12 948 39 44 38
3.30/3.40 c 2122 16154 3152626 99400 12 950 12 32 14
3.40/3.41 c 2130 16233 3167640 99914 12 954 12 42 30
3.40/3.42 c 2140 16378 3186166 100501 12 957 39 51 45
3.40/3.43 c 2150 16477 3206079 101126 12 963 14 46 33
3.40/3.45 c 2160 16606 3224214 101692 12 966 39 51 43
3.40/3.46 c 2170 16676 3239333 102146 12 973 20 40 30
3.40/3.47 c 2180 16734 3251435 102553 12 976 15 41 32
3.40/3.47 c 2190 16790 3263341 102999 12 983 19 36 27
3.40/3.49 c 2200 16860 3279716 103527 12 986 8 39 30
3.49/3.50 c 2210 16958 3295071 104010 12 988 29 46 38
3.49/3.51 c 2220 17035 3311017 104509 12 992 38 42 36
3.49/3.52 c 2230 17125 3325952 104942 12 997 15 45 32
3.49/3.53 c 2240 17218 3341750 105389 12 1001 27 39 31
3.49/3.54 c 2250 17287 3357601 105933 12 1004 12 30 23
3.49/3.55 c 2260 17348 3375638 106426 12 1008 25 36 31
3.49/3.56 c 2270 17440 3388769 106840 12 1009 51 51 46
3.49/3.57 c 2280 17521 3400366 107196 12 1011 45 45 40
3.49/3.58 c 2290 17611 3414854 107692 12 1013 20 51 33
3.49/3.59 c 2300 17699 3433478 108303 12 1016 39 48 40
3.59/3.60 c 2310 17757 3447702 108821 12 1018 26 39 28
3.59/3.62 c 2320 17828 3462551 109296 12 1024 32 43 35
3.59/3.63 c 2330 17922 3479566 109765 12 1029 16 46 33
3.59/3.64 c 2340 17978 3491688 110148 12 1036 15 42 27
3.59/3.65 c 2350 18029 3506695 110569 12 1041 18 32 23
3.59/3.66 c 2360 18108 3522368 111124 12 1047 22 31 22
3.59/3.67 c 2370 18197 3541072 111673 12 1050 24 36 28
3.59/3.68 c 2380 18262 3557420 112082 12 1054 29 36 30
3.59/3.70 c 2390 18321 3572136 112515 12 1056 31 40 33
3.69/3.70 c 2400 18401 3583241 112865 12 1059 20 51 43
3.69/3.71 c 2410 18460 3593224 113234 12 1060 36 40 34
3.69/3.72 c 2420 18532 3604161 113576 12 1066 43 51 44
3.69/3.73 c 2430 18595 3618775 114121 12 1068 29 38 31
3.69/3.73 c 2431 18629 3626217 114286 12 1069 34 34 17
3.69/3.74 c 2440 18678 3637061 114664 12 1071 34 36 30
3.69/3.75 c 2450 18770 3650316 115108 12 1075 13 38 30
3.69/3.77 c 2460 18902 3668706 115709 12 1078 22 51 40
3.69/3.78 c 2470 18972 3682966 116174 12 1081 36 41 35
3.69/3.79 c 2480 19042 3702574 116859 12 1082 34 39 32
3.79/3.80 c 2490 19134 3721936 117598 12 1087 25 47 30
3.79/3.82 c 2500 19218 3738316 118148 12 1090 36 47 36
3.79/3.82 c 2510 19278 3751437 118545 12 1094 24 41 31
3.79/3.84 c 2520 19346 3768963 119070 12 1096 21 41 33
3.79/3.85 c 2530 19453 3790352 119703 12 1101 31 47 33
3.79/3.86 c 2540 19573 3809816 120289 12 1108 20 50 36
3.79/3.88 c 2550 19655 3825957 120792 12 1112 35 42 36
3.79/3.88 c 2560 19738 3838145 121162 12 1116 11 45 36
3.79/3.89 c 2570 19805 3850066 121549 12 1124 12 51 33
3.89/3.90 c 2580 19863 3865124 121965 12 1129 13 42 30
3.89/3.92 c 2590 19943 3881197 122461 12 1133 18 45 31
3.89/3.93 c 2600 20012 3895523 122910 12 1136 31 39 32
3.89/3.94 c 2610 20087 3908755 123350 12 1144 27 43 34
3.89/3.95 c 2620 20174 3927505 123854 12 1149 26 43 36
3.89/3.96 c 2630 20252 3942736 124308 12 1155 16 45 29
3.89/3.97 c 2640 20303 3955922 124832 12 1156 28 31 26
3.89/3.98 c 2650 20378 3970402 125280 12 1161 35 42 35
3.89/3.99 c 2660 20484 3987375 125831 12 1166 15 51 32
3.99/4.00 c 2670 20559 3999335 126194 12 1175 17 51 30
3.99/4.01 c 2680 20650 4015622 126677 12 1184 18 51 34
3.99/4.03 c 2690 20732 4036456 127436 12 1190 21 37 28
3.99/4.04 c 2700 20805 4056367 127948 12 1196 25 42 34
3.99/4.05 c 2710 20864 4068775 128365 12 1199 21 36 26
3.99/4.06 c 2720 20939 4084112 128837 12 1205 23 38 28
3.99/4.07 c 2730 21023 4096074 129202 12 1207 51 51 46
3.99/4.08 c 2740 21112 4113426 129735 12 1210 21 47 35
3.99/4.09 c 2750 21181 4126408 130127 12 1213 26 40 31
4.09/4.10 c 2760 21244 4139826 130518 12 1217 12 43 34
4.09/4.11 c 2770 21310 4153457 130929 12 1222 36 43 34
4.09/4.11 c 2771 21325 4156393 131001 12 1223 15 15 7
4.09/4.12 c 2780 21399 4168810 131324 12 1228 26 51 32
4.09/4.13 c 2790 21471 4183153 131817 12 1229 24 41 28
4.09/4.14 c 2800 21534 4200032 132309 12 1236 15 38 27
4.09/4.15 c 2810 21616 4215902 132872 12 1239 22 41 29
4.09/4.16 c 2820 21709 4233002 133349 12 1244 22 48 38
4.09/4.18 c 2830 21772 4253312 134084 12 1249 23 32 24
4.09/4.19 c 2840 21841 4272776 134656 12 1255 12 43 28
4.19/4.20 c 2850 21938 4286344 135072 12 1259 22 46 37
4.19/4.21 c 2860 22009 4301047 135581 12 1264 29 35 29
4.19/4.22 c 2870 22096 4316963 136049 12 1269 12 47 32
4.19/4.23 c 2880 22163 4333196 136532 12 1278 18 46 30
4.19/4.25 c 2890 22238 4353454 137064 12 1281 30 42 32
4.19/4.26 c 2900 22294 4365975 137525 12 1283 28 34 28
4.19/4.27 c 2910 22377 4378694 137881 12 1288 19 44 32
4.19/4.28 c 2920 22442 4394967 138537 12 1293 19 35 28
4.19/4.29 c 2930 22557 4415760 139142 12 1297 27 51 33
4.29/4.30 c 2940 22629 4431179 139669 12 1300 36 46 35
4.29/4.31 c 2950 22692 4444561 140149 12 1302 38 40 35
4.29/4.32 c 2960 22758 4457636 140576 12 1307 19 38 31
4.29/4.33 c 2970 22817 4470214 140961 12 1312 8 36 29
4.29/4.34 c 2980 22882 4482878 141354 12 1317 22 38 29
4.29/4.35 c 2990 22947 4494404 141717 12 1320 10 34 28
4.29/4.36 c 3000 23028 4508145 142180 12 1324 38 45 38
4.29/4.37 c 3010 23133 4523639 142668 12 1328 35 51 42
4.29/4.38 c 3020 23217 4544576 143229 12 1331 35 44 35
4.29/4.39 c 3030 23289 4555219 143574 12 1337 10 51 40
4.40/4.40 c 3040 23370 4567571 143967 12 1344 21 51 33
4.40/4.41 c 3050 23431 4582610 144510 12 1349 18 37 28
4.40/4.42 c 3060 23519 4595401 144925 12 1355 12 51 40
4.40/4.44 c 3070 23602 4615657 145512 12 1358 19 42 32
4.40/4.45 c 3080 23664 4628849 145947 12 1361 39 39 35
4.40/4.45 c 3090 23742 4640897 146324 12 1367 34 51 43
4.40/4.46 c 3100 23842 4654295 146764 12 1372 19 51 37
4.40/4.47 c 3110 23917 4668118 147196 12 1377 15 39 27
4.40/4.48 c 3120 24012 4682167 147614 12 1381 18 51 39
4.40/4.49 c 3130 24127 4697751 148111 12 1388 23 51 42
4.50/4.51 c 3140 24203 4718379 148614 12 1391 34 38 32
4.50/4.52 c 3142 24244 4726540 148820 12 1393 33 39 24
4.50/4.53 c 3150 24307 4741684 149323 12 1394 26 31 25
4.50/4.54 c 3160 24393 4757669 149801 12 1396 37 43 36
4.50/4.55 c 3170 24467 4772730 150316 12 1400 33 45 36
4.50/4.56 c 3180 24531 4787515 150745 12 1403 36 41 36
4.50/4.57 c 3190 24600 4802604 151214 12 1406 33 47 35
4.50/4.58 c 3200 24678 4813651 151582 12 1412 17 51 42
4.50/4.59 c 3210 24771 4827599 152006 12 1415 11 51 38
4.59/4.60 c 3220 24852 4847629 152588 12 1418 15 40 32
4.59/4.62 c 3230 24928 4864595 153066 12 1420 33 40 32
4.59/4.63 c 3240 24996 4881645 153510 12 1423 19 39 30
4.59/4.64 c 3250 25066 4894143 153886 12 1426 11 47 34
4.59/4.65 c 3260 25143 4909826 154341 12 1429 26 39 33
4.59/4.66 c 3270 25227 4921629 154730 12 1433 31 51 43
4.59/4.67 c 3280 25292 4937644 155197 12 1438 32 44 35
4.59/4.68 c 3290 25364 4948508 155551 12 1444 15 51 38
4.59/4.69 c 3300 25444 4967094 156141 12 1447 36 41 35
4.69/4.70 c 3310 25541 4980725 156552 12 1451 24 51 43
4.69/4.71 c 3320 25634 4993978 156943 12 1454 32 51 43
4.69/4.72 c 3330 25745 5016466 157574 12 1456 26 51 32
4.69/4.73 c 3340 25799 5029015 158007 12 1463 22 36 29
4.69/4.74 c 3350 25849 5039330 158356 12 1470 15 35 24
4.69/4.75 c 3360 25910 5051129 158762 12 1474 23 34 25
4.69/4.76 c 3370 25968 5063176 159204 12 1478 27 33 27
4.69/4.77 c 3380 26086 5081640 159806 12 1481 31 51 40
4.69/4.78 c 3390 26166 5093781 160166 12 1488 16 51 37
4.69/4.79 c 3400 26243 5108792 160646 12 1492 36 40 34
4.79/4.80 c 3410 26323 5130868 161419 12 1496 23 36 29
4.79/4.81 c 3420 26396 5142445 161814 12 1499 33 45 38
4.79/4.82 c 3430 26489 5157000 162298 12 1502 33 51 35
4.79/4.83 c 3440 26583 5175049 162869 12 1504 26 39 30
4.79/4.84 c 3450 26665 5187184 163230 12 1509 14 51 41
4.79/4.86 c 3460 26755 5205368 163754 12 1513 27 46 35
4.79/4.87 c 3470 26810 5218638 164162 12 1522 14 43 31
4.79/4.88 c 3480 26877 5232702 164585 12 1527 12 49 35
4.79/4.89 c 3490 26993 5259841 165318 12 1530 17 44 33
4.89/4.90 c 3500 27070 5273295 165784 12 1534 30 48 35
4.89/4.91 c 3510 27140 5284722 166160 12 1538 36 43 37
4.89/4.93 c 3520 27214 5304587 166670 12 1542 26 36 31
4.89/4.94 c 3530 27308 5319832 167142 12 1546 28 48 35
4.89/4.94 c 3540 27380 5329997 167453 12 1552 17 51 42
4.89/4.96 c 3550 27430 5340025 167807 12 1560 17 35 24
4.89/4.96 c 3551 27468 5346843 167976 12 1561 38 38 19
4.89/4.97 c 3560 27572 5361341 168421 12 1566 27 51 39
4.89/4.98 c 3570 27641 5376422 169043 12 1569 25 33 26
4.89/4.99 c 3580 27735 5389400 169444 12 1572 13 51 42
4.89/5.00 c 3590 27809 5401594 169803 12 1580 19 51 35
4.99/5.00 c 3600 27893 5413810 170193 12 1583 43 51 45
4.99/5.01 c 3610 27983 5428672 170708 12 1588 16 45 33
4.99/5.02 c 3620 28036 5438603 171002 12 1592 18 33 27
4.99/5.03 c 3630 28127 5451755 171449 12 1593 33 45 39
4.99/5.04 c 3640 28207 5464684 171841 12 1597 32 51 42
4.99/5.05 c 3650 28293 5483407 172462 12 1599 33 43 34
4.99/5.06 c 3660 28388 5497820 172912 12 1603 19 51 40
4.99/5.08 c 3670 28467 5514406 173424 12 1607 28 44 34
4.99/5.09 c 3680 28543 5532228 173949 12 1612 18 40 31
5.09/5.10 c 3690 28616 5547140 174419 12 1617 21 41 29
5.09/5.11 c 3700 28686 5561052 174818 12 1622 13 39 29
5.09/5.12 c 3710 28748 5570902 175112 12 1630 25 49 38
5.09/5.12 c 3720 28832 5583937 175493 12 1633 27 45 37
5.09/5.13 c 3730 28926 5597390 175889 12 1636 11 51 41
5.09/5.15 c 3740 28991 5614246 176313 12 1640 9 39 29
5.09/5.16 c 3750 29082 5628623 176747 12 1644 22 51 39
5.09/5.17 c 3760 29175 5642145 177214 12 1651 27 51 42
5.09/5.18 c 3770 29241 5655744 177638 12 1657 22 40 31
5.09/5.19 c 3780 29344 5674084 178209 12 1661 27 51 36
5.19/5.20 c 3790 29431 5686965 178623 12 1662 38 51 45
5.19/5.21 c 3800 29510 5706832 179277 12 1663 26 40 30
5.19/5.22 c 3810 29594 5726015 179789 12 1666 34 46 34
5.19/5.23 c 3820 29669 5737712 180150 12 1672 31 51 42
5.19/5.25 c 3830 29759 5755906 180736 12 1674 35 45 36
5.19/5.25 c 3840 29826 5766117 181049 12 1680 30 41 32
5.19/5.27 c 3850 29903 5782897 181559 12 1682 17 40 32
5.19/5.27 c 3860 29979 5794856 181922 12 1684 30 51 43
5.19/5.29 c 3870 30041 5810190 182341 12 1688 35 41 35
5.29/5.30 c 3880 30108 5823378 182752 12 1694 24 40 32
5.29/5.31 c 3890 30180 5841833 183266 12 1699 12 45 34
5.29/5.32 c 3900 30248 5855843 183700 12 1701 24 39 32
5.29/5.33 c 3910 30330 5876794 184424 12 1703 21 33 25
5.29/5.34 c 3920 30392 5891378 184838 12 1708 19 42 32
5.29/5.36 c 3930 30460 5906956 185276 12 1711 29 42 33
5.29/5.37 c 3940 30544 5927904 185807 12 1714 41 45 38
5.29/5.38 c 3950 30609 5947165 186440 12 1721 28 41 30
5.39/5.40 c 3960 30703 5964671 186953 12 1725 22 41 31
5.39/5.41 c 3970 30789 5979524 187481 12 1727 25 47 37
5.39/5.42 c 3980 30877 5995604 188035 12 1732 22 44 36
5.39/5.43 c 3990 30953 6014268 188781 12 1737 20 34 27
5.39/5.44 c 4000 31048 6028141 189243 12 1743 14 45 34
5.39/5.44 c 4001 31069 6031911 189334 12 1744 21 21 10
5.39/5.46 c 4010 31132 6046373 189701 12 1749 27 41 32
5.39/5.47 c 4020 31210 6066393 190265 12 1754 27 40 30
5.39/5.48 c 4030 31294 6079962 190685 12 1760 31 51 37
5.39/5.49 c 4040 31387 6093076 191079 12 1762 35 51 43
5.39/5.50 c 4050 31481 6110512 191661 12 1765 26 47 34
5.49/5.51 c 4060 31540 6125065 192135 12 1771 32 42 35
5.49/5.52 c 4070 31615 6138353 192555 12 1776 22 51 36
5.49/5.53 c 4080 31713 6159005 193150 12 1781 15 48 33
5.49/5.54 c 4090 31779 6172711 193583 12 1785 25 39 31
5.49/5.56 c 4100 31850 6186995 194021 12 1791 10 39 30
5.49/5.56 c 4110 31908 6199671 194442 12 1795 28 35 27
5.49/5.58 c 4120 31973 6214843 194906 12 1801 35 44 37
5.49/5.59 c 4130 32055 6233438 195468 12 1808 25 43 34
5.49/5.60 c 4140 32135 6250894 196022 12 1815 25 44 31
5.59/5.61 c 4150 32208 6266075 196457 12 1820 28 42 34
5.59/5.62 c 4160 32292 6282928 197077 12 1822 31 47 34
5.59/5.63 c 4170 32366 6299950 197631 12 1827 28 42 31
5.59/5.65 c 4180 32451 6316956 198192 12 1830 31 43 34
5.59/5.66 c 4190 32516 6334382 198713 12 1835 21 41 32
5.59/5.67 c 4200 32581 6344185 199018 12 1839 20 51 39
5.59/5.67 c 4210 32652 6354783 199340 12 1844 26 51 42
5.59/5.68 c 4220 32707 6367477 199807 12 1847 26 34 26
5.59/5.69 c 4230 32776 6383801 200339 12 1852 36 47 37
5.69/5.71 c 4240 32871 6402639 200939 12 1859 25 47 30
5.69/5.72 c 4250 32943 6415906 201308 12 1864 26 43 35
5.69/5.72 c 4260 33003 6425998 201650 12 1869 22 45 37
5.69/5.74 c 4270 33072 6442878 202149 12 1876 13 42 31
5.69/5.75 c 4280 33151 6461648 202785 12 1880 30 40 31
5.69/5.76 c 4290 33221 6477650 203310 12 1881 39 43 37
5.69/5.77 c 4300 33324 6495630 203820 12 1885 29 45 32
5.69/5.78 c 4310 33399 6510453 204285 12 1889 36 40 35
5.69/5.80 c 4320 33469 6527230 204754 12 1895 15 41 29
5.79/5.81 c 4330 33551 6546065 205283 12 1899 25 45 35
5.79/5.82 c 4340 33621 6559100 205727 12 1905 29 45 27
5.79/5.83 c 4350 33699 6579111 206451 12 1908 24 43 33
5.79/5.84 c 4360 33778 6591141 206805 12 1912 27 47 37
5.79/5.85 c 4370 33854 6610416 207383 12 1916 30 42 34
5.79/5.86 c 4380 33945 6623416 207786 12 1921 14 44 30
5.79/5.87 c 4390 34029 6640614 208320 12 1922 36 40 34
5.79/5.88 c 4400 34112 6654542 208786 12 1929 16 45 30
5.79/5.89 c 4410 34174 6665309 209120 12 1936 17 37 24
5.89/5.91 c 4420 34303 6686806 209819 12 1938 27 51 38
5.89/5.92 c 4430 34352 6702260 210323 12 1942 16 28 20
5.89/5.93 c 4440 34426 6723129 210867 12 1945 14 42 34
5.89/5.94 c 4450 34483 6736322 211383 12 1948 28 31 27
5.89/5.95 c 4460 34578 6752718 211914 12 1953 21 45 30
5.89/5.96 c 4470 34682 6768497 212430 12 1957 21 45 36
5.89/5.97 c 4480 34814 6785596 213019 12 1961 51 51 46
5.89/5.98 c 4490 34874 6797150 213388 12 1965 21 45 32
5.89/5.99 c 4493 34905 6802930 213520 12 1968 21 29 19
5.89/5.99 c 4500 34962 6811985 213765 12 1974 29 49 37
5.99/6.00 c 4510 35049 6825025 214169 12 1977 39 47 41
5.99/6.01 c 4520 35144 6839011 214573 12 1981 32 51 41
5.99/6.02 c 4530 35212 6855228 215048 12 1985 32 42 35
5.99/6.04 c 4540 35277 6871125 215531 12 1990 23 42 31
5.99/6.05 c 4550 35347 6889437 216109 12 1994 25 43 30
5.99/6.06 c 4560 35427 6901454 216461 12 2000 17 47 37
5.99/6.07 c 4570 35509 6918700 217014 12 2004 33 40 34
5.99/6.08 c 4580 35602 6937693 217554 12 2008 24 39 30
5.99/6.09 c 4590 35687 6949813 217936 12 2012 31 51 42
6.09/6.10 c 4600 35769 6966247 218563 12 2018 26 33 26
6.09/6.11 c 4610 35834 6984655 219214 12 2021 12 40 31
6.09/6.12 c 4620 35891 6998106 219597 12 2026 21 41 33
6.09/6.13 c 4630 35953 7011398 220064 12 2030 9 36 27
6.09/6.14 c 4640 36025 7022629 220423 12 2036 17 51 39
6.09/6.16 c 4650 36095 7038779 220928 12 2038 33 40 33
6.09/6.16 c 4660 36155 7052179 221383 12 2044 30 38 31
6.09/6.18 c 4670 36239 7073998 221994 12 2049 23 45 33
6.09/6.19 c 4680 36314 7089860 222499 12 2050 34 45 35
6.19/6.20 c 4690 36384 7107441 223157 12 2053 28 33 27
6.19/6.22 c 4700 36462 7128632 223844 12 2055 30 44 30
6.19/6.23 c 4710 36557 7150544 224554 12 2058 27 41 31
6.19/6.24 c 4720 36613 7163749 225004 12 2062 35 35 31
6.19/6.25 c 4730 36679 7177755 225488 12 2063 32 37 31
6.19/6.26 c 4740 36763 7190126 225872 12 2069 21 51 42
6.19/6.27 c 4750 36830 7204303 226318 12 2074 9 42 31
6.19/6.28 c 4760 36948 7222947 226882 12 2080 24 51 36
6.29/6.30 c 4770 37022 7239250 227397 12 2081 27 41 31
6.29/6.31 c 4780 37144 7258523 228000 12 2086 24 51 38
6.29/6.32 c 4790 37217 7275870 228561 12 2088 29 42 32
6.29/6.33 c 4800 37275 7290611 228971 12 2093 22 40 32
6.29/6.34 c 4810 37350 7305774 229544 12 2096 24 32 23
6.29/6.35 c 4820 37421 7320995 230081 12 2101 17 39 29
6.29/6.36 c 4830 37489 7336473 230573 12 2107 26 45 30
6.29/6.38 c 4840 37584 7356404 231204 12 2112 20 48 29
6.29/6.39 c 4850 37669 7373625 231712 12 2116 36 43 38
6.39/6.40 c 4860 37729 7387376 232086 12 2123 22 42 32
6.39/6.41 c 4870 37787 7404660 232681 12 2126 24 36 29
6.39/6.42 c 4880 37850 7420305 233111 12 2131 35 41 35
6.39/6.43 c 4890 37911 7435974 233638 12 2138 23 39 30
6.39/6.45 c 4900 37964 7451390 234222 12 2142 20 29 22
6.39/6.46 c 4910 38046 7472178 234816 12 2146 30 39 31
6.39/6.47 c 4920 38112 7489161 235240 12 2151 28 34 28
6.39/6.48 c 4930 38186 7504834 235676 12 2155 14 42 31
6.49/6.50 c 4940 38245 7522360 236230 12 2158 16 27 21
6.49/6.51 c 4950 38310 7538269 236834 12 2161 29 39 30
6.49/6.52 c 4960 38396 7558663 237368 12 2165 23 43 33
6.49/6.54 c 4970 38471 7579602 238027 12 2168 25 37 30
6.49/6.55 c 4980 38521 7594830 238498 12 2174 19 33 24
6.49/6.56 c 4990 38595 7610772 239100 12 2180 20 40 28
6.49/6.59 c 5035 38859 7658409 240862 12 2190 27 45 37
6.99/7.00 c 5631 41661 8291438 266786 12 2202 25 51 38
7.59/7.63 c 6286 45165 9244413 291346 12 2218 13 41 34
8.09/8.11 c 7006 49677 10025803 320553 12 2225 21 49 38
8.49/8.52 c 7798 53432 10670096 346745 12 2237 29 49 43
9.09/9.12 c 8669 57244 11646397 385316 12 2243 25 46 38
9.69/9.76 c 9627 61257 12672240 421769 12 2247 30 49 40
10.59/10.61 c 10680 67987 14074238 471487 12 2253 19 49 38
11.29/11.39 c 11838 74832 15348394 517118 12 2262 26 49 41
12.19/12.25 c 13111 80747 16703748 567538 12 2276 24 47 36
13.09/13.11 c 14511 86410 18040930 622224 12 2284 22 46 36
14.19/14.28 c 16051 93107 19899144 694390 12 2292 25 45 35
15.69/15.73 c 17745 101135 22203669 768633 12 2301 25 49 36
17.09/17.18 c 19608 110073 24476772 852600 12 2307 28 46 39
18.69/18.78 c 21657 118376 26841912 943479 12 2317 19 40 29
19.99/20.09 c 23910 131185 28962666 1022989 12 2329 21 49 43
21.79/21.88 c 26388 142787 31715992 1130711 12 2346 21 45 37
23.99/24.00 c 29113 155807 35061862 1240414 12 2356 18 46 36
25.59/25.66 c 32110 168701 37644751 1344019 12 2366 25 49 40
28.49/28.53 c 35406 184463 42065449 1483612 12 2378 18 46 33
31.69/31.79 c 39031 204187 47170986 1645896 12 2387 22 49 34
34.39/34.45 c 43018 222810 51299759 1797607 12 2399 21 48 39
37.49/37.51 c 47403 249478 56159105 1979851 12 2409 21 49 42
41.39/41.48 c 52226 271983 62411413 2193257 12 2420 17 49 36
45.79/45.81 c 57531 302877 69185626 2436111 12 2430 20 49 36
49.29/49.33 c 63366 335936 74809454 2640795 12 2440 16 49 41
53.99/54.08 c 69784 374391 82469944 2924071 12 2455 20 49 39
57.99/58.01 c 76843 415123 88766331 3153747 12 2472 19 49 44
64.19/64.28 c 84607 452904 98539128 3522581 12 2483 6 47 36
70.49/70.53 c 93147 504545 108768406 3874808 12 2499 8 49 40
77.58/77.65 c 102541 559097 119939261 4306533 12 2509 14 49 35
85.98/86.00 c 112874 621616 133518481 4794746 12 2520 10 49 38
93.49/93.52 c 124240 675177 145461822 5240491 12 2535 13 49 38
103.08/103.18 c 136742 742480 160847045 5781882 12 2543 8 47 38
115.28/115.36 c 150494 812558 179989381 6414031 12 2552 18 46 35
124.18/124.25 c 165621 892337 194095904 6975108 12 2568 10 49 42
134.19/134.23 c 182260 956536 208984519 7590977 12 2576 23 49 39
144.78/144.86 c 200562 1051389 225786197 8227074 12 2588 18 49 41
162.58/162.64 c 220694 1148453 253814942 9122323 12 2599 17 49 33
182.38/182.46 c 242839 1257631 286007396 10152724 12 2608 18 49 35
196.08/196.15 c 267198 1401082 309004258 11024328 12 2617 24 49 45
216.98/217.07 c 293992 1543617 342353427 12224138 12 2632 8 47 37
241.08/241.17 c 323465 1681986 379867174 13559382 12 2641 20 43 34
259.58/259.61 c 355885 1842881 409209760 14736909 12 2653 22 49 42
287.37/287.42 c 391547 2069223 454553085 16427600 12 2670 16 49 38
311.57/311.66 c 430775 2287360 492987038 17852712 12 2686 14 49 42
347.88/347.96 c 473925 2524769 551745588 19940919 12 2706 9 49 37
384.78/384.81 c 521390 2775088 610069793 22018344 12 2726 11 49 38
425.68/425.79 c 573601 3037193 676170950 24495907 12 2742 13 49 38
456.48/456.55 c 631033 3340019 726400870 26499797 12 2754 18 49 43
510.67/510.71 c 694208 3626724 809956881 29406971 12 2771 16 46 32
564.07/564.18 c 763700 4016427 896615676 32388070 12 2789 15 49 39
615.47/615.50 c 840141 4385585 977579627 35408841 12 2798 20 49 41
675.27/675.38 c 924226 4745712 1068864526 38951494 12 2811 20 47 36
748.96/749.01 c 1016719 5251474 1186319887 43242831 12 2828 10 49 35
825.16/825.23 c 1118461 5811180 1307665213 47582576 12 2841 11 49 38
899.66/899.74 c 1230377 6430084 1425987333 52200862 12 2855 15 49 41
983.56/983.62 c 1353484 7152314 1560303041 57089106 12 2872 17 49 40
1059.75/1059.83 c 1488901 7912864 1683716434 61916898 12 2885 17 49 43
1178.45/1178.52 c 1637859 8850315 1875409083 69029196 12 2904 9 49 38
1292.74/1292.87 c 1801712 9794776 2060139512 75505270 12 2914 13 49 41
1405.74/1405.87 c 1981950 10698122 2242577893 82650382 12 2928 6 49 41
1574.63/1574.78 c 2180211 11820518 2510657509 92683202 12 2944 7 49 37
1753.63/1753.73 c 2398298 12976966 2796254075 102728239 12 2962 9 49 36
1961.02/1961.12 c 2638193 14365867 3135490029 113954741 12 2977 9 49 37
2133.81/2133.90 c 2902077 15829685 3413007826 124199847 12 2997 14 49 41
2365.10/2365.20 c 3192349 17588110 3788262672 137976450 12 3020 10 49 38
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-4241263-1500630695/watcher-4241263-1500630695 -o /tmp/evaluation-result-4241263-1500630695/solver-4241263-1500630695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241263-1500630695.xml
pid=5826
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5829
/proc/meminfo: memFree=31830972/32770624 swapFree=6644/25404
[pid=5829] ppid=5826 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 17701452 27639808 766 33554432000 4194304 5970956 140736127714032 140736127710680 5377046 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 6748 766 683 434 0 112 0
[startup+0.10016 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5829
/proc/meminfo: memFree=31830972/32770624 swapFree=6644/25404
[pid=5829] ppid=5826 vsize=27244 CPUtime=0.09 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 1080 0 0 0 9 0 0 0 20 0 1 0 17701452 27897856 921 33554432000 4194304 5970956 140736127714032 140736127706368 140227652666602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 6811 921 783 434 0 175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27244
[startup+0.200317 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5829
/proc/meminfo: memFree=31830972/32770624 swapFree=6644/25404
[pid=5829] ppid=5826 vsize=27368 CPUtime=0.19 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 1131 0 0 0 19 0 0 0 20 0 1 0 17701452 28024832 951 33554432000 4194304 5970956 140736127714032 140736127707864 140227652674448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 6842 951 783 434 0 206 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27368
[startup+0.300248 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5829
/proc/meminfo: memFree=31830972/32770624 swapFree=6644/25404
[pid=5829] ppid=5826 vsize=27604 CPUtime=0.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 1191 0 0 0 29 0 0 0 20 0 1 0 17701452 28266496 1011 33554432000 4194304 5970956 140736127714032 140736127707864 140227643405680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 6901 1011 783 434 0 265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27604
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5829
/proc/meminfo: memFree=31830972/32770624 swapFree=6644/25404
[pid=5829] ppid=5826 vsize=28592 CPUtime=0.69 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 1430 0 0 0 69 0 0 0 20 0 1 0 17701452 29278208 1226 33554432000 4194304 5970956 140736127714032 140736127707864 5094467 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 7148 1226 783 434 0 512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28592
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31827924/32770624 swapFree=6644/25428
[pid=5829] ppid=5826 vsize=34576 CPUtime=1.49 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 1914 0 0 0 149 0 0 0 20 0 1 0 17701452 35405824 1730 33554432000 4194304 5970956 140736127714032 140736127711368 5070988 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8644 1730 840 434 0 2008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34576
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826808/32770624 swapFree=6644/25428
[pid=5829] ppid=5826 vsize=34576 CPUtime=3.09 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 2794 0 0 0 309 0 0 0 20 0 1 0 17701452 35405824 1765 33554432000 4194304 5970956 140736127714032 140736127711368 4964352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8644 1765 842 434 0 2008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34576
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826752/32770624 swapFree=6644/25428
[pid=5829] ppid=5826 vsize=34704 CPUtime=6.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 3732 0 0 0 629 0 0 0 20 0 1 0 17701452 35536896 1824 33554432000 4194304 5970956 140736127714032 140736127711368 5070313 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1824 842 434 0 2040 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34704
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826388/32770624 swapFree=6644/25444
[pid=5829] ppid=5826 vsize=34704 CPUtime=12.69 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 4669 0 0 0 1269 0 0 0 20 0 1 0 17701452 35536896 1841 33554432000 4194304 5970956 140736127714032 140736127711368 4964777 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1841 842 434 0 2040 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34704
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826132/32770624 swapFree=6644/25464
[pid=5829] ppid=5826 vsize=34704 CPUtime=25.49 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 6539 0 0 0 2549 0 0 0 20 0 1 0 17701452 35536896 1849 33554432000 4194304 5970956 140736127714032 140736127711368 4908988 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1849 842 434 0 2040 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34704
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826256/32770624 swapFree=6644/25496
[pid=5829] ppid=5826 vsize=34704 CPUtime=51.09 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 7483 0 0 0 5109 0 0 0 20 0 1 0 17701452 35536896 1853 33554432000 4194304 5970956 140736127714032 140736127711368 5098928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1853 842 434 0 2040 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34704
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5831
/proc/meminfo: memFree=31825876/32770624 swapFree=6644/25568
[pid=5829] ppid=5826 vsize=34704 CPUtime=102.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 8431 0 0 0 10229 0 0 0 20 0 1 0 17701452 35536896 1857 33554432000 4194304 5970956 140736127714032 140736127711368 4987120 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1857 842 434 0 2040 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 34704
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5832
/proc/meminfo: memFree=31825412/32770624 swapFree=6644/25628
[pid=5829] ppid=5826 vsize=34704 CPUtime=162.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 9377 0 0 0 16228 0 0 0 20 0 1 0 17701452 35536896 1859 33554432000 4194304 5970956 140736127714032 140736127711368 4968264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1859 842 434 0 2040 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 34704
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5834
/proc/meminfo: memFree=31825812/32770624 swapFree=6644/25696
[pid=5829] ppid=5826 vsize=34704 CPUtime=222.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 10324 0 0 0 22228 0 0 0 20 0 1 0 17701452 35536896 1861 33554432000 4194304 5970956 140736127714032 140736127711368 4908971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1861 842 434 0 2040 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 34704
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5835
/proc/meminfo: memFree=31825696/32770624 swapFree=6644/25752
[pid=5829] ppid=5826 vsize=34704 CPUtime=282.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 11273 0 0 0 28228 0 0 0 20 0 1 0 17701452 35536896 1861 33554432000 4194304 5970956 140736127714032 140736127711368 4964366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1861 842 434 0 2040 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 34704
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31825324/32770624 swapFree=6644/25804
[pid=5829] ppid=5826 vsize=34704 CPUtime=342.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 12223 0 0 0 34227 1 0 0 20 0 1 0 17701452 35536896 1863 33554432000 4194304 5970956 140736127714032 140736127711368 4964363 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1863 842 434 0 2040 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 34704
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5898
/proc/meminfo: memFree=29733292/32770624 swapFree=6644/25968
[pid=5829] ppid=5826 vsize=34704 CPUtime=402.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 13184 0 0 0 40227 1 0 0 20 0 1 0 17701452 35536896 1868 33554432000 4194304 5970956 140736127714032 140736127711368 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1868 842 434 0 2040 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 34704
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5899
/proc/meminfo: memFree=29711900/32770624 swapFree=6644/26068
[pid=5829] ppid=5826 vsize=34704 CPUtime=462.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 14139 0 0 0 46227 1 0 0 20 0 1 0 17701452 35536896 1869 33554432000 4194304 5970956 140736127714032 140736127711368 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1869 842 434 0 2040 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 34704
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5907
/proc/meminfo: memFree=29695052/32770624 swapFree=6644/26144
[pid=5829] ppid=5826 vsize=34704 CPUtime=522.27 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 15095 0 0 0 52226 1 0 0 20 0 1 0 17701452 35536896 1869 33554432000 4194304 5970956 140736127714032 140736127711368 4964397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1869 842 434 0 2040 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 34704
[startup+582.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/188 5931
/proc/meminfo: memFree=29693976/32770624 swapFree=6644/26188
[pid=5829] ppid=5826 vsize=34704 CPUtime=582.27 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 16051 0 0 0 58226 1 0 0 20 0 1 0 17701452 35536896 1870 33554432000 4194304 5970956 140736127714032 140736127711368 4967879 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8676 1870 842 434 0 2040 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 34704
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5955
/proc/meminfo: memFree=29694412/32770624 swapFree=6644/26840
[pid=5829] ppid=5826 vsize=34836 CPUtime=1542.24 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 31305 0 0 0 154223 1 0 0 20 0 1 0 17701452 35672064 1879 33554432000 4194304 5970956 140736127714032 140736127711368 4964366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1879 842 434 0 2073 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 34836
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 5956
/proc/meminfo: memFree=29693820/32770624 swapFree=6644/26876
[pid=5829] ppid=5826 vsize=34836 CPUtime=1602.23 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 32271 0 0 0 160222 1 0 0 20 0 1 0 17701452 35672064 1879 33554432000 4194304 5970956 140736127714032 140736127711368 4964289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1879 842 434 0 2073 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 34836
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5957
/proc/meminfo: memFree=29692144/32770624 swapFree=6644/26904
[pid=5829] ppid=5826 vsize=34836 CPUtime=1662.23 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 33224 0 0 0 166222 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 5327993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 34836
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 5965
/proc/meminfo: memFree=29691040/32770624 swapFree=6644/26944
[pid=5829] ppid=5826 vsize=34836 CPUtime=1722.23 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 34181 0 0 0 172222 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 4967861 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 34836
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 5966
/proc/meminfo: memFree=29689376/32770624 swapFree=6644/26980
[pid=5829] ppid=5826 vsize=34836 CPUtime=1782.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 35147 0 0 0 178221 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 4965059 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 34836
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5967
/proc/meminfo: memFree=29689756/32770624 swapFree=6644/27016
[pid=5829] ppid=5826 vsize=34836 CPUtime=1842.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 36098 0 0 0 184221 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 4968229 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 34836
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5968
/proc/meminfo: memFree=29690004/32770624 swapFree=6644/27048
[pid=5829] ppid=5826 vsize=34836 CPUtime=1902.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 37051 0 0 0 190221 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 34836
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5969
/proc/meminfo: memFree=29690128/32770624 swapFree=6644/27088
[pid=5829] ppid=5826 vsize=34836 CPUtime=1962.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 38017 0 0 0 196221 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 4965047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 34836
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5971
/proc/meminfo: memFree=29690140/32770624 swapFree=6644/27124
[pid=5829] ppid=5826 vsize=34836 CPUtime=2022.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 38976 0 0 0 202221 1 0 0 20 0 1 0 17701452 35672064 1880 33554432000 4194304 5970956 140736127714032 140736127711368 4961194 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1880 842 434 0 2073 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 34836
[startup+2082.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 5972
/proc/meminfo: memFree=29690128/32770624 swapFree=6644/27160
[pid=5829] ppid=5826 vsize=34836 CPUtime=2082.22 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 39934 0 0 0 208221 1 0 0 20 0 1 0 17701452 35672064 1881 33554432000 4194304 5970956 140736127714032 140736127711368 4964576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1881 842 434 0 2073 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 34836
[startup+2142.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/187 5973
/proc/meminfo: memFree=29689944/32770624 swapFree=6644/27204
[pid=5829] ppid=5826 vsize=34836 CPUtime=2142.21 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 40902 0 0 0 214220 1 0 0 20 0 1 0 17701452 35672064 1881 33554432000 4194304 5970956 140736127714032 140736127711368 4964440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1881 842 434 0 2073 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 34836
[startup+2202.31 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 5975
/proc/meminfo: memFree=29689572/32770624 swapFree=6644/27236
[pid=5829] ppid=5826 vsize=34836 CPUtime=2202.21 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 41846 0 0 0 220220 1 0 0 20 0 1 0 17701452 35672064 1882 33554432000 4194304 5970956 140736127714032 140736127711368 4967728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1882 842 434 0 2073 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 34836
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 5976
/proc/meminfo: memFree=29689708/32770624 swapFree=6644/27264
[pid=5829] ppid=5826 vsize=34836 CPUtime=2262.21 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 42808 0 0 0 226220 1 0 0 20 0 1 0 17701452 35672064 1882 33554432000 4194304 5970956 140736127714032 140736127711368 5071028 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1882 842 434 0 2073 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 34836
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 5984
/proc/meminfo: memFree=29689268/32770624 swapFree=6644/27304
[pid=5829] ppid=5826 vsize=34836 CPUtime=2322.21 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 43782 0 0 0 232220 1 0 0 20 0 1 0 17701452 35672064 1883 33554432000 4194304 5970956 140736127714032 140736127711368 4964912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1883 842 434 0 2073 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 34836
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5985
/proc/meminfo: memFree=29689764/32770624 swapFree=6644/27340
[pid=5829] ppid=5826 vsize=34836 CPUtime=2382.2 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 44752 0 0 0 238219 1 0 0 20 0 1 0 17701452 35672064 1883 33554432000 4194304 5970956 140736127714032 140736127711368 5069728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1883 842 434 0 2073 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 34836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5986
/proc/meminfo: memFree=29689764/32770624 swapFree=6644/27360
[pid=5829] ppid=5826 vsize=34836 CPUtime=2400 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 45670 0 0 0 239999 1 0 0 20 0 1 0 17701452 35672064 1884 33554432000 4194304 5970956 140736127714032 140736127711368 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1884 842 434 0 2073 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 34836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5829 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5986
/proc/meminfo: memFree=29689764/32770624 swapFree=6644/27360
[pid=5829] ppid=5826 vsize=34836 CPUtime=2400 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 4637 0 -1 4202496 45670 0 0 0 239999 1 0 0 20 0 1 0 17701452 35672064 1884 33554432000 4194304 5970956 140736127714032 140736127711368 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17121280 140736127722684 140736127722819 140736127722819 140736127725518 0
/proc/5829/statm: 8709 1884 842 434 0 2073 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 34836
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.02
CPU user time (s): 2400
CPU system time (s): 0.017999
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 34836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.017999
maximum resident set size= 7584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45697
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= 120606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48378 second user time and 8.47641 second system time
The end