0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c intension hd[0]<ad[0] using generic constraint
0.00/0.04 c intension hd[1]<ad[1] using generic constraint
0.00/0.04 c intension hd[2]<ad[2] using generic constraint
0.00/0.04 c intension hd[3]<ad[3] using generic constraint
0.00/0.05 c intension hd[4]<ad[4] using generic constraint
0.00/0.05 c intension hd[5]<ad[5] using generic constraint
0.00/0.05 c intension hd[6]<ad[6] using generic constraint
0.00/0.05 c intension hd[7]<ad[7] using generic constraint
0.00/0.05 c intension hd[8]<ad[8] using generic constraint
0.00/0.05 c intension hd[9]<ad[9] using generic constraint
0.00/0.05 c intension hd[10]<ad[10] using generic constraint
0.00/0.05 c intension hd[11]<ad[11] using generic constraint
0.00/0.05 c intension hd[12]<ad[12] using generic constraint
0.00/0.05 c intension hd[13]<ad[13] using generic constraint
0.00/0.05 c intension hd[14]<ad[14] using generic constraint
2.88/2.94 c SAT : Variables: 216225 -- Clauses: 41454660
2.88/2.99 c root propagations : 9959
2.88/2.99 c restarts enabled, print stats at every restarts
2.88/2.99 c
2.88/2.99 c
2.88/2.99 c
2.88/2.99 c This is cosoco 1.12 --
2.88/2.99 c
2.88/2.99 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266411-1502583619.xml
2.88/2.99 c ========================================[ Problem Statistics ]===========================================
2.88/2.99 c |
2.88/2.99 c | Parse time : 2.47 s
2.88/2.99 c |
2.88/2.99 c | Variables: 1335
2.88/2.99 c | Domain Sizes: 30..435
2.88/2.99 c |
2.88/2.99 c | Constraints: 1875
2.88/2.99 c | Arity: 1..435 -- Unary: 15 -- Binary: 15 -- Ternary: 435
2.88/2.99 c |
2.88/2.99 c | Types:
2.88/2.99 c | (X - Y < k): 15
2.88/2.99 c | All Different: 31
2.88/2.99 c | At least: 450
2.88/2.99 c | At most: 450
2.88/2.99 c | Exactly K: 479
2.88/2.99 c | Extension: 435 (nb tuples: 435..435) -- (shared: 434)
2.88/2.99 c | Intension: 15
2.88/2.99 c |
2.88/2.99 c =========================================================================================================
2.88/2.99 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
2.88/3.00 c 10 101 99556 22592 1335 10 86 92 80
2.99/3.09 c 20 356 232679 57885 1335 15 1 237 179
3.09/3.18 c 30 656 356999 105195 1335 25 4 290 125
3.18/3.22 c 40 850 409156 132287 1335 33 19 180 124
3.18/3.26 c 50 1039 460189 159576 1335 41 50 180 128
3.28/3.31 c 60 1228 518154 188338 1335 50 19 180 105
3.28/3.35 c 70 1417 573855 215541 1335 55 19 180 129
3.28/3.39 c 80 1602 622673 241575 1335 60 135 174 151
3.38/3.44 c 90 1787 674319 269852 1335 65 47 174 133
3.38/3.48 c 100 1968 720533 296222 1335 69 135 168 148
3.38/3.49 c 101 2015 726219 297150 1335 70 47 47 23
3.49/3.54 c 110 2193 774271 322918 1335 73 1 168 122
3.49/3.58 c 120 2372 823896 349307 1335 78 47 168 120
3.59/3.63 c 130 2555 873309 377492 1335 85 47 168 120
3.59/3.67 c 140 2738 919955 403381 1335 92 162 168 151
3.69/3.72 c 150 2921 969473 431125 1335 99 17 168 115
3.69/3.77 c 160 3104 1019124 458140 1335 106 17 168 114
3.79/3.82 c 170 3284 1068342 484541 1335 114 17 168 114
3.79/3.84 c 180 3384 1099337 498096 1335 119 49 91 71
3.79/3.86 c 190 3484 1129068 510796 1335 124 17 88 69
3.79/3.88 c 200 3583 1158476 522419 1335 128 17 88 72
3.79/3.90 c 210 3680 1184707 533608 1335 132 82 85 76
3.89/3.91 c 211 3765 1208105 540279 1335 133 85 85 42
3.89/3.92 c 220 3861 1234041 550863 1335 136 82 85 75
3.89/3.94 c 230 3958 1260249 561918 1335 140 17 85 70
3.89/3.95 c 240 4055 1286064 573122 1335 144 82 85 76
3.89/3.97 c 250 4152 1313878 584288 1335 148 17 85 70
3.89/3.98 c 260 4249 1341711 595622 1335 152 82 85 76
3.89/3.99 c 270 4346 1368418 606694 1335 156 82 85 76
4.00/4.01 c 280 4443 1395095 617929 1335 160 82 85 76
4.00/4.02 c 290 4540 1423450 629323 1335 164 17 85 70
4.00/4.04 c 300 4637 1451560 640425 1335 168 82 85 76
4.00/4.05 c 310 4734 1479331 651687 1335 172 82 85 76
4.00/4.07 c 320 4831 1507044 662825 1335 176 82 85 76
4.00/4.08 c 330 4928 1534044 673891 1335 180 17 85 70
4.00/4.10 c 332 5014 1557862 681000 1335 181 85 85 56
4.10/4.11 c 340 5109 1584143 691244 1335 184 82 85 74
4.10/4.12 c 350 5206 1608636 702358 1335 188 82 85 76
4.10/4.13 c 360 5303 1634052 713510 1335 192 82 85 76
4.10/4.15 c 370 5400 1659035 724667 1335 196 82 85 76
4.10/4.16 c 380 5497 1685120 736030 1335 200 82 85 76
4.10/4.17 c 390 5594 1712285 747404 1335 204 82 85 76
4.10/4.19 c 400 5691 1738521 758481 1335 208 82 85 76
4.19/4.20 c 410 5788 1764533 769622 1335 212 82 85 76
4.19/4.21 c 420 5885 1790345 780741 1335 216 82 85 76
4.19/4.23 c 430 5982 1817604 791894 1335 220 17 85 70
4.19/4.25 c 440 6079 1845342 802944 1335 224 17 85 70
4.19/4.26 c 450 6176 1873128 814069 1335 228 82 85 76
4.19/4.27 c 460 6273 1899808 825238 1335 232 82 85 76
4.19/4.29 c 465 6362 1924850 833834 1335 236 83 85 69
4.29/4.30 c 470 6423 1945417 842261 1335 240 55 57 46
4.29/4.31 c 480 6493 1969184 853308 1335 244 55 58 51
4.29/4.32 c 490 6564 1994082 864510 1335 248 56 59 52
4.29/4.33 c 500 6633 2018068 875701 1335 252 54 57 50
4.29/4.34 c 510 6702 2041250 886700 1335 256 54 57 50
4.29/4.36 c 520 6771 2065942 897761 1335 260 54 57 50
4.29/4.37 c 530 6840 2089906 908837 1335 264 54 57 50
4.29/4.38 c 540 6909 2113942 919880 1335 268 54 57 50
4.29/4.39 c 550 6978 2138372 931005 1335 272 54 57 50
4.39/4.40 c 560 7047 2162854 942096 1335 276 54 57 50
4.39/4.41 c 570 7116 2187626 953240 1335 280 54 57 50
4.39/4.42 c 580 7185 2211628 964228 1335 284 54 57 50
4.39/4.43 c 590 7254 2235106 975281 1335 288 54 57 50
4.39/4.45 c 600 7323 2259369 986498 1335 292 54 57 50
4.39/4.46 c 610 7392 2284550 997814 1335 296 54 57 50
4.39/4.47 c 611 7449 2306376 1004439 1335 297 57 57 28
4.39/4.48 c 620 7517 2331179 1015250 1335 300 54 57 50
4.39/4.49 c 630 7586 2356505 1026611 1335 304 54 57 50
4.49/4.51 c 640 7655 2382015 1038084 1335 308 54 57 50
4.49/4.52 c 650 7724 2407290 1049222 1335 312 54 57 50
4.49/4.53 c 660 7793 2431374 1060321 1335 316 54 57 50
4.49/4.54 c 670 7862 2455645 1071361 1335 320 54 57 50
4.49/4.55 c 680 7931 2480282 1082494 1335 324 54 57 50
4.49/4.56 c 690 8000 2503738 1093488 1335 328 54 57 50
4.49/4.58 c 700 8069 2527988 1104673 1335 332 54 57 50
4.49/4.59 c 710 8138 2552480 1115820 1335 336 54 57 50
4.59/4.60 c 720 8207 2577382 1127049 1335 340 54 57 50
4.59/4.61 c 730 8276 2602621 1138159 1335 344 54 57 50
4.59/4.62 c 740 8345 2627786 1149296 1335 348 54 57 50
4.59/4.64 c 750 8414 2652888 1160351 1335 352 54 57 50
4.59/4.65 c 760 8483 2677171 1171377 1335 356 54 57 50
4.59/4.66 c 770 8552 2702083 1182333 1335 360 54 57 50
4.59/4.67 c 771 8609 2722933 1188920 1335 361 57 57 28
4.59/4.68 c 780 8677 2746982 1199633 1335 364 54 57 50
4.59/4.69 c 790 8746 2769498 1210760 1335 368 54 57 50
4.69/4.70 c 800 8815 2792904 1222107 1335 372 54 57 50
4.69/4.72 c 810 8884 2817906 1233427 1335 376 54 57 50
4.69/4.73 c 820 8953 2841518 1244476 1335 380 54 57 50
4.69/4.74 c 830 9022 2865619 1255683 1335 384 54 57 50
4.69/4.75 c 840 9091 2890152 1266774 1335 388 54 57 50
4.69/4.76 c 850 9160 2914608 1277749 1335 392 54 57 50
4.69/4.77 c 860 9229 2938792 1288733 1335 396 54 57 50
4.69/4.78 c 870 9298 2963397 1299734 1335 400 54 57 50
4.69/4.79 c 880 9367 2987354 1310866 1335 404 54 57 50
4.79/4.80 c 890 9436 3010295 1321931 1335 408 54 57 50
4.79/4.82 c 900 9505 3033995 1333216 1335 412 54 57 50
4.79/4.83 c 910 9574 3058976 1344480 1335 416 54 57 50
4.79/4.84 c 920 9643 3082349 1355701 1335 420 54 57 50
4.79/4.85 c 930 9712 3105712 1366814 1335 424 54 57 50
4.79/4.86 c 940 9781 3129949 1377967 1335 428 54 57 50
4.79/4.87 c 947 9844 3152016 1387202 1335 430 54 57 48
4.79/4.88 c 950 9903 3172635 1394856 1335 432 55 57 42
4.79/4.90 c 960 9972 3196359 1406007 1335 436 54 57 50
4.89/4.91 c 970 10041 3219344 1417069 1335 440 54 57 50
4.89/4.92 c 980 10110 3242566 1428182 1335 444 54 57 50
4.89/4.93 c 990 10179 3265020 1439197 1335 448 54 57 50
4.89/4.94 c 1000 10248 3289405 1450380 1335 452 54 57 50
4.89/4.95 c 1010 10317 3314023 1461467 1335 456 54 57 50
4.89/4.96 c 1020 10386 3339067 1472746 1335 460 54 57 50
4.89/4.98 c 1030 10455 3364117 1483800 1335 464 54 57 50
4.89/4.99 c 1040 10524 3389522 1495217 1335 468 54 57 50
4.89/5.00 c 1050 10593 3414133 1506514 1335 472 54 57 50
5.00/5.01 c 1060 10662 3438503 1517549 1335 476 54 57 50
5.00/5.02 c 1070 10731 3463051 1528525 1335 480 54 57 50
5.00/5.03 c 1080 10800 3487963 1539495 1335 484 54 57 50
5.00/5.05 c 1090 10869 3512954 1550576 1335 488 54 57 50
5.00/5.06 c 1100 10938 3537566 1561758 1335 492 54 57 50
5.00/5.07 c 1110 11007 3561058 1572867 1335 496 54 57 50
5.00/5.08 c 1120 11076 3585208 1583998 1335 500 54 57 50
5.00/5.09 c 1130 11145 3609628 1594992 1335 504 54 57 50
5.00/5.10 c 1140 11214 3634524 1606355 1335 508 54 57 50
5.10/5.11 c 1141 11271 3656572 1613094 1335 509 57 57 28
5.10/5.13 c 1150 11339 3681608 1624073 1335 512 54 57 50
5.10/5.14 c 1160 11408 3706354 1635630 1335 516 54 57 50
5.10/5.15 c 1170 11477 3730694 1646841 1335 520 54 57 50
5.10/5.16 c 1180 11546 3753861 1657958 1335 524 54 57 50
5.10/5.17 c 1190 11615 3778219 1668993 1335 528 54 57 50
5.10/5.19 c 1200 11684 3802305 1680092 1335 532 54 57 50
5.19/5.20 c 1210 11753 3826397 1691075 1335 536 54 57 50
5.19/5.21 c 1220 11822 3851093 1702196 1335 540 54 57 50
5.19/5.22 c 1230 11891 3875910 1713243 1335 544 54 57 50
5.19/5.23 c 1240 11960 3901169 1724488 1335 548 54 57 50
5.19/5.25 c 1250 12029 3926508 1735741 1335 552 54 57 50
5.19/5.26 c 1260 12098 3951635 1747173 1335 556 54 57 50
5.19/5.27 c 1270 12167 3975544 1758500 1335 560 54 57 50
5.19/5.28 c 1280 12236 3999577 1769543 1335 564 54 57 50
5.28/5.30 c 1290 12305 4022941 1780656 1335 568 54 57 50
5.28/5.31 c 1300 12374 4046633 1791761 1335 572 54 57 50
5.28/5.32 c 1310 12443 4070768 1802803 1335 576 54 57 50
5.28/5.33 c 1320 12512 4095394 1813821 1335 580 54 57 50
5.28/5.34 c 1330 12581 4120214 1824786 1335 584 54 57 50
5.28/5.35 c 1340 12650 4144940 1835755 1335 588 54 57 50
5.28/5.36 c 1350 12719 4169540 1846966 1335 592 54 57 50
5.28/5.37 c 1352 12777 4190208 1854058 1335 593 57 57 38
5.28/5.38 c 1360 12844 4213786 1864217 1335 596 54 57 49
5.38/5.40 c 1370 12913 4238153 1875438 1335 600 54 57 50
5.38/5.41 c 1380 12982 4262560 1886817 1335 604 54 57 50
5.38/5.42 c 1390 13051 4287600 1898072 1335 608 54 57 50
5.38/5.43 c 1400 13120 4312780 1909321 1335 612 54 57 50
5.38/5.45 c 1410 13189 4337959 1920459 1335 616 54 57 50
5.38/5.46 c 1420 13258 4363090 1931570 1335 620 54 57 50
5.38/5.47 c 1430 13327 4387352 1942643 1335 624 54 57 50
5.38/5.48 c 1440 13396 4410940 1953812 1335 628 54 57 50
5.38/5.49 c 1450 13465 4435074 1964973 1335 632 54 57 50
5.48/5.51 c 1460 13534 4460117 1976177 1335 636 54 57 50
5.48/5.52 c 1470 13603 4484937 1987142 1335 640 54 57 50
5.48/5.53 c 1480 13672 4509663 1998111 1335 644 54 57 50
5.48/5.54 c 1490 13741 4535329 2009473 1335 648 54 57 50
5.48/5.55 c 1500 13810 4560040 2020732 1335 652 54 57 50
5.48/5.57 c 1510 13879 4585195 2031925 1335 656 54 57 50
5.48/5.58 c 1520 13948 4609137 2043029 1335 660 54 57 50
5.48/5.59 c 1530 14017 4632319 2054030 1335 664 54 57 50
5.58/5.60 c 1540 14086 4656999 2065177 1335 668 54 57 50
5.58/5.61 c 1550 14155 4681355 2076336 1335 672 54 57 50
5.58/5.62 c 1560 14224 4706120 2087474 1335 676 54 57 50
5.58/5.63 c 1570 14293 4730576 2098435 1335 680 54 57 50
5.58/5.65 c 1580 14362 4755657 2109680 1335 684 54 57 50
5.58/5.66 c 1585 14423 4778902 2118288 1335 688 55 57 46
5.58/5.67 c 1590 14484 4802283 2127008 1335 692 55 57 46
5.58/5.68 c 1600 14553 4826613 2138253 1335 696 54 57 50
5.58/5.69 c 1610 14622 4849487 2149318 1335 700 54 57 50
5.68/5.70 c 1620 14691 4872943 2160405 1335 704 54 57 50
5.68/5.72 c 1630 14760 4896841 2171484 1335 708 54 57 50
5.68/5.73 c 1640 14829 4921125 2182556 1335 712 54 57 50
5.68/5.74 c 1650 14898 4945910 2193699 1335 716 54 57 50
5.68/5.75 c 1660 14967 4970898 2204780 1335 720 54 57 50
5.68/5.76 c 1670 15036 4995916 2215857 1335 724 54 57 50
5.68/5.77 c 1680 15105 5020821 2226938 1335 728 54 57 50
5.68/5.79 c 1690 15174 5046136 2238105 1335 732 54 57 50
5.78/5.80 c 1700 15243 5069864 2249096 1335 736 54 57 50
5.78/5.81 c 1710 15312 5094241 2260252 1335 740 54 57 50
5.78/5.82 c 1720 15381 5119209 2271278 1335 744 54 57 50
5.78/5.83 c 1730 15450 5144466 2282584 1335 748 54 57 50
5.78/5.84 c 1740 15519 5169006 2293993 1335 752 54 57 50
5.78/5.86 c 1750 15588 5192247 2305166 1335 756 54 57 50
5.78/5.87 c 1760 15657 5216764 2316313 1335 760 54 57 50
5.78/5.88 c 1770 15726 5240218 2327534 1335 764 54 57 50
5.78/5.89 c 1780 15795 5263400 2338535 1335 768 54 57 50
5.88/5.90 c 1790 15864 5287887 2349626 1335 772 54 57 50
5.88/5.91 c 1800 15933 5311635 2360765 1335 776 54 57 50
5.88/5.92 c 1810 16002 5335637 2371753 1335 780 54 57 50
5.88/5.93 c 1820 16071 5359204 2382807 1335 784 54 57 50
5.88/5.95 c 1830 16140 5383353 2393906 1335 788 54 57 50
5.88/5.96 c 1840 16209 5407395 2405292 1335 792 54 57 50
5.88/5.97 c 1841 16266 5428937 2412039 1335 793 57 57 28
5.88/5.98 c 1850 16334 5454031 2423169 1335 796 54 57 50
5.88/6.00 c 1860 16403 5477647 2434738 1335 800 54 57 50
5.99/6.01 c 1870 16472 5501036 2445871 1335 804 54 57 50
5.99/6.02 c 1880 16541 5525511 2456991 1335 808 54 57 50
5.99/6.03 c 1890 16610 5550142 2468134 1335 812 54 57 50
5.99/6.04 c 1900 16679 5574091 2479293 1335 816 54 57 50
5.99/6.05 c 1910 16748 5598112 2490505 1335 820 54 57 50
5.99/6.07 c 1920 16817 5622249 2501657 1335 824 54 57 50
5.99/6.08 c 1930 16886 5645579 2512715 1335 828 54 57 50
5.99/6.09 c 1940 16955 5669125 2523708 1335 832 54 57 50
5.99/6.10 c 1950 17024 5692990 2535303 1335 836 54 57 50
6.09/6.11 c 1960 17093 5716969 2546722 1335 840 54 57 50
6.09/6.12 c 1970 17162 5741811 2557824 1335 844 54 57 50
6.09/6.14 c 1980 17231 5766868 2568901 1335 848 54 57 50
6.09/6.15 c 1990 17300 5790992 2579940 1335 852 54 57 50
6.09/6.16 c 2000 17369 5814796 2591135 1335 856 54 57 50
6.09/6.17 c 2010 17438 5838706 2602122 1335 860 54 57 50
6.09/6.18 c 2020 17507 5862683 2613284 1335 864 54 57 50
6.09/6.19 c 2030 17576 5886069 2624398 1335 868 54 57 50
6.18/6.20 c 2040 17645 5909615 2635391 1335 872 54 57 50
6.18/6.22 c 2050 17714 5933965 2646598 1335 876 54 57 50
6.18/6.23 c 2060 17783 5958736 2657805 1335 880 54 57 50
6.18/6.24 c 2070 17852 5983832 2668969 1335 884 54 57 50
6.18/6.25 c 2080 17921 6008862 2680187 1335 888 54 57 50
6.18/6.26 c 2090 17990 6032916 2691226 1335 892 54 57 50
6.18/6.28 c 2100 18059 6056807 2702671 1335 896 54 57 50
6.18/6.29 c 2110 18128 6079754 2713736 1335 900 54 57 50
6.28/6.30 c 2120 18197 6102992 2724793 1335 904 54 57 50
6.28/6.31 c 2122 18255 6123969 2731936 1335 905 57 57 38
6.28/6.32 c 2130 18322 6147286 2742097 1335 908 54 57 49
6.28/6.33 c 2140 18391 6172309 2753271 1335 912 54 57 50
6.28/6.34 c 2150 18460 6197506 2764464 1335 916 54 57 50
6.28/6.35 c 2160 18529 6222524 2775545 1335 920 54 57 50
6.28/6.36 c 2170 18598 6247297 2786682 1335 924 54 57 50
6.28/6.38 c 2180 18667 6271342 2797829 1335 928 54 57 50
6.28/6.39 c 2190 18736 6295606 2809088 1335 932 54 57 50
6.38/6.40 c 2200 18805 6319957 2820477 1335 936 54 57 50
6.38/6.41 c 2210 18874 6343448 2831655 1335 940 54 57 50
6.38/6.42 c 2220 18943 6366812 2842652 1335 944 54 57 50
6.38/6.44 c 2230 19012 6390659 2853753 1335 948 54 57 50
6.38/6.45 c 2240 19081 6415234 2864901 1335 952 54 57 50
6.38/6.46 c 2250 19150 6439690 2875876 1335 956 54 57 50
6.38/6.47 c 2260 19219 6463804 2886975 1335 960 54 57 50
6.38/6.48 c 2270 19288 6487926 2898120 1335 964 54 57 50
6.38/6.49 c 2280 19357 6512353 2909241 1335 968 54 57 50
6.48/6.51 c 2290 19426 6536354 2920427 1335 972 54 57 50
6.48/6.52 c 2300 19495 6560296 2931652 1335 976 54 57 50
6.48/6.53 c 2310 19564 6584789 2942813 1335 980 54 57 50
6.48/6.54 c 2320 19633 6609154 2953908 1335 984 54 57 50
6.48/6.55 c 2330 19702 6632511 2965077 1335 988 54 57 50
6.48/6.56 c 2340 19771 6656472 2976295 1335 992 54 57 50
6.48/6.58 c 2350 19840 6680743 2987390 1335 996 54 57 50
6.48/6.59 c 2360 19909 6705295 2998537 1335 1000 54 57 50
6.58/6.60 c 2370 19978 6728659 3009520 1335 1004 54 57 50
6.58/6.61 c 2380 20047 6752522 3020671 1335 1008 54 57 50
6.58/6.62 c 2390 20116 6776551 3031918 1335 1012 54 57 50
6.58/6.63 c 2400 20185 6800278 3043251 1335 1016 54 57 50
6.58/6.65 c 2410 20254 6823440 3054373 1335 1020 54 57 50
6.58/6.66 c 2420 20323 6846622 3065374 1335 1024 54 57 50
6.58/6.67 c 2430 20392 6870455 3076535 1335 1028 54 57 50
6.58/6.68 c 2431 20449 6890699 3083251 1335 1029 57 57 28
6.58/6.69 c 2440 20517 6914380 3093915 1335 1032 54 57 50
6.68/6.70 c 2450 20586 6937890 3105058 1335 1036 54 57 50
6.68/6.71 c 2460 20655 6961710 3116192 1335 1040 54 57 50
6.68/6.72 c 2470 20724 6984663 3127365 1335 1044 54 57 50
6.68/6.73 c 2480 20793 7008262 3138612 1335 1048 54 57 50
6.68/6.74 c 2490 20862 7032031 3149765 1335 1052 54 57 50
6.68/6.76 c 2500 20931 7056745 3161136 1335 1056 54 57 50
6.68/6.77 c 2510 21000 7081820 3172217 1335 1060 54 57 50
6.68/6.78 c 2520 21069 7106754 3183242 1335 1064 54 57 50
6.68/6.79 c 2530 21138 7131202 3194518 1335 1068 54 57 50
6.78/6.80 c 2540 21207 7155782 3205735 1335 1072 54 57 50
6.78/6.82 c 2550 21276 7179986 3216830 1335 1076 54 57 50
6.78/6.83 c 2560 21345 7204577 3227951 1335 1080 54 57 50
6.78/6.84 c 2570 21414 7228360 3239075 1335 1084 54 57 50
6.78/6.85 c 2580 21483 7252619 3250166 1335 1088 54 57 50
6.78/6.86 c 2590 21552 7277317 3261365 1335 1092 54 57 50
6.78/6.88 c 2600 21621 7301417 3272580 1335 1096 54 57 50
6.78/6.89 c 2610 21690 7325584 3283680 1335 1100 54 57 50
6.88/6.90 c 2620 21759 7350051 3294831 1335 1104 54 57 50
6.88/6.91 c 2630 21828 7374823 3305983 1335 1108 54 57 50
6.88/6.92 c 2640 21897 7399940 3317243 1335 1112 54 57 50
6.88/6.93 c 2650 21966 7424962 3328380 1335 1116 54 57 50
6.88/6.95 c 2660 22035 7449854 3339405 1335 1120 54 57 50
6.88/6.96 c 2670 22104 7473582 3350382 1335 1124 54 57 50
6.88/6.97 c 2680 22173 7496839 3361425 1335 1128 54 57 50
6.88/6.98 c 2690 22242 7521247 3372512 1335 1132 54 57 50
6.88/6.99 c 2700 22311 7546453 3383873 1335 1136 54 57 50
6.88/7.00 c 2710 22380 7570899 3395024 1335 1140 54 57 50
6.99/7.02 c 2720 22449 7595935 3406105 1335 1144 54 57 50
6.99/7.03 c 2730 22518 7621185 3417217 1335 1148 54 57 50
6.99/7.04 c 2740 22587 7646153 3428243 1335 1152 54 57 50
6.99/7.05 c 2750 22656 7671289 3439381 1335 1156 54 57 50
6.99/7.06 c 2760 22725 7696289 3450462 1335 1160 54 57 50
6.99/7.08 c 2770 22794 7721382 3461529 1335 1164 54 57 50
6.99/7.08 c 2771 22851 7743291 3468128 1335 1165 57 57 28
6.99/7.10 c 2780 22919 7768235 3478804 1335 1168 54 57 50
7.09/7.11 c 2790 22988 7792313 3489907 1335 1172 54 57 50
7.09/7.12 c 2800 23057 7815845 3501425 1335 1176 54 57 50
7.09/7.13 c 2810 23126 7839886 3512758 1335 1180 54 57 50
7.09/7.14 c 2820 23195 7864160 3523853 1335 1184 54 57 50
7.09/7.16 c 2830 23264 7888777 3535001 1335 1188 54 57 50
7.09/7.17 c 2840 23333 7913412 3546033 1335 1192 54 57 50
7.09/7.18 c 2850 23402 7938288 3557058 1335 1196 54 57 50
7.09/7.19 c 2860 23471 7963276 3568139 1335 1200 54 57 50
7.18/7.20 c 2870 23540 7988148 3579332 1335 1204 54 57 50
7.18/7.21 c 2880 23609 8013318 3590417 1335 1208 54 57 50
7.18/7.23 c 2890 23678 8038772 3601671 1335 1212 54 57 50
7.18/7.24 c 2900 23747 8062682 3612774 1335 1216 54 57 50
7.18/7.25 c 2910 23816 8086792 3623818 1335 1220 54 57 50
7.18/7.26 c 2920 23885 8111033 3634831 1335 1224 54 57 50
7.18/7.27 c 2930 23954 8135509 3645895 1335 1228 54 57 50
7.18/7.28 c 2940 24023 8160084 3656982 1335 1232 54 57 50
7.18/7.29 c 2950 24092 8184603 3668190 1335 1236 54 57 50
7.29/7.31 c 2960 24161 8208781 3679631 1335 1240 54 57 50
7.29/7.32 c 2970 24230 8232441 3690796 1335 1244 54 57 50
7.29/7.33 c 2980 24299 8256890 3702011 1335 1248 54 57 50
7.29/7.34 c 2990 24368 8281614 3713279 1335 1252 54 57 50
7.29/7.36 c 3000 24437 8305525 3724505 1335 1256 54 57 50
7.29/7.37 c 3010 24506 8328161 3735516 1335 1260 54 57 50
7.29/7.38 c 3020 24575 8352240 3746693 1335 1264 54 57 50
7.29/7.39 c 3030 24644 8376655 3757803 1335 1268 54 57 50
7.39/7.40 c 3040 24713 8401435 3769171 1335 1272 54 57 50
7.39/7.41 c 3050 24782 8426141 3780314 1335 1276 54 57 50
7.39/7.43 c 3060 24851 8451113 3791395 1335 1280 54 57 50
7.39/7.44 c 3070 24920 8476377 3802588 1335 1284 54 57 50
7.39/7.45 c 3080 24989 8500455 3813695 1335 1288 54 57 50
7.39/7.46 c 3090 25058 8524256 3824864 1335 1292 54 57 50
7.39/7.47 c 3100 25127 8548203 3836035 1335 1296 54 57 50
7.39/7.48 c 3110 25196 8571385 3847036 1335 1300 54 57 50
7.39/7.49 c 3120 25265 8595386 3858137 1335 1304 54 57 50
7.49/7.51 c 3130 25334 8619863 3869169 1335 1308 54 57 50
7.49/7.52 c 3140 25403 8644281 3880200 1335 1312 54 57 50
7.49/7.53 c 3142 25461 8666792 3887487 1335 1313 57 57 38
7.49/7.54 c 3150 25528 8690235 3897590 1335 1316 54 57 49
7.49/7.55 c 3160 25597 8712674 3908721 1335 1320 54 57 50
7.49/7.56 c 3170 25666 8734973 3920172 1335 1324 54 57 50
7.49/7.57 c 3180 25735 8758519 3931165 1335 1328 54 57 50
7.49/7.58 c 3190 25804 8782594 3942262 1335 1332 54 57 50
7.59/7.60 c 3200 25873 8806582 3953305 1335 1336 54 57 50
7.59/7.61 c 3210 25942 8830988 3964401 1335 1340 54 57 50
7.59/7.62 c 3220 26011 8855646 3975508 1335 1344 54 57 50
7.59/7.63 c 3230 26080 8880622 3986585 1335 1348 54 57 50
7.59/7.64 c 3240 26149 8904350 3997572 1335 1352 54 57 50
7.59/7.65 c 3250 26218 8927849 4008853 1335 1356 54 57 50
7.59/7.67 c 3260 26287 8951707 4020014 1335 1360 54 57 50
7.59/7.68 c 3270 26356 8974562 4031245 1335 1364 54 57 50
7.59/7.69 c 3280 26425 8998290 4042234 1335 1368 54 57 50
7.69/7.70 c 3290 26494 9023076 4053441 1335 1372 54 57 50
7.69/7.71 c 3300 26563 9048818 4064920 1335 1376 54 57 50
7.69/7.73 c 3310 26632 9074103 4076113 1335 1380 54 57 50
7.69/7.74 c 3320 26701 9098041 4087216 1335 1384 54 57 50
7.69/7.75 c 3330 26770 9122224 4098316 1335 1388 54 57 50
7.69/7.76 c 3340 26839 9147317 4109453 1335 1392 54 57 50
7.69/7.77 c 3350 26908 9171263 4120612 1335 1396 54 57 50
7.69/7.78 c 3360 26977 9195467 4131767 1335 1400 54 57 50
7.69/7.80 c 3370 27046 9219978 4142966 1335 1404 54 57 50
7.79/7.81 c 3380 27115 9245003 4154021 1335 1408 54 57 50
7.79/7.82 c 3390 27184 9270009 4165430 1335 1412 54 57 50
7.79/7.83 c 3400 27253 9293815 4176475 1335 1416 54 57 50
7.79/7.84 c 3410 27322 9317326 4187589 1335 1420 54 57 50
7.79/7.85 c 3420 27391 9340980 4198638 1335 1424 54 57 50
7.79/7.86 c 3430 27460 9365164 4209622 1335 1428 54 57 50
7.79/7.88 c 3440 27529 9389620 4220658 1335 1432 54 57 50
7.79/7.89 c 3450 27598 9414269 4231745 1335 1436 54 57 50
7.89/7.90 c 3460 27667 9439514 4242938 1335 1440 54 57 50
7.89/7.91 c 3470 27736 9463341 4253971 1335 1444 54 57 50
7.89/7.92 c 3480 27805 9487715 4265026 1335 1448 54 57 50
7.89/7.93 c 3490 27874 9512246 4276053 1335 1452 54 57 50
7.89/7.95 c 3500 27943 9536342 4287436 1335 1456 54 57 50
7.89/7.96 c 3510 28012 9560722 4298816 1335 1460 54 57 50
7.89/7.97 c 3520 28081 9584895 4310079 1335 1464 54 57 50
7.89/7.98 c 3530 28150 9609345 4321115 1335 1468 54 57 50
7.89/7.99 c 3540 28219 9633384 4332336 1335 1472 54 57 50
7.89/8.00 c 3550 28288 9658227 4343544 1335 1476 54 57 50
8.00/8.02 c 3551 28345 9680191 4350225 1335 1477 57 57 28
8.00/8.03 c 3560 28413 9704733 4360742 1335 1480 54 57 50
8.00/8.04 c 3570 28482 9727713 4371849 1335 1484 54 57 50
8.00/8.05 c 3580 28551 9750961 4382892 1335 1488 54 57 50
8.00/8.06 c 3590 28620 9775357 4393979 1335 1492 54 57 50
8.00/8.07 c 3600 28689 9798627 4404976 1335 1496 54 57 50
8.00/8.08 c 3610 28758 9822743 4416020 1335 1500 54 57 50
8.00/8.09 c 3620 28827 9847443 4427331 1335 1504 54 57 50
8.00/8.10 c 3630 28894 9871485 4438493 1335 1508 52 55 48
8.10/8.12 c 3640 28962 9893976 4449741 1335 1512 53 56 49
8.10/8.13 c 3650 29029 9916745 4461099 1335 1516 52 55 48
8.10/8.14 c 3660 29096 9939866 4472154 1335 1520 52 55 48
8.10/8.15 c 3670 29163 9962250 4483223 1335 1524 52 55 48
8.10/8.16 c 3680 29230 9986125 4494236 1335 1528 52 55 48
8.10/8.17 c 3690 29297 10009934 4505364 1335 1532 52 55 48
8.10/8.19 c 3700 29364 10034890 4516500 1335 1536 52 55 48
8.19/8.20 c 3710 29431 10060079 4527747 1335 1540 52 55 48
8.19/8.21 c 3720 29498 10084715 4538700 1335 1544 52 55 48
8.19/8.22 c 3730 29565 10108791 4549797 1335 1548 52 55 48
8.19/8.23 c 3740 29632 10132045 4560912 1335 1552 52 55 48
8.19/8.24 c 3750 29699 10155028 4572210 1335 1556 52 55 48
8.19/8.25 c 3760 29766 10178218 4583321 1335 1560 52 55 48
8.19/8.27 c 3770 29833 10201540 4594431 1335 1564 52 55 48
8.19/8.28 c 3780 29900 10224356 4605432 1335 1568 52 55 48
8.19/8.29 c 3790 29967 10249057 4616603 1335 1572 52 55 48
8.29/8.30 c 3800 30034 10272859 4627733 1335 1576 52 55 48
8.29/8.31 c 3810 30101 10296585 4638718 1335 1580 52 55 48
8.29/8.32 c 3820 30168 10320129 4649693 1335 1584 52 55 48
8.29/8.33 c 3830 30235 10343855 4660674 1335 1588 52 55 48
8.29/8.34 c 3840 30302 10368201 4671767 1335 1592 52 55 48
8.29/8.36 c 3850 30369 10392597 4683098 1335 1596 52 55 48
8.29/8.37 c 3860 30436 10416621 4694419 1335 1600 52 55 48
8.29/8.38 c 3870 30503 10440677 4705457 1335 1604 52 55 48
8.29/8.39 c 3880 30570 10464953 4716546 1335 1608 52 55 48
8.39/8.40 c 3890 30637 10489485 4727688 1335 1612 52 55 48
8.39/8.41 c 3900 30704 10514289 4738767 1335 1616 52 55 48
8.39/8.42 c 3910 30771 10538129 4749808 1335 1620 52 55 48
8.39/8.43 c 3920 30838 10561309 4760803 1335 1624 52 55 48
8.39/8.45 c 3930 30905 10585217 4771784 1335 1628 52 55 48
8.39/8.46 c 3940 30972 10608953 4783063 1335 1632 52 55 48
8.39/8.47 c 3950 31039 10634099 4794717 1335 1636 52 55 48
8.39/8.48 c 3960 31106 10658889 4805964 1335 1640 52 55 48
8.39/8.49 c 3970 31173 10683633 4816973 1335 1644 52 55 48
8.49/8.51 c 3980 31240 10708269 4827936 1335 1648 52 55 48
8.49/8.52 c 3990 31307 10732811 4838903 1335 1652 52 55 48
8.49/8.53 c 4000 31374 10756932 4849996 1335 1656 52 55 48
8.49/8.54 c 4001 31429 10777384 4856704 1335 1657 55 55 27
8.49/8.55 c 4010 31495 10801014 4867247 1335 1660 52 55 48
8.49/8.56 c 4020 31562 10824399 4878328 1335 1664 52 55 48
8.49/8.57 c 4030 31629 10848553 4889428 1335 1668 52 55 48
8.49/8.58 c 4040 31696 10873454 4900536 1335 1672 52 55 48
8.49/8.59 c 4050 31763 10898434 4911727 1335 1676 52 55 48
8.59/8.61 c 4060 31830 10922640 4922936 1335 1680 52 55 48
8.59/8.62 c 4070 31897 10947014 4933951 1335 1684 52 55 48
8.59/8.63 c 4080 31964 10971742 4944915 1335 1688 52 55 48
8.59/8.64 c 4090 32031 10995770 4956133 1335 1692 52 55 48
8.59/8.65 c 4100 32098 11019188 4967180 1335 1696 52 55 48
8.59/8.66 c 4110 32165 11042210 4978240 1335 1700 52 55 48
8.59/8.67 c 4120 32232 11065924 4989515 1335 1704 52 55 48
8.59/8.68 c 4130 32299 11089701 5000588 1335 1708 52 55 48
8.69/8.70 c 4140 32366 11114056 5011706 1335 1712 52 55 48
8.69/8.71 c 4150 32433 11138540 5022847 1335 1716 52 55 48
8.69/8.72 c 4160 32500 11163437 5034094 1335 1720 52 55 48
8.69/8.73 c 4170 32567 11188447 5045229 1335 1724 52 55 48
8.69/8.74 c 4180 32634 11213488 5056338 1335 1728 52 55 48
8.69/8.75 c 4190 32701 11237250 5067384 1335 1732 52 55 48
8.69/8.76 c 4200 32768 11259884 5078391 1335 1736 52 55 48
8.69/8.78 c 4210 32835 11283327 5089601 1335 1740 52 55 48
8.69/8.79 c 4220 32902 11307225 5100803 1335 1744 52 55 48
8.79/8.80 c 4230 32969 11330190 5111830 1335 1748 52 55 48
8.79/8.81 c 4240 33036 11354951 5123004 1335 1752 52 55 48
8.79/8.82 c 4250 33103 11380190 5134256 1335 1756 52 55 48
8.79/8.83 c 4260 33170 11404280 5145233 1335 1760 52 55 48
8.79/8.85 c 4270 33237 11429387 5156424 1335 1764 52 55 48
8.79/8.86 c 4280 33304 11454023 5167391 1335 1768 52 55 48
8.79/8.87 c 4290 33371 11478807 5178415 1335 1772 52 55 48
8.79/8.88 c 4300 33438 11503886 5189719 1335 1776 52 55 48
8.79/8.89 c 4310 33505 11528716 5201022 1335 1780 52 55 48
8.89/8.90 c 4320 33572 11553305 5212157 1335 1784 52 55 48
8.89/8.91 c 4330 33639 11578440 5223270 1335 1788 52 55 48
8.89/8.93 c 4340 33706 11602662 5234400 1335 1792 52 55 48
8.89/8.94 c 4350 33773 11627243 5245666 1335 1796 52 55 48
8.89/8.95 c 4360 33840 11651466 5256699 1335 1800 52 55 48
8.89/8.96 c 4370 33907 11676028 5267785 1335 1804 52 55 48
8.89/8.97 c 4380 33974 11699754 5278770 1335 1808 52 55 48
8.89/8.98 c 4390 34041 11724023 5289804 1335 1812 52 55 48
8.89/8.99 c 4400 34108 11747259 5300855 1335 1816 52 55 48
8.89/9.00 c 4410 34175 11770045 5311974 1335 1820 52 55 48
9.00/9.02 c 4420 34242 11793316 5323081 1335 1824 52 55 48
9.00/9.03 c 4430 34309 11816990 5334244 1335 1828 52 55 48
9.00/9.04 c 4440 34376 11841327 5345511 1335 1832 52 55 48
9.00/9.05 c 4450 34443 11865688 5356840 1335 1836 52 55 48
9.00/9.07 c 4460 34510 11890528 5368321 1335 1840 52 55 48
9.00/9.08 c 4470 34577 11914985 5379406 1335 1844 52 55 48
9.00/9.09 c 4480 34644 11938977 5390443 1335 1848 52 55 48
9.00/9.10 c 4490 34711 11962123 5401499 1335 1852 52 55 48
9.10/9.11 c 4493 34768 11981805 5409048 1335 1854 53 55 40
9.10/9.12 c 4500 34829 12002856 5418410 1335 1856 52 55 46
9.10/9.13 c 4510 34896 12026447 5429647 1335 1860 52 55 48
9.10/9.14 c 4520 34963 12049239 5440760 1335 1864 52 55 48
9.10/9.15 c 4530 35030 12072682 5451897 1335 1868 52 55 48
9.10/9.16 c 4540 35097 12097394 5463068 1335 1872 52 55 48
9.10/9.18 c 4550 35164 12121358 5474083 1335 1876 52 55 48
9.10/9.19 c 4560 35231 12145640 5485232 1335 1880 52 55 48
9.19/9.20 c 4570 35298 12170018 5496377 1335 1884 52 55 48
9.19/9.21 c 4580 35365 12193810 5507511 1335 1888 52 55 48
9.19/9.22 c 4590 35432 12217020 5518567 1335 1892 52 55 48
9.19/9.23 c 4600 35499 12240478 5529614 1335 1896 52 55 48
9.19/9.24 c 4610 35566 12263464 5540729 1335 1900 52 55 48
9.19/9.25 c 4620 35633 12286644 5551724 1335 1904 52 55 48
9.19/9.26 c 4630 35700 12310188 5562711 1335 1908 52 55 48
9.19/9.28 c 4640 35767 12334778 5573916 1335 1912 52 55 48
9.19/9.29 c 4650 35834 12360005 5585454 1335 1916 52 55 48
9.29/9.30 c 4660 35901 12384974 5596589 1335 1920 52 55 48
9.29/9.31 c 4670 35968 12409682 5607598 1335 1924 52 55 48
9.29/9.32 c 4680 36035 12434441 5618617 1335 1928 52 55 48
9.29/9.34 c 4690 36102 12458471 5629710 1335 1932 52 55 48
9.29/9.35 c 4700 36169 12481743 5640706 1335 1936 52 55 48
9.29/9.36 c 4710 36236 12505931 5651915 1335 1940 52 55 48
9.29/9.37 c 4720 36303 12529666 5662959 1335 1944 52 55 48
9.29/9.38 c 4730 36370 12552909 5674010 1335 1948 52 55 48
9.29/9.39 c 4740 36437 12576617 5685289 1335 1952 52 55 48
9.39/9.40 c 4750 36504 12599930 5696526 1335 1956 52 55 48
9.39/9.42 c 4760 36571 12623309 5707693 1335 1960 52 55 48
9.39/9.43 c 4770 36638 12647221 5718774 1335 1964 52 55 48
9.39/9.44 c 4780 36705 12670888 5729813 1335 1968 52 55 48
9.39/9.45 c 4790 36772 12694080 5740980 1335 1972 52 55 48
9.39/9.46 c 4800 36839 12717873 5752308 1335 1976 52 55 48
9.39/9.47 c 4810 36906 12741364 5763355 1335 1980 52 55 48
9.39/9.48 c 4820 36973 12764460 5774584 1335 1984 52 55 48
9.49/9.50 c 4830 37040 12789348 5785812 1335 1988 52 55 48
9.49/9.51 c 4840 37107 12814253 5796865 1335 1992 52 55 48
9.49/9.52 c 4850 37174 12839187 5807973 1335 1996 52 55 48
9.49/9.53 c 4860 37241 12863895 5818996 1335 2000 52 55 48
9.49/9.54 c 4870 37308 12889002 5830187 1335 2004 52 55 48
9.49/9.55 c 4880 37375 12913134 5841344 1335 2008 52 55 48
9.49/9.57 c 4890 37442 12937985 5852662 1335 2012 52 55 48
9.49/9.58 c 4900 37509 12962799 5863797 1335 2016 52 55 48
9.49/9.59 c 4910 37576 12987435 5874764 1335 2020 52 55 48
9.59/9.60 c 4920 37643 13011360 5885921 1335 2024 52 55 48
9.59/9.61 c 4930 37710 13035360 5896992 1335 2028 52 55 48
9.59/9.62 c 4940 37777 13060380 5908101 1335 2032 52 55 48
9.59/9.64 c 4950 37844 13084142 5919147 1335 2036 52 55 48
9.59/9.65 c 4960 37911 13107924 5930188 1335 2040 52 55 48
9.59/9.66 c 4970 37978 13132583 5941329 1335 2044 52 55 48
9.59/9.67 c 4980 38045 13157717 5952469 1335 2048 52 55 48
9.59/9.68 c 4990 38112 13182128 5963678 1335 2052 52 55 48
9.69/9.71 c 5035 38246 13224144 5997048 1335 2059 52 55 52
9.89/9.92 c 5631 39310 13488706 6320686 1335 2069 48 55 52
10.10/10.15 c 6286 40505 13782461 6685346 1335 2077 48 55 52
10.29/10.36 c 7006 41759 14075642 7051613 1335 2086 17 55 52
10.59/10.64 c 7798 43143 14425872 7470144 1335 2098 49 55 52
10.89/10.94 c 8669 44692 14795082 7947567 1335 2104 17 55 52
11.19/11.25 c 9627 46360 15203962 8476297 1335 2113 17 55 52
11.59/11.62 c 10680 48196 15656358 9063576 1335 2128 48 55 52
11.89/11.97 c 11838 50165 16138954 9700462 1335 2136 46 55 52
12.29/12.37 c 13111 52293 16673693 10396343 1335 2154 17 55 51
12.79/12.87 c 14511 54742 17287191 11204201 1335 2160 46 55 52
13.29/13.32 c 16051 57358 17926158 12057956 1335 2173 46 55 52
13.78/13.89 c 17745 60244 18643602 13008404 1335 2179 48 55 52
14.48/14.50 c 19608 63351 19429788 14049820 1335 2190 1 55 51
15.00/15.10 c 21657 66747 20267383 15176335 1335 2197 47 55 51
15.79/15.81 c 23910 70521 21199764 16423277 1335 2209 47 55 51
16.59/16.67 c 26388 74869 22288329 17863897 1335 2223 46 55 52
17.49/17.53 c 29113 79638 23442282 19431665 1335 2236 17 55 52
18.49/18.53 c 32110 84763 24711233 21143938 1335 2250 46 55 52
19.59/19.61 c 35406 90281 26090190 23022670 1335 2259 46 55 51
20.68/20.75 c 39031 96477 27589633 25071312 1335 2272 46 55 51
21.99/22.09 c 43018 103443 29307584 27397778 1335 2290 46 55 52
23.48/23.57 c 47403 110943 31175636 29942956 1335 2309 46 55 51
25.09/25.17 c 52226 119281 33198093 32743956 1335 2324 46 55 51
26.78/26.88 c 57531 128098 35378180 35754639 1335 2337 46 55 51
28.79/28.83 c 63366 137748 37798226 39116392 1335 2350 45 55 51
30.89/30.95 c 69784 148727 40473705 42833927 1335 2364 45 55 51
33.29/33.30 c 76843 160320 43416060 46864932 1335 2380 45 55 50
35.89/35.95 c 84607 173249 46620724 51353003 1335 2397 45 55 50
38.49/38.56 c 93147 187338 50054256 56220914 1335 2423 45 55 50
41.49/41.57 c 102541 202650 53898307 61598330 1335 2437 17 55 50
45.00/45.03 c 112874 219569 58166809 67563888 1335 2447 45 55 50
48.69/48.75 c 124240 238687 62840022 74165309 1335 2460 44 55 50
52.69/52.74 c 136742 259314 67958237 81395919 1335 2482 44 55 50
57.59/57.62 c 150494 281803 73643408 89388227 1335 2500 44 55 49
62.28/62.32 c 165621 306607 79759878 97979066 1335 2520 44 55 49
68.09/68.17 c 182260 334347 86820005 107629296 1335 2540 44 55 50
74.48/74.52 c 200562 364649 94434427 118340488 1335 2556 44 55 50
81.10/81.12 c 220694 398643 102719888 129973084 1335 2579 44 55 49
89.39/89.49 c 242839 436304 112294914 143063540 1335 2592 17 55 49
98.79/98.82 c 267198 478646 122871899 157705392 1335 2607 17 55 49
108.29/108.37 c 293992 524558 134098440 173628405 1335 2631 44 55 49
119.48/119.55 c 323465 574290 146917354 190743654 1335 2652 44 55 49
131.68/131.71 c 355885 630719 160841336 209996135 1335 2664 44 55 49
144.99/145.01 c 391547 692269 176281395 231011478 1335 2686 44 55 49
159.78/159.82 c 430775 759035 193110707 254424591 1335 2692 44 55 49
175.28/175.39 c 473925 832441 211372900 279710641 1335 2711 44 55 49
192.67/192.78 c 521390 914105 231999412 308015874 1335 2734 44 55 49
209.36/209.41 c 573601 1003739 254237124 339223323 1335 2749 44 55 49
227.77/227.85 c 631033 1104120 279240681 373667008 1335 2773 44 55 49
248.37/248.42 c 694208 1213289 306568097 411164014 1335 2802 44 55 49
271.27/271.38 c 763700 1332159 336840580 452469575 1335 2829 44 55 49
293.77/293.83 c 840141 1459720 368614866 496586224 1335 2845 42 55 48
316.76/316.86 c 924226 1587878 403101611 543193390 1335 2873 40 51 46
340.86/340.95 c 1016719 1729599 440768634 593790723 1335 2893 40 55 46
367.36/367.44 c 1118461 1886268 481904205 649786324 1335 2920 40 53 46
406.45/406.52 c 1230377 2076124 531746620 716150132 1335 2944 41 55 49
442.36/442.46 c 1353484 2279539 582927587 787008837 1335 2970 41 55 48
481.45/481.55 c 1488901 2487084 640020081 861825885 1335 2990 39 55 46
521.35/521.41 c 1637859 2718404 700705367 944594402 1335 3015 40 55 46
565.44/565.58 c 1801712 2972284 767990733 1034979331 1335 3038 40 55 46
615.74/615.87 c 1981950 3246507 843517195 1133812190 1335 3061 40 49 45
671.45/671.57 c 2180211 3556116 925882418 1244101992 1335 3085 17 55 46
719.05/719.19 c 2398298 3864334 1011323952 1358074319 1335 3116 36 47 42
779.94/780.02 c 2638193 4214912 1109718602 1486322171 1335 3141 38 53 43
848.53/848.69 c 2902077 4623343 1218844159 1631404553 1335 3167 39 55 46
919.13/919.25 c 3192349 5059031 1336415112 1787395179 1335 3204 37 55 45
1003.52/1003.62 c 3511648 5532718 1469297344 1959622357 1335 3223 37 49 44
1080.12/1080.20 c 3862876 6027968 1608444316 2142376746 1335 3250 36 47 42
1163.61/1163.74 c 4249226 6577928 1762148377 2344288887 1335 3273 36 47 42
1266.21/1266.33 c 4674211 7192019 1935514656 2568802978 1335 3302 17 55 43
1375.71/1375.85 c 5141694 7870776 2124016992 2816662447 1335 3324 35 47 43
1493.80/1494.00 c 5655925 8606604 2330001952 3087052690 1335 3351 36 47 42
1647.39/1647.51 c 6221579 9492153 2562722140 3380044108 1335 4860 40 97 90
1789.89/1790.08 c 6843798 10372714 2815066308 3702228987 1335 4894 20 56 45
1972.07/1972.29 c 7528238 11405154 3102751550 4075915513 1335 4932 37 55 44
2144.17/2144.39 c 8281122 12485828 3407965921 4470495578 1335 4964 35 47 42
2343.26/2343.40 c 9109294 13678705 3747014234 4906326456 1335 4988 36 47 42
2519.86/2520.01
2519.86/2520.01 c *** INTERRUPTED ***
2519.86/2520.01 c restarts : 595
2519.86/2520.01 c conflicts : 9669483 (3838 /sec)
2519.86/2520.01 c decisions : 14618577 (5803 /sec)
2519.86/2520.01 c propagations : 5232043639 (2076788 /sec)
2519.86/2520.01 c root propagations : 9959
2519.86/2520.01 c filter calls : 3990142531 (1583833 /sec)
2519.86/2520.01 c useless filter calls : 3935259460 (98 %)
2519.86/2520.01 c
2519.86/2520.01 c clauses : 41460983
2519.86/2520.01 c SAT propagations : 4091
2519.86/2520.01 c SAT conflicts : 0 (0 learnts)
2519.86/2520.01 c Memory used : 2100.09 MB
2519.86/2520.01 c CPU time : 2519.3 s
2519.86/2520.01
2519.86/2520.01 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 (13102 MiB free)
memory of node 1: 16384 MiB (12768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266411-1502583619/watcher-4266411-1502583619 -o /tmp/evaluation-result-4266411-1502583619/solver-4266411-1502583619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266411-1502583619.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28027, runsolver pid=28024
Current StackSize limit: 8192 KiB
[startup+0.100188 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 28028
/proc/meminfo: memFree=26450960/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=77972 memory=51660 CPUtime=0.1 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 12089 0 0 0 8 2 0 0 20 0 1 0 91449548 79843328 12915 33554432000 4194304 5972588 140736744835168 140736744831816 140556491996133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 19493 12915 835 435 0 12856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77972 KiB
Current children cumulated memory: 51660 KiB
[startup+0.209948 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 28028
/proc/meminfo: memFree=26382148/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=162112 memory=121504 CPUtime=0.21 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 24949 0 0 0 18 3 0 0 20 0 1 0 91449548 166002688 30376 33554432000 4194304 5972588 140736744835168 140736744831960 5276613 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 40528 30376 835 435 0 33891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 162112 KiB
Current children cumulated memory: 121504 KiB
[startup+0.309983 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 28028
/proc/meminfo: memFree=26318244/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=234576 memory=182092 CPUtime=0.31 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 33964 0 0 0 26 5 0 0 20 0 1 0 91449548 240205824 45523 33554432000 4194304 5972588 140736744835168 140736744831960 140556491996133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 58644 45523 835 435 0 52007 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 234576 KiB
Current children cumulated memory: 182092 KiB
[startup+0.70042 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 28028
/proc/meminfo: memFree=26194380/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=518084 memory=418620 CPUtime=0.69 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 68559 0 0 0 57 12 0 0 20 0 1 0 91449548 530518016 104655 33554432000 4194304 5972588 140736744835168 140736744831960 140556491996133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 129521 104655 835 435 0 122884 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 518084 KiB
Current children cumulated memory: 418620 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 28028
/proc/meminfo: memFree=25890452/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=971736 memory=915940 CPUtime=1.49 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 137678 0 0 0 125 24 0 0 20 0 1 0 91449548 995057664 228985 33554432000 4194304 5972588 140736744835168 140736744831960 140556492065323 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 242967 228985 835 435 0 236330 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 971736 KiB
Current children cumulated memory: 915940 KiB
[startup+3.10971 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24685036/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2149436 memory=1809252 CPUtime=3.09 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 266978 0 0 0 262 47 0 0 20 0 1 0 91449548 2201022464 452313 33554432000 4194304 5972588 140736744835168 140736744831960 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537359 452313 851 435 0 530722 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2149436 KiB
Current children cumulated memory: 1809252 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24681836/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150224 memory=1810184 CPUtime=6.28 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 275636 0 0 0 580 48 0 0 20 0 1 0 91449548 2201829376 452546 33554432000 4194304 5972588 140736744835168 140736744832472 5032455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537556 452546 851 435 0 530919 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2150224 KiB
Current children cumulated memory: 1810184 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24682248/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150224 memory=1810224 CPUtime=12.69 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 288139 0 0 0 1220 49 0 0 20 0 1 0 91449548 2201829376 452556 33554432000 4194304 5972588 140736744835168 140736744832472 4978083 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537556 452556 851 435 0 530919 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2150224 KiB
Current children cumulated memory: 1810224 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24682488/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150224 memory=1810236 CPUtime=25.48 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 302854 0 0 0 2498 50 0 0 20 0 1 0 91449548 2201829376 452559 33554432000 4194304 5972588 140736744835168 140736744832472 5273324 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537556 452559 851 435 0 530919 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2150224 KiB
Current children cumulated memory: 1810236 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24682876/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150224 memory=1810236 CPUtime=51.1 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 318489 0 0 0 5059 51 0 0 20 0 1 0 91449548 2201829376 452559 33554432000 4194304 5972588 140736744835168 140736744832472 4975200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537556 452559 851 435 0 530919 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2150224 KiB
Current children cumulated memory: 1810236 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28029
/proc/meminfo: memFree=24683124/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150224 memory=1810248 CPUtime=102.29 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 336795 0 0 0 10177 52 0 0 20 0 1 0 91449548 2201829376 452562 33554432000 4194304 5972588 140736744835168 140736744832472 4908847 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537556 452562 851 435 0 530919 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2150224 KiB
Current children cumulated memory: 1810248 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28030
/proc/meminfo: memFree=24682360/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810256 CPUtime=162.28 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 346701 0 0 0 16176 52 0 0 20 0 1 0 91449548 2201964544 452564 33554432000 4194304 5972588 140736744835168 140736744832472 5328506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452564 851 435 0 530952 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810256 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28092
/proc/meminfo: memFree=25317160/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810260 CPUtime=222.27 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 357376 0 0 0 22174 53 0 0 20 0 1 0 91449548 2201964544 452565 33554432000 4194304 5972588 140736744835168 140736744832472 5032455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452565 851 435 0 530952 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28101
/proc/meminfo: memFree=25316780/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810264 CPUtime=282.27 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 364335 0 0 0 28174 53 0 0 20 0 1 0 91449548 2201964544 452566 33554432000 4194304 5972588 140736744835168 140736744832472 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452566 851 435 0 530952 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810264 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28102
/proc/meminfo: memFree=25317476/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810268 CPUtime=342.26 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 372389 0 0 0 34173 53 0 0 20 0 1 0 91449548 2201964544 452567 33554432000 4194304 5972588 140736744835168 140736744832472 4972741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452567 851 435 0 530952 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810268 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28103
/proc/meminfo: memFree=25317000/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810268 CPUtime=402.25 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 377545 0 0 0 40172 53 0 0 20 0 1 0 91449548 2201964544 452567 33554432000 4194304 5972588 140736744835168 140736744832472 4935692 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452567 851 435 0 530952 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810268 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28104
/proc/meminfo: memFree=25317640/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150356 memory=1810272 CPUtime=462.26 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 384451 0 0 0 46172 54 0 0 20 0 1 0 91449548 2201964544 452568 33554432000 4194304 5972588 140736744835168 140736744832472 4935493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537589 452568 851 435 0 530952 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2150356 KiB
Current children cumulated memory: 1810272 KiB
################
# More data... #
################
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 28144
/proc/meminfo: memFree=25314592/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=1782.18 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 456001 0 0 0 178162 56 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5032400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+1842.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/187 28145
/proc/meminfo: memFree=25314552/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=1842.18 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 457563 0 0 0 184162 56 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5029884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/187 28146
/proc/meminfo: memFree=25314280/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=1902.18 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 458823 0 0 0 190162 56 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4978710 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 28147
/proc/meminfo: memFree=25314428/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=1962.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 459953 0 0 0 196161 56 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5243865 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 28148
/proc/meminfo: memFree=25314524/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2022.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 460538 0 0 0 202161 56 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4935040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 28157
/proc/meminfo: memFree=25313744/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2082.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 461802 0 0 0 208160 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5032400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 28158
/proc/meminfo: memFree=25313880/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2142.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 463040 0 0 0 214160 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5032431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 28159
/proc/meminfo: memFree=25313996/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2202.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 464579 0 0 0 220160 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4971615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 28160
/proc/meminfo: memFree=25314036/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2262.17 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 465742 0 0 0 226160 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5032455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28161
/proc/meminfo: memFree=25314216/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2322.16 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 466988 0 0 0 232159 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5029884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28162
/proc/meminfo: memFree=25314092/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2382.16 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 468425 0 0 0 238159 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28163
/proc/meminfo: memFree=25314064/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2442.15 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 469445 0 0 0 244158 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4975114 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28164
/proc/meminfo: memFree=25313904/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2502.15 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 470673 0 0 0 250158 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 4935657 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28164
/proc/meminfo: memFree=25313992/32770624 swapFree=67108860/67108860
[pid=28027] ppid=28024 vsize=2150488 memory=1813684 CPUtime=2519.86 cores=0,2,4,6
/proc/28027/stat : 28027 (cosoco) R 28024 28027 24815 0 -1 4202496 470842 0 0 0 251929 57 0 0 20 0 1 0 91449548 2202099712 453421 33554432000 4194304 5972588 140736744835168 140736744832472 5099616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11829248 140736744838330 140736744838430 140736744838430 140736744841166 0
/proc/28027/statm: 537622 453421 851 435 0 530985 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2150488 KiB
Current children cumulated memory: 1813684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.3 s, system=0.579971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.88
CPU user time (s): 2519.3
CPU system time (s): 0.579971
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 2150488
Max. memory (cumulated for all children) (KiB): 1813684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.3
system time used= 0.579971
maximum resident set size= 1813756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470895
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= 33
involuntary context switches= 677
# summary of solver processes directly reported to runsolver:
# pid: 28027
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.3
# total CPU system time (s): 0.579971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49244 second user time and 17.1968 second system time
The end