0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c intension hd[0]<ad[0] using generic constraint
0.00/0.07 c intension hd[1]<ad[1] using generic constraint
0.00/0.07 c intension hd[2]<ad[2] using generic constraint
0.00/0.07 c intension hd[3]<ad[3] using generic constraint
0.00/0.07 c intension hd[4]<ad[4] using generic constraint
0.00/0.07 c intension hd[5]<ad[5] using generic constraint
0.00/0.07 c intension hd[6]<ad[6] using generic constraint
0.00/0.07 c intension hd[7]<ad[7] using generic constraint
0.00/0.07 c intension hd[8]<ad[8] using generic constraint
0.00/0.07 c intension hd[9]<ad[9] using generic constraint
0.00/0.07 c intension hd[10]<ad[10] using generic constraint
0.00/0.07 c intension hd[11]<ad[11] using generic constraint
0.00/0.07 c intension hd[12]<ad[12] using generic constraint
0.00/0.07 c intension hd[13]<ad[13] using generic constraint
0.00/0.07 c intension hd[14]<ad[14] using generic constraint
2.89/2.97 c SAT : Variables: 216225 -- Clauses: 41454660
2.99/3.02 c root propagations : 9959
2.99/3.02 c restarts enabled, print stats at every restarts
2.99/3.02 c
2.99/3.02 c
2.99/3.02 c
2.99/3.02 c This is cosoco 1.0 --
2.99/3.02 c
2.99/3.02 c ========================================[ Problem Statistics ]===========================================
2.99/3.02 c |
2.99/3.02 c | Parse time : 2.51 s
2.99/3.02 c |
2.99/3.02 c | Variables: 1335
2.99/3.02 c | Domain Sizes: 30..435
2.99/3.02 c |
2.99/3.02 c | Constraints: 1875
2.99/3.02 c | Arity: 1..435 -- Unary: 15 -- Binary: 15 -- Ternary: 435
2.99/3.02 c |
2.99/3.02 c | Types:
2.99/3.02 c | (X - Y < k): 15
2.99/3.02 c | All Different: 31
2.99/3.02 c | At least: 450
2.99/3.02 c | At most: 450
2.99/3.02 c | Exactly K: 479
2.99/3.02 c | Extension: 435 (nb tuples: 435..435) -- (shared: 434)
2.99/3.02 c | Intension: 15
2.99/3.02 c |
2.99/3.02 c =========================================================================================================
2.99/3.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
2.99/3.04 c 10 101 99556 22592 1335 10 86 92 80
3.09/3.12 c 20 356 232679 57885 1335 15 1 237 179
3.19/3.21 c 30 656 356999 105195 1335 25 4 290 125
3.19/3.26 c 40 850 409156 132287 1335 33 19 180 124
3.19/3.30 c 50 1039 460189 159576 1335 41 50 180 128
3.29/3.34 c 60 1228 518154 188338 1335 50 19 180 105
3.29/3.39 c 70 1417 573855 215541 1335 55 19 180 129
3.39/3.42 c 80 1602 622673 241575 1335 60 135 174 151
3.39/3.47 c 90 1787 674319 269852 1335 65 47 174 133
3.48/3.52 c 100 1968 720533 296222 1335 69 135 168 148
3.48/3.53 c 101 2015 726219 297150 1335 70 47 47 23
3.48/3.57 c 110 2193 774271 322918 1335 73 1 168 122
3.58/3.61 c 120 2372 823896 349307 1335 78 47 168 120
3.58/3.66 c 130 2555 873309 377492 1335 85 47 168 120
3.68/3.70 c 140 2738 919955 403381 1335 92 162 168 151
3.68/3.75 c 150 2921 969473 431125 1335 99 17 168 115
3.78/3.80 c 160 3104 1019124 458140 1335 106 17 168 114
3.78/3.85 c 170 3284 1068342 484541 1335 114 17 168 114
3.78/3.87 c 180 3384 1099337 498096 1335 119 49 91 71
3.78/3.89 c 190 3484 1129068 510796 1335 124 17 88 69
3.88/3.91 c 200 3583 1158476 522419 1335 128 17 88 72
3.88/3.93 c 210 3680 1184707 533608 1335 132 82 85 76
3.88/3.94 c 211 3765 1208105 540279 1335 133 85 85 42
3.88/3.95 c 220 3861 1234041 550863 1335 136 82 85 75
3.88/3.97 c 230 3958 1260249 561918 1335 140 17 85 70
3.88/3.98 c 240 4055 1286064 573122 1335 144 82 85 76
3.98/4.00 c 250 4152 1313878 584288 1335 148 17 85 70
3.98/4.01 c 260 4249 1341711 595622 1335 152 82 85 76
3.98/4.02 c 270 4346 1368418 606694 1335 156 82 85 76
3.98/4.04 c 280 4443 1395095 617929 1335 160 82 85 76
3.98/4.06 c 290 4540 1423450 629323 1335 164 17 85 70
3.98/4.07 c 300 4637 1451560 640425 1335 168 82 85 76
3.98/4.08 c 310 4734 1479331 651687 1335 172 82 85 76
4.08/4.10 c 320 4831 1507044 662825 1335 176 82 85 76
4.08/4.11 c 330 4928 1534044 673891 1335 180 17 85 70
4.08/4.13 c 332 5014 1557862 681000 1335 181 85 85 56
4.08/4.14 c 340 5109 1584143 691244 1335 184 82 85 74
4.08/4.15 c 350 5206 1608636 702358 1335 188 82 85 76
4.08/4.16 c 360 5303 1634052 713510 1335 192 82 85 76
4.08/4.18 c 370 5400 1659035 724667 1335 196 82 85 76
4.08/4.19 c 380 5497 1685120 736030 1335 200 82 85 76
4.18/4.20 c 390 5594 1712285 747404 1335 204 82 85 76
4.18/4.22 c 400 5691 1738521 758481 1335 208 82 85 76
4.18/4.23 c 410 5788 1764533 769622 1335 212 82 85 76
4.18/4.24 c 420 5885 1790345 780741 1335 216 82 85 76
4.18/4.26 c 430 5982 1817604 791894 1335 220 17 85 70
4.18/4.28 c 440 6079 1845342 802944 1335 224 17 85 70
4.18/4.29 c 450 6176 1873128 814069 1335 228 82 85 76
4.28/4.30 c 460 6273 1899808 825238 1335 232 82 85 76
4.28/4.32 c 465 6362 1924850 833834 1335 236 83 85 69
4.28/4.33 c 470 6423 1945417 842261 1335 240 55 57 46
4.28/4.34 c 480 6493 1969184 853308 1335 244 55 58 51
4.28/4.35 c 490 6564 1994082 864510 1335 248 56 59 52
4.28/4.36 c 500 6633 2018068 875701 1335 252 54 57 50
4.28/4.37 c 510 6702 2041250 886700 1335 256 54 57 50
4.28/4.38 c 520 6771 2065942 897761 1335 260 54 57 50
4.28/4.40 c 530 6840 2089906 908837 1335 264 54 57 50
4.39/4.41 c 540 6909 2113942 919880 1335 268 54 57 50
4.39/4.42 c 550 6978 2138372 931005 1335 272 54 57 50
4.39/4.43 c 560 7047 2162854 942096 1335 276 54 57 50
4.39/4.44 c 570 7116 2187626 953240 1335 280 54 57 50
4.39/4.45 c 580 7185 2211628 964228 1335 284 54 57 50
4.39/4.46 c 590 7254 2235106 975281 1335 288 54 57 50
4.39/4.48 c 600 7323 2259369 986498 1335 292 54 57 50
4.39/4.49 c 610 7392 2284550 997814 1335 296 54 57 50
4.39/4.50 c 611 7449 2306376 1004439 1335 297 57 57 28
4.49/4.51 c 620 7517 2331179 1015250 1335 300 54 57 50
4.49/4.52 c 630 7586 2356505 1026611 1335 304 54 57 50
4.49/4.54 c 640 7655 2382015 1038084 1335 308 54 57 50
4.49/4.55 c 650 7724 2407290 1049222 1335 312 54 57 50
4.49/4.56 c 660 7793 2431374 1060321 1335 316 54 57 50
4.49/4.57 c 670 7862 2455645 1071361 1335 320 54 57 50
4.49/4.58 c 680 7931 2480282 1082494 1335 324 54 57 50
4.49/4.59 c 690 8000 2503738 1093488 1335 328 54 57 50
4.58/4.61 c 700 8069 2527988 1104673 1335 332 54 57 50
4.58/4.62 c 710 8138 2552480 1115820 1335 336 54 57 50
4.58/4.63 c 720 8207 2577382 1127049 1335 340 54 57 50
4.58/4.64 c 730 8276 2602621 1138159 1335 344 54 57 50
4.58/4.65 c 740 8345 2627786 1149296 1335 348 54 57 50
4.58/4.66 c 750 8414 2652888 1160351 1335 352 54 57 50
4.58/4.68 c 760 8483 2677171 1171377 1335 356 54 57 50
4.58/4.69 c 770 8552 2702083 1182333 1335 360 54 57 50
4.68/4.70 c 771 8609 2722933 1188920 1335 361 57 57 28
4.68/4.71 c 780 8677 2746982 1199633 1335 364 54 57 50
4.68/4.72 c 790 8746 2769498 1210760 1335 368 54 57 50
4.68/4.73 c 800 8815 2792904 1222107 1335 372 54 57 50
4.68/4.74 c 810 8884 2817906 1233427 1335 376 54 57 50
4.68/4.75 c 820 8953 2841518 1244476 1335 380 54 57 50
4.68/4.77 c 830 9022 2865619 1255683 1335 384 54 57 50
4.68/4.78 c 840 9091 2890152 1266774 1335 388 54 57 50
4.68/4.79 c 850 9160 2914608 1277749 1335 392 54 57 50
4.78/4.80 c 860 9229 2938792 1288733 1335 396 54 57 50
4.78/4.81 c 870 9298 2963397 1299734 1335 400 54 57 50
4.78/4.82 c 880 9367 2987354 1310866 1335 404 54 57 50
4.78/4.83 c 890 9436 3010295 1321931 1335 408 54 57 50
4.78/4.85 c 900 9505 3033995 1333216 1335 412 54 57 50
4.78/4.86 c 910 9574 3058976 1344480 1335 416 54 57 50
4.78/4.87 c 920 9643 3082349 1355701 1335 420 54 57 50
4.78/4.88 c 930 9712 3105712 1366814 1335 424 54 57 50
4.78/4.89 c 940 9781 3129949 1377967 1335 428 54 57 50
4.88/4.90 c 947 9844 3152016 1387202 1335 430 54 57 48
4.88/4.91 c 950 9903 3172635 1394856 1335 432 55 57 42
4.88/4.93 c 960 9972 3196359 1406007 1335 436 54 57 50
4.88/4.94 c 970 10041 3219344 1417069 1335 440 54 57 50
4.88/4.95 c 980 10110 3242566 1428182 1335 444 54 57 50
4.88/4.96 c 990 10179 3265020 1439197 1335 448 54 57 50
4.88/4.97 c 1000 10248 3289405 1450380 1335 452 54 57 50
4.88/4.98 c 1010 10317 3314023 1461467 1335 456 54 57 50
4.88/4.99 c 1020 10386 3339067 1472746 1335 460 54 57 50
4.98/5.01 c 1030 10455 3364117 1483800 1335 464 54 57 50
4.98/5.02 c 1040 10524 3389522 1495217 1335 468 54 57 50
4.98/5.03 c 1050 10593 3414133 1506514 1335 472 54 57 50
4.98/5.04 c 1060 10662 3438503 1517549 1335 476 54 57 50
4.98/5.05 c 1070 10731 3463051 1528525 1335 480 54 57 50
4.98/5.06 c 1080 10800 3487963 1539495 1335 484 54 57 50
4.98/5.07 c 1090 10869 3512954 1550576 1335 488 54 57 50
4.98/5.09 c 1100 10938 3537566 1561758 1335 492 54 57 50
5.08/5.10 c 1110 11007 3561058 1572867 1335 496 54 57 50
5.08/5.11 c 1120 11076 3585208 1583998 1335 500 54 57 50
5.08/5.12 c 1130 11145 3609628 1594992 1335 504 54 57 50
5.08/5.13 c 1140 11214 3634524 1606355 1335 508 54 57 50
5.08/5.14 c 1141 11271 3656572 1613094 1335 509 57 57 28
5.08/5.16 c 1150 11339 3681608 1624073 1335 512 54 57 50
5.08/5.17 c 1160 11408 3706354 1635630 1335 516 54 57 50
5.08/5.18 c 1170 11477 3730694 1646841 1335 520 54 57 50
5.08/5.19 c 1180 11546 3753861 1657958 1335 524 54 57 50
5.18/5.20 c 1190 11615 3778219 1668993 1335 528 54 57 50
5.18/5.22 c 1200 11684 3802305 1680092 1335 532 54 57 50
5.18/5.23 c 1210 11753 3826397 1691075 1335 536 54 57 50
5.18/5.24 c 1220 11822 3851093 1702196 1335 540 54 57 50
5.18/5.25 c 1230 11891 3875910 1713243 1335 544 54 57 50
5.18/5.26 c 1240 11960 3901169 1724488 1335 548 54 57 50
5.18/5.27 c 1250 12029 3926508 1735741 1335 552 54 57 50
5.18/5.29 c 1260 12098 3951635 1747173 1335 556 54 57 50
5.28/5.30 c 1270 12167 3975544 1758500 1335 560 54 57 50
5.28/5.31 c 1280 12236 3999577 1769543 1335 564 54 57 50
5.28/5.32 c 1290 12305 4022941 1780656 1335 568 54 57 50
5.28/5.33 c 1300 12374 4046633 1791761 1335 572 54 57 50
5.28/5.34 c 1310 12443 4070768 1802803 1335 576 54 57 50
5.28/5.36 c 1320 12512 4095394 1813821 1335 580 54 57 50
5.28/5.37 c 1330 12581 4120214 1824786 1335 584 54 57 50
5.28/5.38 c 1340 12650 4144940 1835755 1335 588 54 57 50
5.28/5.39 c 1350 12719 4169540 1846966 1335 592 54 57 50
5.39/5.40 c 1352 12777 4190208 1854058 1335 593 57 57 38
5.39/5.41 c 1360 12844 4213786 1864217 1335 596 54 57 49
5.39/5.43 c 1370 12913 4238153 1875438 1335 600 54 57 50
5.39/5.44 c 1380 12982 4262560 1886817 1335 604 54 57 50
5.39/5.45 c 1390 13051 4287600 1898072 1335 608 54 57 50
5.39/5.46 c 1400 13120 4312780 1909321 1335 612 54 57 50
5.39/5.48 c 1410 13189 4337959 1920459 1335 616 54 57 50
5.39/5.49 c 1420 13258 4363090 1931570 1335 620 54 57 50
5.39/5.50 c 1430 13327 4387352 1942643 1335 624 54 57 50
5.50/5.51 c 1440 13396 4410940 1953812 1335 628 54 57 50
5.50/5.52 c 1450 13465 4435074 1964973 1335 632 54 57 50
5.50/5.54 c 1460 13534 4460117 1976177 1335 636 54 57 50
5.50/5.55 c 1470 13603 4484937 1987142 1335 640 54 57 50
5.50/5.56 c 1480 13672 4509663 1998111 1335 644 54 57 50
5.50/5.57 c 1490 13741 4535329 2009473 1335 648 54 57 50
5.50/5.58 c 1500 13810 4560040 2020732 1335 652 54 57 50
5.50/5.60 c 1510 13879 4585195 2031925 1335 656 54 57 50
5.60/5.61 c 1520 13948 4609137 2043029 1335 660 54 57 50
5.60/5.62 c 1530 14017 4632319 2054030 1335 664 54 57 50
5.60/5.63 c 1540 14086 4656999 2065177 1335 668 54 57 50
5.60/5.64 c 1550 14155 4681355 2076336 1335 672 54 57 50
5.60/5.65 c 1560 14224 4706120 2087474 1335 676 54 57 50
5.60/5.66 c 1570 14293 4730576 2098435 1335 680 54 57 50
5.60/5.68 c 1580 14362 4755657 2109680 1335 684 54 57 50
5.60/5.69 c 1585 14423 4778902 2118288 1335 688 55 57 46
5.69/5.70 c 1590 14484 4802283 2127008 1335 692 55 57 46
5.69/5.71 c 1600 14553 4826613 2138253 1335 696 54 57 50
5.69/5.72 c 1610 14622 4849487 2149318 1335 700 54 57 50
5.69/5.73 c 1620 14691 4872943 2160405 1335 704 54 57 50
5.69/5.74 c 1630 14760 4896841 2171484 1335 708 54 57 50
5.69/5.76 c 1640 14829 4921125 2182556 1335 712 54 57 50
5.69/5.77 c 1650 14898 4945910 2193699 1335 716 54 57 50
5.69/5.78 c 1660 14967 4970898 2204780 1335 720 54 57 50
5.69/5.79 c 1670 15036 4995916 2215857 1335 724 54 57 50
5.79/5.80 c 1680 15105 5020821 2226938 1335 728 54 57 50
5.79/5.81 c 1690 15174 5046136 2238105 1335 732 54 57 50
5.79/5.83 c 1700 15243 5069864 2249096 1335 736 54 57 50
5.79/5.84 c 1710 15312 5094241 2260252 1335 740 54 57 50
5.79/5.85 c 1720 15381 5119209 2271278 1335 744 54 57 50
5.79/5.86 c 1730 15450 5144466 2282584 1335 748 54 57 50
5.79/5.87 c 1740 15519 5169006 2293993 1335 752 54 57 50
5.79/5.88 c 1750 15588 5192247 2305166 1335 756 54 57 50
5.89/5.90 c 1760 15657 5216764 2316313 1335 760 54 57 50
5.89/5.91 c 1770 15726 5240218 2327534 1335 764 54 57 50
5.89/5.92 c 1780 15795 5263400 2338535 1335 768 54 57 50
5.89/5.93 c 1790 15864 5287887 2349626 1335 772 54 57 50
5.89/5.94 c 1800 15933 5311635 2360765 1335 776 54 57 50
5.89/5.95 c 1810 16002 5335637 2371753 1335 780 54 57 50
5.89/5.96 c 1820 16071 5359204 2382807 1335 784 54 57 50
5.89/5.98 c 1830 16140 5383353 2393906 1335 788 54 57 50
5.89/5.99 c 1840 16209 5407395 2405292 1335 792 54 57 50
5.99/6.00 c 1841 16266 5428937 2412039 1335 793 57 57 28
5.99/6.01 c 1850 16334 5454031 2423169 1335 796 54 57 50
5.99/6.03 c 1860 16403 5477647 2434738 1335 800 54 57 50
5.99/6.04 c 1870 16472 5501036 2445871 1335 804 54 57 50
5.99/6.05 c 1880 16541 5525511 2456991 1335 808 54 57 50
5.99/6.06 c 1890 16610 5550142 2468134 1335 812 54 57 50
5.99/6.07 c 1900 16679 5574091 2479293 1335 816 54 57 50
5.99/6.08 c 1910 16748 5598112 2490505 1335 820 54 57 50
5.99/6.09 c 1920 16817 5622249 2501657 1335 824 54 57 50
6.09/6.11 c 1930 16886 5645579 2512715 1335 828 54 57 50
6.09/6.12 c 1940 16955 5669125 2523708 1335 832 54 57 50
6.09/6.13 c 1950 17024 5692990 2535303 1335 836 54 57 50
6.09/6.14 c 1960 17093 5716969 2546722 1335 840 54 57 50
6.09/6.15 c 1970 17162 5741811 2557824 1335 844 54 57 50
6.09/6.17 c 1980 17231 5766868 2568901 1335 848 54 57 50
6.09/6.18 c 1990 17300 5790992 2579940 1335 852 54 57 50
6.09/6.19 c 2000 17369 5814796 2591135 1335 856 54 57 50
6.19/6.20 c 2010 17438 5838706 2602122 1335 860 54 57 50
6.19/6.21 c 2020 17507 5862683 2613284 1335 864 54 57 50
6.19/6.22 c 2030 17576 5886069 2624398 1335 868 54 57 50
6.19/6.23 c 2040 17645 5909615 2635391 1335 872 54 57 50
6.19/6.24 c 2050 17714 5933965 2646598 1335 876 54 57 50
6.19/6.26 c 2060 17783 5958736 2657805 1335 880 54 57 50
6.19/6.27 c 2070 17852 5983832 2668969 1335 884 54 57 50
6.19/6.28 c 2080 17921 6008862 2680187 1335 888 54 57 50
6.19/6.29 c 2090 17990 6032916 2691226 1335 892 54 57 50
6.29/6.30 c 2100 18059 6056807 2702671 1335 896 54 57 50
6.29/6.31 c 2110 18128 6079754 2713736 1335 900 54 57 50
6.29/6.33 c 2120 18197 6102992 2724793 1335 904 54 57 50
6.29/6.34 c 2122 18255 6123969 2731936 1335 905 57 57 38
6.29/6.35 c 2130 18322 6147286 2742097 1335 908 54 57 49
6.29/6.36 c 2140 18391 6172309 2753271 1335 912 54 57 50
6.29/6.37 c 2150 18460 6197506 2764464 1335 916 54 57 50
6.29/6.38 c 2160 18529 6222524 2775545 1335 920 54 57 50
6.29/6.39 c 2170 18598 6247297 2786682 1335 924 54 57 50
6.39/6.40 c 2180 18667 6271342 2797829 1335 928 54 57 50
6.39/6.42 c 2190 18736 6295606 2809088 1335 932 54 57 50
6.39/6.43 c 2200 18805 6319957 2820477 1335 936 54 57 50
6.39/6.44 c 2210 18874 6343448 2831655 1335 940 54 57 50
6.39/6.45 c 2220 18943 6366812 2842652 1335 944 54 57 50
6.39/6.46 c 2230 19012 6390659 2853753 1335 948 54 57 50
6.39/6.47 c 2240 19081 6415234 2864901 1335 952 54 57 50
6.39/6.49 c 2250 19150 6439690 2875876 1335 956 54 57 50
6.49/6.50 c 2260 19219 6463804 2886975 1335 960 54 57 50
6.49/6.51 c 2270 19288 6487926 2898120 1335 964 54 57 50
6.49/6.52 c 2280 19357 6512353 2909241 1335 968 54 57 50
6.49/6.53 c 2290 19426 6536354 2920427 1335 972 54 57 50
6.49/6.54 c 2300 19495 6560296 2931652 1335 976 54 57 50
6.49/6.56 c 2310 19564 6584789 2942813 1335 980 54 57 50
6.49/6.57 c 2320 19633 6609154 2953908 1335 984 54 57 50
6.49/6.58 c 2330 19702 6632511 2965077 1335 988 54 57 50
6.49/6.59 c 2340 19771 6656472 2976295 1335 992 54 57 50
6.59/6.60 c 2350 19840 6680743 2987390 1335 996 54 57 50
6.59/6.62 c 2360 19909 6705295 2998537 1335 1000 54 57 50
6.59/6.63 c 2370 19978 6728659 3009520 1335 1004 54 57 50
6.59/6.64 c 2380 20047 6752522 3020671 1335 1008 54 57 50
6.59/6.65 c 2390 20116 6776551 3031918 1335 1012 54 57 50
6.59/6.66 c 2400 20185 6800278 3043251 1335 1016 54 57 50
6.59/6.67 c 2410 20254 6823440 3054373 1335 1020 54 57 50
6.59/6.68 c 2420 20323 6846622 3065374 1335 1024 54 57 50
6.59/6.70 c 2430 20392 6870455 3076535 1335 1028 54 57 50
6.69/6.71 c 2431 20449 6890699 3083251 1335 1029 57 57 28
6.69/6.72 c 2440 20517 6914380 3093915 1335 1032 54 57 50
6.69/6.73 c 2450 20586 6937890 3105058 1335 1036 54 57 50
6.69/6.74 c 2460 20655 6961710 3116192 1335 1040 54 57 50
6.69/6.75 c 2470 20724 6984663 3127365 1335 1044 54 57 50
6.69/6.76 c 2480 20793 7008262 3138612 1335 1048 54 57 50
6.69/6.77 c 2490 20862 7032031 3149765 1335 1052 54 57 50
6.69/6.79 c 2500 20931 7056745 3161136 1335 1056 54 57 50
6.79/6.80 c 2510 21000 7081820 3172217 1335 1060 54 57 50
6.79/6.81 c 2520 21069 7106754 3183242 1335 1064 54 57 50
6.79/6.82 c 2530 21138 7131202 3194518 1335 1068 54 57 50
6.79/6.83 c 2540 21207 7155782 3205735 1335 1072 54 57 50
6.79/6.84 c 2550 21276 7179986 3216830 1335 1076 54 57 50
6.79/6.86 c 2560 21345 7204577 3227951 1335 1080 54 57 50
6.79/6.87 c 2570 21414 7228360 3239075 1335 1084 54 57 50
6.79/6.88 c 2580 21483 7252619 3250166 1335 1088 54 57 50
6.79/6.89 c 2590 21552 7277317 3261365 1335 1092 54 57 50
6.89/6.90 c 2600 21621 7301417 3272580 1335 1096 54 57 50
6.89/6.91 c 2610 21690 7325584 3283680 1335 1100 54 57 50
6.89/6.93 c 2620 21759 7350051 3294831 1335 1104 54 57 50
6.89/6.94 c 2630 21828 7374823 3305983 1335 1108 54 57 50
6.89/6.95 c 2640 21897 7399940 3317243 1335 1112 54 57 50
6.89/6.96 c 2650 21966 7424962 3328380 1335 1116 54 57 50
6.89/6.97 c 2660 22035 7449854 3339405 1335 1120 54 57 50
6.89/6.98 c 2670 22104 7473582 3350382 1335 1124 54 57 50
6.89/7.00 c 2680 22173 7496839 3361425 1335 1128 54 57 50
6.99/7.01 c 2690 22242 7521247 3372512 1335 1132 54 57 50
6.99/7.02 c 2700 22311 7546453 3383873 1335 1136 54 57 50
6.99/7.03 c 2710 22380 7570899 3395024 1335 1140 54 57 50
6.99/7.04 c 2720 22449 7595935 3406105 1335 1144 54 57 50
6.99/7.05 c 2730 22518 7621185 3417217 1335 1148 54 57 50
6.99/7.07 c 2740 22587 7646153 3428243 1335 1152 54 57 50
6.99/7.08 c 2750 22656 7671289 3439381 1335 1156 54 57 50
6.99/7.09 c 2760 22725 7696289 3450462 1335 1160 54 57 50
7.09/7.10 c 2770 22794 7721382 3461529 1335 1164 54 57 50
7.09/7.11 c 2771 22851 7743291 3468128 1335 1165 57 57 28
7.09/7.12 c 2780 22919 7768235 3478804 1335 1168 54 57 50
7.09/7.13 c 2790 22988 7792313 3489907 1335 1172 54 57 50
7.09/7.15 c 2800 23057 7815845 3501425 1335 1176 54 57 50
7.09/7.16 c 2810 23126 7839886 3512758 1335 1180 54 57 50
7.09/7.17 c 2820 23195 7864160 3523853 1335 1184 54 57 50
7.09/7.18 c 2830 23264 7888777 3535001 1335 1188 54 57 50
7.09/7.20 c 2840 23333 7913412 3546033 1335 1192 54 57 50
7.19/7.21 c 2850 23402 7938288 3557058 1335 1196 54 57 50
7.19/7.22 c 2860 23471 7963276 3568139 1335 1200 54 57 50
7.19/7.23 c 2870 23540 7988148 3579332 1335 1204 54 57 50
7.19/7.24 c 2880 23609 8013318 3590417 1335 1208 54 57 50
7.19/7.25 c 2890 23678 8038772 3601671 1335 1212 54 57 50
7.19/7.27 c 2900 23747 8062682 3612774 1335 1216 54 57 50
7.19/7.28 c 2910 23816 8086792 3623818 1335 1220 54 57 50
7.19/7.29 c 2920 23885 8111033 3634831 1335 1224 54 57 50
7.29/7.30 c 2930 23954 8135509 3645895 1335 1228 54 57 50
7.29/7.31 c 2940 24023 8160084 3656982 1335 1232 54 57 50
7.29/7.32 c 2950 24092 8184603 3668190 1335 1236 54 57 50
7.29/7.34 c 2960 24161 8208781 3679631 1335 1240 54 57 50
7.29/7.35 c 2970 24230 8232441 3690796 1335 1244 54 57 50
7.29/7.36 c 2980 24299 8256890 3702011 1335 1248 54 57 50
7.29/7.37 c 2990 24368 8281614 3713279 1335 1252 54 57 50
7.29/7.38 c 3000 24437 8305525 3724505 1335 1256 54 57 50
7.29/7.39 c 3010 24506 8328161 3735516 1335 1260 54 57 50
7.39/7.41 c 3020 24575 8352240 3746693 1335 1264 54 57 50
7.39/7.42 c 3030 24644 8376655 3757803 1335 1268 54 57 50
7.39/7.43 c 3040 24713 8401435 3769171 1335 1272 54 57 50
7.39/7.44 c 3050 24782 8426141 3780314 1335 1276 54 57 50
7.39/7.45 c 3060 24851 8451113 3791395 1335 1280 54 57 50
7.39/7.47 c 3070 24920 8476377 3802588 1335 1284 54 57 50
7.39/7.48 c 3080 24989 8500455 3813695 1335 1288 54 57 50
7.39/7.49 c 3090 25058 8524256 3824864 1335 1292 54 57 50
7.49/7.50 c 3100 25127 8548203 3836035 1335 1296 54 57 50
7.49/7.51 c 3110 25196 8571385 3847036 1335 1300 54 57 50
7.49/7.52 c 3120 25265 8595386 3858137 1335 1304 54 57 50
7.49/7.53 c 3130 25334 8619863 3869169 1335 1308 54 57 50
7.49/7.54 c 3140 25403 8644281 3880200 1335 1312 54 57 50
7.49/7.56 c 3142 25461 8666792 3887487 1335 1313 57 57 38
7.49/7.57 c 3150 25528 8690235 3897590 1335 1316 54 57 49
7.49/7.58 c 3160 25597 8712674 3908721 1335 1320 54 57 50
7.49/7.59 c 3170 25666 8734973 3920172 1335 1324 54 57 50
7.59/7.60 c 3180 25735 8758519 3931165 1335 1328 54 57 50
7.59/7.61 c 3190 25804 8782594 3942262 1335 1332 54 57 50
7.59/7.62 c 3200 25873 8806582 3953305 1335 1336 54 57 50
7.59/7.63 c 3210 25942 8830988 3964401 1335 1340 54 57 50
7.59/7.65 c 3220 26011 8855646 3975508 1335 1344 54 57 50
7.59/7.66 c 3230 26080 8880622 3986585 1335 1348 54 57 50
7.59/7.67 c 3240 26149 8904350 3997572 1335 1352 54 57 50
7.59/7.68 c 3250 26218 8927849 4008853 1335 1356 54 57 50
7.59/7.69 c 3260 26287 8951707 4020014 1335 1360 54 57 50
7.69/7.70 c 3270 26356 8974562 4031245 1335 1364 54 57 50
7.69/7.71 c 3280 26425 8998290 4042234 1335 1368 54 57 50
7.69/7.73 c 3290 26494 9023076 4053441 1335 1372 54 57 50
7.69/7.74 c 3300 26563 9048818 4064920 1335 1376 54 57 50
7.69/7.75 c 3310 26632 9074103 4076113 1335 1380 54 57 50
7.69/7.76 c 3320 26701 9098041 4087216 1335 1384 54 57 50
7.69/7.78 c 3330 26770 9122224 4098316 1335 1388 54 57 50
7.69/7.79 c 3340 26839 9147317 4109453 1335 1392 54 57 50
7.69/7.80 c 3350 26908 9171263 4120612 1335 1396 54 57 50
7.79/7.81 c 3360 26977 9195467 4131767 1335 1400 54 57 50
7.79/7.82 c 3370 27046 9219978 4142966 1335 1404 54 57 50
7.79/7.83 c 3380 27115 9245003 4154021 1335 1408 54 57 50
7.79/7.85 c 3390 27184 9270009 4165430 1335 1412 54 57 50
7.79/7.86 c 3400 27253 9293815 4176475 1335 1416 54 57 50
7.79/7.87 c 3410 27322 9317326 4187589 1335 1420 54 57 50
7.79/7.88 c 3420 27391 9340980 4198638 1335 1424 54 57 50
7.79/7.89 c 3430 27460 9365164 4209622 1335 1428 54 57 50
7.89/7.90 c 3440 27529 9389620 4220658 1335 1432 54 57 50
7.89/7.91 c 3450 27598 9414269 4231745 1335 1436 54 57 50
7.89/7.93 c 3460 27667 9439514 4242938 1335 1440 54 57 50
7.89/7.94 c 3470 27736 9463341 4253971 1335 1444 54 57 50
7.89/7.95 c 3480 27805 9487715 4265026 1335 1448 54 57 50
7.89/7.96 c 3490 27874 9512246 4276053 1335 1452 54 57 50
7.89/7.98 c 3500 27943 9536342 4287436 1335 1456 54 57 50
7.89/7.99 c 3510 28012 9560722 4298816 1335 1460 54 57 50
7.99/8.00 c 3520 28081 9584895 4310079 1335 1464 54 57 50
7.99/8.01 c 3530 28150 9609345 4321115 1335 1468 54 57 50
7.99/8.02 c 3540 28219 9633384 4332336 1335 1472 54 57 50
7.99/8.04 c 3550 28288 9658227 4343544 1335 1476 54 57 50
7.99/8.05 c 3551 28345 9680191 4350225 1335 1477 57 57 28
7.99/8.06 c 3560 28413 9704733 4360742 1335 1480 54 57 50
7.99/8.07 c 3570 28482 9727713 4371849 1335 1484 54 57 50
7.99/8.08 c 3580 28551 9750961 4382892 1335 1488 54 57 50
7.99/8.09 c 3590 28620 9775357 4393979 1335 1492 54 57 50
8.09/8.10 c 3600 28689 9798627 4404976 1335 1496 54 57 50
8.09/8.11 c 3610 28758 9822743 4416020 1335 1500 54 57 50
8.09/8.12 c 3620 28827 9847443 4427331 1335 1504 54 57 50
8.09/8.14 c 3630 28894 9871485 4438493 1335 1508 52 55 48
8.09/8.15 c 3640 28962 9893976 4449741 1335 1512 53 56 49
8.09/8.16 c 3650 29029 9916745 4461099 1335 1516 52 55 48
8.09/8.17 c 3660 29096 9939866 4472154 1335 1520 52 55 48
8.09/8.18 c 3670 29163 9962250 4483223 1335 1524 52 55 48
8.09/8.19 c 3680 29230 9986125 4494236 1335 1528 52 55 48
8.19/8.20 c 3690 29297 10009934 4505364 1335 1532 52 55 48
8.19/8.22 c 3700 29364 10034890 4516500 1335 1536 52 55 48
8.19/8.23 c 3710 29431 10060079 4527747 1335 1540 52 55 48
8.19/8.24 c 3720 29498 10084715 4538700 1335 1544 52 55 48
8.19/8.25 c 3730 29565 10108791 4549797 1335 1548 52 55 48
8.19/8.26 c 3740 29632 10132045 4560912 1335 1552 52 55 48
8.19/8.27 c 3750 29699 10155028 4572210 1335 1556 52 55 48
8.19/8.28 c 3760 29766 10178218 4583321 1335 1560 52 55 48
8.29/8.30 c 3770 29833 10201540 4594431 1335 1564 52 55 48
8.29/8.31 c 3780 29900 10224356 4605432 1335 1568 52 55 48
8.29/8.32 c 3790 29967 10249057 4616603 1335 1572 52 55 48
8.29/8.33 c 3800 30034 10272859 4627733 1335 1576 52 55 48
8.29/8.34 c 3810 30101 10296585 4638718 1335 1580 52 55 48
8.29/8.35 c 3820 30168 10320129 4649693 1335 1584 52 55 48
8.29/8.36 c 3830 30235 10343855 4660674 1335 1588 52 55 48
8.29/8.37 c 3840 30302 10368201 4671767 1335 1592 52 55 48
8.29/8.39 c 3850 30369 10392597 4683098 1335 1596 52 55 48
8.39/8.40 c 3860 30436 10416621 4694419 1335 1600 52 55 48
8.39/8.41 c 3870 30503 10440677 4705457 1335 1604 52 55 48
8.39/8.42 c 3880 30570 10464953 4716546 1335 1608 52 55 48
8.39/8.43 c 3890 30637 10489485 4727688 1335 1612 52 55 48
8.39/8.44 c 3900 30704 10514289 4738767 1335 1616 52 55 48
8.39/8.45 c 3910 30771 10538129 4749808 1335 1620 52 55 48
8.39/8.47 c 3920 30838 10561309 4760803 1335 1624 52 55 48
8.39/8.48 c 3930 30905 10585217 4771784 1335 1628 52 55 48
8.39/8.49 c 3940 30972 10608953 4783063 1335 1632 52 55 48
8.49/8.50 c 3950 31039 10634099 4794717 1335 1636 52 55 48
8.49/8.51 c 3960 31106 10658889 4805964 1335 1640 52 55 48
8.49/8.53 c 3970 31173 10683633 4816973 1335 1644 52 55 48
8.49/8.54 c 3980 31240 10708269 4827936 1335 1648 52 55 48
8.49/8.55 c 3990 31307 10732811 4838903 1335 1652 52 55 48
8.49/8.56 c 4000 31374 10756932 4849996 1335 1656 52 55 48
8.49/8.57 c 4001 31429 10777384 4856704 1335 1657 55 55 27
8.49/8.58 c 4010 31495 10801014 4867247 1335 1660 52 55 48
8.49/8.59 c 4020 31562 10824399 4878328 1335 1664 52 55 48
8.59/8.60 c 4030 31629 10848553 4889428 1335 1668 52 55 48
8.59/8.61 c 4040 31696 10873454 4900536 1335 1672 52 55 48
8.59/8.62 c 4050 31763 10898434 4911727 1335 1676 52 55 48
8.59/8.64 c 4060 31830 10922640 4922936 1335 1680 52 55 48
8.59/8.65 c 4070 31897 10947014 4933951 1335 1684 52 55 48
8.59/8.66 c 4080 31964 10971742 4944915 1335 1688 52 55 48
8.59/8.67 c 4090 32031 10995770 4956133 1335 1692 52 55 48
8.59/8.68 c 4100 32098 11019188 4967180 1335 1696 52 55 48
8.59/8.69 c 4110 32165 11042210 4978240 1335 1700 52 55 48
8.69/8.70 c 4120 32232 11065924 4989515 1335 1704 52 55 48
8.69/8.72 c 4130 32299 11089701 5000588 1335 1708 52 55 48
8.69/8.73 c 4140 32366 11114056 5011706 1335 1712 52 55 48
8.69/8.74 c 4150 32433 11138540 5022847 1335 1716 52 55 48
8.69/8.75 c 4160 32500 11163437 5034094 1335 1720 52 55 48
8.69/8.76 c 4170 32567 11188447 5045229 1335 1724 52 55 48
8.69/8.77 c 4180 32634 11213488 5056338 1335 1728 52 55 48
8.69/8.78 c 4190 32701 11237250 5067384 1335 1732 52 55 48
8.69/8.79 c 4200 32768 11259884 5078391 1335 1736 52 55 48
8.79/8.81 c 4210 32835 11283327 5089601 1335 1740 52 55 48
8.79/8.82 c 4220 32902 11307225 5100803 1335 1744 52 55 48
8.79/8.83 c 4230 32969 11330190 5111830 1335 1748 52 55 48
8.79/8.84 c 4240 33036 11354951 5123004 1335 1752 52 55 48
8.79/8.85 c 4250 33103 11380190 5134256 1335 1756 52 55 48
8.79/8.87 c 4260 33170 11404280 5145233 1335 1760 52 55 48
8.79/8.88 c 4270 33237 11429387 5156424 1335 1764 52 55 48
8.79/8.89 c 4280 33304 11454023 5167391 1335 1768 52 55 48
8.79/8.90 c 4290 33371 11478807 5178415 1335 1772 52 55 48
8.89/8.91 c 4300 33438 11503886 5189719 1335 1776 52 55 48
8.89/8.92 c 4310 33505 11528716 5201022 1335 1780 52 55 48
8.89/8.93 c 4320 33572 11553305 5212157 1335 1784 52 55 48
8.89/8.95 c 4330 33639 11578440 5223270 1335 1788 52 55 48
8.89/8.96 c 4340 33706 11602662 5234400 1335 1792 52 55 48
8.89/8.97 c 4350 33773 11627243 5245666 1335 1796 52 55 48
8.89/8.98 c 4360 33840 11651466 5256699 1335 1800 52 55 48
8.89/8.99 c 4370 33907 11676028 5267785 1335 1804 52 55 48
8.99/9.00 c 4380 33974 11699754 5278770 1335 1808 52 55 48
8.99/9.01 c 4390 34041 11724023 5289804 1335 1812 52 55 48
8.99/9.02 c 4400 34108 11747259 5300855 1335 1816 52 55 48
8.99/9.04 c 4410 34175 11770045 5311974 1335 1820 52 55 48
8.99/9.05 c 4420 34242 11793316 5323081 1335 1824 52 55 48
8.99/9.06 c 4430 34309 11816990 5334244 1335 1828 52 55 48
8.99/9.07 c 4440 34376 11841327 5345511 1335 1832 52 55 48
8.99/9.08 c 4450 34443 11865688 5356840 1335 1836 52 55 48
9.09/9.10 c 4460 34510 11890528 5368321 1335 1840 52 55 48
9.09/9.11 c 4470 34577 11914985 5379406 1335 1844 52 55 48
9.09/9.12 c 4480 34644 11938977 5390443 1335 1848 52 55 48
9.09/9.13 c 4490 34711 11962123 5401499 1335 1852 52 55 48
9.09/9.14 c 4493 34768 11981805 5409048 1335 1854 53 55 40
9.09/9.15 c 4500 34829 12002856 5418410 1335 1856 52 55 46
9.09/9.16 c 4510 34896 12026447 5429647 1335 1860 52 55 48
9.09/9.17 c 4520 34963 12049239 5440760 1335 1864 52 55 48
9.09/9.18 c 4530 35030 12072682 5451897 1335 1868 52 55 48
9.09/9.20 c 4540 35097 12097394 5463068 1335 1872 52 55 48
9.19/9.21 c 4550 35164 12121358 5474083 1335 1876 52 55 48
9.19/9.22 c 4560 35231 12145640 5485232 1335 1880 52 55 48
9.19/9.23 c 4570 35298 12170018 5496377 1335 1884 52 55 48
9.19/9.24 c 4580 35365 12193810 5507511 1335 1888 52 55 48
9.19/9.25 c 4590 35432 12217020 5518567 1335 1892 52 55 48
9.19/9.26 c 4600 35499 12240478 5529614 1335 1896 52 55 48
9.19/9.27 c 4610 35566 12263464 5540729 1335 1900 52 55 48
9.19/9.28 c 4620 35633 12286644 5551724 1335 1904 52 55 48
9.19/9.29 c 4630 35700 12310188 5562711 1335 1908 52 55 48
9.29/9.31 c 4640 35767 12334778 5573916 1335 1912 52 55 48
9.29/9.32 c 4650 35834 12360005 5585454 1335 1916 52 55 48
9.29/9.33 c 4660 35901 12384974 5596589 1335 1920 52 55 48
9.29/9.34 c 4670 35968 12409682 5607598 1335 1924 52 55 48
9.29/9.35 c 4680 36035 12434441 5618617 1335 1928 52 55 48
9.29/9.37 c 4690 36102 12458471 5629710 1335 1932 52 55 48
9.29/9.38 c 4700 36169 12481743 5640706 1335 1936 52 55 48
9.29/9.39 c 4710 36236 12505931 5651915 1335 1940 52 55 48
9.39/9.40 c 4720 36303 12529666 5662959 1335 1944 52 55 48
9.39/9.41 c 4730 36370 12552909 5674010 1335 1948 52 55 48
9.39/9.42 c 4740 36437 12576617 5685289 1335 1952 52 55 48
9.39/9.43 c 4750 36504 12599930 5696526 1335 1956 52 55 48
9.39/9.45 c 4760 36571 12623309 5707693 1335 1960 52 55 48
9.39/9.46 c 4770 36638 12647221 5718774 1335 1964 52 55 48
9.39/9.47 c 4780 36705 12670888 5729813 1335 1968 52 55 48
9.39/9.48 c 4790 36772 12694080 5740980 1335 1972 52 55 48
9.39/9.49 c 4800 36839 12717873 5752308 1335 1976 52 55 48
9.49/9.50 c 4810 36906 12741364 5763355 1335 1980 52 55 48
9.49/9.51 c 4820 36973 12764460 5774584 1335 1984 52 55 48
9.49/9.53 c 4830 37040 12789348 5785812 1335 1988 52 55 48
9.49/9.54 c 4840 37107 12814253 5796865 1335 1992 52 55 48
9.49/9.55 c 4850 37174 12839187 5807973 1335 1996 52 55 48
9.49/9.56 c 4860 37241 12863895 5818996 1335 2000 52 55 48
9.49/9.57 c 4870 37308 12889002 5830187 1335 2004 52 55 48
9.49/9.58 c 4880 37375 12913134 5841344 1335 2008 52 55 48
9.59/9.60 c 4890 37442 12937985 5852662 1335 2012 52 55 48
9.59/9.61 c 4900 37509 12962799 5863797 1335 2016 52 55 48
9.59/9.62 c 4910 37576 12987435 5874764 1335 2020 52 55 48
9.59/9.63 c 4920 37643 13011360 5885921 1335 2024 52 55 48
9.59/9.64 c 4930 37710 13035360 5896992 1335 2028 52 55 48
9.59/9.65 c 4940 37777 13060380 5908101 1335 2032 52 55 48
9.59/9.67 c 4950 37844 13084142 5919147 1335 2036 52 55 48
9.59/9.68 c 4960 37911 13107924 5930188 1335 2040 52 55 48
9.59/9.69 c 4970 37978 13132583 5941329 1335 2044 52 55 48
9.69/9.70 c 4980 38045 13157717 5952469 1335 2048 52 55 48
9.69/9.71 c 4990 38112 13182128 5963678 1335 2052 52 55 48
9.69/9.74 c 5035 38246 13224144 5997048 1335 2059 52 55 52
9.89/9.95 c 5631 39310 13488706 6320686 1335 2069 48 55 52
10.09/10.18 c 6286 40505 13782461 6685346 1335 2077 48 55 52
10.29/10.38 c 7006 41759 14075642 7051613 1335 2086 17 55 52
10.58/10.68 c 7798 43143 14425872 7470144 1335 2098 49 55 52
10.89/10.97 c 8669 44692 14795082 7947567 1335 2104 17 55 52
11.19/11.28 c 9627 46360 15203962 8476297 1335 2113 17 55 52
11.59/11.66 c 10680 48196 15656358 9063576 1335 2128 48 55 52
11.99/12.01 c 11838 50165 16138954 9700462 1335 2136 46 55 52
12.39/12.41 c 13111 52293 16673693 10396343 1335 2154 17 55 51
12.89/12.90 c 14511 54742 17287191 11204201 1335 2160 46 55 52
13.30/13.36 c 16051 57358 17926158 12057956 1335 2173 46 55 52
13.89/13.92 c 17745 60244 18643602 13008404 1335 2179 48 55 52
14.49/14.53 c 19608 63351 19429788 14049820 1335 2190 1 55 51
15.09/15.14 c 21657 66747 20267383 15176335 1335 2197 47 55 51
15.79/15.84 c 23910 70521 21199764 16423277 1335 2209 47 55 51
16.69/16.70 c 26388 74869 22288329 17863897 1335 2223 46 55 52
17.49/17.56 c 29113 79638 23442282 19431665 1335 2236 17 55 52
18.49/18.57 c 32110 84763 24711233 21143938 1335 2250 46 55 52
19.58/19.65 c 35406 90281 26090190 23022670 1335 2259 46 55 51
20.68/20.79 c 39031 96477 27589633 25071312 1335 2272 46 55 51
22.09/22.13 c 43018 103443 29307584 27397778 1335 2290 46 55 52
23.58/23.61 c 47403 110943 31175636 29942956 1335 2309 46 55 51
25.18/25.22 c 52226 119281 33198093 32743956 1335 2324 46 55 51
26.88/26.92 c 57531 128098 35378180 35754639 1335 2337 46 55 51
28.78/28.87 c 63366 137748 37798226 39116392 1335 2350 45 55 51
30.99/31.00 c 69784 148727 40473705 42833927 1335 2364 45 55 51
33.28/33.34 c 76843 160320 43416060 46864932 1335 2380 45 55 50
35.88/35.99 c 84607 173249 46620724 51353003 1335 2397 45 55 50
38.59/38.62 c 93147 187338 50054256 56220914 1335 2423 45 55 50
41.58/41.63 c 102541 202650 53898307 61598330 1335 2437 17 55 50
44.98/45.09 c 112874 219569 58166809 67563888 1335 2447 45 55 50
48.77/48.81 c 124240 238687 62840022 74165309 1335 2460 44 55 50
52.68/52.80 c 136742 259314 67958237 81395919 1335 2482 44 55 50
57.58/57.68 c 150494 281803 73643408 89388227 1335 2500 44 55 49
62.28/62.38 c 165621 306607 79759878 97979066 1335 2520 44 55 49
68.18/68.24 c 182260 334347 86820005 107629296 1335 2540 44 55 50
74.57/74.60 c 200562 364649 94434427 118340488 1335 2556 44 55 50
81.17/81.20 c 220694 398643 102719888 129973084 1335 2579 44 55 49
89.47/89.57 c 242839 436304 112294914 143063540 1335 2592 17 55 49
98.77/98.89 c 267198 478646 122871899 157705392 1335 2607 17 55 49
108.36/108.45 c 293992 524558 134098440 173628405 1335 2631 44 55 49
119.57/119.64 c 323465 574290 146917354 190743654 1335 2652 44 55 49
131.67/131.79 c 355885 630719 160841336 209996135 1335 2664 44 55 49
144.96/145.06 c 391547 692269 176281395 231011478 1335 2686 44 55 49
159.76/159.89 c 430775 759035 193110707 254424591 1335 2692 44 55 49
175.35/175.40 c 473925 832441 211372900 279710641 1335 2711 44 55 49
193.66/193.78 c 521390 914105 231999412 308015874 1335 2734 44 55 49
212.75/212.89 c 573601 1003739 254237124 339223323 1335 2749 44 55 49
234.04/234.11 c 631033 1104120 279240681 373667008 1335 2773 44 55 49
257.64/257.72 c 694208 1213289 306568097 411164014 1335 2802 44 55 49
283.93/284.04 c 763700 1332159 336840580 452469575 1335 2829 44 55 49
309.83/310.00 c 840141 1459720 368614866 496586224 1335 2845 42 55 48
336.53/336.68 c 924226 1587878 403101611 543193390 1335 2873 40 51 46
364.61/364.74 c 1016719 1729599 440768634 593790723 1335 2893 40 55 46
395.52/395.62 c 1118461 1886268 481904205 649786324 1335 2920 40 53 46
440.01/440.11 c 1230377 2076124 531746620 716150132 1335 2944 41 55 49
481.60/481.70 c 1353484 2279539 582927587 787008837 1335 2970 41 55 48
526.58/526.74 c 1488901 2487084 640020081 861825885 1335 2990 39 55 46
572.78/572.98 c 1637859 2718404 700705367 944594402 1335 3015 40 55 46
624.16/624.31 c 1801712 2972284 767990733 1034979331 1335 3038 40 55 46
682.06/682.27 c 1981950 3246507 843517195 1133812190 1335 3061 40 49 45
746.64/746.85 c 2180211 3556116 925882418 1244101992 1335 3085 17 55 46
802.84/803.10 c 2398298 3864334 1011323952 1358074319 1335 3116 36 47 42
873.62/873.81 c 2638193 4214912 1109718602 1486322171 1335 3141 38 53 43
954.11/954.36 c 2902077 4623343 1218844159 1631404553 1335 3167 39 55 46
1036.69/1036.97 c 3192349 5059031 1336415112 1787395179 1335 3204 37 55 45
1134.87/1135.20 c 3511648 5532718 1469297344 1959622357 1335 3223 37 49 44
1223.95/1224.23 c 3862876 6027968 1608444316 2142376746 1335 3250 36 47 42
1307.23/1307.52 c 4249226 6577928 1762148377 2344288887 1335 3273 36 47 42
1409.51/1409.81 c 4674211 7192019 1935514656 2568802978 1335 3302 17 55 43
1518.49/1518.80 c 5141694 7870776 2124016992 2816662447 1335 3324 35 47 43
1636.16/1636.58 c 5655925 8606604 2330001952 3087052690 1335 3351 36 47 42
1789.13/1789.55 c 6221579 9492153 2562722140 3380044108 1335 4860 40 97 90
1931.21/1931.62 c 6843798 10372714 2815066308 3702228987 1335 4894 20 56 45
2112.57/2113.06 c 7528238 11405154 3102751550 4075915513 1335 4932 37 55 44
2283.84/2284.36 c 8281122 12485828 3407965921 4470495578 1335 4964 35 47 42
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242333-1500657593/watcher-4242333-1500657593 -o /tmp/evaluation-result-4242333-1500657593/solver-4242333-1500657593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9864 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242333-1500657593.xml
pid=11889
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.48 2.71 4/242 11892
/proc/meminfo: memFree=30353932/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=27648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 1 0 1028899 28311552 936 33554432000 4194304 5970956 140731574410800 140731574406088 140392008031205 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 6912 936 703 434 0 276 0
[startup+0.100129 s]
/proc/loadavg: 2.00 2.48 2.71 4/242 11892
/proc/meminfo: memFree=30353932/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=56396 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 7468 0 0 0 8 1 0 0 20 0 1 0 1028899 57749504 7761 33554432000 4194304 5970956 140731574410800 140731574407704 140392008100759 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 14099 7827 837 434 0 7463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56396
[startup+0.200452 s]
/proc/loadavg: 2.00 2.48 2.71 4/242 11892
/proc/meminfo: memFree=30353932/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=121904 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 19396 0 0 0 16 3 0 0 20 0 1 0 1028899 124829696 21727 33554432000 4194304 5970956 140731574410800 140731574407624 140392008031205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 30476 21793 837 434 0 23840 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 121904
[startup+0.300416 s]
/proc/loadavg: 2.00 2.48 2.71 4/242 11892
/proc/meminfo: memFree=30353932/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=178624 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 29282 0 0 0 24 5 0 0 20 0 1 0 1028899 182910976 37269 33554432000 4194304 5970956 140731574410800 140731574407624 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 44689 37269 837 434 0 38053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 178624
[startup+0.700338 s]
/proc/loadavg: 2.00 2.48 2.71 4/242 11892
/proc/meminfo: memFree=30353932/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=507204 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 66337 0 0 0 57 12 0 0 20 0 1 0 1028899 519376896 99377 33554432000 4194304 5970956 140731574410800 140731574407624 140392008031205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 126801 99377 837 434 0 120165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 507204
[startup+1.50034 s]
/proc/loadavg: 2.00 2.48 2.71 3/243 11893
/proc/meminfo: memFree=29709060/32770624 swapFree=5948/5872
[pid=11892] ppid=11889 vsize=960848 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 135454 0 0 0 125 24 0 0 20 0 1 0 1028899 983908352 223632 33554432000 4194304 5970956 140731574410800 140731574407624 140392008031205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 240212 223698 837 434 0 233576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 960848
[startup+3.10034 s]
/proc/loadavg: 2.00 2.48 2.71 3/243 11893
/proc/meminfo: memFree=29024616/32770624 swapFree=5948/5840
[pid=11892] ppid=11889 vsize=2149036 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 267981 0 0 0 262 47 0 0 20 0 1 0 1028899 2200612864 452319 33554432000 4194304 5970956 140731574410800 140731574407720 4974400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537259 452319 854 434 0 530623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2149036
[startup+6.30031 s]
/proc/loadavg: 2.00 2.47 2.71 3/243 11893
/proc/meminfo: memFree=28542884/32770624 swapFree=5948/5896
[pid=11892] ppid=11889 vsize=2150224 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 276689 0 0 0 581 48 0 0 20 0 1 0 1028899 2201829376 452615 33554432000 4194304 5970956 140731574410800 140731574408136 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452615 854 434 0 530920 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2150224
[startup+12.7003 s]
/proc/loadavg: 2.00 2.47 2.71 3/244 11901
/proc/meminfo: memFree=28543168/32770624 swapFree=5948/5912
[pid=11892] ppid=11889 vsize=2150224 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 289188 0 0 0 1220 49 0 0 20 0 1 0 1028899 2201829376 452625 33554432000 4194304 5970956 140731574410800 140731574408136 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452625 854 434 0 530920 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2150224
[startup+25.5004 s]
/proc/loadavg: 2.00 2.44 2.70 3/244 11901
/proc/meminfo: memFree=28542848/32770624 swapFree=5948/5932
[pid=11892] ppid=11889 vsize=2150224 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 303013 0 0 0 2499 49 0 0 20 0 1 0 1028899 2201829376 452628 33554432000 4194304 5970956 140731574410800 140731574408136 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452628 854 434 0 530920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2150224
[startup+51.1004 s]
/proc/loadavg: 2.00 2.41 2.68 3/244 11901
/proc/meminfo: memFree=28543516/32770624 swapFree=5948/5964
[pid=11892] ppid=11889 vsize=2150224 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 319566 0 0 0 5057 51 0 0 20 0 1 0 1028899 2201829376 452629 33554432000 4194304 5970956 140731574410800 140731574408136 4930591 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452629 854 434 0 530920 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2150224
[startup+102.3 s]
/proc/loadavg: 2.05 2.36 2.65 3/244 11902
/proc/meminfo: memFree=28543856/32770624 swapFree=5948/6032
[pid=11892] ppid=11889 vsize=2150224 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 337863 0 0 0 10176 51 0 0 20 0 1 0 1028899 2201829376 452632 33554432000 4194304 5970956 140731574410800 140731574408136 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452632 854 434 0 530920 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2150224
[startup+162.3 s]
/proc/loadavg: 2.02 2.29 2.61 3/244 11903
/proc/meminfo: memFree=28544728/32770624 swapFree=5948/6096
[pid=11892] ppid=11889 vsize=2150224 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 347796 0 0 0 16174 52 0 0 20 0 1 0 1028899 2201829376 452634 33554432000 4194304 5970956 140731574410800 140731574408136 4930648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537556 452634 854 434 0 530920 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2150224
[startup+222.308 s]
/proc/loadavg: 2.06 2.26 2.57 3/244 11904
/proc/meminfo: memFree=28545332/32770624 swapFree=5948/6152
[pid=11892] ppid=11889 vsize=2150356 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 358500 0 0 0 22172 53 0 0 20 0 1 0 1028899 2201964544 452635 33554432000 4194304 5970956 140731574410800 140731574408136 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452635 854 434 0 530953 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2150356
[startup+282.3 s]
/proc/loadavg: 2.02 2.21 2.54 3/244 11905
/proc/meminfo: memFree=28546076/32770624 swapFree=5948/6216
[pid=11892] ppid=11889 vsize=2150356 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 368666 0 0 0 28170 53 0 0 20 0 1 0 1028899 2201964544 452636 33554432000 4194304 5970956 140731574410800 140731574408136 4908284 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452636 854 434 0 530953 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2150356
[startup+342.3 s]
/proc/loadavg: 2.05 2.19 2.51 3/243 11907
/proc/meminfo: memFree=28545592/32770624 swapFree=5948/6280
[pid=11892] ppid=11889 vsize=2150356 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 381687 0 0 0 34168 54 0 0 20 0 1 0 1028899 2201964544 452637 33554432000 4194304 5970956 140731574410800 140731574408136 5031488 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452637 854 434 0 530953 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2150356
[startup+402.3 s]
/proc/loadavg: 2.02 2.15 2.48 3/243 11908
/proc/meminfo: memFree=28545720/32770624 swapFree=5948/6324
[pid=11892] ppid=11889 vsize=2150356 CPUtime=402.21 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 392711 0 0 0 40166 55 0 0 20 0 1 0 1028899 2201964544 452637 33554432000 4194304 5970956 140731574410800 140731574408136 4908262 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452637 854 434 0 530953 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2150356
[startup+462.3 s]
/proc/loadavg: 2.01 2.12 2.45 3/243 11909
/proc/meminfo: memFree=28545480/32770624 swapFree=5948/6376
[pid=11892] ppid=11889 vsize=2150356 CPUtime=462.2 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 402465 0 0 0 46165 55 0 0 20 0 1 0 1028899 2201964544 452638 33554432000 4194304 5970956 140731574410800 140731574408136 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452638 854 434 0 530953 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2150356
[startup+522.3 s]
/proc/loadavg: 2.00 2.10 2.42 3/243 11911
/proc/meminfo: memFree=28545584/32770624 swapFree=5948/6424
[pid=11892] ppid=11889 vsize=2150356 CPUtime=522.18 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 413813 0 0 0 52162 56 0 0 20 0 1 0 1028899 2201964544 452638 33554432000 4194304 5970956 140731574410800 140731574408136 4974128 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452638 854 434 0 530953 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 2150356
[startup+582.3 s]
/proc/loadavg: 2.08 2.10 2.40 3/243 11912
/proc/meminfo: memFree=28546428/32770624 swapFree=5948/6472
[pid=11892] ppid=11889 vsize=2150356 CPUtime=582.17 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 426998 0 0 0 58160 57 0 0 20 0 1 0 1028899 2201964544 452638 33554432000 4194304 5970956 140731574410800 140731574408136 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452638 854 434 0 530953 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 2150356
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.15 3/243 11944
/proc/meminfo: memFree=28540812/32770624 swapFree=5948/7144
[pid=11892] ppid=11889 vsize=2150356 CPUtime=1541.99 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 561249 0 0 0 154133 66 0 0 20 0 1 0 1028899 2201964544 452642 33554432000 4194304 5970956 140731574410800 140731574408136 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452642 854 434 0 530953 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2150356
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.15 3/243 11945
/proc/meminfo: memFree=28541248/32770624 swapFree=5948/7180
[pid=11892] ppid=11889 vsize=2150356 CPUtime=1601.97 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 566117 0 0 0 160131 66 0 0 20 0 1 0 1028899 2201964544 452642 33554432000 4194304 5970956 140731574410800 140731574408136 4970672 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452642 854 434 0 530953 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2150356
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.14 3/243 11946
/proc/meminfo: memFree=28541408/32770624 swapFree=5948/7208
[pid=11892] ppid=11889 vsize=2150356 CPUtime=1661.96 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 575182 0 0 0 166129 67 0 0 20 0 1 0 1028899 2201964544 452652 33554432000 4194304 5970956 140731574410800 140731574408136 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452652 854 434 0 530953 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2150356
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.14 3/242 11947
/proc/meminfo: memFree=28541940/32770624 swapFree=5948/7248
[pid=11892] ppid=11889 vsize=2150356 CPUtime=1721.95 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 579635 0 0 0 172128 67 0 0 20 0 1 0 1028899 2201964544 452656 33554432000 4194304 5970956 140731574410800 140731574408136 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452656 854 434 0 530953 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2150356
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.13 3/243 11949
/proc/meminfo: memFree=28539384/32770624 swapFree=5948/8780
[pid=11892] ppid=11889 vsize=2150356 CPUtime=1781.94 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 584093 0 0 0 178127 67 0 0 20 0 1 0 1028899 2201964544 452660 33554432000 4194304 5970956 140731574410800 140731574408136 5322288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537589 452660 854 434 0 530953 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2150356
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.12 3/244 11958
/proc/meminfo: memFree=28538688/32770624 swapFree=5948/8828
[pid=11892] ppid=11889 vsize=2150492 CPUtime=1841.92 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 585749 0 0 0 184125 67 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5093206 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 1841.92
Current children cumulated vsize (KiB) 2150492
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.12 3/244 11959
/proc/meminfo: memFree=28538704/32770624 swapFree=5948/8864
[pid=11892] ppid=11889 vsize=2150492 CPUtime=1901.91 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 588129 0 0 0 190124 67 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 4934465 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 1901.91
Current children cumulated vsize (KiB) 2150492
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/244 12092
/proc/meminfo: memFree=30312016/32770624 swapFree=5948/8972
[pid=11892] ppid=11889 vsize=2150492 CPUtime=1961.9 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 592262 0 0 0 196123 67 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 1961.9
Current children cumulated vsize (KiB) 2150492
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/244 12093
/proc/meminfo: memFree=30311044/32770624 swapFree=5948/9008
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2021.88 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 595217 0 0 0 202121 67 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5322320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2021.88
Current children cumulated vsize (KiB) 2150492
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.11 3/244 12094
/proc/meminfo: memFree=30311288/32770624 swapFree=5948/9056
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2081.88 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 598151 0 0 0 208121 67 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5031474 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 2150492
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.10 3/243 12096
/proc/meminfo: memFree=30311612/32770624 swapFree=5948/9104
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2141.87 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 600537 0 0 0 214119 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2141.87
Current children cumulated vsize (KiB) 2150492
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.10 3/243 12097
/proc/meminfo: memFree=30311456/32770624 swapFree=5948/9140
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2201.86 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 602474 0 0 0 220118 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2201.86
Current children cumulated vsize (KiB) 2150492
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/243 12098
/proc/meminfo: memFree=30311416/32770624 swapFree=5948/9160
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2261.84 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 604402 0 0 0 226116 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5031460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2261.84
Current children cumulated vsize (KiB) 2150492
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/243 12100
/proc/meminfo: memFree=30311748/32770624 swapFree=5948/9220
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2321.83 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 606529 0 0 0 232115 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 4971054 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2321.83
Current children cumulated vsize (KiB) 2150492
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/243 12101
/proc/meminfo: memFree=30310932/32770624 swapFree=5948/9240
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2381.82 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 606857 0 0 0 238114 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 5031428 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2381.82
Current children cumulated vsize (KiB) 2150492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.08 3/243 12101
/proc/meminfo: memFree=30311292/32770624 swapFree=5948/9264
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 608548 0 0 0 239934 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 2150492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.08 3/243 12101
/proc/meminfo: memFree=30311292/32770624 swapFree=5948/9264
[pid=11892] ppid=11889 vsize=2150492 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/11892/stat : 11892 (cosoco) R 11889 11892 9833 0 -1 4202496 608548 0 0 0 239934 68 0 0 20 0 1 0 1028899 2202103808 452672 33554432000 4194304 5970956 140731574410800 140731574408136 4934354 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12398592 140731574412476 140731574412611 140731574412611 140731574415310 0
/proc/11892/statm: 537623 452672 854 434 0 530987 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 2150492
Child status: 1
Real time (s): 2400.51
CPU time (s): 2400.04
CPU user time (s): 2399.34
CPU system time (s): 0.695867
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 2150492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.34
system time used= 0.695867
maximum resident set size= 1810736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608577
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= 36
involuntary context switches= 121855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03744 second user time and 10.299 second system time
The end