0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c intension hd[0]<ad[0] using generic constraint
0.00/0.08 c intension hd[1]<ad[1] using generic constraint
0.00/0.08 c intension hd[2]<ad[2] using generic constraint
0.00/0.08 c intension hd[3]<ad[3] using generic constraint
0.00/0.08 c intension hd[4]<ad[4] using generic constraint
0.00/0.08 c intension hd[5]<ad[5] using generic constraint
0.00/0.08 c intension hd[6]<ad[6] using generic constraint
0.00/0.08 c intension hd[7]<ad[7] using generic constraint
0.00/0.08 c intension hd[8]<ad[8] using generic constraint
0.00/0.08 c intension hd[9]<ad[9] using generic constraint
0.00/0.08 c intension hd[10]<ad[10] using generic constraint
0.00/0.08 c intension hd[11]<ad[11] using generic constraint
0.00/0.08 c intension hd[12]<ad[12] using generic constraint
0.00/0.08 c intension hd[13]<ad[13] using generic constraint
0.00/0.08 c intension hd[14]<ad[14] using generic constraint
0.00/0.08 c intension hd[15]<ad[15] using generic constraint
4.29/4.34 c SAT : Variables: 278784 -- Clauses: 61398384
4.40/4.41 c root propagations : 11855
4.40/4.41 c restarts enabled, print stats at every restarts
4.40/4.41 c
4.40/4.41 c
4.40/4.41 c
4.40/4.41 c This is cosoco 1.0 --
4.40/4.41 c
4.40/4.41 c ========================================[ Problem Statistics ]===========================================
4.40/4.41 c |
4.40/4.41 c | Parse time : 3.74 s
4.40/4.41 c |
4.40/4.41 c | Variables: 1520
4.40/4.41 c | Domain Sizes: 32..496
4.40/4.41 c |
4.40/4.41 c | Constraints: 2128
4.40/4.41 c | Arity: 1..496 -- Unary: 16 -- Binary: 16 -- Ternary: 496
4.40/4.41 c |
4.40/4.41 c | Types:
4.40/4.41 c | (X - Y < k): 16
4.40/4.41 c | All Different: 33
4.40/4.41 c | At least: 512
4.40/4.41 c | At most: 512
4.40/4.41 c | Exactly K: 543
4.40/4.41 c | Extension: 496 (nb tuples: 496..496) -- (shared: 495)
4.40/4.41 c | Intension: 16
4.40/4.41 c |
4.40/4.41 c =========================================================================================================
4.40/4.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
4.40/4.43 c 10 104 119760 27181 1520 10 87 95 83
4.40/4.48 c 20 294 177829 56291 1520 13 1 180 143
4.49/4.53 c 30 485 237156 85649 1520 18 50 180 139
4.49/4.56 c 40 602 275112 101605 1520 22 18 103 85
4.49/4.58 c 50 717 316665 117771 1520 27 53 103 84
4.59/4.61 c 60 830 355945 133629 1520 33 50 100 82
4.59/4.63 c 70 934 388856 146756 1520 37 53 91 78
4.59/4.65 c 80 1039 424180 160635 1520 41 50 91 78
4.59/4.67 c 90 1142 455582 171426 1520 49 59 91 68
4.59/4.69 c 100 1247 492309 185551 1520 53 89 91 81
4.69/4.70 c 101 1249 495715 186645 1520 54 2 2 1
4.69/4.72 c 110 1350 529657 199633 1520 57 1 91 71
4.69/4.74 c 120 1452 561536 213525 1520 61 50 91 77
4.69/4.76 c 130 1559 594399 227619 1520 66 50 91 78
4.69/4.78 c 140 1664 627081 241697 1520 71 2 91 73
4.79/4.80 c 150 1769 660907 256063 1520 76 2 91 73
4.79/4.82 c 160 1874 692927 270085 1520 81 2 91 73
4.79/4.84 c 170 1979 726627 284207 1520 86 2 91 73
4.79/4.86 c 180 2084 759907 298344 1520 91 2 91 73
4.79/4.88 c 190 2184 791822 312143 1520 93 2 89 73
4.89/4.90 c 200 2285 823218 326182 1520 95 87 89 80
4.89/4.92 c 210 2393 856364 341159 1520 101 50 91 78
4.89/4.93 c 211 2395 859643 342192 1520 102 2 2 1
4.89/4.95 c 220 2496 892657 354880 1520 105 1 91 71
4.89/4.96 c 230 2604 927269 369409 1520 110 89 91 82
4.89/4.98 c 240 2707 957665 383775 1520 115 89 91 81
4.99/5.00 c 250 2807 991272 397430 1520 117 50 89 77
4.99/5.02 c 260 2907 1023418 411109 1520 119 50 89 77
4.99/5.04 c 270 3010 1055047 425098 1520 124 89 91 81
4.99/5.06 c 280 3115 1086876 439202 1520 130 50 91 78
4.99/5.07 c 290 3220 1119222 453394 1520 134 89 91 81
4.99/5.09 c 300 3323 1151441 467847 1520 139 89 91 81
5.09/5.11 c 310 3423 1182517 481518 1520 141 50 89 77
5.09/5.13 c 320 3526 1215377 495555 1520 146 50 91 77
5.09/5.15 c 330 3629 1247378 509662 1520 151 89 91 81
5.09/5.16 c 332 3721 1275890 518339 1520 153 50 91 47
5.09/5.18 c 340 3815 1306979 530024 1520 158 85 87 76
5.09/5.20 c 350 3912 1341474 543931 1520 162 86 86 78
5.19/5.21 c 360 4012 1376803 558610 1520 166 88 88 80
5.19/5.23 c 370 4112 1412045 573169 1520 170 88 88 80
5.19/5.25 c 380 4210 1447360 587966 1520 174 86 86 78
5.19/5.27 c 390 4281 1479921 602442 1520 178 57 59 52
5.19/5.28 c 400 4348 1511600 616379 1520 182 56 56 50
5.19/5.29 c 410 4416 1543183 630197 1520 186 57 57 51
5.29/5.31 c 420 4485 1574861 644015 1520 190 58 58 52
5.29/5.32 c 430 4558 1607251 658427 1520 194 61 61 55
5.29/5.34 c 440 4632 1639839 672900 1520 198 62 62 56
5.29/5.36 c 450 4700 1671373 687371 1520 202 56 56 50
5.29/5.37 c 460 4768 1703539 701808 1520 206 56 56 50
5.29/5.39 c 465 4827 1733205 712674 1520 208 54 54 45
5.38/5.40 c 470 4890 1762532 723562 1520 210 56 58 47
5.38/5.41 c 480 4955 1793373 736521 1520 214 52 56 49
5.38/5.43 c 490 5017 1823491 749877 1520 216 52 52 47
5.38/5.44 c 500 5077 1853498 763247 1520 221 50 50 45
5.38/5.45 c 510 5140 1884256 776214 1520 227 52 54 48
5.38/5.47 c 520 5206 1909395 789738 1520 231 55 55 50
5.38/5.48 c 530 5269 1939700 802761 1520 233 53 53 48
5.38/5.49 c 540 5329 1969907 816137 1520 238 50 50 45
5.50/5.51 c 550 5394 1999995 830147 1520 242 54 54 49
5.50/5.52 c 560 5459 2031379 844084 1520 245 52 54 48
5.50/5.53 c 570 5521 2062174 857383 1520 247 52 52 47
5.50/5.55 c 580 5583 2092491 870751 1520 249 52 52 47
5.50/5.56 c 590 5645 2122884 884179 1520 251 52 52 47
5.50/5.58 c 600 5710 2153787 898179 1520 255 54 54 49
5.50/5.59 c 610 5775 2183934 912124 1520 259 54 54 49
5.50/5.60 c 611 5825 2211140 920739 1520 260 50 50 25
5.60/5.62 c 620 5886 2240373 933768 1520 265 52 52 46
5.60/5.63 c 630 5946 2270345 947077 1520 270 48 50 44
5.60/5.64 c 640 6006 2299626 960464 1520 275 50 50 45
5.60/5.66 c 650 6066 2329337 973843 1520 280 50 50 45
5.60/5.67 c 660 6126 2358549 987165 1520 285 50 50 45
5.60/5.68 c 670 6187 2387384 1000040 1520 291 50 52 46
5.69/5.70 c 680 6247 2417216 1013600 1520 296 50 50 45
5.69/5.71 c 690 6305 2446380 1027084 1520 300 48 48 43
5.69/5.72 c 700 6365 2476088 1040704 1520 305 50 50 45
5.69/5.74 c 710 6427 2505488 1054141 1520 307 52 52 47
5.69/5.75 c 720 6487 2534814 1067563 1520 312 50 50 45
5.69/5.76 c 730 6549 2563647 1080590 1520 318 28 52 45
5.69/5.78 c 740 6605 2591666 1093962 1520 321 46 46 41
5.69/5.79 c 750 6665 2618691 1107504 1520 326 50 50 45
5.79/5.80 c 760 6721 2648530 1120982 1520 329 46 46 41
5.79/5.82 c 770 6782 2678485 1134126 1520 335 50 52 46
5.79/5.83 c 771 6834 2704379 1142488 1520 336 52 52 26
5.79/5.84 c 780 6893 2731585 1155523 1520 340 50 50 45
5.79/5.85 c 790 6957 2761134 1169071 1520 342 52 54 48
5.79/5.87 c 800 7016 2790066 1182097 1520 346 48 50 44
5.79/5.88 c 810 7075 2813910 1195096 1520 350 49 49 44
5.89/5.90 c 820 7132 2842638 1208007 1520 353 18 47 40
5.89/5.91 c 830 7188 2870300 1221267 1520 356 46 46 41
5.89/5.92 c 840 7244 2899019 1234502 1520 359 46 46 41
5.89/5.93 c 850 7299 2927763 1246838 1520 361 22 46 39
5.89/5.95 c 860 7356 2952798 1259793 1520 364 2 47 38
5.89/5.96 c 870 7415 2979124 1272627 1520 368 49 49 44
5.89/5.97 c 880 7473 3007162 1285943 1520 372 48 48 43
5.89/5.99 c 890 7533 3036032 1299280 1520 377 50 50 45
5.99/6.00 c 900 7593 3064760 1312740 1520 382 50 50 45
5.99/6.01 c 910 7649 3092356 1326005 1520 385 46 46 41
5.99/6.03 c 920 7705 3120759 1339312 1520 388 46 46 41
5.99/6.04 c 930 7763 3148693 1352781 1520 392 48 48 43
5.99/6.05 c 940 7821 3175905 1366155 1520 396 48 48 43
5.99/6.07 c 947 7875 3203952 1377380 1520 397 48 48 42
5.99/6.08 c 950 7923 3229251 1386663 1520 400 46 46 34
5.99/6.09 c 960 7974 3256797 1399319 1520 401 42 42 38
6.09/6.10 c 970 8028 3284895 1412632 1520 403 44 44 40
6.09/6.11 c 980 8083 3312352 1425657 1520 405 44 46 41
6.09/6.13 c 990 8137 3336338 1438128 1520 407 2 45 37
6.09/6.14 c 1000 8192 3363028 1451029 1520 410 44 46 41
6.09/6.15 c 1010 8250 3389931 1464302 1520 414 48 48 43
6.09/6.17 c 1020 8308 3416734 1477698 1520 418 48 48 43
6.09/6.18 c 1030 8364 3445208 1490949 1520 421 46 46 41
6.09/6.19 c 1040 8415 3472767 1503672 1520 422 42 42 38
6.19/6.20 c 1050 8471 3500266 1516988 1520 425 46 46 41
6.19/6.21 c 1060 8525 3527023 1530241 1520 427 44 44 40
6.19/6.23 c 1070 8579 3554672 1543504 1520 429 44 44 40
6.19/6.24 c 1080 8630 3580373 1556254 1520 430 42 42 38
6.19/6.25 c 1090 8684 3607606 1569530 1520 432 44 44 40
6.19/6.26 c 1100 8740 3633721 1582742 1520 435 46 46 41
6.19/6.28 c 1110 8796 3661644 1595966 1520 438 46 46 41
6.19/6.29 c 1120 8847 3687852 1608660 1520 439 42 42 38
6.29/6.30 c 1130 8905 3714597 1622196 1520 443 48 48 43
6.29/6.31 c 1140 8959 3741149 1635505 1520 445 44 44 40
6.29/6.32 c 1141 9005 3764274 1643878 1520 446 46 46 23
6.29/6.33 c 1150 9054 3787745 1655783 1520 455 41 41 36
6.29/6.35 c 1160 9105 3813309 1668677 1520 456 42 42 38
6.29/6.36 c 1170 9159 3840430 1681929 1520 458 44 44 40
6.29/6.37 c 1180 9215 3867322 1695153 1520 461 46 46 41
6.29/6.38 c 1190 9271 3894895 1708348 1520 464 46 46 41
6.29/6.39 c 1200 9325 3921941 1721573 1520 466 44 44 40
6.39/6.41 c 1210 9376 3947115 1734347 1520 467 42 42 38
6.39/6.42 c 1220 9425 3974475 1746889 1520 477 40 40 36
6.39/6.43 c 1230 9474 4000537 1759633 1520 487 40 40 36
6.39/6.44 c 1240 9525 4026178 1772323 1520 488 42 42 38
6.39/6.45 c 1250 9576 4052028 1785054 1520 489 42 42 38
6.39/6.46 c 1260 9627 4077602 1797866 1520 490 42 42 38
6.39/6.48 c 1270 9683 4104202 1811064 1520 493 46 46 41
6.39/6.49 c 1280 9739 4130120 1824322 1520 496 46 46 41
6.49/6.50 c 1290 9795 4157267 1837556 1520 499 44 46 41
6.49/6.51 c 1300 9846 4183240 1850310 1520 509 42 42 38
6.49/6.52 c 1310 9896 4205852 1862486 1520 519 41 41 37
6.49/6.53 c 1320 9947 4232054 1875103 1520 520 42 42 38
6.49/6.55 c 1330 9996 4258056 1887667 1520 530 40 40 36
6.49/6.56 c 1340 10050 4283975 1901051 1520 532 44 44 40
6.49/6.57 c 1350 10101 4309461 1913863 1520 533 42 42 38
6.49/6.58 c 1352 10144 4332937 1922624 1520 535 42 42 28
6.49/6.59 c 1360 10191 4358991 1934258 1520 543 40 40 35
6.49/6.60 c 1370 10240 4384702 1946834 1520 553 40 40 36
6.60/6.61 c 1380 10287 4410275 1959527 1520 563 38 38 34
6.60/6.62 c 1390 10336 4436277 1972091 1520 573 40 40 36
6.60/6.64 c 1400 10387 4462063 1985021 1520 574 42 42 38
6.60/6.65 c 1410 10438 4487731 1997824 1520 575 42 42 38
6.60/6.66 c 1420 10489 4513242 2010576 1520 576 42 42 38
6.60/6.67 c 1430 10545 4539436 2023919 1520 579 46 46 41
6.60/6.68 c 1440 10596 4565841 2036579 1520 580 42 42 38
6.60/6.69 c 1450 10645 4590579 2049214 1520 590 40 40 36
6.70/6.71 c 1460 10694 4615590 2062031 1520 600 40 40 36
6.70/6.72 c 1470 10743 4640397 2074876 1520 610 40 40 36
6.70/6.73 c 1480 10797 4666062 2088141 1520 612 44 44 40
6.70/6.74 c 1490 10846 4692260 2100711 1520 622 40 40 36
6.70/6.75 c 1500 10897 4717843 2113392 1520 623 42 42 38
6.70/6.76 c 1510 10944 4742965 2126029 1520 633 38 38 34
6.70/6.77 c 1520 10991 4768187 2138674 1520 643 38 38 34
6.70/6.78 c 1530 11040 4794249 2151418 1520 653 40 40 36
6.79/6.80 c 1540 11089 4819150 2164073 1520 663 40 40 36
6.79/6.81 c 1550 11134 4845336 2176505 1520 673 36 36 32
6.79/6.82 c 1560 11181 4871194 2189128 1520 683 38 38 34
6.79/6.83 c 1570 11230 4896978 2201811 1520 693 40 40 36
6.79/6.84 c 1580 11281 4922183 2214567 1520 694 42 42 38
6.79/6.85 c 1585 11327 4946805 2224706 1520 699 42 42 35
6.79/6.86 c 1590 11369 4971322 2235000 1520 704 38 38 31
6.79/6.88 c 1600 11416 4996853 2247671 1520 714 38 38 34
6.79/6.89 c 1610 11461 5021997 2260292 1520 724 36 36 32
6.89/6.90 c 1620 11506 5047031 2272941 1520 734 36 36 32
6.89/6.91 c 1630 11555 5071678 2285546 1520 744 40 40 36
6.89/6.92 c 1640 11604 5096382 2298210 1520 754 40 40 36
6.89/6.93 c 1650 11649 5122568 2310637 1520 764 36 36 32
6.89/6.94 c 1660 11698 5147309 2323232 1520 774 40 40 36
6.89/6.95 c 1670 11745 5172631 2335817 1520 784 38 38 34
6.89/6.96 c 1680 11794 5197338 2348602 1520 794 40 40 36
6.89/6.97 c 1690 11843 5222366 2361317 1520 804 40 40 36
6.89/6.99 c 1700 11892 5247144 2374102 1520 814 40 40 36
6.89/7.00 c 1710 11939 5272657 2386735 1520 824 38 38 34
6.99/7.01 c 1720 11986 5298558 2399228 1520 834 38 38 34
6.99/7.02 c 1730 12033 5324062 2411791 1520 844 38 38 34
6.99/7.03 c 1740 12080 5350217 2424441 1520 854 38 38 34
6.99/7.04 c 1750 12123 5375874 2436870 1520 864 34 34 30
6.99/7.05 c 1760 12168 5402236 2449491 1520 874 36 36 32
6.99/7.06 c 1770 12211 5428149 2461960 1520 884 34 34 30
6.99/7.07 c 1780 12256 5453077 2474549 1520 894 36 36 32
6.99/7.08 c 1790 12303 5478299 2487074 1520 904 38 38 34
6.99/7.09 c 1800 12348 5503478 2499592 1520 914 36 36 32
7.09/7.11 c 1810 12395 5529051 2512165 1520 924 38 38 34
7.09/7.12 c 1820 12440 5553979 2524625 1520 934 36 36 32
7.09/7.13 c 1830 12485 5579001 2537084 1520 944 36 36 32
7.09/7.14 c 1840 12532 5604514 2549717 1520 954 38 38 34
7.09/7.15 c 1841 12566 5628480 2557741 1520 955 34 34 17
7.09/7.16 c 1850 12610 5653667 2569755 1520 964 36 36 32
7.09/7.17 c 1860 12655 5678789 2582334 1520 974 36 36 32
7.09/7.18 c 1870 12698 5704638 2594831 1520 984 34 34 30
7.09/7.19 c 1880 12743 5730897 2607319 1520 994 36 36 32
7.19/7.20 c 1890 12786 5756654 2619872 1520 1004 34 34 30
7.19/7.21 c 1900 12831 5782988 2632523 1520 1014 36 36 32
7.19/7.23 c 1910 12876 5808922 2645062 1520 1024 36 36 32
7.19/7.24 c 1920 12917 5834476 2657465 1520 1034 32 32 29
7.19/7.25 c 1930 12960 5860329 2669994 1520 1044 34 34 30
7.19/7.26 c 1940 13005 5885363 2682643 1520 1054 36 36 32
7.19/7.27 c 1950 13050 5910291 2695112 1520 1064 36 36 32
7.19/7.28 c 1960 13095 5935413 2707571 1520 1074 36 36 32
7.19/7.29 c 1970 13138 5961107 2719947 1520 1084 34 34 30
7.29/7.30 c 1980 13183 5986035 2732416 1520 1094 36 36 32
7.29/7.31 c 1990 13228 6011217 2744926 1520 1104 36 36 32
7.29/7.32 c 2000 13273 6036145 2757515 1520 1114 36 36 32
7.29/7.33 c 2010 13318 6061461 2769964 1520 1124 36 36 32
7.29/7.34 c 2020 13359 6086984 2782457 1520 1134 32 32 29
7.29/7.35 c 2030 13406 6112206 2794974 1520 1144 38 38 34
7.29/7.36 c 2040 13453 6138107 2807587 1520 1154 38 38 34
7.29/7.37 c 2050 13496 6163804 2819948 1520 1164 34 34 30
7.29/7.39 c 2060 13537 6189207 2832372 1520 1174 32 32 29
7.29/7.40 c 2070 13578 6214570 2844745 1520 1184 32 32 29
7.39/7.41 c 2080 13619 6240212 2857328 1520 1194 32 32 29
7.39/7.42 c 2090 13662 6266159 2869797 1520 1204 34 34 30
7.39/7.43 c 2100 13707 6291193 2882446 1520 1214 36 36 32
7.39/7.44 c 2110 13752 6316121 2894915 1520 1224 36 36 32
7.39/7.45 c 2120 13793 6341524 2907288 1520 1234 32 32 29
7.39/7.46 c 2122 13830 6364857 2915828 1520 1236 36 36 24
7.39/7.47 c 2130 13871 6390216 2927279 1520 1244 34 34 30
7.39/7.48 c 2140 13912 6415679 2939643 1520 1254 32 32 29
7.39/7.49 c 2150 13957 6440761 2952162 1520 1264 36 36 32
7.49/7.50 c 2160 13998 6466261 2964534 1520 1274 32 32 29
7.49/7.51 c 2170 14041 6492118 2977143 1520 1284 34 34 30
7.49/7.52 c 2180 14082 6517591 2989516 1520 1294 32 32 29
7.49/7.53 c 2190 14127 6543161 3002015 1520 1304 36 36 32
7.49/7.55 c 2200 14168 6568706 3014448 1520 1314 32 32 29
7.49/7.56 c 2210 14211 6594491 3026989 1520 1324 34 34 30
7.49/7.57 c 2220 14252 6619894 3039413 1520 1334 32 32 29
7.49/7.58 c 2230 14293 6645197 3051726 1520 1344 32 32 29
7.49/7.59 c 2240 14334 6670811 3064189 1520 1354 32 32 29
7.59/7.60 c 2250 14375 6696540 3076774 1520 1364 32 32 29
7.59/7.61 c 2260 14416 6721943 3089207 1520 1374 32 32 29
7.59/7.62 c 2270 14457 6747346 3101520 1520 1384 32 32 29
7.59/7.63 c 2280 14482 6772685 3113817 1520 1394 16 16 14
7.59/7.64 c 2290 14511 6797709 3126381 1520 1404 20 20 18
7.59/7.65 c 2300 14536 6823008 3138738 1520 1414 16 16 14
7.59/7.66 c 2310 14563 6848641 3151095 1520 1424 18 18 16
7.59/7.67 c 2320 14588 6874037 3163451 1520 1434 16 16 14
7.59/7.68 c 2330 14617 6899459 3176124 1520 1444 20 20 18
7.59/7.69 c 2340 14642 6924798 3188421 1520 1454 16 16 14
7.59/7.70 c 2350 14669 6950491 3200950 1520 1464 18 18 16
7.70/7.71 c 2360 14694 6975972 3213367 1520 1474 16 16 14
7.70/7.72 c 2370 14719 7001399 3225724 1520 1484 16 16 14
7.70/7.73 c 2380 14744 7026738 3238132 1520 1494 16 16 14
7.70/7.73 c 2390 14769 7051977 3250429 1520 1504 16 16 14
7.70/7.74 c 2400 14794 7077407 3262756 1520 1514 16 16 14
7.70/7.75 c 2410 14819 7103022 3275325 1520 1524 16 16 14
7.70/7.76 c 2420 14844 7128531 3287862 1520 1534 16 16 14
7.70/7.77 c 2430 14869 7153870 3300159 1520 1544 16 16 14
7.70/7.78 c 2431 14885 7177418 3308058 1520 1545 16 16 8
7.70/7.79 c 2440 14909 7202558 3319862 1520 1554 16 16 14
7.70/7.80 c 2450 14938 7227482 3332366 1520 1564 20 20 18
7.80/7.81 c 2460 14963 7252841 3344783 1520 1574 16 16 14
7.80/7.82 c 2470 14990 7278534 3357200 1520 1584 18 18 16
7.80/7.83 c 2480 15015 7303930 3369556 1520 1594 16 16 14
7.80/7.84 c 2490 15044 7329252 3382049 1520 1604 20 20 18
7.80/7.85 c 2500 15069 7354651 3394406 1520 1614 16 16 14
7.80/7.86 c 2510 15094 7380072 3406763 1520 1624 16 16 14
7.80/7.87 c 2520 15119 7405411 3419180 1520 1634 16 16 14
7.80/7.87 c 2530 15144 7430810 3431597 1520 1644 16 16 14
7.80/7.88 c 2540 15169 7456237 3444065 1520 1654 16 16 14
7.80/7.89 c 2550 15194 7481476 3456362 1520 1664 16 16 14
7.89/7.90 c 2560 15219 7506966 3468749 1520 1674 16 16 14
7.89/7.91 c 2570 15244 7532597 3481318 1520 1684 16 16 14
7.89/7.92 c 2580 15269 7558030 3493795 1520 1694 16 16 14
7.89/7.93 c 2590 15294 7583369 3506092 1520 1704 16 16 14
7.89/7.94 c 2600 15319 7608708 3518389 1520 1714 16 16 14
7.89/7.95 c 2610 15346 7634401 3530810 1520 1724 18 18 16
7.89/7.96 c 2620 15371 7659800 3543158 1520 1734 16 16 14
7.89/7.97 c 2630 15400 7684758 3555661 1520 1744 20 20 18
7.89/7.98 c 2640 15425 7710097 3568018 1520 1754 16 16 14
7.89/7.99 c 2650 15450 7735493 3580374 1520 1764 16 16 14
7.99/8.00 c 2660 15475 7760962 3592851 1520 1774 16 16 14
7.99/8.01 c 2670 15500 7786383 3605328 1520 1784 16 16 14
7.99/8.01 c 2680 15525 7811722 3617625 1520 1794 16 16 14
7.99/8.02 c 2690 15550 7837121 3629982 1520 1804 16 16 14
7.99/8.03 c 2700 15575 7862548 3642450 1520 1814 16 16 14
7.99/8.04 c 2710 15600 7887787 3654747 1520 1824 16 16 14
7.99/8.05 c 2720 15625 7913277 3667134 1520 1834 16 16 14
7.99/8.06 c 2730 15650 7938926 3679703 1520 1844 16 16 14
7.99/8.07 c 2740 15675 7964341 3692180 1520 1854 16 16 14
7.99/8.08 c 2750 15700 7989680 3704477 1520 1864 16 16 14
7.99/8.09 c 2760 15725 8015019 3716774 1520 1874 16 16 14
8.09/8.10 c 2770 15752 8040652 3729126 1520 1884 18 18 16
8.09/8.11 c 2771 15768 8064220 3737145 1520 1885 16 16 8
8.09/8.12 c 2780 15792 8089360 3749009 1520 1894 16 16 14
8.09/8.12 c 2790 15819 8115069 3761425 1520 1904 18 18 16
8.09/8.13 c 2800 15844 8140408 3773713 1520 1914 16 16 14
8.09/8.14 c 2810 15869 8165707 3786130 1520 1924 16 16 14
8.09/8.15 c 2820 15894 8191188 3798667 1520 1934 16 16 14
8.09/8.16 c 2830 15919 8216687 3811084 1520 1944 16 16 14
8.09/8.17 c 2840 15944 8242096 3823441 1520 1954 16 16 14
8.09/8.18 c 2850 15969 8267495 3835798 1520 1964 16 16 14
8.09/8.19 c 2860 15994 8292922 3848266 1520 1974 16 16 14
8.19/8.20 c 2870 16019 8318161 3860563 1520 1984 16 16 14
8.19/8.21 c 2880 16044 8343651 3873070 1520 1994 16 16 14
8.19/8.22 c 2890 16069 8369300 3885519 1520 2004 16 16 14
8.19/8.23 c 2900 16094 8394715 3897876 1520 2014 16 16 14
8.19/8.24 c 2910 16119 8420054 3910293 1520 2024 16 16 14
8.19/8.25 c 2920 16144 8445393 3922590 1520 2034 16 16 14
8.19/8.26 c 2930 16173 8470257 3935043 1520 2044 20 20 18
8.19/8.27 c 2940 16198 8495656 3947391 1520 2054 16 16 14
8.19/8.28 c 2950 16223 8521055 3959808 1520 2064 16 16 14
8.19/8.29 c 2960 16248 8546394 3972165 1520 2074 16 16 14
8.19/8.29 c 2970 16273 8571850 3984581 1520 2084 16 16 14
8.29/8.30 c 2980 16298 8597341 3997058 1520 2094 16 16 14
8.29/8.31 c 2990 16323 8622680 4009355 1520 2104 16 16 14
8.29/8.32 c 3000 16348 8648019 4021772 1520 2114 16 16 14
8.29/8.33 c 3010 16373 8673418 4034129 1520 2124 16 16 14
8.29/8.34 c 3020 16398 8698845 4046597 1520 2134 16 16 14
8.29/8.35 c 3030 16423 8724084 4058894 1520 2144 16 16 14
8.29/8.36 c 3040 16448 8749574 4071281 1520 2154 16 16 14
8.29/8.37 c 3050 16473 8775163 4083790 1520 2164 16 16 14
8.29/8.38 c 3060 16498 8800562 4096147 1520 2174 16 16 14
8.29/8.39 c 3070 16523 8825977 4108624 1520 2184 16 16 14
8.39/8.40 c 3080 16548 8851316 4120921 1520 2194 16 16 14
8.39/8.41 c 3090 16573 8876655 4133218 1520 2204 16 16 14
8.39/8.42 c 3100 16599 8903708 4146109 1520 2210 16 16 14
8.39/8.43 c 3110 16624 8929207 4158517 1520 2220 16 16 14
8.39/8.44 c 3120 16649 8954446 4170874 1520 2230 16 16 14
8.39/8.44 c 3130 16674 8979842 4183230 1520 2240 16 16 14
8.39/8.45 c 3140 16699 9005323 4195707 1520 2250 16 16 14
8.39/8.46 c 3142 16716 9029140 4204152 1520 2252 16 16 10
8.39/8.47 c 3150 16739 9054163 4215645 1520 2260 16 16 14
8.39/8.48 c 3160 16764 9079562 4228002 1520 2270 16 16 14
8.39/8.49 c 3170 16789 9104971 4240470 1520 2280 16 16 14
8.49/8.50 c 3180 16814 9130270 4252827 1520 2290 16 16 14
8.49/8.51 c 3190 16839 9155848 4265334 1520 2300 16 16 14
8.49/8.52 c 3200 16864 9181437 4277843 1520 2310 16 16 14
8.49/8.53 c 3210 16889 9206836 4290200 1520 2320 16 16 14
8.49/8.54 c 3220 16914 9232251 4302677 1520 2330 16 16 14
8.49/8.55 c 3230 16939 9257590 4314974 1520 2340 16 16 14
8.49/8.56 c 3240 16964 9282929 4327271 1520 2350 16 16 14
8.49/8.57 c 3250 16989 9308268 4339568 1520 2360 16 16 14
8.49/8.57 c 3260 17014 9333667 4351925 1520 2370 16 16 14
8.49/8.58 c 3270 17039 9359066 4364342 1520 2380 16 16 14
8.49/8.59 c 3280 17064 9384502 4376698 1520 2390 16 16 14
8.59/8.60 c 3290 17089 9409841 4388986 1520 2400 16 16 14
8.59/8.61 c 3300 17114 9435140 4401343 1520 2410 16 16 14
8.59/8.62 c 3310 17139 9460561 4413820 1520 2420 16 16 14
8.59/8.63 c 3320 17165 9487614 4426831 1520 2426 16 16 14
8.59/8.64 c 3330 17190 9512923 4439188 1520 2436 16 16 14
8.59/8.65 c 3340 17215 9538322 4451545 1520 2446 16 16 14
8.59/8.66 c 3350 17241 9565554 4464711 1520 2452 16 16 14
8.59/8.67 c 3360 17266 9591143 4477160 1520 2462 16 16 14
8.59/8.68 c 3370 17291 9616542 4489517 1520 2472 16 16 14
8.59/8.69 c 3380 17317 9643611 4502413 1520 2478 16 16 14
8.69/8.70 c 3390 17342 9668950 4514830 1520 2488 16 16 14
8.69/8.71 c 3400 17367 9694289 4527127 1520 2498 16 16 14
8.69/8.72 c 3410 17392 9719628 4539424 1520 2508 16 16 14
8.69/8.73 c 3420 17417 9745027 4551781 1520 2518 16 16 14
8.69/8.73 c 3430 17442 9770426 4564198 1520 2528 16 16 14
8.69/8.74 c 3440 17467 9795862 4576554 1520 2538 16 16 14
8.69/8.75 c 3450 17492 9821261 4588902 1520 2548 16 16 14
8.69/8.76 c 3460 17517 9846582 4601259 1520 2558 16 16 14
8.69/8.77 c 3470 17542 9871921 4613676 1520 2568 16 16 14
8.69/8.78 c 3480 17567 9897320 4626033 1520 2578 16 16 14
8.69/8.79 c 3490 17592 9922729 4638501 1520 2588 16 16 14
8.69/8.80 c 3500 17617 9948028 4650858 1520 2598 16 16 14
8.80/8.81 c 3510 17642 9973606 4663365 1520 2608 16 16 14
8.80/8.82 c 3520 17667 9999195 4675874 1520 2618 16 16 14
8.80/8.83 c 3530 17692 10024594 4688231 1520 2628 16 16 14
8.80/8.84 c 3540 17717 10048846 4700693 1520 2638 16 16 14
8.80/8.85 c 3550 17743 10075839 4713529 1520 2644 16 16 14
8.80/8.86 c 3551 17759 10099387 4721428 1520 2645 16 16 8
8.80/8.87 c 3560 17783 10124527 4733232 1520 2654 16 16 14
8.80/8.87 c 3570 17808 10149866 4745529 1520 2664 16 16 14
8.80/8.88 c 3580 17833 10175205 4757826 1520 2674 16 16 14
8.80/8.89 c 3590 17858 10200544 4770123 1520 2684 16 16 14
8.80/8.90 c 3600 17883 10225943 4782471 1520 2694 16 16 14
8.90/8.91 c 3610 17908 10251302 4794948 1520 2704 16 16 14
8.90/8.92 c 3620 17933 10276820 4807484 1520 2714 16 16 14
8.90/8.93 c 3630 17958 10302219 4819841 1520 2724 16 16 14
8.90/8.94 c 3640 17983 10327628 4832198 1520 2734 16 16 14
8.90/8.95 c 3650 18008 10353027 4844666 1520 2744 16 16 14
8.90/8.96 c 3660 18033 10378354 4857083 1520 2754 16 16 14
8.90/8.97 c 3670 18058 10403693 4869380 1520 2764 16 16 14
8.90/8.98 c 3680 18083 10429183 4881767 1520 2774 16 16 14
8.90/8.99 c 3690 18108 10454814 4894336 1520 2784 16 16 14
8.99/9.00 c 3700 18133 10480247 4906693 1520 2794 16 16 14
8.99/9.01 c 3710 18158 10505586 4919110 1520 2804 16 16 14
8.99/9.02 c 3720 18183 10530925 4931407 1520 2814 16 16 14
8.99/9.02 c 3730 18209 10557918 4944243 1520 2820 16 16 14
8.99/9.03 c 3740 18234 10583257 4956540 1520 2830 16 16 14
8.99/9.04 c 3750 18259 10608596 4968837 1520 2840 16 16 14
8.99/9.05 c 3760 18284 10633995 4981185 1520 2850 16 16 14
8.99/9.06 c 3770 18309 10659354 4993662 1520 2860 16 16 14
8.99/9.07 c 3780 18334 10684872 5006198 1520 2870 16 16 14
8.99/9.08 c 3790 18359 10710271 5018555 1520 2880 16 16 14
8.99/9.09 c 3800 18384 10735680 5030912 1520 2890 16 16 14
9.09/9.10 c 3810 18409 10761079 5043380 1520 2900 16 16 14
9.09/9.11 c 3820 18434 10786406 5055797 1520 2910 16 16 14
9.09/9.12 c 3830 18459 10811745 5068094 1520 2920 16 16 14
9.09/9.13 c 3840 18484 10837295 5080541 1520 2930 16 16 14
9.09/9.14 c 3850 18509 10862960 5093110 1520 2940 16 16 14
9.09/9.15 c 3860 18534 10888299 5105407 1520 2950 16 16 14
9.09/9.16 c 3870 18559 10913638 5117824 1520 2960 16 16 14
9.09/9.17 c 3880 18584 10938977 5130121 1520 2970 16 16 14
9.09/9.17 c 3890 18609 10963153 5142403 1520 2980 16 16 14
9.09/9.18 c 3900 18635 10990146 5155239 1520 2986 16 16 14
9.09/9.19 c 3910 18660 11015485 5167536 1520 2996 16 16 14
9.19/9.20 c 3920 18685 11040884 5179884 1520 3006 16 16 14
9.19/9.21 c 3930 18711 11067957 5192900 1520 3012 16 16 14
9.19/9.22 c 3940 18736 11093478 5205377 1520 3022 16 16 14
9.19/9.23 c 3950 18761 11118874 5217733 1520 3032 16 16 14
9.19/9.24 c 3960 18787 11145937 5230744 1520 3038 16 16 14
9.19/9.25 c 3970 18812 11171236 5243101 1520 3048 16 16 14
9.19/9.26 c 3980 18837 11196663 5255518 1520 3058 16 16 14
9.19/9.27 c 3990 18863 11223656 5268354 1520 3064 16 16 14
9.19/9.28 c 4000 18888 11249055 5280711 1520 3074 16 16 14
9.19/9.29 c 4001 18904 11272830 5288760 1520 3075 16 16 8
9.29/9.30 c 4010 18928 11298064 5300624 1520 3084 16 16 14
9.29/9.31 c 4020 18953 11323494 5312951 1520 3094 16 16 14
9.29/9.32 c 4030 18978 11348989 5325400 1520 3104 16 16 14
9.29/9.32 c 4040 19003 11374328 5337697 1520 3114 16 16 14
9.29/9.33 c 4050 19028 11399667 5349994 1520 3124 16 16 14
9.29/9.34 c 4060 19053 11425006 5362291 1520 3134 16 16 14
9.29/9.35 c 4070 19078 11450405 5374639 1520 3144 16 16 14
9.29/9.36 c 4080 19103 11475704 5387056 1520 3154 16 16 14
9.29/9.37 c 4090 19128 11501200 5399472 1520 3164 16 16 14
9.29/9.38 c 4100 19153 11526681 5411889 1520 3174 16 16 14
9.29/9.39 c 4110 19178 11552090 5424246 1520 3184 16 16 14
9.39/9.40 c 4120 19203 11577429 5436663 1520 3194 16 16 14
9.39/9.41 c 4130 19228 11602828 5449131 1520 3204 16 16 14
9.39/9.42 c 4140 19253 11628155 5461548 1520 3214 16 16 14
9.39/9.43 c 4150 19278 11653554 5474025 1520 3224 16 16 14
9.39/9.44 c 4160 19303 11679029 5486442 1520 3234 16 16 14
9.39/9.45 c 4170 19328 11704462 5498799 1520 3244 16 16 14
9.39/9.46 c 4180 19354 11731546 5511665 1520 3250 16 16 14
9.39/9.47 c 4190 19379 11757041 5523994 1520 3260 16 16 14
9.39/9.48 c 4200 19404 11782380 5536291 1520 3270 16 16 14
9.39/9.48 c 4210 19430 11809373 5549127 1520 3276 16 16 14
9.39/9.49 c 4220 19455 11834712 5561424 1520 3286 16 16 14
9.49/9.50 c 4230 19480 11860111 5573772 1520 3296 16 16 14
9.49/9.51 c 4240 19505 11885410 5586189 1520 3306 16 16 14
9.49/9.52 c 4250 19530 11910906 5598605 1520 3316 16 16 14
9.49/9.53 c 4260 19555 11936387 5611022 1520 3326 16 16 14
9.49/9.54 c 4270 19580 11961796 5623379 1520 3336 16 16 14
9.49/9.55 c 4280 19605 11987135 5635796 1520 3346 16 16 14
9.49/9.56 c 4290 19630 12012534 5648264 1520 3356 16 16 14
9.49/9.57 c 4300 19655 12037861 5660681 1520 3366 16 16 14
9.49/9.58 c 4310 19680 12063260 5673158 1520 3376 16 16 14
9.49/9.59 c 4320 19705 12088675 5685515 1520 3386 16 16 14
9.59/9.60 c 4330 19730 12114074 5697872 1520 3396 16 16 14
9.59/9.61 c 4340 19755 12139598 5710259 1520 3406 16 16 14
9.59/9.62 c 4350 19780 12165093 5722708 1520 3416 16 16 14
9.59/9.63 c 4360 19805 12190432 5735005 1520 3426 16 16 14
9.59/9.63 c 4370 19830 12214608 5747287 1520 3436 16 16 14
9.59/9.64 c 4380 19856 12241601 5760118 1520 3442 16 16 14
9.59/9.65 c 4390 19881 12266900 5772475 1520 3452 16 16 14
9.59/9.66 c 4400 19906 12292299 5784892 1520 3462 16 16 14
9.59/9.67 c 4410 19932 12319449 5797967 1520 3468 16 16 14
9.59/9.68 c 4420 19957 12344930 5810384 1520 3478 16 16 14
9.59/9.69 c 4430 19982 12370339 5822741 1520 3488 16 16 14
9.69/9.70 c 4440 20008 12397332 5835692 1520 3494 16 16 14
9.69/9.71 c 4450 20033 12422631 5848169 1520 3504 16 16 14
9.69/9.72 c 4460 20058 12448058 5860586 1520 3514 16 16 14
9.69/9.73 c 4470 20084 12475111 5873482 1520 3520 16 16 14
9.69/9.74 c 4480 20109 12500586 5886019 1520 3530 16 16 14
9.69/9.75 c 4490 20135 12527673 5898919 1520 3535 16 16 14
9.69/9.76 c 4493 20153 12551619 5907789 1520 3538 16 16 12
9.69/9.77 c 4500 20175 12576528 5918701 1520 3545 16 16 14
9.69/9.78 c 4510 20200 12601867 5930998 1520 3555 16 16 14
9.69/9.78 c 4520 20225 12627206 5943295 1520 3565 16 16 14
9.69/9.79 c 4530 20250 12652545 5955592 1520 3575 16 16 14
9.79/9.80 c 4540 20275 12677944 5967949 1520 3585 16 16 14
9.79/9.81 c 4550 20300 12703343 5980366 1520 3595 16 16 14
9.79/9.82 c 4560 20325 12728779 5992722 1520 3605 16 16 14
9.79/9.83 c 4570 20350 12754118 6005010 1520 3615 16 16 14
9.79/9.84 c 4580 20375 12779357 6017307 1520 3625 16 16 14
9.79/9.85 c 4590 20400 12804696 6029724 1520 3635 16 16 14
9.79/9.86 c 4600 20425 12830155 6042141 1520 3645 16 16 14
9.79/9.87 c 4610 20450 12855712 6054618 1520 3655 16 16 14
9.79/9.88 c 4620 20475 12881224 6067116 1520 3665 16 16 14
9.79/9.89 c 4630 20500 12906679 6079565 1520 3675 16 16 14
9.79/9.90 c 4640 20525 12932112 6092042 1520 3685 16 16 14
9.90/9.91 c 4650 20550 12957511 6104399 1520 3695 16 16 14
9.90/9.92 c 4660 20575 12982926 6116876 1520 3705 16 16 14
9.90/9.93 c 4670 20601 13009919 6129712 1520 3711 16 16 14
9.90/9.93 c 4680 20626 13035258 6142009 1520 3721 16 16 14
9.90/9.94 c 4690 20651 13060597 6154306 1520 3731 16 16 14
9.90/9.95 c 4700 20677 13087650 6167262 1520 3737 16 16 14
9.90/9.96 c 4710 20702 13113046 6179618 1520 3747 16 16 14
9.90/9.97 c 4720 20727 13138485 6191975 1520 3757 16 16 14
9.90/9.98 c 4730 20753 13165478 6204806 1520 3763 16 16 14
9.90/9.99 c 4740 20778 13190817 6217094 1520 3773 16 16 14
9.90/10.00 c 4750 20803 13216056 6229511 1520 3783 16 16 14
10.00/10.01 c 4760 20829 13243169 6242467 1520 3789 16 16 14
10.00/10.02 c 4770 20854 13268817 6254974 1520 3799 16 16 14
10.00/10.03 c 4780 20879 13294394 6267474 1520 3809 16 16 14
10.00/10.04 c 4790 20904 13319693 6279891 1520 3819 16 16 14
10.00/10.05 c 4800 20929 13345126 6292368 1520 3829 16 16 14
10.00/10.06 c 4810 20954 13370465 6304665 1520 3839 16 16 14
10.00/10.07 c 4820 20979 13395864 6317142 1520 3849 16 16 14
10.00/10.08 c 4830 21004 13421279 6329499 1520 3859 16 16 14
10.00/10.09 c 4840 21029 13446618 6341796 1520 3869 16 16 14
10.00/10.09 c 4850 21054 13471957 6354093 1520 3879 16 16 14
10.09/10.10 c 4860 21079 13497356 6366450 1520 3889 16 16 14
10.09/10.11 c 4870 21104 13522755 6378867 1520 3899 16 16 14
10.09/10.12 c 4880 21129 13548191 6391223 1520 3909 16 16 14
10.09/10.13 c 4890 21154 13573530 6403511 1520 3919 16 16 14
10.09/10.14 c 4900 21179 13598769 6415808 1520 3929 16 16 14
10.09/10.15 c 4910 21204 13624108 6428225 1520 3939 16 16 14
10.09/10.16 c 4920 21229 13648404 6440627 1520 3949 16 16 14
10.09/10.17 c 4930 21255 13675615 6453758 1520 3955 16 16 14
10.09/10.18 c 4940 21280 13700936 6466115 1520 3965 16 16 14
10.09/10.19 c 4950 21305 13726426 6478562 1520 3975 16 16 14
10.19/10.20 c 4960 21331 13753513 6491458 1520 3981 16 16 14
10.19/10.21 c 4970 21356 13778912 6503935 1520 3991 16 16 14
10.19/10.22 c 4980 21381 13804327 6516412 1520 4001 16 16 14
10.19/10.23 c 4990 21406 13828503 6528694 1520 4011 16 16 14
10.19/10.24 c 5035 21469 13862759 6559683 1520 4025 16 16 15
10.29/10.38 c 5631 22174 14061196 6826468 1520 4038 18 21 18
10.59/10.66 c 6286 23413 14407402 7251505 1520 4079 98 148 143
10.79/10.85 c 7006 24373 14660305 7687357 1520 4097 5 52 48
10.99/11.08 c 7798 25511 14969217 8211197 1520 4108 46 53 49
11.29/11.33 c 8669 26745 15299468 8757036 1520 4122 45 51 47
11.49/11.59 c 9627 28064 15653549 9378879 1520 4130 46 51 47
11.78/11.87 c 10680 29555 16051634 10034912 1520 4154 45 51 47
12.19/12.21 c 11838 31367 16487657 10811412 1520 4162 47 59 51
12.48/12.54 c 13111 33039 16950073 11555840 1520 4180 41 47 44
12.78/12.88 c 14511 34940 17468909 12374207 1520 4197 43 49 46
13.20/13.29 c 16051 37038 18028105 13284999 1520 4216 43 49 46
13.69/13.76 c 17745 39433 18630770 14338389 1520 4231 45 55 48
14.29/14.36 c 19608 42125 19382935 15504270 1520 4245 45 51 47
14.89/14.93 c 21657 44948 20131054 16781589 1520 4260 42 51 46
15.49/15.53 c 23910 47980 20922186 18164301 1520 4285 22 49 46
16.19/16.21 c 26388 51621 21927652 19673365 1520 4303 45 53 49
16.88/16.95 c 29113 55323 23014723 21261562 1520 4327 43 49 46
17.78/17.81 c 32110 59427 24155185 23070157 1520 4341 2 51 46
18.79/18.87 c 35406 64510 25492642 25171867 1520 4354 47 55 51
19.89/19.91 c 39031 69722 26946020 27348656 1520 4378 45 51 48
21.08/21.12 c 43018 75608 28576906 29769124 1520 4391 31 53 49
22.48/22.52 c 47403 81763 30314738 32448045 1520 4415 42 51 46
23.78/23.85 c 52226 88284 32281863 35270746 1520 4428 41 49 45
25.28/25.32 c 57531 95612 34391589 38425078 1520 4438 42 51 46
26.98/27.07 c 63366 103672 36762846 41915204 1520 4456 43 51 47
28.78/28.87 c 69784 112796 39303773 45749378 1520 4480 42 51 47
30.78/30.84 c 76843 122324 42107686 49880496 1520 4509 41 49 45
33.08/33.18 c 84607 133701 45252958 54622425 1520 4536 45 53 49
35.88/35.98 c 93147 146146 48861524 59804687 1520 4551 44 51 48
38.59/38.65 c 102541 159496 52607263 65429717 1520 4569 43 51 47
42.38/42.42 c 112874 175649 57008513 72068819 1520 4589 31 55 51
46.18/46.29 c 124240 192850 61837530 79175476 1520 4610 44 53 50
50.17/50.28 c 136742 211476 67026374 86870909 1520 4627 44 53 49
54.57/54.69 c 150494 231764 72685357 95328025 1520 4646 45 53 49
59.77/59.80 c 165621 254515 79137725 104675033 1520 4666 44 53 50
64.78/64.87 c 182260 277950 85940068 114662672 1520 4687 42 51 47
70.57/70.61 c 200562 304084 93464990 125767926 1520 4703 42 51 47
76.27/76.32 c 220694 333058 101575623 137857133 1520 4725 42 51 48
84.87/84.99 c 242839 367737 111484270 151966854 1520 4743 45 59 50
91.57/91.62 c 267198 400599 121084976 166209558 1520 4771 2 47 44
98.67/98.77 c 293992 437631 131755619 181792300 1520 4801 2 49 46
107.26/107.40 c 323465 478728 143516428 199357267 1520 4819 40 53 45
116.96/117.05 c 355885 522720 156795436 218414632 1520 4844 2 49 45
126.25/126.37 c 391547 570921 170865721 238968944 1520 4868 38 47 44
138.05/138.14 c 430775 627110 187051401 262793354 1520 4894 42 53 47
150.35/150.48 c 473925 685718 204488186 288452196 1520 4925 41 49 45
162.94/163.06 c 521390 750851 224304178 309904971 1520 4952 37 46 43
180.35/180.49 c 573601 830637 246466207 342421103 1520 4974 44 55 49
194.54/194.65 c 631033 907278 269765375 367514624 1520 5012 35 45 41
214.74/214.81 c 694208 998136 297431559 406102640 1520 5050 26 35 32
233.64/233.79 c 763700 1091383 325852908 446518256 1520 5080 22 31 27
256.63/256.71 c 840141 1197198 357804508 491410939 1520 5090 24 33 29
281.22/281.31 c 924226 1320558 393896960 531256145 1520 5117 25 36 31
305.90/306.04 c 1016719 1455835 433501549 587581421 1520 5141 26 37 32
328.80/328.97 c 1118461 1599580 476054917 633201515 1520 5164 24 34 30
354.09/354.26 c 1230377 1756142 523378108 698995769 1520 5195 24 35 30
381.17/381.34 c 1353484 1913741 572579295 768702021 1520 5242 18 29 24
412.96/413.11 c 1488901 2115093 629338193 851480741 1520 5271 25 37 33
445.65/445.88 c 1637859 2308660 691263522 915700920 1520 5294 17 31 22
487.94/488.18 c 1801712 2542210 759521606 1013932243 1520 5326 23 35 31
533.22/533.43 c 1981950 2819010 836904861 1125606504 1520 5360 28 39 34
582.21/582.48 c 2180211 3080878 919803450 1239534645 1520 5389 20 31 25
644.41/644.64 c 2398298 3418485 1014773036 1375899013 1520 5417 27 43 34
695.18/695.49 c 2638193 3726320 1114194143 1510625175 1520 5447 34 49 40
754.77/755.07 c 2902077 4085068 1225345244 1665003533 1520 5466 21 33 28
823.85/824.11 c 3192349 4485759 1345955315 1834275266 1520 5503 21 35 28
899.14/899.46 c 3511648 4925714 1480213742 2022142983 1520 5534 21 35 28
991.01/991.36 c 3862876 5423700 1632317648 2232388520 1520 5572 23 35 30
1077.19/1077.54 c 4249226 5932318 1791726274 2453027859 1520 5612 20 31 26
1164.57/1165.00 c 4674211 6502317 1969682416 2696144967 1520 5639 19 31 27
1290.24/1290.65 c 5141694 7174150 2173220277 2981507873 1520 5671 23 35 31
1396.72/1397.12 c 5655925 7840888 2385614744 3272137821 1520 5699 18 31 24
1529.78/1530.26 c 6221579 8621829 2625481966 3605904223 1520 5744 22 33 28
1709.94/1710.41 c 6843798 9550482 2899472914 3992093927 1520 5771 25 41 33
1867.70/1868.20 c 7528238 10489989 3190916760 4391765456 1520 5794 22 33 29
2045.35/2046.00 c 8281122 11542962 3509328362 4834166610 1520 5832 22 33 29
2238.10/2238.77 c 9109294 12654443 3861981116 5316255613 1520 5855 19 31 27
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-4242329-1500657531/watcher-4242329-1500657531 -o /tmp/evaluation-result-4242329-1500657531/solver-4242329-1500657531 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2503 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242329-1500657531.xml
pid=4680
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4683
/proc/meminfo: memFree=31743680/32770624 swapFree=5792/21320
[pid=4683] ppid=4680 vsize=27784 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 1146 0 0 0 1 0 0 0 20 0 1 0 1020477 28450816 964 33554432000 4194304 5970956 140722544812320 140722544808920 139824936287205 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 6946 964 702 434 0 310 0
[startup+0.100105 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4683
/proc/meminfo: memFree=31743680/32770624 swapFree=5792/21320
[pid=4683] ppid=4680 vsize=56164 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 7350 0 0 0 8 1 0 0 20 0 1 0 1020477 57511936 7171 33554432000 4194304 5970956 140722544812320 140722544796072 5279679 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 14078 7171 837 434 0 7442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56164
[startup+0.200387 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4683
/proc/meminfo: memFree=31743680/32770624 swapFree=5792/21320
[pid=4683] ppid=4680 vsize=102640 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 16804 0 0 0 17 2 0 0 20 0 1 0 1020477 105103360 19145 33554432000 4194304 5970956 140722544812320 140722544809448 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 25660 19145 837 434 0 19024 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 102640
[startup+0.300351 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4683
/proc/meminfo: memFree=31743680/32770624 swapFree=5792/21320
[pid=4683] ppid=4680 vsize=170448 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 26693 0 0 0 26 3 0 0 20 0 1 0 1020477 174538752 34696 33554432000 4194304 5970956 140722544812320 140722544809144 139824936287205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 42612 34696 837 434 0 35976 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 170448
[startup+0.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4683
/proc/meminfo: memFree=31743680/32770624 swapFree=5792/21320
[pid=4683] ppid=4680 vsize=485968 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 59581 0 0 0 60 9 0 0 20 0 1 0 1020477 497631232 93658 33554432000 4194304 5970956 140722544812320 140722544809144 139824936287205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 121492 93658 837 434 0 114856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 485968
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=31136036/32770624 swapFree=5792/21308
[pid=4683] ppid=4680 vsize=909824 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 121515 0 0 0 130 19 0 0 20 0 1 0 1020477 931659776 210734 33554432000 4194304 5970956 140722544812320 140722544809144 139824936356395 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 227456 210734 837 434 0 220820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 909824
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=30495712/32770624 swapFree=5792/21308
[pid=4683] ppid=4680 vsize=2066000 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 244150 0 0 0 267 42 0 0 20 0 1 0 1020477 2115584000 442985 33554432000 4194304 5970956 140722544812320 140722544809144 139824936282942 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 516500 442985 837 434 0 509864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2066000
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=29246648/32770624 swapFree=5792/21336
[pid=4683] ppid=4680 vsize=3114152 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 353356 0 0 0 567 62 0 0 20 0 1 0 1020477 3188891648 623570 33554432000 4194304 5970956 140722544812320 140722544809656 4971807 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778538 623570 854 434 0 771902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3114152
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=29245696/32770624 swapFree=5792/21340
[pid=4683] ppid=4680 vsize=3114676 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 367950 0 0 0 1206 62 0 0 20 0 1 0 1020477 3189428224 623679 33554432000 4194304 5970956 140722544812320 140722544809656 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623679 854 434 0 772033 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3114676
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=29245556/32770624 swapFree=5792/21352
[pid=4683] ppid=4680 vsize=3114676 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 389478 0 0 0 2485 63 0 0 20 0 1 0 1020477 3189428224 623680 33554432000 4194304 5970956 140722544812320 140722544809656 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623680 854 434 0 772033 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3114676
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4684
/proc/meminfo: memFree=29245880/32770624 swapFree=5792/21388
[pid=4683] ppid=4680 vsize=3114676 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 406133 0 0 0 5043 64 0 0 20 0 1 0 1020477 3189428224 623681 33554432000 4194304 5970956 140722544812320 140722544809656 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623681 854 434 0 772033 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3114676
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4692
/proc/meminfo: memFree=29245592/32770624 swapFree=5792/21472
[pid=4683] ppid=4680 vsize=3114676 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 424900 0 0 0 10161 66 0 0 20 0 1 0 1020477 3189428224 623683 33554432000 4194304 5970956 140722544812320 140722544809656 4970992 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623683 854 434 0 772033 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3114676
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4693
/proc/meminfo: memFree=29246580/32770624 swapFree=5792/21536
[pid=4683] ppid=4680 vsize=3114676 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 441551 0 0 0 16158 66 0 0 20 0 1 0 1020477 3189428224 623684 33554432000 4194304 5970956 140722544812320 140722544809656 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623684 854 434 0 772033 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3114676
[startup+222.308 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4694
/proc/meminfo: memFree=29246464/32770624 swapFree=5792/21584
[pid=4683] ppid=4680 vsize=3114676 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 456959 0 0 0 22157 68 0 0 20 0 1 0 1020477 3189428224 623685 33554432000 4194304 5970956 140722544812320 140722544809656 5025397 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623685 854 434 0 772033 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3114676
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4695
/proc/meminfo: memFree=29245420/32770624 swapFree=5792/21632
[pid=4683] ppid=4680 vsize=3114676 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 470821 0 0 0 28153 69 0 0 20 0 1 0 1020477 3189428224 623685 33554432000 4194304 5970956 140722544812320 140722544809656 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623685 854 434 0 772033 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 3114676
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4696
/proc/meminfo: memFree=29239876/32770624 swapFree=5792/21672
[pid=4683] ppid=4680 vsize=3114676 CPUtime=342.18 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 480978 0 0 0 34149 69 0 0 20 0 1 0 1020477 3189428224 623685 33554432000 4194304 5970956 140722544812320 140722544809656 4908512 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623685 854 434 0 772033 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 3114676
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4698
/proc/meminfo: memFree=29240152/32770624 swapFree=5792/21740
[pid=4683] ppid=4680 vsize=3114676 CPUtime=402.16 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 489676 0 0 0 40146 70 0 0 20 0 1 0 1020477 3189428224 623686 33554432000 4194304 5970956 140722544812320 140722544809656 4969956 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623686 854 434 0 772033 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 3114676
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=29239816/32770624 swapFree=5792/21788
[pid=4683] ppid=4680 vsize=3114676 CPUtime=462.15 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 498966 0 0 0 46144 71 0 0 20 0 1 0 1020477 3189428224 623687 33554432000 4194304 5970956 140722544812320 140722544809656 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623687 854 434 0 772033 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 3114676
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4700
/proc/meminfo: memFree=29239720/32770624 swapFree=5792/21824
[pid=4683] ppid=4680 vsize=3114676 CPUtime=522.13 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 505791 0 0 0 52142 71 0 0 20 0 1 0 1020477 3189428224 623687 33554432000 4194304 5970956 140722544812320 140722544809656 4930654 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623687 854 434 0 772033 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 3114676
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4702
/proc/meminfo: memFree=29239784/32770624 swapFree=5792/21876
[pid=4683] ppid=4680 vsize=3114676 CPUtime=582.11 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 511964 0 0 0 58140 71 0 0 20 0 1 0 1020477 3189428224 623687 33554432000 4194304 5970956 140722544812320 140722544809656 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623687 854 434 0 772033 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 3114676
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4733
/proc/meminfo: memFree=29238528/32770624 swapFree=5792/22532
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1541.88 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 602808 0 0 0 154112 76 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 3114676
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4734
/proc/meminfo: memFree=29239072/32770624 swapFree=5792/22580
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1601.86 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 605155 0 0 0 160110 76 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4977066 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 3114676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4735
/proc/meminfo: memFree=29239072/32770624 swapFree=5792/22608
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1661.85 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 607550 0 0 0 166108 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4971632 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 3114676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4736
/proc/meminfo: memFree=29239320/32770624 swapFree=5792/22648
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1721.83 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 610236 0 0 0 172106 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 5031428 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 3114676
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/242 4737
/proc/meminfo: memFree=29239832/32770624 swapFree=5792/22684
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1781.82 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 612578 0 0 0 178105 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4930544 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 3114676
[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 4739
/proc/meminfo: memFree=29239064/32770624 swapFree=5792/22696
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1841.8 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 614898 0 0 0 184103 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4971291 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1841.8
Current children cumulated vsize (KiB) 3114676
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4747
/proc/meminfo: memFree=29238172/32770624 swapFree=5792/22748
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1901.79 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 617597 0 0 0 190102 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 3114676
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4814
/proc/meminfo: memFree=29655484/32770624 swapFree=5792/22820
[pid=4683] ppid=4680 vsize=3114676 CPUtime=1961.77 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 619901 0 0 0 196100 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 5337479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 3114676
[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 4815
/proc/meminfo: memFree=29654424/32770624 swapFree=5792/22900
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2021.76 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 622292 0 0 0 202099 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4969752 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 3114676
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4816
/proc/meminfo: memFree=29653924/32770624 swapFree=5792/22944
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2081.75 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 624970 0 0 0 208098 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 3114676
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4817
/proc/meminfo: memFree=29653544/32770624 swapFree=5792/22992
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2141.73 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 627290 0 0 0 214096 77 0 0 20 0 1 0 1020477 3189428224 623696 33554432000 4194304 5970956 140722544812320 140722544809656 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 623696 854 434 0 772033 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 3114676
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4819
/proc/meminfo: memFree=29651916/32770624 swapFree=5792/23040
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2201.72 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 628508 0 0 0 220095 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 4977828 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 3114676
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4820
/proc/meminfo: memFree=29651784/32770624 swapFree=5792/23092
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2261.7 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 629791 0 0 0 226093 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 5093172 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 3114676
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4821
/proc/meminfo: memFree=29651528/32770624 swapFree=5792/23132
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2321.68 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 630956 0 0 0 232091 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 4976717 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 3114676
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4823
/proc/meminfo: memFree=29651900/32770624 swapFree=5792/23180
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2381.67 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 632053 0 0 0 238090 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 3114676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4889
/proc/meminfo: memFree=29447460/32770624 swapFree=5792/23216
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 632078 0 0 0 239929 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 3114676
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 4683 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4889
/proc/meminfo: memFree=29447460/32770624 swapFree=5792/23216
[pid=4683] ppid=4680 vsize=3114676 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/4683/stat : 4683 (cosoco) R 4680 4683 2471 0 -1 4202496 632078 0 0 0 239929 77 0 0 20 0 1 0 1020477 3189428224 624096 33554432000 4194304 5970956 140722544812320 140722544809656 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 40697856 140722544817340 140722544817475 140722544817475 140722544820174 0
/proc/4683/statm: 778669 624096 854 434 0 772033 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 3114676
Child status: 1
Real time (s): 2400.71
CPU time (s): 2400.09
CPU user time (s): 2399.3
CPU system time (s): 0.789805
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 3114676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 0.789805
maximum resident set size= 2496432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632102
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= 67
involuntary context switches= 120652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13019 second user time and 11.3348 second system time
The end