0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c intension hd[0]<ad[0] using generic constraint
0.00/0.06 c intension hd[1]<ad[1] using generic constraint
0.00/0.06 c intension hd[2]<ad[2] using generic constraint
0.00/0.06 c intension hd[3]<ad[3] using generic constraint
0.00/0.06 c intension hd[4]<ad[4] using generic constraint
0.00/0.06 c intension hd[5]<ad[5] using generic constraint
0.00/0.06 c intension hd[6]<ad[6] using generic constraint
0.00/0.06 c intension hd[7]<ad[7] using generic constraint
0.00/0.06 c intension hd[8]<ad[8] using generic constraint
0.00/0.06 c intension hd[9]<ad[9] using generic constraint
0.00/0.06 c intension hd[10]<ad[10] using generic constraint
0.00/0.06 c intension hd[11]<ad[11] using generic constraint
0.00/0.07 c intension hd[12]<ad[12] using generic constraint
0.00/0.07 c intension hd[13]<ad[13] using generic constraint
1.88/1.92 c SAT : Variables: 164836 -- Clauses: 27231148
1.88/1.96 c root propagations : 8273
1.88/1.96 c restarts enabled, print stats at every restarts
1.88/1.96 c
1.88/1.96 c
1.88/1.96 c
1.88/1.96 c This is cosoco 1.0 --
1.88/1.96 c
1.88/1.96 c ========================================[ Problem Statistics ]===========================================
1.88/1.96 c |
1.88/1.96 c | Parse time : 1.64 s
1.88/1.96 c |
1.88/1.96 c | Variables: 1162
1.88/1.96 c | Domain Sizes: 28..378
1.88/1.96 c |
1.88/1.96 c | Constraints: 1638
1.88/1.96 c | Arity: 1..378 -- Unary: 14 -- Binary: 14 -- Ternary: 378
1.88/1.96 c |
1.88/1.96 c | Types:
1.88/1.96 c | (X - Y < k): 14
1.88/1.96 c | All Different: 29
1.88/1.96 c | At least: 392
1.88/1.96 c | At most: 392
1.88/1.96 c | Exactly K: 419
1.88/1.96 c | Extension: 378 (nb tuples: 378..378) -- (shared: 377)
1.88/1.96 c | Intension: 14
1.88/1.96 c |
1.88/1.96 c =========================================================================================================
1.88/1.96 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.88/1.97 c 10 94 82123 18489 1162 10 77 85 74
1.99/2.01 c 20 299 142152 44740 1162 15 1 195 149
1.99/2.03 c 30 398 169652 55962 1162 20 44 88 71
1.99/2.04 c 40 499 197401 67417 1162 26 47 88 71
1.99/2.06 c 50 597 224551 78021 1162 30 47 88 72
1.99/2.07 c 60 689 247145 87887 1162 34 2 79 63
2.09/2.12 c 70 965 322489 121632 1162 39 86 239 190
2.09/2.14 c 80 1058 349649 131612 1162 43 47 82 70
2.09/2.15 c 90 1148 371919 141102 1162 48 77 79 70
2.09/2.16 c 100 1240 394047 150784 1162 52 16 79 65
2.09/2.17 c 101 1256 396663 151590 1162 53 16 16 8
2.09/2.18 c 110 1344 421930 160334 1162 55 1 79 62
2.09/2.19 c 120 1437 446464 170032 1162 59 44 79 67
2.19/2.21 c 130 1529 470531 179686 1162 64 44 79 67
2.19/2.22 c 140 1621 495259 189322 1162 68 44 79 67
2.19/2.23 c 150 1713 518762 199018 1162 71 77 79 70
2.19/2.24 c 160 1807 540166 208736 1162 74 77 79 71
2.19/2.25 c 170 1899 563858 218440 1162 79 44 79 67
2.19/2.27 c 180 1993 587850 228187 1162 86 44 79 68
2.19/2.28 c 190 2085 609520 237817 1162 90 16 79 65
2.19/2.29 c 200 2182 634314 247983 1162 94 77 79 71
2.29/2.30 c 210 2275 658015 258072 1162 99 2 79 63
2.29/2.31 c 211 2354 677343 263443 1162 100 79 79 39
2.29/2.32 c 220 2447 701790 272977 1162 106 77 79 70
2.29/2.33 c 230 2539 724186 282588 1162 109 77 79 70
2.29/2.35 c 240 2631 749045 292132 1162 112 77 79 70
2.29/2.36 c 250 2724 772008 302056 1162 116 77 79 70
2.29/2.37 c 260 2818 795372 311954 1162 120 2 79 64
2.29/2.38 c 270 2911 819827 322005 1162 124 77 79 70
2.29/2.39 c 280 2999 841177 331826 1162 126 2 77 63
2.38/2.41 c 290 3092 866570 341820 1162 131 16 79 65
2.38/2.42 c 300 3185 888511 352137 1162 135 77 79 70
2.38/2.43 c 310 3276 910258 362258 1162 137 77 77 70
2.38/2.44 c 320 3369 935101 372380 1162 142 16 79 65
2.38/2.45 c 330 3465 957486 382783 1162 148 2 79 64
2.38/2.46 c 332 3543 976341 388582 1162 150 77 77 51
2.38/2.48 c 340 3631 999554 397508 1162 155 16 79 62
2.38/2.49 c 350 3722 1022610 407681 1162 157 77 77 70
2.38/2.50 c 360 3813 1043447 417631 1162 159 77 77 70
2.48/2.51 c 370 3878 1065740 427754 1162 163 49 51 45
2.48/2.52 c 380 3938 1084699 437329 1162 165 2 49 40
2.48/2.53 c 390 4003 1106541 447242 1162 169 49 51 45
2.48/2.54 c 400 4063 1126278 456967 1162 171 2 49 40
2.48/2.55 c 410 4123 1146671 466526 1162 173 16 49 41
2.48/2.56 c 420 4188 1167259 476465 1162 177 49 51 45
2.48/2.56 c 430 4253 1186266 486528 1162 181 49 51 45
2.48/2.57 c 440 4318 1206089 496702 1162 185 49 51 45
2.48/2.58 c 450 4381 1225830 506620 1162 190 2 51 40
2.48/2.59 c 460 4446 1247120 516659 1162 194 49 51 45
2.58/2.60 c 465 4500 1264638 524101 1162 197 49 49 40
2.58/2.61 c 470 4559 1285750 531705 1162 200 49 51 42
2.58/2.62 c 480 4620 1306740 541686 1162 202 47 49 44
2.58/2.63 c 490 4683 1328172 551681 1162 207 16 51 41
2.58/2.64 c 500 4744 1347934 561767 1162 209 47 49 44
2.58/2.65 c 510 4807 1367731 571702 1162 214 49 51 44
2.58/2.66 c 520 4870 1387497 581678 1162 219 49 51 44
2.58/2.67 c 530 4933 1407620 591887 1162 224 49 51 44
2.58/2.68 c 540 4996 1428813 602050 1162 229 16 51 41
2.58/2.69 c 550 5059 1448637 612035 1162 234 49 51 44
2.68/2.70 c 560 5122 1468384 622011 1162 239 49 51 44
2.68/2.71 c 570 5187 1488652 632085 1162 243 49 51 45
2.68/2.72 c 580 5250 1508470 642034 1162 248 49 51 44
2.68/2.72 c 590 5311 1528044 652008 1162 250 47 49 44
2.68/2.73 c 600 5374 1548492 662099 1162 255 49 51 44
2.68/2.74 c 610 5442 1569304 672606 1162 260 49 51 45
2.68/2.75 c 611 5493 1584916 678029 1162 261 51 51 25
2.68/2.76 c 620 5548 1605071 686430 1162 262 45 47 41
2.68/2.77 c 630 5609 1626238 696432 1162 264 47 49 44
2.68/2.78 c 640 5665 1645180 705218 1162 270 45 47 41
2.68/2.79 c 650 5726 1663581 715223 1162 272 47 49 44
2.68/2.79 c 660 5789 1684332 725204 1162 277 49 51 44
2.78/2.80 c 670 5850 1704543 735060 1162 279 47 49 44
2.78/2.81 c 680 5918 1725756 745725 1162 284 49 51 45
2.78/2.82 c 690 5981 1746108 755683 1162 289 2 51 40
2.78/2.83 c 700 6044 1766457 765620 1162 294 49 51 44
2.78/2.84 c 710 6107 1786523 775711 1162 299 49 51 44
2.78/2.85 c 720 6170 1806399 785764 1162 304 49 51 44
2.78/2.86 c 730 6233 1826217 795713 1162 309 49 51 44
2.78/2.87 c 740 6296 1846014 805662 1162 314 49 51 44
2.78/2.88 c 750 6359 1865969 815759 1162 319 49 51 44
2.78/2.89 c 760 6422 1886129 825910 1162 324 49 51 44
2.78/2.90 c 770 6485 1905939 835886 1162 329 49 51 44
2.88/2.90 c 771 6530 1922330 841275 1162 330 45 45 22
2.88/2.91 c 780 6585 1942567 849699 1162 335 45 47 41
2.88/2.92 c 790 6643 1961170 859229 1162 339 47 47 42
2.88/2.93 c 800 6698 1982025 868305 1162 341 45 45 40
2.88/2.94 c 810 6753 2002186 877609 1162 343 45 45 40
2.88/2.95 c 820 6808 2022505 886961 1162 345 45 45 40
2.88/2.95 c 830 6863 2042150 896325 1162 347 45 45 40
2.88/2.96 c 840 6926 2061968 906274 1162 352 49 51 44
2.88/2.97 c 850 6984 2082081 915715 1162 356 47 47 42
2.88/2.98 c 860 7037 2101450 924818 1162 361 43 43 39
2.88/2.99 c 870 7092 2120105 933878 1162 363 45 45 40
2.98/3.00 c 880 7147 2138739 943158 1162 365 45 45 40
2.98/3.01 c 890 7205 2157615 953051 1162 369 47 47 42
2.98/3.01 c 900 7263 2176145 962572 1162 373 47 47 42
2.98/3.02 c 910 7321 2194610 972101 1162 377 47 47 42
2.98/3.03 c 920 7379 2213357 981778 1162 381 47 47 42
2.98/3.04 c 930 7434 2232885 990882 1162 383 45 45 40
2.98/3.05 c 940 7489 2251715 1000098 1162 385 45 45 40
2.98/3.05 c 947 7543 2269460 1008113 1162 389 47 47 41
2.98/3.06 c 950 7590 2286211 1014258 1162 392 45 45 33
2.98/3.07 c 960 7643 2306392 1023231 1162 397 43 43 39
2.98/3.08 c 970 7698 2325996 1032317 1162 399 45 45 40
2.98/3.09 c 980 7751 2345683 1041443 1162 404 43 43 39
2.98/3.09 c 990 7804 2364262 1050620 1162 409 43 43 39
3.08/3.10 c 1000 7862 2383842 1060389 1162 413 47 47 42
3.08/3.11 c 1010 7915 2403368 1069442 1162 418 43 43 39
3.08/3.12 c 1020 7968 2421935 1078515 1162 423 43 43 39
3.08/3.13 c 1030 8023 2441813 1087711 1162 425 45 45 40
3.08/3.14 c 1040 8078 2461067 1096757 1162 427 45 45 40
3.08/3.14 c 1050 8136 2480519 1106310 1162 431 47 47 42
3.08/3.15 c 1060 8194 2499865 1115875 1162 435 47 47 42
3.08/3.16 c 1070 8249 2518661 1125083 1162 437 45 45 40
3.08/3.17 c 1080 8307 2537180 1134743 1162 441 47 47 42
3.08/3.18 c 1090 8365 2555807 1144376 1162 445 47 47 42
3.08/3.19 c 1100 8423 2574353 1153953 1162 449 47 47 42
3.08/3.19 c 1110 8478 2593119 1163169 1162 451 45 45 40
3.18/3.20 c 1120 8533 2611777 1172397 1162 453 45 45 40
3.18/3.21 c 1130 8591 2631125 1181850 1162 457 47 47 42
3.18/3.22 c 1140 8646 2650076 1191093 1162 459 45 45 40
3.18/3.23 c 1141 8693 2667255 1196438 1162 460 47 47 23
3.18/3.23 c 1150 8745 2686107 1205226 1162 464 43 43 38
3.18/3.24 c 1160 8800 2705678 1214322 1162 466 45 45 40
3.18/3.25 c 1170 8855 2724293 1223488 1162 468 45 45 40
3.18/3.26 c 1180 8910 2743037 1232540 1162 470 45 45 40
3.18/3.27 c 1190 8963 2762364 1241541 1162 475 43 43 39
3.18/3.27 c 1200 9018 2780961 1250796 1162 477 45 45 40
3.18/3.28 c 1210 9071 2800843 1259993 1162 482 43 43 39
3.18/3.29 c 1220 9126 2819682 1269105 1162 484 45 45 40
3.18/3.30 c 1230 9181 2838501 1278375 1162 486 45 45 40
3.30/3.31 c 1240 9239 2858110 1288032 1162 490 47 47 42
3.30/3.32 c 1250 9290 2877155 1297158 1162 494 41 41 37
3.30/3.32 c 1260 9343 2896954 1306251 1162 499 43 43 39
3.30/3.33 c 1270 9398 2916081 1315403 1162 501 45 45 40
3.30/3.34 c 1280 9451 2935791 1324560 1162 506 43 43 39
3.30/3.35 c 1290 9506 2954645 1333662 1162 508 45 45 40
3.30/3.36 c 1300 9561 2973441 1342764 1162 510 45 45 40
3.30/3.37 c 1310 9619 2991971 1352285 1162 514 47 47 42
3.30/3.37 c 1320 9670 3011584 1361355 1162 518 41 41 37
3.30/3.38 c 1330 9721 3030148 1370341 1162 522 41 41 37
3.30/3.39 c 1340 9772 3049392 1379305 1162 526 41 41 37
3.30/3.40 c 1350 9827 3069178 1388439 1162 528 45 45 40
3.40/3.41 c 1352 9869 3085758 1394183 1162 530 41 41 27
3.40/3.41 c 1360 9920 3104039 1402579 1162 533 43 43 38
3.40/3.42 c 1370 9973 3123673 1411603 1162 538 41 43 38
3.40/3.43 c 1380 10028 3142871 1420834 1162 540 45 45 40
3.40/3.44 c 1390 10077 3161701 1429866 1162 543 39 39 35
3.40/3.45 c 1400 10128 3180339 1438904 1162 547 41 41 37
3.40/3.45 c 1410 10179 3200092 1447853 1162 551 41 41 37
3.40/3.46 c 1420 10230 3219590 1456814 1162 555 41 41 37
3.40/3.47 c 1430 10281 3237899 1465798 1162 559 41 41 37
3.40/3.48 c 1440 10332 3256325 1474886 1162 563 41 41 37
3.40/3.48 c 1450 10379 3275641 1483763 1162 565 37 37 33
3.40/3.49 c 1460 10430 3294198 1492762 1162 569 41 41 37
3.49/3.50 c 1470 10481 3312953 1501865 1162 573 41 41 37
3.49/3.51 c 1480 10532 3331466 1510990 1162 577 41 41 37
3.49/3.52 c 1490 10583 3351039 1520060 1162 581 41 41 37
3.49/3.53 c 1500 10632 3370210 1529080 1162 584 39 39 35
3.49/3.53 c 1510 10683 3388947 1538274 1162 588 41 41 37
3.49/3.54 c 1520 10732 3407967 1547410 1162 591 39 39 35
3.49/3.55 c 1530 10783 3426500 1556616 1162 595 41 41 37
3.49/3.56 c 1540 10834 3444809 1565666 1162 599 41 41 37
3.49/3.56 c 1550 10881 3464177 1574595 1162 601 37 37 33
3.49/3.57 c 1560 10932 3482686 1583697 1162 605 41 41 37
3.49/3.58 c 1570 10983 3501336 1592735 1162 609 41 41 37
3.49/3.59 c 1580 11034 3519749 1601771 1162 613 41 41 37
3.49/3.60 c 1585 11075 3537311 1608433 1162 618 37 37 30
3.59/3.60 c 1590 11122 3553869 1615260 1162 623 43 43 35
3.59/3.61 c 1600 11173 3572433 1624232 1162 627 41 41 37
3.59/3.62 c 1610 11224 3590837 1633268 1162 631 41 41 37
3.59/3.63 c 1620 11277 3608745 1642405 1162 636 43 43 39
3.59/3.63 c 1630 11330 3626773 1651575 1162 641 43 43 39
3.59/3.64 c 1640 11383 3644629 1660654 1162 646 43 43 39
3.59/3.65 c 1650 11436 3662749 1669895 1162 651 43 43 39
3.59/3.66 c 1660 11489 3680464 1678934 1162 656 43 43 39
3.59/3.67 c 1670 11542 3698363 1688129 1162 661 43 43 39
3.59/3.67 c 1680 11595 3716280 1697208 1162 666 43 43 39
3.59/3.68 c 1690 11648 3734198 1706345 1162 671 43 43 39
3.59/3.69 c 1700 11701 3751995 1715411 1162 676 43 43 39
3.59/3.70 c 1710 11750 3770128 1724350 1162 679 39 39 35
3.69/3.70 c 1720 11799 3787260 1733416 1162 682 39 39 35
3.69/3.71 c 1730 11848 3806379 1742540 1162 685 39 39 35
3.69/3.72 c 1740 11897 3825326 1751676 1162 688 39 39 35
3.69/3.73 c 1750 11944 3843792 1760564 1162 690 37 37 33
3.69/3.73 c 1760 11995 3862205 1769666 1162 694 41 41 37
3.69/3.74 c 1770 12044 3880676 1778604 1162 697 39 39 35
3.69/3.75 c 1780 12097 3898486 1787695 1162 702 43 43 39
3.69/3.76 c 1790 12146 3918065 1796651 1162 705 37 39 35
3.69/3.77 c 1800 12195 3935348 1805769 1162 708 39 39 35
3.69/3.77 c 1810 12246 3953984 1814975 1162 712 41 41 37
3.69/3.78 c 1820 12293 3973281 1824151 1162 714 37 37 33
3.69/3.79 c 1830 12340 3992656 1833184 1162 716 37 37 33
3.79/3.80 c 1840 12391 4010965 1842234 1162 720 41 41 37
3.79/3.80 c 1841 12432 4027183 1847447 1162 721 41 41 20
3.79/3.81 c 1850 12482 4045434 1856226 1162 724 41 41 36
3.79/3.82 c 1860 12531 4064415 1865142 1162 727 39 39 35
3.79/3.82 c 1870 12575 4081340 1873721 1162 728 35 35 31
3.79/3.83 c 1880 12628 4099248 1882794 1162 733 43 43 39
3.79/3.84 c 1890 12677 4118063 1891826 1162 736 39 39 35
3.79/3.85 c 1900 12724 4136499 1900772 1162 738 37 37 33
3.79/3.86 c 1910 12768 4154016 1909341 1162 739 35 35 31
3.79/3.86 c 1920 12812 4171059 1917999 1162 740 35 35 31
3.79/3.87 c 1930 12859 4189960 1927031 1162 742 37 37 33
3.79/3.88 c 1940 12908 4208364 1936166 1162 745 39 39 35
3.79/3.89 c 1950 12955 4226136 1945239 1162 747 37 37 33
3.79/3.89 c 1960 13004 4244605 1954206 1162 750 39 39 35
3.89/3.90 c 1970 13051 4262511 1963273 1162 752 37 37 33
3.89/3.91 c 1980 13098 4280418 1972230 1162 754 37 37 33
3.89/3.92 c 1990 13149 4299105 1981306 1162 758 41 41 37
3.89/3.92 c 2000 13193 4316456 1989769 1162 759 35 35 31
3.89/3.93 c 2010 13242 4335074 1998811 1162 762 39 39 35
3.89/3.94 c 2020 13291 4353815 2007791 1162 765 39 39 35
3.89/3.95 c 2030 13340 4370908 2016909 1162 768 39 39 35
3.89/3.96 c 2040 13391 4389330 2026011 1162 772 41 41 37
3.89/3.96 c 2050 13433 4406930 2034414 1162 782 33 33 30
3.89/3.97 c 2060 13484 4425615 2043452 1162 786 41 41 37
3.89/3.98 c 2070 13533 4443376 2052467 1162 789 39 39 35
3.89/3.99 c 2080 13577 4460875 2061138 1162 790 35 35 31
3.89/3.99 c 2090 13621 4478343 2069653 1162 791 35 35 31
3.99/4.00 c 2100 13665 4495396 2078232 1162 792 35 35 31
3.99/4.01 c 2110 13712 4514443 2087130 1162 794 37 37 33
3.99/4.02 c 2120 13761 4531599 2096194 1162 797 39 39 35
3.99/4.02 c 2122 13799 4547009 2101757 1162 799 37 37 24
3.99/4.03 c 2130 13843 4563444 2109722 1162 807 37 37 32
3.99/4.04 c 2140 13890 4580977 2118743 1162 809 37 37 33
3.99/4.04 c 2150 13937 4598758 2127779 1162 811 37 37 33
3.99/4.05 c 2160 13984 4616347 2136723 1162 813 37 37 33
3.99/4.06 c 2170 14031 4634368 2145842 1162 815 37 37 33
3.99/4.07 c 2180 14078 4652383 2154955 1162 817 37 37 33
3.99/4.07 c 2190 14122 4668712 2163559 1162 818 35 35 31
3.99/4.08 c 2200 14166 4684927 2172111 1162 819 35 35 31
3.99/4.09 c 2210 14213 4702716 2181004 1162 821 37 37 33
3.99/4.09 c 2220 14257 4720236 2189553 1162 822 35 35 31
4.09/4.10 c 2230 14304 4737790 2198626 1162 824 37 37 33
4.09/4.11 c 2240 14348 4755200 2207247 1162 825 35 35 31
4.09/4.12 c 2250 14392 4772125 2215724 1162 826 35 35 31
4.09/4.12 c 2260 14436 4788461 2224459 1162 827 35 35 31
4.09/4.13 c 2270 14483 4806233 2233507 1162 829 37 37 33
4.09/4.14 c 2280 14530 4824191 2242497 1162 831 37 37 33
4.09/4.15 c 2290 14574 4841172 2251103 1162 832 35 35 31
4.09/4.15 c 2300 14618 4857473 2259707 1162 833 35 35 31
4.09/4.16 c 2310 14667 4874694 2268877 1162 836 39 39 35
4.09/4.17 c 2320 14711 4891876 2277508 1162 837 35 35 31
4.09/4.17 c 2330 14758 4909409 2286425 1162 839 37 37 33
4.09/4.18 c 2340 14800 4926053 2294911 1162 849 33 33 30
4.09/4.19 c 2350 14844 4942498 2303567 1162 850 35 35 31
4.19/4.20 c 2360 14891 4960404 2312512 1162 852 37 37 33
4.19/4.20 c 2370 14933 4977176 2321104 1162 862 33 33 30
4.19/4.21 c 2380 14977 4994101 2329683 1162 863 35 35 31
4.19/4.22 c 2390 15019 5010800 2338203 1162 873 33 33 30
4.19/4.22 c 2400 15063 5027071 2346886 1162 874 35 35 31
4.19/4.24 c 2410 15169 5058594 2355198 1162 884 86 97 86
4.19/4.26 c 2420 15218 5077267 2364248 1162 886 19 40 34
4.19/4.26 c 2430 15265 5094793 2373192 1162 888 37 37 33
4.19/4.27 c 2431 15304 5109613 2378442 1162 889 39 39 19
4.19/4.28 c 2440 15347 5126491 2386643 1162 898 35 35 31
4.19/4.28 c 2450 15391 5142762 2395222 1162 899 35 35 31
4.19/4.29 c 2460 15433 5159515 2403652 1162 909 33 33 30
4.29/4.30 c 2470 15477 5175740 2412308 1162 910 35 35 31
4.29/4.30 c 2480 15517 5192741 2420663 1162 920 31 31 28
4.29/4.31 c 2490 15559 5209400 2429201 1162 930 33 33 30
4.29/4.32 c 2500 15599 5226512 2437642 1162 940 31 31 28
4.29/4.32 c 2510 15643 5242696 2446194 1162 941 35 35 31
4.29/4.34 c 2520 15749 5274262 2454464 1162 951 89 97 87
4.29/4.36 c 2530 15796 5293195 2463479 1162 961 19 38 32
4.29/4.37 c 2540 15840 5309423 2472135 1162 962 35 35 31
4.29/4.37 c 2550 15882 5326302 2480669 1162 972 33 33 30
4.29/4.38 c 2560 15926 5342580 2489325 1162 973 35 35 31
4.29/4.39 c 2570 15970 5359931 2497770 1162 974 35 35 31
4.29/4.39 c 2580 16012 5377524 2506200 1162 984 33 33 30
4.29/4.40 c 2590 16056 5393815 2514806 1162 985 35 35 31
4.40/4.41 c 2600 16100 5410086 2523385 1162 986 35 35 31
4.40/4.42 c 2610 16142 5426925 2531867 1162 996 33 33 30
4.40/4.42 c 2620 16186 5443150 2540523 1162 997 35 35 31
4.40/4.43 c 2630 16226 5460151 2548878 1162 1007 31 31 28
4.40/4.44 c 2640 16268 5476862 2557398 1162 1017 33 33 30
4.40/4.44 c 2650 16308 5493833 2565909 1162 1027 31 31 28
4.40/4.45 c 2660 16350 5510697 2574501 1162 1037 33 33 30
4.40/4.46 c 2670 16394 5526860 2583105 1162 1038 35 35 31
4.40/4.46 c 2680 16434 5544024 2591668 1162 1048 31 31 28
4.40/4.47 c 2690 16476 5560903 2600306 1162 1058 33 33 30
4.40/4.48 c 2700 16516 5578046 2608747 1162 1068 31 31 28
4.40/4.49 c 2710 16560 5594202 2617378 1162 1069 35 35 31
4.40/4.49 c 2720 16600 5610185 2625762 1162 1079 31 31 28
4.40/4.50 c 2730 16642 5626951 2634327 1162 1089 33 33 30
4.50/4.51 c 2740 16684 5643704 2642757 1162 1099 33 33 30
4.50/4.51 c 2750 16724 5659739 2651295 1162 1109 31 31 28
4.50/4.52 c 2760 16768 5675902 2659795 1162 1110 35 35 31
4.50/4.53 c 2770 16808 5693051 2668254 1162 1120 31 31 28
4.50/4.53 c 2771 16841 5708102 2673418 1162 1121 33 33 16
4.50/4.54 c 2780 16882 5724506 2681468 1162 1130 33 33 29
4.50/4.55 c 2790 16922 5741569 2689981 1162 1140 31 31 28
4.50/4.55 c 2800 16964 5758283 2698519 1162 1150 33 33 30
4.50/4.56 c 2810 17008 5775810 2707086 1162 1151 35 35 31
4.50/4.57 c 2820 17048 5792885 2715597 1162 1161 31 31 28
4.50/4.57 c 2830 17090 5809690 2724079 1162 1171 33 33 30
4.50/4.58 c 2840 17130 5826759 2732590 1162 1181 31 31 28
4.50/4.59 c 2850 17174 5842922 2741072 1162 1182 35 35 31
4.50/4.59 c 2860 17214 5858898 2749481 1162 1192 31 31 28
4.59/4.60 c 2870 17256 5875608 2758021 1162 1202 33 33 30
4.59/4.61 c 2880 17296 5891647 2766430 1162 1212 31 31 28
4.59/4.62 c 2890 17338 5908486 2775016 1162 1222 33 33 30
4.59/4.62 c 2900 17378 5925539 2783423 1162 1232 31 31 28
4.59/4.63 c 2910 17418 5941608 2791857 1162 1242 31 31 28
4.59/4.64 c 2920 17458 5958671 2800246 1162 1252 31 31 28
4.59/4.64 c 2930 17498 5975583 2808705 1162 1262 31 31 28
4.59/4.65 c 2940 17538 5992636 2817114 1162 1272 31 31 28
4.59/4.66 c 2950 17578 6009899 2825781 1162 1282 31 31 28
4.59/4.66 c 2960 17618 6026992 2834292 1162 1292 31 31 28
4.59/4.67 c 2970 17658 6044119 2842751 1162 1302 31 31 28
4.59/4.69 c 2980 17767 6078141 2851377 1162 1312 92 100 90
4.69/4.70 c 2990 17812 6096478 2860269 1162 1322 19 36 31
4.69/4.71 c 3000 17852 6112461 2868633 1162 1332 31 31 28
4.69/4.72 c 3010 17892 6128437 2877042 1162 1342 31 31 28
4.69/4.72 c 3020 17932 6144420 2885426 1162 1352 31 31 28
4.69/4.73 c 3030 17972 6160459 2893835 1162 1362 31 31 28
4.69/4.74 c 3040 18014 6177298 2902317 1162 1372 33 33 30
4.69/4.74 c 3050 18052 6193956 2910724 1162 1382 29 29 26
4.69/4.75 c 3060 18092 6209939 2919106 1162 1392 31 31 28
4.69/4.76 c 3070 18132 6225984 2927522 1162 1402 31 31 28
4.69/4.76 c 3080 18176 6242288 2936178 1162 1403 35 35 31
4.69/4.77 c 3090 18216 6259464 2944795 1162 1413 31 31 28
4.69/4.78 c 3100 18256 6275729 2953437 1162 1423 31 31 28
4.69/4.79 c 3110 18296 6291829 2961923 1162 1433 31 31 28
4.69/4.79 c 3120 18338 6308634 2970509 1162 1443 33 33 30
4.79/4.80 c 3130 18378 6325703 2978898 1162 1453 31 31 28
4.79/4.81 c 3140 18418 6341679 2987411 1162 1463 31 31 28
4.79/4.81 c 3142 18450 6356262 2992803 1162 1465 31 31 20
4.79/4.82 c 3150 18488 6371895 3000417 1162 1473 31 31 27
4.79/4.82 c 3160 18528 6387871 3008826 1162 1483 31 31 28
4.79/4.83 c 3170 18568 6403854 3017210 1162 1493 31 31 28
4.79/4.84 c 3180 18608 6419945 3025775 1162 1503 31 31 28
4.79/4.84 c 3190 18650 6436750 3034257 1162 1513 33 33 30
4.79/4.85 c 3200 18690 6453751 3042612 1162 1523 31 31 28
4.79/4.86 c 3210 18730 6469796 3051028 1162 1533 31 31 28
4.79/4.86 c 3220 18772 6486592 3059666 1162 1543 33 33 30
4.79/4.87 c 3230 18812 6502655 3068206 1162 1553 31 31 28
4.79/4.88 c 3240 18852 6518800 3076692 1162 1563 31 31 28
4.79/4.88 c 3250 18892 6534992 3085334 1162 1573 31 31 28
4.79/4.89 c 3260 18932 6551117 3093820 1162 1583 31 31 28
4.89/4.90 c 3270 18972 6567100 3102306 1162 1593 31 31 28
4.89/4.90 c 3280 19012 6583083 3110688 1162 1603 31 31 28
4.89/4.91 c 3290 19052 6599066 3119052 1162 1613 31 31 28
4.89/4.92 c 3300 19092 6615042 3127461 1162 1623 31 31 28
4.89/4.92 c 3310 19132 6631025 3135845 1162 1633 31 31 28
4.89/4.93 c 3320 19172 6647064 3144358 1162 1643 31 31 28
4.89/4.94 c 3330 19214 6663817 3152788 1162 1653 33 33 30
4.89/4.94 c 3340 19254 6679800 3161170 1162 1663 31 31 28
4.89/4.95 c 3350 19294 6695897 3169638 1162 1673 31 31 28
4.89/4.96 c 3360 19332 6712466 3178045 1162 1683 29 29 26
4.89/4.96 c 3370 19372 6728529 3186481 1162 1693 31 31 28
4.89/4.97 c 3380 19412 6744674 3195071 1162 1703 31 31 28
4.89/4.98 c 3390 19452 6760866 3203713 1162 1713 31 31 28
4.89/4.98 c 3400 19490 6777702 3212276 1162 1723 29 29 26
4.89/4.99 c 3410 19530 6793685 3220658 1162 1733 31 31 28
4.99/5.00 c 3420 19570 6809668 3229040 1162 1743 31 31 28
4.99/5.00 c 3430 19610 6825651 3237404 1162 1753 31 31 28
4.99/5.01 c 3440 19650 6841627 3245813 1162 1763 31 31 28
4.99/5.02 c 3450 19690 6857610 3254197 1162 1773 31 31 28
4.99/5.02 c 3460 19730 6873649 3262710 1162 1783 31 31 28
4.99/5.03 c 3470 19772 6890488 3271192 1162 1793 33 33 30
4.99/5.04 c 3480 19810 6907146 3279495 1162 1803 29 29 26
4.99/5.04 c 3490 19850 6923243 3287963 1162 1813 31 31 28
4.99/5.05 c 3500 19888 6939812 3296370 1162 1823 29 29 26
4.99/5.06 c 3510 19928 6955875 3304806 1162 1833 31 31 28
4.99/5.06 c 3520 19966 6972672 3313265 1162 1843 29 29 26
4.99/5.07 c 3530 20006 6988846 3321803 1162 1853 31 31 28
4.99/5.09 c 3540 20118 7025130 3330919 1162 1863 95 103 92
5.09/5.11 c 3550 20163 7043631 3339941 1162 1873 19 36 31
5.09/5.11 c 3551 20192 7058782 3344993 1162 1874 29 29 14
5.09/5.12 c 3560 20229 7075391 3353127 1162 1883 29 29 26
5.09/5.13 c 3570 20269 7091374 3361509 1162 1893 31 31 28
5.09/5.13 c 3580 20307 7108100 3369846 1162 1903 29 29 26
5.09/5.14 c 3590 20347 7124076 3378255 1162 1913 31 31 28
5.09/5.15 c 3600 20385 7140734 3386560 1162 1923 29 29 26
5.09/5.15 c 3610 20425 7156859 3395125 1162 1933 31 31 28
5.09/5.16 c 3620 20463 7173517 3403428 1162 1943 29 29 26
5.09/5.16 c 3630 20503 7189500 3411810 1162 1953 31 31 28
5.09/5.17 c 3640 20543 7205545 3420226 1162 1963 31 31 28
5.09/5.18 c 3650 20581 7222114 3428581 1162 1973 29 29 26
5.09/5.18 c 3660 20621 7238177 3436997 1162 1983 31 31 28
5.09/5.19 c 3670 20661 7254233 3445587 1162 1993 31 31 28
5.19/5.20 c 3680 20701 7270360 3454179 1162 2003 31 31 28
5.19/5.20 c 3690 20741 7286417 3462613 1162 2013 31 31 28
5.19/5.21 c 3700 20781 7302465 3471151 1162 2023 31 31 28
5.19/5.22 c 3710 20819 7319123 3479454 1162 2033 29 29 26
5.19/5.22 c 3720 20859 7335106 3487818 1162 2043 31 31 28
5.19/5.23 c 3730 20897 7351757 3496148 1162 2053 29 29 26
5.19/5.24 c 3740 20937 7367740 3504532 1162 2063 31 31 28
5.19/5.24 c 3750 20977 7383831 3513097 1162 2073 31 31 28
5.19/5.25 c 3760 21015 7400541 3521452 1162 2083 29 29 26
5.19/5.26 c 3770 21055 7416524 3529834 1162 2093 31 31 28
5.19/5.26 c 3780 21095 7432569 3538372 1162 2103 31 31 28
5.19/5.27 c 3790 21133 7449227 3546657 1162 2113 29 29 26
5.19/5.28 c 3800 21173 7465201 3555195 1162 2123 31 31 28
5.29/5.30 c 3810 21288 7505167 3564902 1162 2133 98 106 95
5.29/5.31 c 3820 21331 7523432 3574521 1162 2143 19 34 29
5.29/5.32 c 3830 21371 7539646 3583163 1162 2153 31 31 28
5.29/5.33 c 3840 21411 7555697 3591597 1162 2163 31 31 28
5.29/5.33 c 3850 21451 7571680 3600083 1162 2173 31 31 28
5.29/5.34 c 3860 21491 7587663 3608465 1162 2183 31 31 28
5.29/5.35 c 3870 21529 7604321 3616750 1162 2193 29 29 26
5.29/5.35 c 3880 21569 7620297 3625159 1162 2203 31 31 28
5.29/5.36 c 3890 21595 7636224 3633529 1162 2213 17 17 15
5.29/5.36 c 3900 21621 7652207 3642028 1162 2223 17 17 15
5.29/5.37 c 3910 21645 7668861 3650369 1162 2233 15 15 13
5.29/5.38 c 3920 21671 7684874 3658771 1162 2243 17 17 15
5.29/5.38 c 3930 21695 7701387 3667060 1162 2253 15 15 13
5.29/5.39 c 3940 21719 7718051 3675403 1162 2263 15 15 13
5.29/5.39 c 3950 21745 7734058 3683927 1162 2273 17 17 15
5.39/5.40 c 3960 21769 7750740 3692372 1162 2283 15 15 13
5.39/5.41 c 3970 21795 7766898 3701000 1162 2293 17 17 15
5.39/5.41 c 3980 21819 7783620 3709445 1162 2303 15 15 13
5.39/5.42 c 3990 21845 7799547 3717917 1162 2313 17 17 15
5.39/5.42 c 4000 21869 7816149 3726206 1162 2323 15 15 13
5.39/5.43 c 4001 21886 7830501 3731212 1162 2324 17 17 8
5.39/5.43 c 4010 21909 7846921 3739255 1162 2333 15 15 13
5.39/5.44 c 4020 21935 7862848 3747625 1162 2343 17 17 15
5.39/5.45 c 4030 21959 7879506 3755941 1162 2353 15 15 13
5.39/5.45 c 4040 21985 7895541 3764388 1162 2363 17 17 15
5.39/5.46 c 4050 22009 7912143 3772781 1162 2373 15 15 13
5.39/5.46 c 4060 22035 7928070 3781131 1162 2383 17 17 15
5.39/5.47 c 4070 22061 7943960 3789551 1162 2393 17 17 15
5.39/5.47 c 4080 22085 7960676 3797998 1162 2403 15 15 13
5.39/5.48 c 4090 22111 7976603 3806366 1162 2413 17 17 15
5.39/5.49 c 4100 22137 7992647 3814942 1162 2423 17 17 15
5.39/5.49 c 4110 22163 8008896 3823622 1162 2433 17 17 15
5.39/5.50 c 4120 22189 8024897 3832042 1162 2443 17 17 15
5.50/5.50 c 4130 22213 8041567 3840383 1162 2453 15 15 13
5.50/5.51 c 4140 22239 8057494 3848855 1162 2463 17 17 15
5.50/5.52 c 4150 22263 8074096 3857126 1162 2473 15 15 13
5.50/5.52 c 4160 22289 8090016 3865521 1162 2483 17 17 15
5.50/5.53 c 4170 22313 8106618 3873812 1162 2493 15 15 13
5.50/5.53 c 4180 22339 8122601 3882311 1162 2503 17 17 15
5.50/5.54 c 4190 22363 8139255 3890652 1162 2513 15 15 13
5.50/5.54 c 4200 22389 8155182 3899002 1162 2523 17 17 15
5.50/5.55 c 4210 22415 8171072 3907422 1162 2533 17 17 15
5.50/5.56 c 4220 22439 8187788 3915869 1162 2543 15 15 13
5.50/5.56 c 4230 22465 8203715 3924237 1162 2553 17 17 15
5.50/5.57 c 4240 22491 8219759 3932813 1162 2563 17 17 15
5.50/5.58 c 4250 22515 8236576 3941414 1162 2573 15 15 13
5.50/5.58 c 4260 22541 8252645 3949886 1162 2583 17 17 15
5.50/5.59 c 4270 22567 8268572 3958254 1162 2593 17 17 15
5.50/5.59 c 4280 22591 8285174 3966647 1162 2603 15 15 13
5.50/5.60 c 4290 22617 8301101 3974997 1162 2613 17 17 15
5.60/5.60 c 4300 22641 8317696 3983313 1162 2623 15 15 13
5.60/5.61 c 4310 22667 8333623 3991683 1162 2633 17 17 15
5.60/5.62 c 4320 22693 8349658 4000234 1162 2643 17 17 15
5.60/5.62 c 4330 22717 8366260 4008523 1162 2653 15 15 13
5.60/5.63 c 4340 22743 8382187 4016873 1162 2663 17 17 15
5.60/5.63 c 4350 22769 8398077 4025293 1162 2673 17 17 15
5.60/5.64 c 4360 22793 8414793 4033740 1162 2683 15 15 13
5.60/5.64 c 4370 22820 8431745 4042507 1162 2692 17 17 15
5.60/5.65 c 4380 22844 8448409 4050900 1162 2702 15 15 13
5.60/5.66 c 4390 22870 8464570 4059528 1162 2712 17 17 15
5.60/5.66 c 4400 22894 8481276 4067973 1162 2722 15 15 13
5.60/5.67 c 4410 22920 8497203 4076341 1162 2732 17 17 15
5.60/5.67 c 4420 22946 8513240 4084865 1162 2742 17 17 15
5.60/5.68 c 4430 22970 8529842 4093136 1162 2752 15 15 13
5.60/5.69 c 4440 22996 8545762 4101531 1162 2762 17 17 15
5.60/5.69 c 4450 23020 8562364 4109822 1162 2772 15 15 13
5.69/5.70 c 4460 23046 8578399 4118373 1162 2782 17 17 15
5.69/5.70 c 4470 23070 8595001 4126662 1162 2792 15 15 13
5.69/5.71 c 4480 23096 8610928 4135134 1162 2802 17 17 15
5.69/5.71 c 4490 23122 8626907 4143536 1162 2812 17 17 15
5.69/5.72 c 4493 23139 8642247 4149262 1162 2815 15 15 11
5.69/5.72 c 4500 23162 8657729 4156555 1162 2822 17 17 14
5.69/5.73 c 4510 23186 8674479 4165052 1162 2832 15 15 13
5.69/5.74 c 4520 23212 8690458 4173472 1162 2842 17 17 15
5.69/5.74 c 4530 23236 8707122 4181865 1162 2852 15 15 13
5.69/5.75 c 4540 23262 8723123 4190389 1162 2862 17 17 15
5.69/5.75 c 4550 23286 8739777 4198730 1162 2872 15 15 13
5.69/5.76 c 4560 23312 8755814 4207254 1162 2882 17 17 15
5.69/5.77 c 4570 23336 8772416 4215525 1162 2892 15 15 13
5.69/5.77 c 4580 23362 8788336 4223920 1162 2902 17 17 15
5.69/5.78 c 4590 23388 8804315 4232324 1162 2912 17 17 15
5.69/5.78 c 4600 23414 8820295 4240771 1162 2922 17 17 15
5.69/5.79 c 4610 23438 8836949 4249114 1162 2932 15 15 13
5.69/5.79 c 4620 23464 8852876 4257586 1162 2942 17 17 15
5.79/5.80 c 4630 23488 8869478 4265927 1162 2952 15 15 13
5.79/5.81 c 4640 23514 8885553 4274399 1162 2962 17 17 15
5.79/5.81 c 4650 23538 8902235 4282844 1162 2972 15 15 13
5.79/5.82 c 4660 23565 8919239 4291663 1162 2981 17 17 15
5.79/5.82 c 4670 23589 8935893 4300108 1162 2991 15 15 13
5.79/5.83 c 4680 23615 8951894 4308528 1162 3001 17 17 15
5.79/5.85 c 4690 23733 8994805 4318538 1162 3011 101 109 98
5.79/5.87 c 4700 23760 9013945 4328016 1162 3021 5 18 15
5.79/5.87 c 4710 23786 9029982 4336540 1162 3031 17 17 15
5.79/5.88 c 4720 23810 9046584 4344811 1162 3041 15 15 13
5.79/5.89 c 4730 23836 9062504 4353188 1162 3051 17 17 15
5.79/5.89 c 4740 23862 9078342 4361558 1162 3061 17 17 15
5.89/5.90 c 4750 23886 9095000 4369876 1162 3071 15 15 13
5.89/5.90 c 4760 23910 9111602 4378165 1162 3081 15 15 13
5.89/5.91 c 4770 23936 9127594 4386689 1162 3091 17 17 15
5.89/5.91 c 4780 23960 9144248 4395082 1162 3101 15 15 13
5.89/5.92 c 4790 23986 9160409 4403710 1162 3111 17 17 15
5.89/5.93 c 4800 24012 9176336 4412182 1162 3121 17 17 15
5.89/5.93 c 4810 24036 9193076 4420575 1162 3131 15 15 13
5.89/5.94 c 4820 24062 9209157 4429047 1162 3141 17 17 15
5.89/5.94 c 4830 24088 9225136 4437467 1162 3151 17 17 15
5.89/5.95 c 4840 24114 9241137 4445887 1162 3161 17 17 15
5.89/5.96 c 4850 24138 9257798 4454332 1162 3171 15 15 13
5.89/5.96 c 4860 24164 9273725 4462682 1162 3181 17 17 15
5.89/5.97 c 4870 24188 9290320 4470980 1162 3191 15 15 13
5.89/5.97 c 4880 24214 9306158 4479350 1162 3201 17 17 15
5.89/5.98 c 4890 24238 9322816 4487668 1162 3211 15 15 13
5.89/5.98 c 4900 24262 9339418 4495957 1162 3221 15 15 13
5.89/5.99 c 4910 24288 9355410 4504481 1162 3231 17 17 15
5.99/6.00 c 4920 24312 9372064 4512926 1162 3241 15 15 13
5.99/6.00 c 4930 24338 9388123 4521502 1162 3251 17 17 15
5.99/6.01 c 4940 24362 9404959 4530051 1162 3261 15 15 13
5.99/6.01 c 4950 24388 9420938 4538471 1162 3271 17 17 15
5.99/6.02 c 4960 24412 9437602 4546864 1162 3281 15 15 13
5.99/6.03 c 4970 24438 9453603 4555284 1162 3291 17 17 15
5.99/6.03 c 4980 24462 9470257 4563625 1162 3301 15 15 13
5.99/6.04 c 4990 24488 9486294 4572149 1162 3311 17 17 15
5.99/6.05 c 5035 24552 9511039 4594826 1162 3323 17 17 16
6.09/6.15 c 5631 25256 9676274 4852095 1162 3341 16 19 17
6.19/6.27 c 6286 26075 9874164 5146706 1162 3362 19 25 21
6.39/6.42 c 7006 27127 10128604 5492878 1162 3376 25 31 28
6.49/6.58 c 7798 28289 10407517 5870475 1162 3395 25 33 28
6.69/6.76 c 8669 29434 10671552 6276562 1162 3407 21 27 23
6.89/6.93 c 9627 30621 10936995 6713838 1162 3422 20 25 21
7.09/7.10 c 10680 31967 11252365 7197513 1162 3439 22 27 23
7.28/7.34 c 11838 33530 11630358 7724510 1162 3457 21 27 24
7.48/7.58 c 13111 35215 12025293 8321643 1162 3480 21 27 23
7.88/7.92 c 14511 37398 12542250 9035243 1162 3502 24 33 28
8.18/8.21 c 16051 39385 12997910 9739254 1162 3523 33 39 35
8.48/8.59 c 17745 41786 13582680 10562198 1162 3538 20 27 24
8.89/8.99 c 19608 44442 14214334 11453605 1162 3547 34 43 38
9.38/9.46 c 21657 47465 14962210 12455021 1162 3567 23 31 27
10.00/10.03 c 23910 51185 15821740 13600552 1162 3582 26 35 31
10.19/10.22 c 26388 53810 15881546 13619494 1162 6060 103 148 120
10.79/10.88 c 29113 57797 16903250 14908150 1162 6079 1 46 42
11.39/11.47 c 32110 61991 17907247 16299587 1162 6099 34 43 38
12.09/12.12 c 35406 66562 19027257 17818475 1162 6117 35 43 39
12.88/12.97 c 39031 71757 20327788 19545774 1162 6128 2 43 39
13.68/13.75 c 43018 76803 21219231 20193053 1162 8474 75 217 190
14.78/14.80 c 47403 83701 22841604 22359694 1162 8486 39 48 44
16.08/16.10 c 52226 91414 24721382 24737194 1162 8492 39 47 44
17.38/17.44 c 57531 99975 26717583 27346796 1162 8504 38 47 44
18.69/18.73 c 63366 108631 28836274 30083513 1162 8523 37 45 42
20.28/20.31 c 69784 118342 31269301 33144525 1162 8535 39 47 42
21.58/21.68 c 76843 128044 33535721 36417942 1162 8546 35 47 39
23.39/23.42 c 84607 139492 36332806 40053721 1162 8572 37 45 41
25.19/25.22 c 93147 151627 39372622 43957911 1162 8588 34 43 40
27.99/28.01 c 102541 167839 43155663 48693747 1162 8607 58 135 130
30.59/30.65 c 112874 184070 47049919 53762671 1162 8625 39 48 44
33.09/33.19 c 124240 200270 51238943 59006205 1162 8634 34 49 40
35.88/35.95 c 136742 218816 55764195 64845813 1162 8657 36 45 41
38.98/39.04 c 150494 239382 60812127 71388401 1162 8676 36 45 42
42.58/42.69 c 165621 262172 66477733 78586834 1162 8696 36 45 42
46.19/46.30 c 182260 287043 72475063 86439243 1162 8716 26 45 41
50.08/50.13 c 200562 313016 79064664 94902549 1162 8730 34 45 40
55.58/55.63 c 220694 344664 87016236 104821800 1162 8764 38 47 43
60.18/60.28 c 242839 376535 94856424 114984264 1162 8787 35 43 40
65.38/65.42 c 267198 411572 103509169 126250928 1162 8808 34 43 40
71.28/71.36 c 293992 449750 113413314 138610948 1162 8832 34 43 40
77.48/77.53 c 323465 491576 123971856 152023052 1162 8855 34 43 39
84.68/84.80 c 355885 539038 135647180 167189469 1162 8876 35 43 40
92.27/92.35 c 391547 590431 148465584 183575088 1162 8897 34 43 40
102.28/102.39 c 430775 650426 163569752 202446681 1162 8911 35 49 42
110.88/110.97 c 473925 710429 178930353 221697320 1162 8936 32 43 38
119.98/120.10 c 521390 778239 196372858 243540128 1162 8975 34 43 39
130.27/130.33 c 573601 853212 215904594 267678420 1162 8998 34 43 40
141.66/141.78 c 631033 936657 237411353 294241720 1162 9012 34 43 39
156.46/156.56 c 694208 1034309 261981426 325278287 1162 9029 35 49 42
167.86/167.98 c 763700 1131466 286697601 356093133 1162 9058 32 41 38
180.96/181.03 c 840141 1234152 313881920 390216323 1162 9090 30 39 35
196.65/196.72 c 924226 1351857 345515842 428313395 1162 9125 18 27 24
213.15/213.25 c 1016719 1485306 379574467 470595165 1162 9156 20 29 26
231.95/232.07 c 1118461 1627185 416504887 516852665 1162 9187 18 27 23
263.64/263.70 c 1230377 1822860 462164027 573659815 1162 9199 58 93 88
284.24/284.34 c 1353484 1990485 507059612 628258838 1162 9217 31 42 37
310.84/310.99 c 1488901 2188187 558396040 691627678 1162 9242 34 45 40
348.64/348.76 c 1637859 2443389 616536850 764392258 1162 9260 41 93 88
378.34/378.43 c 1801712 2680983 677018565 840318577 1162 9290 2 48 43
417.73/417.83 c 1981950 2955562 747482899 926152390 1162 9313 36 51 41
456.53/456.65 c 2180211 3254017 821953730 1020733670 1162 9330 34 45 41
497.92/498.06 c 2398298 3562313 903863271 1119557396 1162 9351 31 43 38
569.91/570.05 c 2638193 3979286 1005366631 1242368293 1162 9372 58 93 87
625.00/625.10 c 2902077 4394237 1106002019 1370724989 1162 9404 2 52 46
687.41/687.57 c 3192349 4850374 1218673565 1512324624 1162 9429 35 49 43
746.90/747.03 c 3511648 5302048 1336871991 1657157029 1162 9460 31 43 38
812.98/813.13 c 3862876 5828258 1469261108 1821409394 1162 9493 33 45 41
898.58/898.71 c 4249226 6416739 1618158979 2004598720 1162 9524 36 51 42
988.16/988.33 c 4674211 7080919 1781247962 2210324743 1162 9552 35 51 42
1086.45/1086.64 c 5141694 7776286 1962627970 2429636520 1162 9587 33 51 41
1179.84/1180.04 c 5655925 8516655 2153200189 2667075174 1162 9621 31 43 39
1308.13/1308.37 c 6221579 9408425 2377664806 2942117763 1162 9653 35 51 42
1417.51/1417.74 c 6843798 10295181 2607277879 3225257052 1162 9683 31 43 39
1567.10/1567.35 c 7528238 11319296 2877036019 3548431154 1162 9721 33 51 40
1704.68/1704.98 c 8281122 12438116 3156938312 3901354985 1162 9764 33 45 41
1889.06/1889.30 c 9109294 13755427 3481974504 4306165667 1162 9800 35 51 42
2061.95/2062.22 c 10020283 15033966 3826428834 4716475912 1162 9854 29 41 37
2258.14/2258.43 c 11022370 16637299 4205571383 5207663279 1162 9880 35 51 43
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-4242345-1500657785/watcher-4242345-1500657785 -o /tmp/evaluation-result-4242345-1500657785/solver-4242345-1500657785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9843 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242345-1500657785.xml
pid=10970
running on 8 cores: 0,2,4,6,8,10,12,14
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 4/242 10973
/proc/meminfo: memFree=31863992/32770624 swapFree=5780/199744
[pid=10973] ppid=10970 vsize=27652 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 1116 0 0 0 0 0 0 0 20 0 1 0 1043565 28315648 898 33554432000 4194304 5970956 140727982195792 140727982191080 140548587580389 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 6913 898 702 434 0 277 0
[startup+0.100159 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 10973
/proc/meminfo: memFree=31863992/32770624 swapFree=5780/199744
[pid=10973] ppid=10970 vsize=53136 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 6620 0 0 0 8 1 0 0 20 0 1 0 1043565 54411264 6968 33554432000 4194304 5970956 140727982195792 140727982192696 140548587580389 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 13284 6968 837 434 0 6648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53136
[startup+0.200422 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 10973
/proc/meminfo: memFree=31863992/32770624 swapFree=5780/199744
[pid=10973] ppid=10970 vsize=112980 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 16688 0 0 0 17 2 0 0 20 0 1 0 1043565 115691520 19549 33554432000 4194304 5970956 140727982195792 140727982192616 140548587586456 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 28245 19549 837 434 0 21609 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 112980
[startup+0.300393 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 10973
/proc/meminfo: memFree=31863992/32770624 swapFree=5780/199744
[pid=10973] ppid=10970 vsize=162184 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 25017 0 0 0 25 4 0 0 20 0 1 0 1043565 166076416 34005 33554432000 4194304 5970956 140727982195792 140727982192616 140548587580389 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 40546 34005 837 434 0 33910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 162184
[startup+0.700332 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 10973
/proc/meminfo: memFree=31863992/32770624 swapFree=5780/199744
[pid=10973] ppid=10970 vsize=464976 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 55488 0 0 0 59 10 0 0 20 0 1 0 1043565 476135424 90539 33554432000 4194304 5970956 140727982195792 140727982192616 140548587580389 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 116244 90539 837 434 0 109608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 464976
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=31279192/32770624 swapFree=5780/199764
[pid=10973] ppid=10970 vsize=866608 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 111215 0 0 0 128 21 0 0 20 0 1 0 1043565 887406592 203503 33554432000 4194304 5970956 140727982195792 140727982192616 140548587580389 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 216652 203503 837 434 0 210016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 866608
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=30808876/32770624 swapFree=5780/199764
[pid=10973] ppid=10970 vsize=1247140 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 146974 0 0 0 280 28 0 0 20 0 1 0 1043565 1277071360 263880 33554432000 4194304 5970956 140727982195792 140727982193128 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 311785 263880 854 434 0 305149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1247140
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=30808608/32770624 swapFree=5780/199776
[pid=10973] ppid=10970 vsize=1247140 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 154553 0 0 0 600 29 0 0 20 0 1 0 1043565 1277071360 263905 33554432000 4194304 5970956 140727982195792 140727982193128 5322040 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 311785 263905 854 434 0 305149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1247140
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=30807492/32770624 swapFree=5780/199784
[pid=10973] ppid=10970 vsize=1247416 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 170009 0 0 0 1239 30 0 0 20 0 1 0 1043565 1277353984 263947 33554432000 4194304 5970956 140727982195792 140727982193128 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 311854 263947 854 434 0 305218 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1247416
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=30805444/32770624 swapFree=5780/199800
[pid=10973] ppid=10970 vsize=1248076 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 190039 0 0 0 2518 31 0 0 20 0 1 0 1043565 1278029824 264654 33554432000 4194304 5970956 140727982195792 140727982193128 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312019 264654 854 434 0 305383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1248076
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10974
/proc/meminfo: memFree=30805568/32770624 swapFree=5780/199828
[pid=10973] ppid=10970 vsize=1248208 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 201856 0 0 0 5077 31 0 0 20 0 1 0 1043565 1278164992 264656 33554432000 4194304 5970956 140727982195792 140727982193128 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264656 854 434 0 305416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1248208
[startup+102.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 10975
/proc/meminfo: memFree=30805028/32770624 swapFree=5780/199896
[pid=10973] ppid=10970 vsize=1248208 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 214856 0 0 0 10197 31 0 0 20 0 1 0 1043565 1278164992 264657 33554432000 4194304 5970956 140727982195792 140727982193128 4974128 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264657 854 434 0 305416 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1248208
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 10977
/proc/meminfo: memFree=30803476/32770624 swapFree=5780/199960
[pid=10973] ppid=10970 vsize=1248208 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 224679 0 0 0 16194 32 0 0 20 0 1 0 1043565 1278164992 264658 33554432000 4194304 5970956 140727982195792 140727982193128 4976747 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264658 854 434 0 305416 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1248208
[startup+222.308 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 10978
/proc/meminfo: memFree=30803612/32770624 swapFree=5780/200036
[pid=10973] ppid=10970 vsize=1248208 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 230788 0 0 0 22194 32 0 0 20 0 1 0 1043565 1278164992 264659 33554432000 4194304 5970956 140727982195792 140727982193128 4974415 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264659 854 434 0 305416 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1248208
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10979
/proc/meminfo: memFree=30803244/32770624 swapFree=5780/200080
[pid=10973] ppid=10970 vsize=1248208 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 237157 0 0 0 28192 32 0 0 20 0 1 0 1043565 1278164992 264659 33554432000 4194304 5970956 140727982195792 140727982193128 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264659 854 434 0 305416 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1248208
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10981
/proc/meminfo: memFree=30803480/32770624 swapFree=5780/200128
[pid=10973] ppid=10970 vsize=1248208 CPUtime=342.24 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 245255 0 0 0 34191 33 0 0 20 0 1 0 1043565 1278164992 264659 33554432000 4194304 5970956 140727982195792 140727982193128 4969902 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264659 854 434 0 305416 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1248208
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10982
/proc/meminfo: memFree=30803236/32770624 swapFree=5780/200176
[pid=10973] ppid=10970 vsize=1248208 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 251568 0 0 0 40190 33 0 0 20 0 1 0 1043565 1278164992 264659 33554432000 4194304 5970956 140727982195792 140727982193128 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264659 854 434 0 305416 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1248208
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10990
/proc/meminfo: memFree=30802956/32770624 swapFree=5780/200228
[pid=10973] ppid=10970 vsize=1248208 CPUtime=462.22 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 256236 0 0 0 46189 33 0 0 20 0 1 0 1043565 1278164992 264661 33554432000 4194304 5970956 140727982195792 140727982193128 4930654 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264661 854 434 0 305416 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1248208
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10991
/proc/meminfo: memFree=30803296/32770624 swapFree=5780/200280
[pid=10973] ppid=10970 vsize=1248208 CPUtime=522.21 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 259965 0 0 0 52188 33 0 0 20 0 1 0 1043565 1278164992 264661 33554432000 4194304 5970956 140727982195792 140727982193128 4969752 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264661 854 434 0 305416 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1248208
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 10992
/proc/meminfo: memFree=30803076/32770624 swapFree=5780/200324
[pid=10973] ppid=10970 vsize=1248208 CPUtime=582.2 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 262934 0 0 0 58187 33 0 0 20 0 1 0 1043565 1278164992 264666 33554432000 4194304 5970956 140727982195792 140727982193128 4976725 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264666 854 434 0 305416 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1248208
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11082
/proc/meminfo: memFree=30617976/32770624 swapFree=5780/201124
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1542.11 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 287420 0 0 0 154177 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 4974128 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 1248208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11083
/proc/meminfo: memFree=30618700/32770624 swapFree=5780/201000
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1602.1 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 288754 0 0 0 160176 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 1248208
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11092
/proc/meminfo: memFree=30616444/32770624 swapFree=5780/201060
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1662.09 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 289935 0 0 0 166175 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 1248208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11093
/proc/meminfo: memFree=30616780/32770624 swapFree=5780/201108
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1722.08 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 291387 0 0 0 172174 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 4977781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 1248208
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11094
/proc/meminfo: memFree=30615040/32770624 swapFree=5780/201152
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1782.08 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 292608 0 0 0 178174 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 4970015 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 1248208
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11095
/proc/meminfo: memFree=30614984/32770624 swapFree=5780/201192
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1842.07 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 293787 0 0 0 184173 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 1248208
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11096
/proc/meminfo: memFree=30614724/32770624 swapFree=5780/201240
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1902.06 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 295210 0 0 0 190172 34 0 0 20 0 1 0 1043565 1278164992 264837 33554432000 4194304 5970956 140727982195792 140727982193128 5031474 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264837 854 434 0 305416 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 1248208
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11098
/proc/meminfo: memFree=30612192/32770624 swapFree=5780/201280
[pid=10973] ppid=10970 vsize=1248208 CPUtime=1962.06 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 296416 0 0 0 196171 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 1248208
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11099
/proc/meminfo: memFree=30612076/32770624 swapFree=5780/201316
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2022.06 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 297588 0 0 0 202171 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4934342 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 1248208
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11100
/proc/meminfo: memFree=30612036/32770624 swapFree=5780/201360
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2082.06 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 298997 0 0 0 208171 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4978093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 1248208
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11102
/proc/meminfo: memFree=30611948/32770624 swapFree=5780/201404
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2142.04 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 300134 0 0 0 214169 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 1248208
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11103
/proc/meminfo: memFree=30612292/32770624 swapFree=5780/201444
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2202.05 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 301298 0 0 0 220170 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4976698 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 1248208
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11111
/proc/meminfo: memFree=30612304/32770624 swapFree=5780/201496
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2262.03 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 302608 0 0 0 226168 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 5325090 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 1248208
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11134
/proc/meminfo: memFree=30612272/32770624 swapFree=5780/201536
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2322.02 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 303870 0 0 0 232167 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4971810 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 1248208
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11135
/proc/meminfo: memFree=30612488/32770624 swapFree=5780/201576
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2382.02 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 305053 0 0 0 238167 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 5327993 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 1248208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11135
/proc/meminfo: memFree=30612904/32770624 swapFree=5780/201584
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 305190 0 0 0 239967 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4908196 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 1248208
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 10973 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11135
/proc/meminfo: memFree=30612904/32770624 swapFree=5780/201584
[pid=10973] ppid=10970 vsize=1248208 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/10973/stat : 10973 (cosoco) R 10970 10973 9811 0 -1 4202496 305190 0 0 0 239967 35 0 0 20 0 1 0 1043565 1278164992 264839 33554432000 4194304 5970956 140727982195792 140727982193128 4908196 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18444288 140727982199996 140727982200131 140727982200131 140727982202830 0
/proc/10973/statm: 312052 264839 854 434 0 305416 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 1248208
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2399.68
CPU system time (s): 0.356962
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 1248208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.356962
maximum resident set size= 1059404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305214
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= 38
involuntary context switches= 120659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72413 second user time and 11.2755 second system time
The end