0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c intension hd[0]<ad[0] using generic constraint
0.00/0.09 c intension hd[1]<ad[1] using generic constraint
0.00/0.09 c intension hd[2]<ad[2] using generic constraint
0.00/0.09 c intension hd[3]<ad[3] using generic constraint
0.00/0.09 c intension hd[4]<ad[4] using generic constraint
0.00/0.09 c intension hd[5]<ad[5] using generic constraint
0.00/0.09 c intension hd[6]<ad[6] using generic constraint
0.00/0.09 c intension hd[7]<ad[7] using generic constraint
0.00/0.09 c intension hd[8]<ad[8] using generic constraint
0.00/0.09 c intension hd[9]<ad[9] using generic constraint
0.00/0.09 c intension hd[10]<ad[10] using generic constraint
0.00/0.09 c intension hd[11]<ad[11] using generic constraint
0.00/0.09 c intension hd[12]<ad[12] using generic constraint
0.00/0.09 c intension hd[13]<ad[13] using generic constraint
1.83/1.97 c SAT : Variables: 164836 -- Clauses: 27231148
1.83/2.00 c root propagations : 8273
1.83/2.00 c restarts enabled, print stats at every restarts
1.83/2.00 c
1.83/2.00 c
1.83/2.00 c
1.83/2.00 c This is cosoco 1.12 --
1.83/2.00 c
1.83/2.00 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266410-1502583682.xml
1.83/2.00 c ========================================[ Problem Statistics ]===========================================
1.83/2.00 c |
1.83/2.00 c | Parse time : 1.67 s
1.83/2.00 c |
1.83/2.00 c | Variables: 1162
1.83/2.00 c | Domain Sizes: 28..378
1.83/2.00 c |
1.83/2.00 c | Constraints: 1638
1.83/2.00 c | Arity: 1..378 -- Unary: 14 -- Binary: 14 -- Ternary: 378
1.83/2.00 c |
1.83/2.00 c | Types:
1.83/2.00 c | (X - Y < k): 14
1.83/2.00 c | All Different: 29
1.83/2.00 c | At least: 392
1.83/2.00 c | At most: 392
1.83/2.00 c | Exactly K: 419
1.83/2.00 c | Extension: 378 (nb tuples: 378..378) -- (shared: 377)
1.83/2.00 c | Intension: 14
1.83/2.00 c |
1.83/2.00 c =========================================================================================================
1.83/2.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.94/2.02 c 10 94 82123 18489 1162 10 77 85 74
1.94/2.05 c 20 299 142152 44740 1162 15 1 195 149
1.94/2.07 c 30 398 169652 55962 1162 20 44 88 71
1.94/2.09 c 40 499 197401 67417 1162 26 47 88 71
1.94/2.10 c 50 597 224551 78021 1162 30 47 88 72
2.04/2.12 c 60 689 247145 87887 1162 34 2 79 63
2.04/2.16 c 70 965 322489 121632 1162 39 86 239 190
2.04/2.18 c 80 1058 349649 131612 1162 43 47 82 70
2.14/2.20 c 90 1148 371919 141102 1162 48 77 79 70
2.14/2.21 c 100 1240 394047 150784 1162 52 16 79 65
2.14/2.21 c 101 1256 396663 151590 1162 53 16 16 8
2.14/2.23 c 110 1344 421930 160334 1162 55 1 79 62
2.14/2.24 c 120 1437 446464 170032 1162 59 44 79 67
2.14/2.25 c 130 1529 470531 179686 1162 64 44 79 67
2.14/2.27 c 140 1621 495259 189322 1162 68 44 79 67
2.14/2.28 c 150 1713 518762 199018 1162 71 77 79 70
2.14/2.29 c 160 1807 540166 208736 1162 74 77 79 71
2.24/2.30 c 170 1899 563858 218440 1162 79 44 79 67
2.24/2.32 c 180 1993 587850 228187 1162 86 44 79 68
2.24/2.33 c 190 2085 609520 237817 1162 90 16 79 65
2.24/2.34 c 200 2182 634314 247983 1162 94 77 79 71
2.24/2.35 c 210 2275 658015 258072 1162 99 2 79 63
2.24/2.36 c 211 2354 677343 263443 1162 100 79 79 39
2.24/2.37 c 220 2447 701790 272977 1162 106 77 79 70
2.24/2.39 c 230 2539 724186 282588 1162 109 77 79 70
2.33/2.40 c 240 2631 749045 292132 1162 112 77 79 70
2.33/2.41 c 250 2724 772008 302056 1162 116 77 79 70
2.33/2.42 c 260 2818 795372 311954 1162 120 2 79 64
2.33/2.43 c 270 2911 819827 322005 1162 124 77 79 70
2.33/2.45 c 280 2999 841177 331826 1162 126 2 77 63
2.33/2.46 c 290 3092 866570 341820 1162 131 16 79 65
2.33/2.47 c 300 3185 888511 352137 1162 135 77 79 70
2.33/2.48 c 310 3276 910258 362258 1162 137 77 77 70
2.33/2.49 c 320 3369 935101 372380 1162 142 16 79 65
2.43/2.51 c 330 3465 957486 382783 1162 148 2 79 64
2.43/2.52 c 332 3543 976341 388582 1162 150 77 77 51
2.43/2.53 c 340 3631 999554 397508 1162 155 16 79 62
2.43/2.54 c 350 3722 1022610 407681 1162 157 77 77 70
2.43/2.55 c 360 3813 1043447 417631 1162 159 77 77 70
2.43/2.56 c 370 3878 1065740 427754 1162 163 49 51 45
2.43/2.57 c 380 3938 1084699 437329 1162 165 2 49 40
2.43/2.58 c 390 4003 1106541 447242 1162 169 49 51 45
2.43/2.59 c 400 4063 1126278 456967 1162 171 2 49 40
2.53/2.60 c 410 4123 1146671 466526 1162 173 16 49 41
2.53/2.61 c 420 4188 1167259 476465 1162 177 49 51 45
2.53/2.62 c 430 4253 1186266 486528 1162 181 49 51 45
2.53/2.63 c 440 4318 1206089 496702 1162 185 49 51 45
2.53/2.64 c 450 4381 1225830 506620 1162 190 2 51 40
2.53/2.65 c 460 4446 1247120 516659 1162 194 49 51 45
2.53/2.66 c 465 4500 1264638 524101 1162 197 49 49 40
2.53/2.67 c 470 4559 1285750 531705 1162 200 49 51 42
2.53/2.67 c 480 4620 1306740 541686 1162 202 47 49 44
2.53/2.69 c 490 4683 1328172 551681 1162 207 16 51 41
2.63/2.70 c 500 4744 1347934 561767 1162 209 47 49 44
2.63/2.71 c 510 4807 1367731 571702 1162 214 49 51 44
2.63/2.71 c 520 4870 1387497 581678 1162 219 49 51 44
2.63/2.72 c 530 4933 1407620 591887 1162 224 49 51 44
2.63/2.74 c 540 4996 1428813 602050 1162 229 16 51 41
2.63/2.74 c 550 5059 1448637 612035 1162 234 49 51 44
2.63/2.75 c 560 5122 1468384 622011 1162 239 49 51 44
2.63/2.76 c 570 5187 1488652 632085 1162 243 49 51 45
2.63/2.77 c 580 5250 1508470 642034 1162 248 49 51 44
2.63/2.78 c 590 5311 1528044 652008 1162 250 47 49 44
2.63/2.79 c 600 5374 1548492 662099 1162 255 49 51 44
2.73/2.80 c 610 5442 1569304 672606 1162 260 49 51 45
2.73/2.81 c 611 5493 1584916 678029 1162 261 51 51 25
2.73/2.82 c 620 5548 1605071 686430 1162 262 45 47 41
2.73/2.83 c 630 5609 1626238 696432 1162 264 47 49 44
2.73/2.83 c 640 5665 1645180 705218 1162 270 45 47 41
2.73/2.84 c 650 5726 1663581 715223 1162 272 47 49 44
2.73/2.85 c 660 5789 1684332 725204 1162 277 49 51 44
2.73/2.86 c 670 5850 1704543 735060 1162 279 47 49 44
2.73/2.87 c 680 5918 1725756 745725 1162 284 49 51 45
2.73/2.88 c 690 5981 1746108 755683 1162 289 2 51 40
2.73/2.89 c 700 6044 1766457 765620 1162 294 49 51 44
2.83/2.90 c 710 6107 1786523 775711 1162 299 49 51 44
2.83/2.91 c 720 6170 1806399 785764 1162 304 49 51 44
2.83/2.92 c 730 6233 1826217 795713 1162 309 49 51 44
2.83/2.93 c 740 6296 1846014 805662 1162 314 49 51 44
2.83/2.94 c 750 6359 1865969 815759 1162 319 49 51 44
2.83/2.95 c 760 6422 1886129 825910 1162 324 49 51 44
2.83/2.96 c 770 6485 1905939 835886 1162 329 49 51 44
2.83/2.96 c 771 6530 1922330 841275 1162 330 45 45 22
2.83/2.97 c 780 6585 1942567 849699 1162 335 45 47 41
2.83/2.98 c 790 6643 1961170 859229 1162 339 47 47 42
2.83/2.99 c 800 6698 1982025 868305 1162 341 45 45 40
2.83/3.00 c 810 6753 2002186 877609 1162 343 45 45 40
2.94/3.01 c 820 6808 2022505 886961 1162 345 45 45 40
2.94/3.02 c 830 6863 2042150 896325 1162 347 45 45 40
2.94/3.02 c 840 6926 2061968 906274 1162 352 49 51 44
2.94/3.03 c 850 6984 2082081 915715 1162 356 47 47 42
2.94/3.04 c 860 7037 2101450 924818 1162 361 43 43 39
2.94/3.05 c 870 7092 2120105 933878 1162 363 45 45 40
2.94/3.06 c 880 7147 2138739 943158 1162 365 45 45 40
2.94/3.07 c 890 7205 2157615 953051 1162 369 47 47 42
2.94/3.08 c 900 7263 2176145 962572 1162 373 47 47 42
2.94/3.08 c 910 7321 2194610 972101 1162 377 47 47 42
2.94/3.09 c 920 7379 2213357 981778 1162 381 47 47 42
2.94/3.10 c 930 7434 2232885 990882 1162 383 45 45 40
3.04/3.11 c 940 7489 2251715 1000098 1162 385 45 45 40
3.04/3.12 c 947 7543 2269460 1008113 1162 389 47 47 41
3.04/3.13 c 950 7590 2286211 1014258 1162 392 45 45 33
3.04/3.13 c 960 7643 2306392 1023231 1162 397 43 43 39
3.04/3.14 c 970 7698 2325996 1032317 1162 399 45 45 40
3.04/3.15 c 980 7751 2345683 1041443 1162 404 43 43 39
3.04/3.16 c 990 7804 2364262 1050620 1162 409 43 43 39
3.04/3.17 c 1000 7862 2383842 1060389 1162 413 47 47 42
3.04/3.18 c 1010 7915 2403368 1069442 1162 418 43 43 39
3.04/3.18 c 1020 7968 2421935 1078515 1162 423 43 43 39
3.04/3.19 c 1030 8023 2441813 1087711 1162 425 45 45 40
3.13/3.20 c 1040 8078 2461067 1096757 1162 427 45 45 40
3.13/3.21 c 1050 8136 2480519 1106310 1162 431 47 47 42
3.13/3.22 c 1060 8194 2499865 1115875 1162 435 47 47 42
3.13/3.23 c 1070 8249 2518661 1125083 1162 437 45 45 40
3.13/3.24 c 1080 8307 2537180 1134743 1162 441 47 47 42
3.13/3.24 c 1090 8365 2555807 1144376 1162 445 47 47 42
3.13/3.25 c 1100 8423 2574353 1153953 1162 449 47 47 42
3.13/3.26 c 1110 8478 2593119 1163169 1162 451 45 45 40
3.13/3.27 c 1120 8533 2611777 1172397 1162 453 45 45 40
3.13/3.28 c 1130 8591 2631125 1181850 1162 457 47 47 42
3.13/3.29 c 1140 8646 2650076 1191093 1162 459 45 45 40
3.13/3.29 c 1141 8693 2667255 1196438 1162 460 47 47 23
3.23/3.30 c 1150 8745 2686107 1205226 1162 464 43 43 38
3.23/3.31 c 1160 8800 2705678 1214322 1162 466 45 45 40
3.23/3.32 c 1170 8855 2724293 1223488 1162 468 45 45 40
3.23/3.33 c 1180 8910 2743037 1232540 1162 470 45 45 40
3.23/3.33 c 1190 8963 2762364 1241541 1162 475 43 43 39
3.23/3.34 c 1200 9018 2780961 1250796 1162 477 45 45 40
3.23/3.35 c 1210 9071 2800843 1259993 1162 482 43 43 39
3.23/3.36 c 1220 9126 2819682 1269105 1162 484 45 45 40
3.23/3.37 c 1230 9181 2838501 1278375 1162 486 45 45 40
3.23/3.38 c 1240 9239 2858110 1288032 1162 490 47 47 42
3.23/3.38 c 1250 9290 2877155 1297158 1162 494 41 41 37
3.23/3.39 c 1260 9343 2896954 1306251 1162 499 43 43 39
3.33/3.40 c 1270 9398 2916081 1315403 1162 501 45 45 40
3.33/3.41 c 1280 9451 2935791 1324560 1162 506 43 43 39
3.33/3.42 c 1290 9506 2954645 1333662 1162 508 45 45 40
3.33/3.42 c 1300 9561 2973441 1342764 1162 510 45 45 40
3.33/3.43 c 1310 9619 2991971 1352285 1162 514 47 47 42
3.33/3.44 c 1320 9670 3011584 1361355 1162 518 41 41 37
3.33/3.45 c 1330 9721 3030148 1370341 1162 522 41 41 37
3.33/3.46 c 1340 9772 3049392 1379305 1162 526 41 41 37
3.33/3.46 c 1350 9827 3069178 1388439 1162 528 45 45 40
3.33/3.47 c 1352 9869 3085758 1394183 1162 530 41 41 27
3.33/3.48 c 1360 9920 3104039 1402579 1162 533 43 43 38
3.33/3.49 c 1370 9973 3123673 1411603 1162 538 41 43 38
3.43/3.50 c 1380 10028 3142871 1420834 1162 540 45 45 40
3.43/3.51 c 1390 10077 3161701 1429866 1162 543 39 39 35
3.43/3.51 c 1400 10128 3180339 1438904 1162 547 41 41 37
3.43/3.52 c 1410 10179 3200092 1447853 1162 551 41 41 37
3.43/3.53 c 1420 10230 3219590 1456814 1162 555 41 41 37
3.43/3.54 c 1430 10281 3237899 1465798 1162 559 41 41 37
3.43/3.54 c 1440 10332 3256325 1474886 1162 563 41 41 37
3.43/3.55 c 1450 10379 3275641 1483763 1162 565 37 37 33
3.43/3.56 c 1460 10430 3294198 1492762 1162 569 41 41 37
3.43/3.57 c 1470 10481 3312953 1501865 1162 573 41 41 37
3.43/3.58 c 1480 10532 3331466 1510990 1162 577 41 41 37
3.43/3.59 c 1490 10583 3351039 1520060 1162 581 41 41 37
3.43/3.59 c 1500 10632 3370210 1529080 1162 584 39 39 35
3.53/3.60 c 1510 10683 3388947 1538274 1162 588 41 41 37
3.53/3.61 c 1520 10732 3407967 1547410 1162 591 39 39 35
3.53/3.62 c 1530 10783 3426500 1556616 1162 595 41 41 37
3.53/3.63 c 1540 10834 3444809 1565666 1162 599 41 41 37
3.53/3.63 c 1550 10881 3464177 1574595 1162 601 37 37 33
3.53/3.64 c 1560 10932 3482686 1583697 1162 605 41 41 37
3.53/3.65 c 1570 10983 3501336 1592735 1162 609 41 41 37
3.53/3.66 c 1580 11034 3519749 1601771 1162 613 41 41 37
3.53/3.66 c 1585 11075 3537311 1608433 1162 618 37 37 30
3.53/3.67 c 1590 11122 3553869 1615260 1162 623 43 43 35
3.53/3.68 c 1600 11173 3572433 1624232 1162 627 41 41 37
3.53/3.69 c 1610 11224 3590837 1633268 1162 631 41 41 37
3.53/3.69 c 1620 11277 3608745 1642405 1162 636 43 43 39
3.63/3.70 c 1630 11330 3626773 1651575 1162 641 43 43 39
3.63/3.71 c 1640 11383 3644629 1660654 1162 646 43 43 39
3.63/3.72 c 1650 11436 3662749 1669895 1162 651 43 43 39
3.63/3.73 c 1660 11489 3680464 1678934 1162 656 43 43 39
3.63/3.73 c 1670 11542 3698363 1688129 1162 661 43 43 39
3.63/3.74 c 1680 11595 3716280 1697208 1162 666 43 43 39
3.63/3.75 c 1690 11648 3734198 1706345 1162 671 43 43 39
3.63/3.76 c 1700 11701 3751995 1715411 1162 676 43 43 39
3.63/3.77 c 1710 11750 3770128 1724350 1162 679 39 39 35
3.63/3.77 c 1720 11799 3787260 1733416 1162 682 39 39 35
3.63/3.78 c 1730 11848 3806379 1742540 1162 685 39 39 35
3.63/3.79 c 1740 11897 3825326 1751676 1162 688 39 39 35
3.73/3.80 c 1750 11944 3843792 1760564 1162 690 37 37 33
3.73/3.81 c 1760 11995 3862205 1769666 1162 694 41 41 37
3.73/3.81 c 1770 12044 3880676 1778604 1162 697 39 39 35
3.73/3.82 c 1780 12097 3898486 1787695 1162 702 43 43 39
3.73/3.83 c 1790 12146 3918065 1796651 1162 705 37 39 35
3.73/3.84 c 1800 12195 3935348 1805769 1162 708 39 39 35
3.73/3.85 c 1810 12246 3953984 1814975 1162 712 41 41 37
3.73/3.85 c 1820 12293 3973281 1824151 1162 714 37 37 33
3.73/3.86 c 1830 12340 3992656 1833184 1162 716 37 37 33
3.73/3.87 c 1840 12391 4010965 1842234 1162 720 41 41 37
3.73/3.87 c 1841 12432 4027183 1847447 1162 721 41 41 20
3.73/3.88 c 1850 12482 4045434 1856226 1162 724 41 41 36
3.73/3.89 c 1860 12531 4064415 1865142 1162 727 39 39 35
3.83/3.90 c 1870 12575 4081340 1873721 1162 728 35 35 31
3.83/3.90 c 1880 12628 4099248 1882794 1162 733 43 43 39
3.83/3.91 c 1890 12677 4118063 1891826 1162 736 39 39 35
3.83/3.92 c 1900 12724 4136499 1900772 1162 738 37 37 33
3.83/3.93 c 1910 12768 4154016 1909341 1162 739 35 35 31
3.83/3.93 c 1920 12812 4171059 1917999 1162 740 35 35 31
3.83/3.94 c 1930 12859 4189960 1927031 1162 742 37 37 33
3.83/3.95 c 1940 12908 4208364 1936166 1162 745 39 39 35
3.83/3.96 c 1950 12955 4226136 1945239 1162 747 37 37 33
3.83/3.97 c 1960 13004 4244605 1954206 1162 750 39 39 35
3.83/3.97 c 1970 13051 4262511 1963273 1162 752 37 37 33
3.83/3.98 c 1980 13098 4280418 1972230 1162 754 37 37 33
3.83/3.99 c 1990 13149 4299105 1981306 1162 758 41 41 37
3.83/4.00 c 2000 13193 4316456 1989769 1162 759 35 35 31
3.83/4.00 c 2010 13242 4335074 1998811 1162 762 39 39 35
3.94/4.01 c 2020 13291 4353815 2007791 1162 765 39 39 35
3.94/4.02 c 2030 13340 4370908 2016909 1162 768 39 39 35
3.94/4.03 c 2040 13391 4389330 2026011 1162 772 41 41 37
3.94/4.03 c 2050 13433 4406930 2034414 1162 782 33 33 30
3.94/4.04 c 2060 13484 4425615 2043452 1162 786 41 41 37
3.94/4.05 c 2070 13533 4443376 2052467 1162 789 39 39 35
3.94/4.06 c 2080 13577 4460875 2061138 1162 790 35 35 31
3.94/4.06 c 2090 13621 4478343 2069653 1162 791 35 35 31
3.94/4.07 c 2100 13665 4495396 2078232 1162 792 35 35 31
3.94/4.08 c 2110 13712 4514443 2087130 1162 794 37 37 33
3.94/4.09 c 2120 13761 4531599 2096194 1162 797 39 39 35
3.94/4.09 c 2122 13799 4547009 2101757 1162 799 37 37 24
3.94/4.10 c 2130 13843 4563444 2109722 1162 807 37 37 32
4.04/4.11 c 2140 13890 4580977 2118743 1162 809 37 37 33
4.04/4.11 c 2150 13937 4598758 2127779 1162 811 37 37 33
4.04/4.12 c 2160 13984 4616347 2136723 1162 813 37 37 33
4.04/4.13 c 2170 14031 4634368 2145842 1162 815 37 37 33
4.04/4.14 c 2180 14078 4652383 2154955 1162 817 37 37 33
4.04/4.14 c 2190 14122 4668712 2163559 1162 818 35 35 31
4.04/4.15 c 2200 14166 4684927 2172111 1162 819 35 35 31
4.04/4.16 c 2210 14213 4702716 2181004 1162 821 37 37 33
4.04/4.17 c 2220 14257 4720236 2189553 1162 822 35 35 31
4.04/4.17 c 2230 14304 4737790 2198626 1162 824 37 37 33
4.04/4.18 c 2240 14348 4755200 2207247 1162 825 35 35 31
4.04/4.19 c 2250 14392 4772125 2215724 1162 826 35 35 31
4.04/4.19 c 2260 14436 4788461 2224459 1162 827 35 35 31
4.13/4.20 c 2270 14483 4806233 2233507 1162 829 37 37 33
4.13/4.21 c 2280 14530 4824191 2242497 1162 831 37 37 33
4.13/4.22 c 2290 14574 4841172 2251103 1162 832 35 35 31
4.13/4.22 c 2300 14618 4857473 2259707 1162 833 35 35 31
4.13/4.23 c 2310 14667 4874694 2268877 1162 836 39 39 35
4.13/4.24 c 2320 14711 4891876 2277508 1162 837 35 35 31
4.13/4.25 c 2330 14758 4909409 2286425 1162 839 37 37 33
4.13/4.25 c 2340 14800 4926053 2294911 1162 849 33 33 30
4.13/4.26 c 2350 14844 4942498 2303567 1162 850 35 35 31
4.13/4.27 c 2360 14891 4960404 2312512 1162 852 37 37 33
4.13/4.28 c 2370 14933 4977176 2321104 1162 862 33 33 30
4.13/4.28 c 2380 14977 4994101 2329683 1162 863 35 35 31
4.13/4.29 c 2390 15019 5010800 2338203 1162 873 33 33 30
4.23/4.30 c 2400 15063 5027071 2346886 1162 874 35 35 31
4.23/4.31 c 2410 15169 5058594 2355198 1162 884 86 97 86
4.23/4.33 c 2420 15218 5077267 2364248 1162 886 19 40 34
4.23/4.34 c 2430 15265 5094793 2373192 1162 888 37 37 33
4.23/4.35 c 2431 15304 5109613 2378442 1162 889 39 39 19
4.23/4.35 c 2440 15347 5126491 2386643 1162 898 35 35 31
4.23/4.36 c 2450 15391 5142762 2395222 1162 899 35 35 31
4.23/4.37 c 2460 15433 5159515 2403652 1162 909 33 33 30
4.23/4.37 c 2470 15477 5175740 2412308 1162 910 35 35 31
4.23/4.38 c 2480 15517 5192741 2420663 1162 920 31 31 28
4.23/4.39 c 2490 15559 5209400 2429201 1162 930 33 33 30
4.23/4.39 c 2500 15599 5226512 2437642 1162 940 31 31 28
4.33/4.40 c 2510 15643 5242696 2446194 1162 941 35 35 31
4.33/4.42 c 2520 15749 5274262 2454464 1162 951 89 97 87
4.33/4.44 c 2530 15796 5293195 2463479 1162 961 19 38 32
4.33/4.44 c 2540 15840 5309423 2472135 1162 962 35 35 31
4.33/4.45 c 2550 15882 5326302 2480669 1162 972 33 33 30
4.33/4.46 c 2560 15926 5342580 2489325 1162 973 35 35 31
4.33/4.47 c 2570 15970 5359931 2497770 1162 974 35 35 31
4.33/4.47 c 2580 16012 5377524 2506200 1162 984 33 33 30
4.33/4.48 c 2590 16056 5393815 2514806 1162 985 35 35 31
4.33/4.49 c 2600 16100 5410086 2523385 1162 986 35 35 31
4.33/4.49 c 2610 16142 5426925 2531867 1162 996 33 33 30
4.43/4.50 c 2620 16186 5443150 2540523 1162 997 35 35 31
4.43/4.51 c 2630 16226 5460151 2548878 1162 1007 31 31 28
4.43/4.51 c 2640 16268 5476862 2557398 1162 1017 33 33 30
4.43/4.52 c 2650 16308 5493833 2565909 1162 1027 31 31 28
4.43/4.53 c 2660 16350 5510697 2574501 1162 1037 33 33 30
4.43/4.54 c 2670 16394 5526860 2583105 1162 1038 35 35 31
4.43/4.54 c 2680 16434 5544024 2591668 1162 1048 31 31 28
4.43/4.55 c 2690 16476 5560903 2600306 1162 1058 33 33 30
4.43/4.56 c 2700 16516 5578046 2608747 1162 1068 31 31 28
4.43/4.56 c 2710 16560 5594202 2617378 1162 1069 35 35 31
4.43/4.57 c 2720 16600 5610185 2625762 1162 1079 31 31 28
4.43/4.58 c 2730 16642 5626951 2634327 1162 1089 33 33 30
4.43/4.58 c 2740 16684 5643704 2642757 1162 1099 33 33 30
4.43/4.59 c 2750 16724 5659739 2651295 1162 1109 31 31 28
4.53/4.60 c 2760 16768 5675902 2659795 1162 1110 35 35 31
4.53/4.60 c 2770 16808 5693051 2668254 1162 1120 31 31 28
4.53/4.61 c 2771 16841 5708102 2673418 1162 1121 33 33 16
4.53/4.62 c 2780 16882 5724506 2681468 1162 1130 33 33 29
4.53/4.62 c 2790 16922 5741569 2689981 1162 1140 31 31 28
4.53/4.63 c 2800 16964 5758283 2698519 1162 1150 33 33 30
4.53/4.64 c 2810 17008 5775810 2707086 1162 1151 35 35 31
4.53/4.65 c 2820 17048 5792885 2715597 1162 1161 31 31 28
4.53/4.65 c 2830 17090 5809690 2724079 1162 1171 33 33 30
4.53/4.66 c 2840 17130 5826759 2732590 1162 1181 31 31 28
4.53/4.67 c 2850 17174 5842922 2741072 1162 1182 35 35 31
4.53/4.67 c 2860 17214 5858898 2749481 1162 1192 31 31 28
4.53/4.68 c 2870 17256 5875608 2758021 1162 1202 33 33 30
4.53/4.69 c 2880 17296 5891647 2766430 1162 1212 31 31 28
4.53/4.69 c 2890 17338 5908486 2775016 1162 1222 33 33 30
4.63/4.70 c 2900 17378 5925539 2783423 1162 1232 31 31 28
4.63/4.71 c 2910 17418 5941608 2791857 1162 1242 31 31 28
4.63/4.71 c 2920 17458 5958671 2800246 1162 1252 31 31 28
4.63/4.72 c 2930 17498 5975583 2808705 1162 1262 31 31 28
4.63/4.73 c 2940 17538 5992636 2817114 1162 1272 31 31 28
4.63/4.73 c 2950 17578 6009899 2825781 1162 1282 31 31 28
4.63/4.74 c 2960 17618 6026992 2834292 1162 1292 31 31 28
4.63/4.75 c 2970 17658 6044119 2842751 1162 1302 31 31 28
4.63/4.77 c 2980 17767 6078141 2851377 1162 1312 92 100 90
4.63/4.78 c 2990 17812 6096478 2860269 1162 1322 19 36 31
4.63/4.79 c 3000 17852 6112461 2868633 1162 1332 31 31 28
4.73/4.80 c 3010 17892 6128437 2877042 1162 1342 31 31 28
4.73/4.80 c 3020 17932 6144420 2885426 1162 1352 31 31 28
4.73/4.81 c 3030 17972 6160459 2893835 1162 1362 31 31 28
4.73/4.82 c 3040 18014 6177298 2902317 1162 1372 33 33 30
4.73/4.82 c 3050 18052 6193956 2910724 1162 1382 29 29 26
4.73/4.83 c 3060 18092 6209939 2919106 1162 1392 31 31 28
4.73/4.84 c 3070 18132 6225984 2927522 1162 1402 31 31 28
4.73/4.84 c 3080 18176 6242288 2936178 1162 1403 35 35 31
4.73/4.85 c 3090 18216 6259464 2944795 1162 1413 31 31 28
4.73/4.86 c 3100 18256 6275729 2953437 1162 1423 31 31 28
4.73/4.86 c 3110 18296 6291829 2961923 1162 1433 31 31 28
4.73/4.87 c 3120 18338 6308634 2970509 1162 1443 33 33 30
4.73/4.88 c 3130 18378 6325703 2978898 1162 1453 31 31 28
4.73/4.88 c 3140 18418 6341679 2987411 1162 1463 31 31 28
4.73/4.89 c 3142 18450 6356262 2992803 1162 1465 31 31 20
4.83/4.90 c 3150 18488 6371895 3000417 1162 1473 31 31 27
4.83/4.90 c 3160 18528 6387871 3008826 1162 1483 31 31 28
4.83/4.91 c 3170 18568 6403854 3017210 1162 1493 31 31 28
4.83/4.92 c 3180 18608 6419945 3025775 1162 1503 31 31 28
4.83/4.92 c 3190 18650 6436750 3034257 1162 1513 33 33 30
4.83/4.93 c 3200 18690 6453751 3042612 1162 1523 31 31 28
4.83/4.94 c 3210 18730 6469796 3051028 1162 1533 31 31 28
4.83/4.95 c 3220 18772 6486592 3059666 1162 1543 33 33 30
4.83/4.95 c 3230 18812 6502655 3068206 1162 1553 31 31 28
4.83/4.96 c 3240 18852 6518800 3076692 1162 1563 31 31 28
4.83/4.97 c 3250 18892 6534992 3085334 1162 1573 31 31 28
4.83/4.97 c 3260 18932 6551117 3093820 1162 1583 31 31 28
4.83/4.98 c 3270 18972 6567100 3102306 1162 1593 31 31 28
4.83/4.99 c 3280 19012 6583083 3110688 1162 1603 31 31 28
4.83/4.99 c 3290 19052 6599066 3119052 1162 1613 31 31 28
4.83/5.00 c 3300 19092 6615042 3127461 1162 1623 31 31 28
4.95/5.01 c 3310 19132 6631025 3135845 1162 1633 31 31 28
4.95/5.01 c 3320 19172 6647064 3144358 1162 1643 31 31 28
4.95/5.02 c 3330 19214 6663817 3152788 1162 1653 33 33 30
4.95/5.03 c 3340 19254 6679800 3161170 1162 1663 31 31 28
4.95/5.03 c 3350 19294 6695897 3169638 1162 1673 31 31 28
4.95/5.04 c 3360 19332 6712466 3178045 1162 1683 29 29 26
4.95/5.05 c 3370 19372 6728529 3186481 1162 1693 31 31 28
4.95/5.05 c 3380 19412 6744674 3195071 1162 1703 31 31 28
4.95/5.06 c 3390 19452 6760866 3203713 1162 1713 31 31 28
4.95/5.07 c 3400 19490 6777702 3212276 1162 1723 29 29 26
4.95/5.07 c 3410 19530 6793685 3220658 1162 1733 31 31 28
4.95/5.08 c 3420 19570 6809668 3229040 1162 1743 31 31 28
4.95/5.09 c 3430 19610 6825651 3237404 1162 1753 31 31 28
4.95/5.09 c 3440 19650 6841627 3245813 1162 1763 31 31 28
4.95/5.10 c 3450 19690 6857610 3254197 1162 1773 31 31 28
5.05/5.11 c 3460 19730 6873649 3262710 1162 1783 31 31 28
5.05/5.11 c 3470 19772 6890488 3271192 1162 1793 33 33 30
5.05/5.12 c 3480 19810 6907146 3279495 1162 1803 29 29 26
5.05/5.13 c 3490 19850 6923243 3287963 1162 1813 31 31 28
5.05/5.13 c 3500 19888 6939812 3296370 1162 1823 29 29 26
5.05/5.14 c 3510 19928 6955875 3304806 1162 1833 31 31 28
5.05/5.15 c 3520 19966 6972672 3313265 1162 1843 29 29 26
5.05/5.15 c 3530 20006 6988846 3321803 1162 1853 31 31 28
5.05/5.17 c 3540 20118 7025130 3330919 1162 1863 95 103 92
5.05/5.19 c 3550 20163 7043631 3339941 1162 1873 19 36 31
5.05/5.20 c 3551 20192 7058782 3344993 1162 1874 29 29 14
5.14/5.20 c 3560 20229 7075391 3353127 1162 1883 29 29 26
5.14/5.21 c 3570 20269 7091374 3361509 1162 1893 31 31 28
5.14/5.22 c 3580 20307 7108100 3369846 1162 1903 29 29 26
5.14/5.22 c 3590 20347 7124076 3378255 1162 1913 31 31 28
5.14/5.23 c 3600 20385 7140734 3386560 1162 1923 29 29 26
5.14/5.24 c 3610 20425 7156859 3395125 1162 1933 31 31 28
5.14/5.24 c 3620 20463 7173517 3403428 1162 1943 29 29 26
5.14/5.25 c 3630 20503 7189500 3411810 1162 1953 31 31 28
5.14/5.25 c 3640 20543 7205545 3420226 1162 1963 31 31 28
5.14/5.26 c 3650 20581 7222114 3428581 1162 1973 29 29 26
5.14/5.27 c 3660 20621 7238177 3436997 1162 1983 31 31 28
5.14/5.27 c 3670 20661 7254233 3445587 1162 1993 31 31 28
5.14/5.28 c 3680 20701 7270360 3454179 1162 2003 31 31 28
5.14/5.29 c 3690 20741 7286417 3462613 1162 2013 31 31 28
5.14/5.30 c 3700 20781 7302465 3471151 1162 2023 31 31 28
5.24/5.30 c 3710 20819 7319123 3479454 1162 2033 29 29 26
5.24/5.31 c 3720 20859 7335106 3487818 1162 2043 31 31 28
5.24/5.31 c 3730 20897 7351757 3496148 1162 2053 29 29 26
5.24/5.32 c 3740 20937 7367740 3504532 1162 2063 31 31 28
5.24/5.33 c 3750 20977 7383831 3513097 1162 2073 31 31 28
5.24/5.33 c 3760 21015 7400541 3521452 1162 2083 29 29 26
5.24/5.34 c 3770 21055 7416524 3529834 1162 2093 31 31 28
5.24/5.35 c 3780 21095 7432569 3538372 1162 2103 31 31 28
5.24/5.35 c 3790 21133 7449227 3546657 1162 2113 29 29 26
5.24/5.36 c 3800 21173 7465201 3555195 1162 2123 31 31 28
5.24/5.38 c 3810 21288 7505167 3564902 1162 2133 98 106 95
5.34/5.40 c 3820 21331 7523432 3574521 1162 2143 19 34 29
5.34/5.41 c 3830 21371 7539646 3583163 1162 2153 31 31 28
5.34/5.41 c 3840 21411 7555697 3591597 1162 2163 31 31 28
5.34/5.42 c 3850 21451 7571680 3600083 1162 2173 31 31 28
5.34/5.43 c 3860 21491 7587663 3608465 1162 2183 31 31 28
5.34/5.43 c 3870 21529 7604321 3616750 1162 2193 29 29 26
5.34/5.44 c 3880 21569 7620297 3625159 1162 2203 31 31 28
5.34/5.44 c 3890 21595 7636224 3633529 1162 2213 17 17 15
5.34/5.45 c 3900 21621 7652207 3642028 1162 2223 17 17 15
5.34/5.46 c 3910 21645 7668861 3650369 1162 2233 15 15 13
5.34/5.46 c 3920 21671 7684874 3658771 1162 2243 17 17 15
5.34/5.47 c 3930 21695 7701387 3667060 1162 2253 15 15 13
5.34/5.47 c 3940 21719 7718051 3675403 1162 2263 15 15 13
5.34/5.48 c 3950 21745 7734058 3683927 1162 2273 17 17 15
5.34/5.49 c 3960 21769 7750740 3692372 1162 2283 15 15 13
5.34/5.49 c 3970 21795 7766898 3701000 1162 2293 17 17 15
5.44/5.50 c 3980 21819 7783620 3709445 1162 2303 15 15 13
5.44/5.50 c 3990 21845 7799547 3717917 1162 2313 17 17 15
5.44/5.51 c 4000 21869 7816149 3726206 1162 2323 15 15 13
5.44/5.52 c 4001 21886 7830501 3731212 1162 2324 17 17 8
5.44/5.52 c 4010 21909 7846921 3739255 1162 2333 15 15 13
5.44/5.53 c 4020 21935 7862848 3747625 1162 2343 17 17 15
5.44/5.53 c 4030 21959 7879506 3755941 1162 2353 15 15 13
5.44/5.54 c 4040 21985 7895541 3764388 1162 2363 17 17 15
5.44/5.54 c 4050 22009 7912143 3772781 1162 2373 15 15 13
5.44/5.55 c 4060 22035 7928070 3781131 1162 2383 17 17 15
5.44/5.56 c 4070 22061 7943960 3789551 1162 2393 17 17 15
5.44/5.56 c 4080 22085 7960676 3797998 1162 2403 15 15 13
5.44/5.57 c 4090 22111 7976603 3806366 1162 2413 17 17 15
5.44/5.57 c 4100 22137 7992647 3814942 1162 2423 17 17 15
5.44/5.58 c 4110 22163 8008896 3823622 1162 2433 17 17 15
5.44/5.59 c 4120 22189 8024897 3832042 1162 2443 17 17 15
5.44/5.59 c 4130 22213 8041567 3840383 1162 2453 15 15 13
5.54/5.60 c 4140 22239 8057494 3848855 1162 2463 17 17 15
5.54/5.60 c 4150 22263 8074096 3857126 1162 2473 15 15 13
5.54/5.61 c 4160 22289 8090016 3865521 1162 2483 17 17 15
5.54/5.62 c 4170 22313 8106618 3873812 1162 2493 15 15 13
5.54/5.62 c 4180 22339 8122601 3882311 1162 2503 17 17 15
5.54/5.63 c 4190 22363 8139255 3890652 1162 2513 15 15 13
5.54/5.63 c 4200 22389 8155182 3899002 1162 2523 17 17 15
5.54/5.64 c 4210 22415 8171072 3907422 1162 2533 17 17 15
5.54/5.65 c 4220 22439 8187788 3915869 1162 2543 15 15 13
5.54/5.65 c 4230 22465 8203715 3924237 1162 2553 17 17 15
5.54/5.66 c 4240 22491 8219759 3932813 1162 2563 17 17 15
5.54/5.66 c 4250 22515 8236576 3941414 1162 2573 15 15 13
5.54/5.67 c 4260 22541 8252645 3949886 1162 2583 17 17 15
5.54/5.68 c 4270 22567 8268572 3958254 1162 2593 17 17 15
5.54/5.68 c 4280 22591 8285174 3966647 1162 2603 15 15 13
5.54/5.69 c 4290 22617 8301101 3974997 1162 2613 17 17 15
5.54/5.69 c 4300 22641 8317696 3983313 1162 2623 15 15 13
5.64/5.70 c 4310 22667 8333623 3991683 1162 2633 17 17 15
5.64/5.70 c 4320 22693 8349658 4000234 1162 2643 17 17 15
5.64/5.71 c 4330 22717 8366260 4008523 1162 2653 15 15 13
5.64/5.72 c 4340 22743 8382187 4016873 1162 2663 17 17 15
5.64/5.72 c 4350 22769 8398077 4025293 1162 2673 17 17 15
5.64/5.73 c 4360 22793 8414793 4033740 1162 2683 15 15 13
5.64/5.73 c 4370 22820 8431745 4042507 1162 2692 17 17 15
5.64/5.74 c 4380 22844 8448409 4050900 1162 2702 15 15 13
5.64/5.75 c 4390 22870 8464570 4059528 1162 2712 17 17 15
5.64/5.75 c 4400 22894 8481276 4067973 1162 2722 15 15 13
5.64/5.76 c 4410 22920 8497203 4076341 1162 2732 17 17 15
5.64/5.76 c 4420 22946 8513240 4084865 1162 2742 17 17 15
5.64/5.77 c 4430 22970 8529842 4093136 1162 2752 15 15 13
5.64/5.78 c 4440 22996 8545762 4101531 1162 2762 17 17 15
5.64/5.78 c 4450 23020 8562364 4109822 1162 2772 15 15 13
5.64/5.79 c 4460 23046 8578399 4118373 1162 2782 17 17 15
5.64/5.79 c 4470 23070 8595001 4126662 1162 2792 15 15 13
5.74/5.80 c 4480 23096 8610928 4135134 1162 2802 17 17 15
5.74/5.80 c 4490 23122 8626907 4143536 1162 2812 17 17 15
5.74/5.81 c 4493 23139 8642247 4149262 1162 2815 15 15 11
5.74/5.81 c 4500 23162 8657729 4156555 1162 2822 17 17 14
5.74/5.82 c 4510 23186 8674479 4165052 1162 2832 15 15 13
5.74/5.83 c 4520 23212 8690458 4173472 1162 2842 17 17 15
5.74/5.83 c 4530 23236 8707122 4181865 1162 2852 15 15 13
5.74/5.84 c 4540 23262 8723123 4190389 1162 2862 17 17 15
5.74/5.84 c 4550 23286 8739777 4198730 1162 2872 15 15 13
5.74/5.85 c 4560 23312 8755814 4207254 1162 2882 17 17 15
5.74/5.86 c 4570 23336 8772416 4215525 1162 2892 15 15 13
5.74/5.86 c 4580 23362 8788336 4223920 1162 2902 17 17 15
5.74/5.87 c 4590 23388 8804315 4232324 1162 2912 17 17 15
5.74/5.87 c 4600 23414 8820295 4240771 1162 2922 17 17 15
5.74/5.88 c 4610 23438 8836949 4249114 1162 2932 15 15 13
5.74/5.89 c 4620 23464 8852876 4257586 1162 2942 17 17 15
5.74/5.89 c 4630 23488 8869478 4265927 1162 2952 15 15 13
5.84/5.90 c 4640 23514 8885553 4274399 1162 2962 17 17 15
5.84/5.90 c 4650 23538 8902235 4282844 1162 2972 15 15 13
5.84/5.91 c 4660 23565 8919239 4291663 1162 2981 17 17 15
5.84/5.92 c 4670 23589 8935893 4300108 1162 2991 15 15 13
5.84/5.92 c 4680 23615 8951894 4308528 1162 3001 17 17 15
5.84/5.94 c 4690 23733 8994805 4318538 1162 3011 101 109 98
5.84/5.96 c 4700 23760 9013945 4328016 1162 3021 5 18 15
5.84/5.97 c 4710 23786 9029982 4336540 1162 3031 17 17 15
5.84/5.97 c 4720 23810 9046584 4344811 1162 3041 15 15 13
5.84/5.98 c 4730 23836 9062504 4353188 1162 3051 17 17 15
5.84/5.98 c 4740 23862 9078342 4361558 1162 3061 17 17 15
5.84/5.99 c 4750 23886 9095000 4369876 1162 3071 15 15 13
5.84/5.99 c 4760 23910 9111602 4378165 1162 3081 15 15 13
5.84/6.00 c 4770 23936 9127594 4386689 1162 3091 17 17 15
5.95/6.01 c 4780 23960 9144248 4395082 1162 3101 15 15 13
5.95/6.01 c 4790 23986 9160409 4403710 1162 3111 17 17 15
5.95/6.02 c 4800 24012 9176336 4412182 1162 3121 17 17 15
5.95/6.03 c 4810 24036 9193076 4420575 1162 3131 15 15 13
5.95/6.03 c 4820 24062 9209157 4429047 1162 3141 17 17 15
5.95/6.04 c 4830 24088 9225136 4437467 1162 3151 17 17 15
5.95/6.04 c 4840 24114 9241137 4445887 1162 3161 17 17 15
5.95/6.05 c 4850 24138 9257798 4454332 1162 3171 15 15 13
5.95/6.06 c 4860 24164 9273725 4462682 1162 3181 17 17 15
5.95/6.06 c 4870 24188 9290320 4470980 1162 3191 15 15 13
5.95/6.07 c 4880 24214 9306158 4479350 1162 3201 17 17 15
5.95/6.07 c 4890 24238 9322816 4487668 1162 3211 15 15 13
5.95/6.08 c 4900 24262 9339418 4495957 1162 3221 15 15 13
5.95/6.08 c 4910 24288 9355410 4504481 1162 3231 17 17 15
5.95/6.09 c 4920 24312 9372064 4512926 1162 3241 15 15 13
5.95/6.10 c 4930 24338 9388123 4521502 1162 3251 17 17 15
5.95/6.10 c 4940 24362 9404959 4530051 1162 3261 15 15 13
6.05/6.11 c 4950 24388 9420938 4538471 1162 3271 17 17 15
6.05/6.11 c 4960 24412 9437602 4546864 1162 3281 15 15 13
6.05/6.12 c 4970 24438 9453603 4555284 1162 3291 17 17 15
6.05/6.13 c 4980 24462 9470257 4563625 1162 3301 15 15 13
6.05/6.13 c 4990 24488 9486294 4572149 1162 3311 17 17 15
6.05/6.14 c 5035 24552 9511039 4594826 1162 3323 17 17 16
6.14/6.24 c 5631 25256 9676274 4852095 1162 3341 16 19 17
6.24/6.36 c 6286 26075 9874164 5146706 1162 3362 19 25 21
6.44/6.51 c 7006 27127 10128604 5492878 1162 3376 25 31 28
6.54/6.68 c 7798 28289 10407517 5870475 1162 3395 25 33 28
6.74/6.86 c 8669 29434 10671552 6276562 1162 3407 21 27 23
6.95/7.03 c 9627 30621 10936995 6713838 1162 3422 20 25 21
7.14/7.21 c 10680 31967 11252365 7197513 1162 3439 22 27 23
7.34/7.44 c 11838 33530 11630358 7724510 1162 3457 21 27 24
7.54/7.68 c 13111 35215 12025293 8321643 1162 3480 21 27 23
7.94/8.03 c 14511 37398 12542250 9035243 1162 3502 24 33 28
8.23/8.32 c 16051 39385 12997910 9739254 1162 3523 33 39 35
8.63/8.70 c 17745 41786 13582680 10562198 1162 3538 20 27 24
8.94/9.10 c 19608 44442 14214334 11453605 1162 3547 34 43 38
9.43/9.57 c 21657 47465 14962210 12455021 1162 3567 23 31 27
10.04/10.15 c 23910 51185 15821740 13600552 1162 3582 26 35 31
10.24/10.34 c 26388 53810 15881546 13619494 1162 6060 103 148 120
10.84/11.00 c 29113 57797 16903250 14908150 1162 6079 1 46 42
11.44/11.59 c 32110 61991 17907247 16299587 1162 6099 34 43 38
12.13/12.24 c 35406 66562 19027257 17818475 1162 6117 35 43 39
12.94/13.09 c 39031 71757 20327788 19545774 1162 6128 2 43 39
13.73/13.88 c 43018 76803 21219231 20193053 1162 8474 75 217 190
14.83/14.95 c 47403 83701 22841604 22359694 1162 8486 39 48 44
16.13/16.25 c 52226 91414 24721382 24737194 1162 8492 39 47 44
17.53/17.61 c 57531 99975 26717583 27346796 1162 8504 38 47 44
18.83/18.90 c 63366 108631 28836274 30083513 1162 8523 37 45 42
20.33/20.49 c 69784 118342 31269301 33144525 1162 8535 39 47 42
21.73/21.87 c 76843 128044 33535721 36417942 1162 8546 35 47 39
23.54/23.62 c 84607 139492 36332806 40053721 1162 8572 37 45 41
25.34/25.43 c 93147 151627 39372622 43957911 1162 8588 34 43 40
28.14/28.25 c 102541 167839 43155663 48693747 1162 8607 58 135 130
30.84/30.91 c 112874 184070 47049919 53762671 1162 8625 39 48 44
33.34/33.46 c 124240 200270 51238943 59006205 1162 8634 34 49 40
36.14/36.24 c 136742 218816 55764195 64845813 1162 8657 36 45 41
39.23/39.36 c 150494 239382 60812127 71388401 1162 8676 36 45 42
42.94/43.02 c 165621 262172 66477733 78586834 1162 8696 36 45 42
46.53/46.66 c 182260 287043 72475063 86439243 1162 8716 26 45 41
50.43/50.53 c 200562 313016 79064664 94902549 1162 8730 34 45 40
55.94/56.07 c 220694 344664 87016236 104821800 1162 8764 38 47 43
60.63/60.75 c 242839 376535 94856424 114984264 1162 8787 35 43 40
65.83/65.92 c 267198 411572 103509169 126250928 1162 8808 34 43 40
71.73/71.88 c 293992 449750 113413314 138610948 1162 8832 34 43 40
77.94/78.08 c 323465 491576 123971856 152023052 1162 8855 34 43 39
85.23/85.39 c 355885 539038 135647180 167189469 1162 8876 35 43 40
92.83/93.00 c 391547 590431 148465584 183575088 1162 8897 34 43 40
102.22/102.37 c 430775 650426 163569752 202446681 1162 8911 35 49 42
109.53/109.65 c 473925 710429 178930353 221697320 1162 8936 32 43 38
118.32/118.44 c 521390 778239 196372858 243540128 1162 8975 34 43 39
128.52/128.63 c 573601 853212 215904594 267678420 1162 8998 34 43 40
139.93/140.01 c 631033 936657 237411353 294241720 1162 9012 34 43 39
154.62/154.71 c 694208 1034309 261981426 325278287 1162 9029 35 49 42
165.93/166.03 c 763700 1131466 286697601 356093133 1162 9058 32 41 38
178.93/179.01 c 840141 1234152 313881920 390216323 1162 9090 30 39 35
194.42/194.59 c 924226 1351857 345515842 428313395 1162 9125 18 27 24
210.81/210.99 c 1016719 1485306 379574467 470595165 1162 9156 20 29 26
229.61/229.73 c 1118461 1627185 416504887 516852665 1162 9187 18 27 23
261.21/261.35 c 1230377 1822860 462164027 573659815 1162 9199 58 93 88
281.71/281.81 c 1353484 1990485 507059612 628258838 1162 9217 31 42 37
308.11/308.29 c 1488901 2188187 558396040 691627678 1162 9242 34 45 40
345.81/346.00 c 1637859 2443389 616536850 764392258 1162 9260 41 93 88
375.41/375.51 c 1801712 2680983 677018565 840318577 1162 9290 2 48 43
414.60/414.70 c 1981950 2955562 747482899 926152390 1162 9313 36 51 41
453.01/453.16 c 2180211 3254017 821953730 1020733670 1162 9330 34 45 41
494.10/494.28 c 2398298 3562313 903863271 1119557396 1162 9351 31 43 38
565.90/566.03 c 2638193 3979286 1005366631 1242368293 1162 9372 58 93 87
620.59/620.75 c 2902077 4394237 1106002019 1370724989 1162 9404 2 52 46
682.70/682.85 c 3192349 4850374 1218673565 1512324624 1162 9429 35 49 43
741.69/741.89 c 3511648 5302048 1336871991 1657157029 1162 9460 31 43 38
807.29/807.45 c 3862876 5828258 1469261108 1821409394 1162 9493 33 45 41
892.49/892.61 c 4249226 6416739 1618158979 2004598720 1162 9524 36 51 42
981.68/981.80 c 4674211 7080919 1781247962 2210324743 1162 9552 35 51 42
1079.38/1079.52 c 5141694 7776286 1962627970 2429636520 1162 9587 33 51 41
1171.77/1171.99 c 5655925 8516655 2153200189 2667075174 1162 9621 31 43 39
1299.67/1299.81 c 6221579 9408425 2377664806 2942117763 1162 9653 35 51 42
1407.87/1408.08 c 6843798 10295181 2607277879 3225257052 1162 9683 31 43 39
1556.36/1556.50 c 7528238 11319296 2877036019 3548431154 1162 9721 33 51 40
1692.35/1692.54 c 8281122 12438116 3156938312 3901354985 1162 9764 33 45 41
1875.24/1875.47 c 9109294 13755427 3481974504 4306165667 1162 9800 35 51 42
2047.55/2047.72 c 10020283 15033966 3826428834 4716475912 1162 9854 29 41 37
2241.14/2241.38 c 11022370 16637299 4205571383 5207663279 1162 9880 35 51 43
2440.23/2440.41 c 12124665 18157719 4617789660 5699569339 1162 9904 29 41 36
2519.83/2520.00
2519.83/2520.00 c *** INTERRUPTED ***
2519.83/2520.00 c restarts : 598
2519.83/2520.00 c conflicts : 12621014 (5009 /sec)
2519.83/2520.00 c decisions : 18843061 (7479 /sec)
2519.83/2520.00 c propagations : 5919027455 (2349278 /sec)
2519.83/2520.00 c root propagations : 8273
2519.83/2520.00 c filter calls : 4800556533 (1905354 /sec)
2519.83/2520.00 c useless filter calls : 4729464533 (98 %)
2519.83/2520.00 c
2519.83/2520.00 c clauses : 27242214
2519.83/2520.00 c SAT propagations : 2265
2519.83/2520.00 c SAT conflicts : 0 (0 learnts)
2519.83/2520.00 c Memory used : 1218.96 MB
2519.83/2520.00 c CPU time : 2519.51 s
2519.83/2520.00
2519.83/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14995 MiB free)
memory of node 1: 16384 MiB (15309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266410-1502583682/watcher-4266410-1502583682 -o /tmp/evaluation-result-4266410-1502583682/solver-4266410-1502583682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266410-1502583682.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21453, runsolver pid=21450
[startup+0.10011 s]*
/proc/loadavg: 2.01 2.07 2.07 3/181 21454
/proc/meminfo: memFree=31019920/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=48352 memory=21144 CPUtime=0.04 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 5475 0 0 0 4 0 0 0 20 0 1 0 60561548 49512448 5286 18446744073709551615 4194304 5972588 140723790162480 140723790159128 140692880276464 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 12088 5286 835 435 0 5451 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 48352 KiB
Current children cumulated memory: 21144 KiB
[startup+0.209557 s]*
/proc/loadavg: 2.01 2.07 2.07 3/181 21454
/proc/meminfo: memFree=30960884/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=113784 memory=81104 CPUtime=0.16 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 16900 0 0 0 14 2 0 0 20 0 1 0 60561548 116514816 20276 18446744073709551615 4194304 5972588 140723790162480 140723790159128 140692880206821 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 28446 20276 835 435 0 21809 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 81104 KiB
[startup+0.309458 s]*
/proc/loadavg: 2.01 2.07 2.07 4/181 21454
/proc/meminfo: memFree=30905028/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=162460 memory=136268 CPUtime=0.26 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 25044 0 0 0 22 4 0 0 20 0 1 0 60561548 166359040 34067 18446744073709551615 4194304 5972588 140723790162480 140723790159272 140692880206821 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 40615 34067 835 435 0 33978 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 162460 KiB
Current children cumulated memory: 136268 KiB
[startup+0.700317 s]
/proc/loadavg: 2.01 2.07 2.07 3/181 21454
/proc/meminfo: memFree=30793504/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=458780 memory=349320 CPUtime=0.64 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 53788 0 0 0 55 9 0 0 20 0 1 0 60561548 469790720 87330 18446744073709551615 4194304 5972588 140723790162480 140723790159272 140692880206821 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 114695 87330 835 435 0 108058 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 458780 KiB
Current children cumulated memory: 349320 KiB
[startup+1.50032 s]
/proc/loadavg: 2.09 2.08 2.07 3/181 21454
/proc/meminfo: memFree=30519696/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=856976 memory=793524 CPUtime=1.44 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 108105 0 0 0 125 19 0 0 20 0 1 0 60561548 877543424 198381 18446744073709551615 4194304 5972588 140723790162480 140723790159272 140692880206821 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 214244 198381 835 435 0 207607 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 856976 KiB
Current children cumulated memory: 793524 KiB
[startup+3.10945 s]
/proc/loadavg: 2.09 2.08 2.07 3/181 21454
/proc/meminfo: memFree=29979844/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1247020 memory=1055140 CPUtime=3.04 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 145521 0 0 0 279 25 0 0 20 0 1 0 60561548 1276948480 263785 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5243959 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 311755 263785 851 435 0 305118 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1247020 KiB
Current children cumulated memory: 1055140 KiB
[startup+6.30035 s]
/proc/loadavg: 2.08 2.08 2.07 3/181 21454
/proc/meminfo: memFree=29980000/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1247152 memory=1055248 CPUtime=6.24 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 152922 0 0 0 598 26 0 0 20 0 1 0 60561548 1277083648 263812 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5325820 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 311788 263812 851 435 0 305151 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1247152 KiB
Current children cumulated memory: 1055248 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.08 2.07 3/181 21454
/proc/meminfo: memFree=29980124/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1247424 memory=1055416 CPUtime=12.63 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 168383 0 0 0 1236 27 0 0 20 0 1 0 60561548 1277362176 263854 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4975774 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 311856 263854 851 435 0 305219 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1247424 KiB
Current children cumulated memory: 1055416 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.08 2.07 3/181 21454
/proc/meminfo: memFree=29977704/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248084 memory=1058248 CPUtime=25.44 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 187723 0 0 0 2516 28 0 0 20 0 1 0 60561548 1278038016 264562 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5338185 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312021 264562 851 435 0 305384 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1248084 KiB
Current children cumulated memory: 1058248 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.07 2.07 3/181 21455
/proc/meminfo: memFree=29977728/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058256 CPUtime=51.04 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 201448 0 0 0 5076 28 0 0 20 0 1 0 60561548 1278173184 264564 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264564 851 435 0 305417 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058256 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/181 21456
/proc/meminfo: memFree=29976744/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058260 CPUtime=102.22 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 214569 0 0 0 10193 29 0 0 20 0 1 0 60561548 1278173184 264565 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4931747 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264565 851 435 0 305417 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058260 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/181 21458
/proc/meminfo: memFree=29977004/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058264 CPUtime=162.22 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 220758 0 0 0 16192 30 0 0 20 0 1 0 60561548 1278173184 264566 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5338164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264566 851 435 0 305417 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058264 KiB
[startup+222.3 s]
/proc/loadavg: 1.92 2.02 2.04 3/185 21475
/proc/meminfo: memFree=29971592/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058268 CPUtime=222.21 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 226847 0 0 0 22191 30 0 0 20 0 1 0 60561548 1278173184 264567 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264567 851 435 0 305417 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058268 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 21477
/proc/meminfo: memFree=29974464/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058268 CPUtime=282.21 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 235057 0 0 0 28191 30 0 0 20 0 1 0 60561548 1278173184 264567 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4977701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264567 851 435 0 305417 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058268 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 21479
/proc/meminfo: memFree=29974316/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058268 CPUtime=342.21 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 241324 0 0 0 34190 31 0 0 20 0 1 0 60561548 1278173184 264567 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264567 851 435 0 305417 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058268 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 21481
/proc/meminfo: memFree=29975104/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058312 CPUtime=402.2 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 247232 0 0 0 40189 31 0 0 20 0 1 0 60561548 1278173184 264578 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264578 851 435 0 305417 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058312 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 21484
/proc/meminfo: memFree=29975460/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058316 CPUtime=462.2 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 251603 0 0 0 46189 31 0 0 20 0 1 0 60561548 1278173184 264579 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4975200 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264579 851 435 0 305417 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058316 KiB
################
# More data... #
################
/proc/21453/statm: 312054 264666 851 435 0 305417 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058664 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21643
/proc/meminfo: memFree=29961856/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058664 CPUtime=1782.15 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 279416 0 0 0 178183 32 0 0 20 0 1 0 60561548 1278173184 264666 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5032455 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264666 851 435 0 305417 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058664 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21645
/proc/meminfo: memFree=29960316/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058664 CPUtime=1842.15 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 280244 0 0 0 184183 32 0 0 20 0 1 0 60561548 1278173184 264666 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4935546 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264666 851 435 0 305417 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058664 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21647
/proc/meminfo: memFree=29960340/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058664 CPUtime=1902.15 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 281303 0 0 0 190182 33 0 0 20 0 1 0 60561548 1278173184 264666 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5032450 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264666 851 435 0 305417 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058664 KiB
[startup+1962.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/180 21649
/proc/meminfo: memFree=29961876/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058672 CPUtime=1962.15 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 282155 0 0 0 196182 33 0 0 20 0 1 0 60561548 1278173184 264668 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4975216 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264668 851 435 0 305417 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058672 KiB
[startup+2022.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/185 21667
/proc/meminfo: memFree=29956116/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058672 CPUtime=2022.15 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 282980 0 0 0 202182 33 0 0 20 0 1 0 60561548 1278173184 264668 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4970728 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264668 851 435 0 305417 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058672 KiB
[startup+2082.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/182 21669
/proc/meminfo: memFree=29958552/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2082.14 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 283985 0 0 0 208181 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4970788 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/182 21671
/proc/meminfo: memFree=29959376/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2142.14 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 284800 0 0 0 214181 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5032436 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/182 21673
/proc/meminfo: memFree=29959640/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2202.14 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 285581 0 0 0 220181 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4970758 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/182 21675
/proc/meminfo: memFree=29960528/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2262.13 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 286594 0 0 0 226180 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 21677
/proc/meminfo: memFree=29960544/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2322.13 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 287466 0 0 0 232180 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4971939 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 21679
/proc/meminfo: memFree=29960816/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2382.13 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 288369 0 0 0 238180 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 21681
/proc/meminfo: memFree=29960688/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2442.13 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 289340 0 0 0 244180 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 21683
/proc/meminfo: memFree=29960940/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2502.13 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 290239 0 0 0 250180 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 4978757 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/181 21685
/proc/meminfo: memFree=29960940/32770624 swapFree=67108860/67108860
[pid=21453] ppid=21450 vsize=1248216 memory=1058676 CPUtime=2519.83 cores=0,2,4,6
/proc/21453/stat : 21453 (cosoco) R 21450 21453 17093 0 -1 4202496 290375 0 0 0 251950 33 0 0 20 0 1 0 60561548 1278173184 264669 18446744073709551615 4194304 5972588 140723790162480 140723790159784 5094189 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39505920 140723790168516 140723790168616 140723790168616 140723790172110 0
/proc/21453/statm: 312054 264669 851 435 0 305417 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 1248216 KiB
Current children cumulated memory: 1058676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.51 s, system=0.339986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.85
CPU user time (s): 2519.51
CPU system time (s): 0.339986
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 1248216
Max. memory (cumulated for all children) (KiB): 1058676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.339986
maximum resident set size= 1058748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290420
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= 37
involuntary context switches= 670
# summary of solver processes directly reported to runsolver:
# pid: 21453
# total CPU time (s): 2519.85
# total CPU user time (s): 2519.51
# total CPU system time (s): 0.339986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.58182 second user time and 16.552 second system time
The end