0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c intension hd[0]<ad[0] using generic constraint
0.00/0.05 c intension hd[1]<ad[1] using generic constraint
0.00/0.05 c intension hd[2]<ad[2] using generic constraint
0.00/0.05 c intension hd[3]<ad[3] using generic constraint
0.00/0.05 c intension hd[4]<ad[4] using generic constraint
0.00/0.05 c intension hd[5]<ad[5] using generic constraint
0.00/0.05 c intension hd[6]<ad[6] using generic constraint
0.00/0.05 c intension hd[7]<ad[7] using generic constraint
0.00/0.05 c intension hd[8]<ad[8] using generic constraint
0.00/0.05 c intension hd[9]<ad[9] using generic constraint
0.00/0.05 c intension hd[10]<ad[10] using generic constraint
0.00/0.05 c intension hd[11]<ad[11] using generic constraint
0.00/0.05 c intension hd[12]<ad[12] using generic constraint
0.00/0.05 c intension hd[13]<ad[13] using generic constraint
0.00/0.05 c intension hd[14]<ad[14] using generic constraint
0.00/0.05 c intension hd[15]<ad[15] using generic constraint
4.29/4.33 c SAT : Variables: 278784 -- Clauses: 61398384
4.38/4.40 c root propagations : 11855
4.38/4.40 c restarts enabled, print stats at every restarts
4.38/4.40 c
4.38/4.40 c
4.38/4.40 c
4.38/4.40 c This is cosoco 1.12 --
4.38/4.40 c
4.38/4.40 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266412-1502583611.xml
4.38/4.40 c ========================================[ Problem Statistics ]===========================================
4.38/4.40 c |
4.38/4.40 c | Parse time : 3.69 s
4.38/4.40 c |
4.38/4.40 c | Variables: 1520
4.38/4.40 c | Domain Sizes: 32..496
4.38/4.40 c |
4.38/4.40 c | Constraints: 2128
4.38/4.40 c | Arity: 1..496 -- Unary: 16 -- Binary: 16 -- Ternary: 496
4.38/4.40 c |
4.38/4.40 c | Types:
4.38/4.40 c | (X - Y < k): 16
4.38/4.40 c | All Different: 33
4.38/4.40 c | At least: 512
4.38/4.40 c | At most: 512
4.38/4.40 c | Exactly K: 543
4.38/4.40 c | Extension: 496 (nb tuples: 496..496) -- (shared: 495)
4.38/4.40 c | Intension: 16
4.38/4.40 c |
4.38/4.40 c =========================================================================================================
4.38/4.40 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
4.38/4.42 c 10 104 119760 27181 1520 10 87 95 83
4.38/4.47 c 20 294 177829 56291 1520 13 1 180 143
4.49/4.52 c 30 485 237156 85649 1520 18 50 180 139
4.49/4.55 c 40 602 275112 101605 1520 22 18 103 85
4.49/4.57 c 50 717 316665 117771 1520 27 53 103 84
4.59/4.60 c 60 830 355945 133629 1520 33 50 100 82
4.59/4.62 c 70 934 388856 146756 1520 37 53 91 78
4.59/4.64 c 80 1039 424180 160635 1520 41 50 91 78
4.59/4.66 c 90 1142 455582 171426 1520 49 59 91 68
4.59/4.68 c 100 1247 492309 185551 1520 53 89 91 81
4.59/4.69 c 101 1249 495715 186645 1520 54 2 2 1
4.69/4.71 c 110 1350 529657 199633 1520 57 1 91 71
4.69/4.73 c 120 1452 561536 213525 1520 61 50 91 77
4.69/4.75 c 130 1559 594399 227619 1520 66 50 91 78
4.69/4.77 c 140 1664 627081 241697 1520 71 2 91 73
4.69/4.79 c 150 1769 660907 256063 1520 76 2 91 73
4.79/4.81 c 160 1874 692927 270085 1520 81 2 91 73
4.79/4.83 c 170 1979 726627 284207 1520 86 2 91 73
4.79/4.85 c 180 2084 759907 298344 1520 91 2 91 73
4.79/4.87 c 190 2184 791822 312143 1520 93 2 89 73
4.79/4.89 c 200 2285 823218 326182 1520 95 87 89 80
4.89/4.91 c 210 2393 856364 341159 1520 101 50 91 78
4.89/4.92 c 211 2395 859643 342192 1520 102 2 2 1
4.89/4.94 c 220 2496 892657 354880 1520 105 1 91 71
4.89/4.95 c 230 2604 927269 369409 1520 110 89 91 82
4.89/4.97 c 240 2707 957665 383775 1520 115 89 91 81
4.89/4.99 c 250 2807 991272 397430 1520 117 50 89 77
5.00/5.01 c 260 2907 1023418 411109 1520 119 50 89 77
5.00/5.03 c 270 3010 1055047 425098 1520 124 89 91 81
5.00/5.05 c 280 3115 1086876 439202 1520 130 50 91 78
5.00/5.06 c 290 3220 1119222 453394 1520 134 89 91 81
5.00/5.08 c 300 3323 1151441 467847 1520 139 89 91 81
5.00/5.10 c 310 3423 1182517 481518 1520 141 50 89 77
5.10/5.12 c 320 3526 1215377 495555 1520 146 50 91 77
5.10/5.14 c 330 3629 1247378 509662 1520 151 89 91 81
5.10/5.15 c 332 3721 1275890 518339 1520 153 50 91 47
5.10/5.17 c 340 3815 1306979 530024 1520 158 85 87 76
5.10/5.19 c 350 3912 1341474 543931 1520 162 86 86 78
5.19/5.20 c 360 4012 1376803 558610 1520 166 88 88 80
5.19/5.22 c 370 4112 1412045 573169 1520 170 88 88 80
5.19/5.24 c 380 4210 1447360 587966 1520 174 86 86 78
5.19/5.26 c 390 4281 1479921 602442 1520 178 57 59 52
5.19/5.27 c 400 4348 1511600 616379 1520 182 56 56 50
5.19/5.28 c 410 4416 1543183 630197 1520 186 57 57 51
5.29/5.30 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.33 c 440 4632 1639839 672900 1520 198 62 62 56
5.29/5.35 c 450 4700 1671373 687371 1520 202 56 56 50
5.29/5.36 c 460 4768 1703539 701808 1520 206 56 56 50
5.29/5.37 c 465 4827 1733205 712674 1520 208 54 54 45
5.29/5.39 c 470 4890 1762532 723562 1520 210 56 58 47
5.39/5.40 c 480 4955 1793373 736521 1520 214 52 56 49
5.39/5.42 c 490 5017 1823491 749877 1520 216 52 52 47
5.39/5.43 c 500 5077 1853498 763247 1520 221 50 50 45
5.39/5.44 c 510 5140 1884256 776214 1520 227 52 54 48
5.39/5.45 c 520 5206 1909395 789738 1520 231 55 55 50
5.39/5.47 c 530 5269 1939700 802761 1520 233 53 53 48
5.39/5.48 c 540 5329 1969907 816137 1520 238 50 50 45
5.49/5.50 c 550 5394 1999995 830147 1520 242 54 54 49
5.49/5.51 c 560 5459 2031379 844084 1520 245 52 54 48
5.49/5.52 c 570 5521 2062174 857383 1520 247 52 52 47
5.49/5.54 c 580 5583 2092491 870751 1520 249 52 52 47
5.49/5.55 c 590 5645 2122884 884179 1520 251 52 52 47
5.49/5.56 c 600 5710 2153787 898179 1520 255 54 54 49
5.49/5.58 c 610 5775 2183934 912124 1520 259 54 54 49
5.49/5.59 c 611 5825 2211140 920739 1520 260 50 50 25
5.59/5.61 c 620 5886 2240373 933768 1520 265 52 52 46
5.59/5.62 c 630 5946 2270345 947077 1520 270 48 50 44
5.59/5.63 c 640 6006 2299626 960464 1520 275 50 50 45
5.59/5.65 c 650 6066 2329337 973843 1520 280 50 50 45
5.59/5.66 c 660 6126 2358549 987165 1520 285 50 50 45
5.59/5.67 c 670 6187 2387384 1000040 1520 291 50 52 46
5.59/5.69 c 680 6247 2417216 1013600 1520 296 50 50 45
5.69/5.70 c 690 6305 2446380 1027084 1520 300 48 48 43
5.69/5.71 c 700 6365 2476088 1040704 1520 305 50 50 45
5.69/5.73 c 710 6427 2505488 1054141 1520 307 52 52 47
5.69/5.74 c 720 6487 2534814 1067563 1520 312 50 50 45
5.69/5.75 c 730 6549 2563647 1080590 1520 318 28 52 45
5.69/5.76 c 740 6605 2591666 1093962 1520 321 46 46 41
5.69/5.78 c 750 6665 2618691 1107504 1520 326 50 50 45
5.69/5.79 c 760 6721 2648530 1120982 1520 329 46 46 41
5.79/5.81 c 770 6782 2678485 1134126 1520 335 50 52 46
5.79/5.82 c 771 6834 2704379 1142488 1520 336 52 52 26
5.79/5.83 c 780 6893 2731585 1155523 1520 340 50 50 45
5.79/5.84 c 790 6957 2761134 1169071 1520 342 52 54 48
5.79/5.86 c 800 7016 2790066 1182097 1520 346 48 50 44
5.79/5.87 c 810 7075 2813910 1195096 1520 350 49 49 44
5.79/5.89 c 820 7132 2842638 1208007 1520 353 18 47 40
5.89/5.90 c 830 7188 2870300 1221267 1520 356 46 46 41
5.89/5.91 c 840 7244 2899019 1234502 1520 359 46 46 41
5.89/5.92 c 850 7299 2927763 1246838 1520 361 22 46 39
5.89/5.94 c 860 7356 2952798 1259793 1520 364 2 47 38
5.89/5.95 c 870 7415 2979124 1272627 1520 368 49 49 44
5.89/5.96 c 880 7473 3007162 1285943 1520 372 48 48 43
5.89/5.98 c 890 7533 3036032 1299280 1520 377 50 50 45
5.89/5.99 c 900 7593 3064760 1312740 1520 382 50 50 45
5.89/6.00 c 910 7649 3092356 1326005 1520 385 46 46 41
6.00/6.02 c 920 7705 3120759 1339312 1520 388 46 46 41
6.00/6.03 c 930 7763 3148693 1352781 1520 392 48 48 43
6.00/6.04 c 940 7821 3175905 1366155 1520 396 48 48 43
6.00/6.05 c 947 7875 3203952 1377380 1520 397 48 48 42
6.00/6.06 c 950 7923 3229251 1386663 1520 400 46 46 34
6.00/6.08 c 960 7974 3256797 1399319 1520 401 42 42 38
6.00/6.09 c 970 8028 3284895 1412632 1520 403 44 44 40
6.00/6.10 c 980 8083 3312352 1425657 1520 405 44 46 41
6.10/6.12 c 990 8137 3336338 1438128 1520 407 2 45 37
6.10/6.13 c 1000 8192 3363028 1451029 1520 410 44 46 41
6.10/6.14 c 1010 8250 3389931 1464302 1520 414 48 48 43
6.10/6.15 c 1020 8308 3416734 1477698 1520 418 48 48 43
6.10/6.17 c 1030 8364 3445208 1490949 1520 421 46 46 41
6.10/6.18 c 1040 8415 3472767 1503672 1520 422 42 42 38
6.10/6.19 c 1050 8471 3500266 1516988 1520 425 46 46 41
6.19/6.20 c 1060 8525 3527023 1530241 1520 427 44 44 40
6.19/6.21 c 1070 8579 3554672 1543504 1520 429 44 44 40
6.19/6.23 c 1080 8630 3580373 1556254 1520 430 42 42 38
6.19/6.24 c 1090 8684 3607606 1569530 1520 432 44 44 40
6.19/6.25 c 1100 8740 3633721 1582742 1520 435 46 46 41
6.19/6.26 c 1110 8796 3661644 1595966 1520 438 46 46 41
6.19/6.27 c 1120 8847 3687852 1608660 1520 439 42 42 38
6.19/6.29 c 1130 8905 3714597 1622196 1520 443 48 48 43
6.29/6.30 c 1140 8959 3741149 1635505 1520 445 44 44 40
6.29/6.31 c 1141 9005 3764274 1643878 1520 446 46 46 23
6.29/6.32 c 1150 9054 3787745 1655783 1520 455 41 41 36
6.29/6.33 c 1160 9105 3813309 1668677 1520 456 42 42 38
6.29/6.35 c 1170 9159 3840430 1681929 1520 458 44 44 40
6.29/6.36 c 1180 9215 3867322 1695153 1520 461 46 46 41
6.29/6.37 c 1190 9271 3894895 1708348 1520 464 46 46 41
6.29/6.38 c 1200 9325 3921941 1721573 1520 466 44 44 40
6.29/6.39 c 1210 9376 3947115 1734347 1520 467 42 42 38
6.39/6.40 c 1220 9425 3974475 1746889 1520 477 40 40 36
6.39/6.42 c 1230 9474 4000537 1759633 1520 487 40 40 36
6.39/6.43 c 1240 9525 4026178 1772323 1520 488 42 42 38
6.39/6.44 c 1250 9576 4052028 1785054 1520 489 42 42 38
6.39/6.45 c 1260 9627 4077602 1797866 1520 490 42 42 38
6.39/6.46 c 1270 9683 4104202 1811064 1520 493 46 46 41
6.39/6.48 c 1280 9739 4130120 1824322 1520 496 46 46 41
6.39/6.49 c 1290 9795 4157267 1837556 1520 499 44 46 41
6.49/6.50 c 1300 9846 4183240 1850310 1520 509 42 42 38
6.49/6.51 c 1310 9896 4205852 1862486 1520 519 41 41 37
6.49/6.52 c 1320 9947 4232054 1875103 1520 520 42 42 38
6.49/6.53 c 1330 9996 4258056 1887667 1520 530 40 40 36
6.49/6.54 c 1340 10050 4283975 1901051 1520 532 44 44 40
6.49/6.55 c 1350 10101 4309461 1913863 1520 533 42 42 38
6.49/6.56 c 1352 10144 4332937 1922624 1520 535 42 42 28
6.49/6.58 c 1360 10191 4358991 1934258 1520 543 40 40 35
6.49/6.59 c 1370 10240 4384702 1946834 1520 553 40 40 36
6.59/6.60 c 1380 10287 4410275 1959527 1520 563 38 38 34
6.59/6.61 c 1390 10336 4436277 1972091 1520 573 40 40 36
6.59/6.62 c 1400 10387 4462063 1985021 1520 574 42 42 38
6.59/6.63 c 1410 10438 4487731 1997824 1520 575 42 42 38
6.59/6.65 c 1420 10489 4513242 2010576 1520 576 42 42 38
6.59/6.66 c 1430 10545 4539436 2023919 1520 579 46 46 41
6.59/6.67 c 1440 10596 4565841 2036579 1520 580 42 42 38
6.59/6.68 c 1450 10645 4590579 2049214 1520 590 40 40 36
6.59/6.69 c 1460 10694 4615590 2062031 1520 600 40 40 36
6.69/6.70 c 1470 10743 4640397 2074876 1520 610 40 40 36
6.69/6.72 c 1480 10797 4666062 2088141 1520 612 44 44 40
6.69/6.73 c 1490 10846 4692260 2100711 1520 622 40 40 36
6.69/6.74 c 1500 10897 4717843 2113392 1520 623 42 42 38
6.69/6.75 c 1510 10944 4742965 2126029 1520 633 38 38 34
6.69/6.76 c 1520 10991 4768187 2138674 1520 643 38 38 34
6.69/6.77 c 1530 11040 4794249 2151418 1520 653 40 40 36
6.69/6.78 c 1540 11089 4819150 2164073 1520 663 40 40 36
6.69/6.79 c 1550 11134 4845336 2176505 1520 673 36 36 32
6.79/6.80 c 1560 11181 4871194 2189128 1520 683 38 38 34
6.79/6.81 c 1570 11230 4896978 2201811 1520 693 40 40 36
6.79/6.83 c 1580 11281 4922183 2214567 1520 694 42 42 38
6.79/6.84 c 1585 11327 4946805 2224706 1520 699 42 42 35
6.79/6.85 c 1590 11369 4971322 2235000 1520 704 38 38 31
6.79/6.86 c 1600 11416 4996853 2247671 1520 714 38 38 34
6.79/6.87 c 1610 11461 5021997 2260292 1520 724 36 36 32
6.79/6.88 c 1620 11506 5047031 2272941 1520 734 36 36 32
6.79/6.89 c 1630 11555 5071678 2285546 1520 744 40 40 36
6.89/6.90 c 1640 11604 5096382 2298210 1520 754 40 40 36
6.89/6.91 c 1650 11649 5122568 2310637 1520 764 36 36 32
6.89/6.93 c 1660 11698 5147309 2323232 1520 774 40 40 36
6.89/6.94 c 1670 11745 5172631 2335817 1520 784 38 38 34
6.89/6.95 c 1680 11794 5197338 2348602 1520 794 40 40 36
6.89/6.96 c 1690 11843 5222366 2361317 1520 804 40 40 36
6.89/6.97 c 1700 11892 5247144 2374102 1520 814 40 40 36
6.89/6.98 c 1710 11939 5272657 2386735 1520 824 38 38 34
6.89/6.99 c 1720 11986 5298558 2399228 1520 834 38 38 34
6.89/7.00 c 1730 12033 5324062 2411791 1520 844 38 38 34
7.00/7.01 c 1740 12080 5350217 2424441 1520 854 38 38 34
7.00/7.02 c 1750 12123 5375874 2436870 1520 864 34 34 30
7.00/7.04 c 1760 12168 5402236 2449491 1520 874 36 36 32
7.00/7.05 c 1770 12211 5428149 2461960 1520 884 34 34 30
7.00/7.06 c 1780 12256 5453077 2474549 1520 894 36 36 32
7.00/7.07 c 1790 12303 5478299 2487074 1520 904 38 38 34
7.00/7.08 c 1800 12348 5503478 2499592 1520 914 36 36 32
7.00/7.09 c 1810 12395 5529051 2512165 1520 924 38 38 34
7.00/7.10 c 1820 12440 5553979 2524625 1520 934 36 36 32
7.10/7.11 c 1830 12485 5579001 2537084 1520 944 36 36 32
7.10/7.12 c 1840 12532 5604514 2549717 1520 954 38 38 34
7.10/7.13 c 1841 12566 5628480 2557741 1520 955 34 34 17
7.10/7.14 c 1850 12610 5653667 2569755 1520 964 36 36 32
7.10/7.15 c 1860 12655 5678789 2582334 1520 974 36 36 32
7.10/7.16 c 1870 12698 5704638 2594831 1520 984 34 34 30
7.10/7.18 c 1880 12743 5730897 2607319 1520 994 36 36 32
7.10/7.19 c 1890 12786 5756654 2619872 1520 1004 34 34 30
7.19/7.20 c 1900 12831 5782988 2632523 1520 1014 36 36 32
7.19/7.21 c 1910 12876 5808922 2645062 1520 1024 36 36 32
7.19/7.22 c 1920 12917 5834476 2657465 1520 1034 32 32 29
7.19/7.23 c 1930 12960 5860329 2669994 1520 1044 34 34 30
7.19/7.24 c 1940 13005 5885363 2682643 1520 1054 36 36 32
7.19/7.25 c 1950 13050 5910291 2695112 1520 1064 36 36 32
7.19/7.26 c 1960 13095 5935413 2707571 1520 1074 36 36 32
7.19/7.27 c 1970 13138 5961107 2719947 1520 1084 34 34 30
7.19/7.28 c 1980 13183 5986035 2732416 1520 1094 36 36 32
7.19/7.29 c 1990 13228 6011217 2744926 1520 1104 36 36 32
7.29/7.31 c 2000 13273 6036145 2757515 1520 1114 36 36 32
7.29/7.32 c 2010 13318 6061461 2769964 1520 1124 36 36 32
7.29/7.33 c 2020 13359 6086984 2782457 1520 1134 32 32 29
7.29/7.34 c 2030 13406 6112206 2794974 1520 1144 38 38 34
7.29/7.35 c 2040 13453 6138107 2807587 1520 1154 38 38 34
7.29/7.36 c 2050 13496 6163804 2819948 1520 1164 34 34 30
7.29/7.37 c 2060 13537 6189207 2832372 1520 1174 32 32 29
7.29/7.38 c 2070 13578 6214570 2844745 1520 1184 32 32 29
7.29/7.39 c 2080 13619 6240212 2857328 1520 1194 32 32 29
7.39/7.40 c 2090 13662 6266159 2869797 1520 1204 34 34 30
7.39/7.41 c 2100 13707 6291193 2882446 1520 1214 36 36 32
7.39/7.42 c 2110 13752 6316121 2894915 1520 1224 36 36 32
7.39/7.43 c 2120 13793 6341524 2907288 1520 1234 32 32 29
7.39/7.44 c 2122 13830 6364857 2915828 1520 1236 36 36 24
7.39/7.45 c 2130 13871 6390216 2927279 1520 1244 34 34 30
7.39/7.46 c 2140 13912 6415679 2939643 1520 1254 32 32 29
7.39/7.47 c 2150 13957 6440761 2952162 1520 1264 36 36 32
7.39/7.48 c 2160 13998 6466261 2964534 1520 1274 32 32 29
7.39/7.50 c 2170 14041 6492118 2977143 1520 1284 34 34 30
7.49/7.51 c 2180 14082 6517591 2989516 1520 1294 32 32 29
7.49/7.52 c 2190 14127 6543161 3002015 1520 1304 36 36 32
7.49/7.53 c 2200 14168 6568706 3014448 1520 1314 32 32 29
7.49/7.54 c 2210 14211 6594491 3026989 1520 1324 34 34 30
7.49/7.55 c 2220 14252 6619894 3039413 1520 1334 32 32 29
7.49/7.56 c 2230 14293 6645197 3051726 1520 1344 32 32 29
7.49/7.57 c 2240 14334 6670811 3064189 1520 1354 32 32 29
7.49/7.58 c 2250 14375 6696540 3076774 1520 1364 32 32 29
7.49/7.59 c 2260 14416 6721943 3089207 1520 1374 32 32 29
7.59/7.60 c 2270 14457 6747346 3101520 1520 1384 32 32 29
7.59/7.61 c 2280 14482 6772685 3113817 1520 1394 16 16 14
7.59/7.62 c 2290 14511 6797709 3126381 1520 1404 20 20 18
7.59/7.63 c 2300 14536 6823008 3138738 1520 1414 16 16 14
7.59/7.64 c 2310 14563 6848641 3151095 1520 1424 18 18 16
7.59/7.65 c 2320 14588 6874037 3163451 1520 1434 16 16 14
7.59/7.66 c 2330 14617 6899459 3176124 1520 1444 20 20 18
7.59/7.67 c 2340 14642 6924798 3188421 1520 1454 16 16 14
7.59/7.68 c 2350 14669 6950491 3200950 1520 1464 18 18 16
7.59/7.69 c 2360 14694 6975972 3213367 1520 1474 16 16 14
7.69/7.70 c 2370 14719 7001399 3225724 1520 1484 16 16 14
7.69/7.71 c 2380 14744 7026738 3238132 1520 1494 16 16 14
7.69/7.72 c 2390 14769 7051977 3250429 1520 1504 16 16 14
7.69/7.73 c 2400 14794 7077407 3262756 1520 1514 16 16 14
7.69/7.74 c 2410 14819 7103022 3275325 1520 1524 16 16 14
7.69/7.75 c 2420 14844 7128531 3287862 1520 1534 16 16 14
7.69/7.76 c 2430 14869 7153870 3300159 1520 1544 16 16 14
7.69/7.76 c 2431 14885 7177418 3308058 1520 1545 16 16 8
7.69/7.77 c 2440 14909 7202558 3319862 1520 1554 16 16 14
7.69/7.78 c 2450 14938 7227482 3332366 1520 1564 20 20 18
7.69/7.79 c 2460 14963 7252841 3344783 1520 1574 16 16 14
7.79/7.80 c 2470 14990 7278534 3357200 1520 1584 18 18 16
7.79/7.81 c 2480 15015 7303930 3369556 1520 1594 16 16 14
7.79/7.82 c 2490 15044 7329252 3382049 1520 1604 20 20 18
7.79/7.83 c 2500 15069 7354651 3394406 1520 1614 16 16 14
7.79/7.84 c 2510 15094 7380072 3406763 1520 1624 16 16 14
7.79/7.85 c 2520 15119 7405411 3419180 1520 1634 16 16 14
7.79/7.86 c 2530 15144 7430810 3431597 1520 1644 16 16 14
7.79/7.87 c 2540 15169 7456237 3444065 1520 1654 16 16 14
7.79/7.87 c 2550 15194 7481476 3456362 1520 1664 16 16 14
7.79/7.88 c 2560 15219 7506966 3468749 1520 1674 16 16 14
7.79/7.89 c 2570 15244 7532597 3481318 1520 1684 16 16 14
7.89/7.90 c 2580 15269 7558030 3493795 1520 1694 16 16 14
7.89/7.91 c 2590 15294 7583369 3506092 1520 1704 16 16 14
7.89/7.92 c 2600 15319 7608708 3518389 1520 1714 16 16 14
7.89/7.93 c 2610 15346 7634401 3530810 1520 1724 18 18 16
7.89/7.94 c 2620 15371 7659800 3543158 1520 1734 16 16 14
7.89/7.95 c 2630 15400 7684758 3555661 1520 1744 20 20 18
7.89/7.96 c 2640 15425 7710097 3568018 1520 1754 16 16 14
7.89/7.97 c 2650 15450 7735493 3580374 1520 1764 16 16 14
7.89/7.98 c 2660 15475 7760962 3592851 1520 1774 16 16 14
7.89/7.99 c 2670 15500 7786383 3605328 1520 1784 16 16 14
7.89/8.00 c 2680 15525 7811722 3617625 1520 1794 16 16 14
8.00/8.01 c 2690 15550 7837121 3629982 1520 1804 16 16 14
8.00/8.01 c 2700 15575 7862548 3642450 1520 1814 16 16 14
8.00/8.02 c 2710 15600 7887787 3654747 1520 1824 16 16 14
8.00/8.03 c 2720 15625 7913277 3667134 1520 1834 16 16 14
8.00/8.04 c 2730 15650 7938926 3679703 1520 1844 16 16 14
8.00/8.05 c 2740 15675 7964341 3692180 1520 1854 16 16 14
8.00/8.06 c 2750 15700 7989680 3704477 1520 1864 16 16 14
8.00/8.07 c 2760 15725 8015019 3716774 1520 1874 16 16 14
8.00/8.08 c 2770 15752 8040652 3729126 1520 1884 18 18 16
8.00/8.09 c 2771 15768 8064220 3737145 1520 1885 16 16 8
8.00/8.10 c 2780 15792 8089360 3749009 1520 1894 16 16 14
8.10/8.11 c 2790 15819 8115069 3761425 1520 1904 18 18 16
8.10/8.12 c 2800 15844 8140408 3773713 1520 1914 16 16 14
8.10/8.12 c 2810 15869 8165707 3786130 1520 1924 16 16 14
8.10/8.13 c 2820 15894 8191188 3798667 1520 1934 16 16 14
8.10/8.14 c 2830 15919 8216687 3811084 1520 1944 16 16 14
8.10/8.15 c 2840 15944 8242096 3823441 1520 1954 16 16 14
8.10/8.16 c 2850 15969 8267495 3835798 1520 1964 16 16 14
8.10/8.17 c 2860 15994 8292922 3848266 1520 1974 16 16 14
8.10/8.18 c 2870 16019 8318161 3860563 1520 1984 16 16 14
8.10/8.19 c 2880 16044 8343651 3873070 1520 1994 16 16 14
8.19/8.20 c 2890 16069 8369300 3885519 1520 2004 16 16 14
8.19/8.21 c 2900 16094 8394715 3897876 1520 2014 16 16 14
8.19/8.22 c 2910 16119 8420054 3910293 1520 2024 16 16 14
8.19/8.23 c 2920 16144 8445393 3922590 1520 2034 16 16 14
8.19/8.24 c 2930 16173 8470257 3935043 1520 2044 20 20 18
8.19/8.25 c 2940 16198 8495656 3947391 1520 2054 16 16 14
8.19/8.26 c 2950 16223 8521055 3959808 1520 2064 16 16 14
8.19/8.27 c 2960 16248 8546394 3972165 1520 2074 16 16 14
8.19/8.28 c 2970 16273 8571850 3984581 1520 2084 16 16 14
8.19/8.29 c 2980 16298 8597341 3997058 1520 2094 16 16 14
8.19/8.29 c 2990 16323 8622680 4009355 1520 2104 16 16 14
8.29/8.30 c 3000 16348 8648019 4021772 1520 2114 16 16 14
8.29/8.31 c 3010 16373 8673418 4034129 1520 2124 16 16 14
8.29/8.32 c 3020 16398 8698845 4046597 1520 2134 16 16 14
8.29/8.33 c 3030 16423 8724084 4058894 1520 2144 16 16 14
8.29/8.34 c 3040 16448 8749574 4071281 1520 2154 16 16 14
8.29/8.35 c 3050 16473 8775163 4083790 1520 2164 16 16 14
8.29/8.36 c 3060 16498 8800562 4096147 1520 2174 16 16 14
8.29/8.37 c 3070 16523 8825977 4108624 1520 2184 16 16 14
8.29/8.38 c 3080 16548 8851316 4120921 1520 2194 16 16 14
8.29/8.39 c 3090 16573 8876655 4133218 1520 2204 16 16 14
8.39/8.40 c 3100 16599 8903708 4146109 1520 2210 16 16 14
8.39/8.41 c 3110 16624 8929207 4158517 1520 2220 16 16 14
8.39/8.42 c 3120 16649 8954446 4170874 1520 2230 16 16 14
8.39/8.43 c 3130 16674 8979842 4183230 1520 2240 16 16 14
8.39/8.44 c 3140 16699 9005323 4195707 1520 2250 16 16 14
8.39/8.44 c 3142 16716 9029140 4204152 1520 2252 16 16 10
8.39/8.45 c 3150 16739 9054163 4215645 1520 2260 16 16 14
8.39/8.46 c 3160 16764 9079562 4228002 1520 2270 16 16 14
8.39/8.47 c 3170 16789 9104971 4240470 1520 2280 16 16 14
8.39/8.48 c 3180 16814 9130270 4252827 1520 2290 16 16 14
8.39/8.49 c 3190 16839 9155848 4265334 1520 2300 16 16 14
8.49/8.50 c 3200 16864 9181437 4277843 1520 2310 16 16 14
8.49/8.51 c 3210 16889 9206836 4290200 1520 2320 16 16 14
8.49/8.52 c 3220 16914 9232251 4302677 1520 2330 16 16 14
8.49/8.53 c 3230 16939 9257590 4314974 1520 2340 16 16 14
8.49/8.54 c 3240 16964 9282929 4327271 1520 2350 16 16 14
8.49/8.55 c 3250 16989 9308268 4339568 1520 2360 16 16 14
8.49/8.55 c 3260 17014 9333667 4351925 1520 2370 16 16 14
8.49/8.56 c 3270 17039 9359066 4364342 1520 2380 16 16 14
8.49/8.57 c 3280 17064 9384502 4376698 1520 2390 16 16 14
8.49/8.58 c 3290 17089 9409841 4388986 1520 2400 16 16 14
8.49/8.59 c 3300 17114 9435140 4401343 1520 2410 16 16 14
8.59/8.60 c 3310 17139 9460561 4413820 1520 2420 16 16 14
8.59/8.61 c 3320 17165 9487614 4426831 1520 2426 16 16 14
8.59/8.62 c 3330 17190 9512923 4439188 1520 2436 16 16 14
8.59/8.63 c 3340 17215 9538322 4451545 1520 2446 16 16 14
8.59/8.64 c 3350 17241 9565554 4464711 1520 2452 16 16 14
8.59/8.65 c 3360 17266 9591143 4477160 1520 2462 16 16 14
8.59/8.66 c 3370 17291 9616542 4489517 1520 2472 16 16 14
8.59/8.67 c 3380 17317 9643611 4502413 1520 2478 16 16 14
8.59/8.68 c 3390 17342 9668950 4514830 1520 2488 16 16 14
8.59/8.69 c 3400 17367 9694289 4527127 1520 2498 16 16 14
8.69/8.70 c 3410 17392 9719628 4539424 1520 2508 16 16 14
8.69/8.71 c 3420 17417 9745027 4551781 1520 2518 16 16 14
8.69/8.72 c 3430 17442 9770426 4564198 1520 2528 16 16 14
8.69/8.72 c 3440 17467 9795862 4576554 1520 2538 16 16 14
8.69/8.73 c 3450 17492 9821261 4588902 1520 2548 16 16 14
8.69/8.74 c 3460 17517 9846582 4601259 1520 2558 16 16 14
8.69/8.75 c 3470 17542 9871921 4613676 1520 2568 16 16 14
8.69/8.76 c 3480 17567 9897320 4626033 1520 2578 16 16 14
8.69/8.77 c 3490 17592 9922729 4638501 1520 2588 16 16 14
8.69/8.78 c 3500 17617 9948028 4650858 1520 2598 16 16 14
8.69/8.79 c 3510 17642 9973606 4663365 1520 2608 16 16 14
8.79/8.80 c 3520 17667 9999195 4675874 1520 2618 16 16 14
8.79/8.81 c 3530 17692 10024594 4688231 1520 2628 16 16 14
8.79/8.82 c 3540 17717 10048846 4700693 1520 2638 16 16 14
8.79/8.83 c 3550 17743 10075839 4713529 1520 2644 16 16 14
8.79/8.84 c 3551 17759 10099387 4721428 1520 2645 16 16 8
8.79/8.84 c 3560 17783 10124527 4733232 1520 2654 16 16 14
8.79/8.85 c 3570 17808 10149866 4745529 1520 2664 16 16 14
8.79/8.86 c 3580 17833 10175205 4757826 1520 2674 16 16 14
8.79/8.87 c 3590 17858 10200544 4770123 1520 2684 16 16 14
8.79/8.88 c 3600 17883 10225943 4782471 1520 2694 16 16 14
8.79/8.89 c 3610 17908 10251302 4794948 1520 2704 16 16 14
8.89/8.90 c 3620 17933 10276820 4807484 1520 2714 16 16 14
8.89/8.91 c 3630 17958 10302219 4819841 1520 2724 16 16 14
8.89/8.92 c 3640 17983 10327628 4832198 1520 2734 16 16 14
8.89/8.93 c 3650 18008 10353027 4844666 1520 2744 16 16 14
8.89/8.94 c 3660 18033 10378354 4857083 1520 2754 16 16 14
8.89/8.95 c 3670 18058 10403693 4869380 1520 2764 16 16 14
8.89/8.96 c 3680 18083 10429183 4881767 1520 2774 16 16 14
8.89/8.97 c 3690 18108 10454814 4894336 1520 2784 16 16 14
8.89/8.98 c 3700 18133 10480247 4906693 1520 2794 16 16 14
8.89/8.99 c 3710 18158 10505586 4919110 1520 2804 16 16 14
8.89/8.99 c 3720 18183 10530925 4931407 1520 2814 16 16 14
8.89/9.00 c 3730 18209 10557918 4944243 1520 2820 16 16 14
9.00/9.01 c 3740 18234 10583257 4956540 1520 2830 16 16 14
9.00/9.02 c 3750 18259 10608596 4968837 1520 2840 16 16 14
9.00/9.03 c 3760 18284 10633995 4981185 1520 2850 16 16 14
9.00/9.04 c 3770 18309 10659354 4993662 1520 2860 16 16 14
9.00/9.05 c 3780 18334 10684872 5006198 1520 2870 16 16 14
9.00/9.06 c 3790 18359 10710271 5018555 1520 2880 16 16 14
9.00/9.07 c 3800 18384 10735680 5030912 1520 2890 16 16 14
9.00/9.08 c 3810 18409 10761079 5043380 1520 2900 16 16 14
9.00/9.09 c 3820 18434 10786406 5055797 1520 2910 16 16 14
9.00/9.10 c 3830 18459 10811745 5068094 1520 2920 16 16 14
9.10/9.11 c 3840 18484 10837295 5080541 1520 2930 16 16 14
9.10/9.12 c 3850 18509 10862960 5093110 1520 2940 16 16 14
9.10/9.13 c 3860 18534 10888299 5105407 1520 2950 16 16 14
9.10/9.14 c 3870 18559 10913638 5117824 1520 2960 16 16 14
9.10/9.14 c 3880 18584 10938977 5130121 1520 2970 16 16 14
9.10/9.15 c 3890 18609 10963153 5142403 1520 2980 16 16 14
9.10/9.16 c 3900 18635 10990146 5155239 1520 2986 16 16 14
9.10/9.17 c 3910 18660 11015485 5167536 1520 2996 16 16 14
9.10/9.18 c 3920 18685 11040884 5179884 1520 3006 16 16 14
9.10/9.19 c 3930 18711 11067957 5192900 1520 3012 16 16 14
9.19/9.20 c 3940 18736 11093478 5205377 1520 3022 16 16 14
9.19/9.21 c 3950 18761 11118874 5217733 1520 3032 16 16 14
9.19/9.22 c 3960 18787 11145937 5230744 1520 3038 16 16 14
9.19/9.23 c 3970 18812 11171236 5243101 1520 3048 16 16 14
9.19/9.24 c 3980 18837 11196663 5255518 1520 3058 16 16 14
9.19/9.25 c 3990 18863 11223656 5268354 1520 3064 16 16 14
9.19/9.26 c 4000 18888 11249055 5280711 1520 3074 16 16 14
9.19/9.27 c 4001 18904 11272830 5288760 1520 3075 16 16 8
9.19/9.28 c 4010 18928 11298064 5300624 1520 3084 16 16 14
9.19/9.28 c 4020 18953 11323494 5312951 1520 3094 16 16 14
9.19/9.29 c 4030 18978 11348989 5325400 1520 3104 16 16 14
9.29/9.30 c 4040 19003 11374328 5337697 1520 3114 16 16 14
9.29/9.31 c 4050 19028 11399667 5349994 1520 3124 16 16 14
9.29/9.32 c 4060 19053 11425006 5362291 1520 3134 16 16 14
9.29/9.33 c 4070 19078 11450405 5374639 1520 3144 16 16 14
9.29/9.34 c 4080 19103 11475704 5387056 1520 3154 16 16 14
9.29/9.35 c 4090 19128 11501200 5399472 1520 3164 16 16 14
9.29/9.36 c 4100 19153 11526681 5411889 1520 3174 16 16 14
9.29/9.37 c 4110 19178 11552090 5424246 1520 3184 16 16 14
9.29/9.38 c 4120 19203 11577429 5436663 1520 3194 16 16 14
9.29/9.39 c 4130 19228 11602828 5449131 1520 3204 16 16 14
9.39/9.40 c 4140 19253 11628155 5461548 1520 3214 16 16 14
9.39/9.41 c 4150 19278 11653554 5474025 1520 3224 16 16 14
9.39/9.42 c 4160 19303 11679029 5486442 1520 3234 16 16 14
9.39/9.43 c 4170 19328 11704462 5498799 1520 3244 16 16 14
9.39/9.44 c 4180 19354 11731546 5511665 1520 3250 16 16 14
9.39/9.44 c 4190 19379 11757041 5523994 1520 3260 16 16 14
9.39/9.45 c 4200 19404 11782380 5536291 1520 3270 16 16 14
9.39/9.46 c 4210 19430 11809373 5549127 1520 3276 16 16 14
9.39/9.47 c 4220 19455 11834712 5561424 1520 3286 16 16 14
9.39/9.48 c 4230 19480 11860111 5573772 1520 3296 16 16 14
9.39/9.49 c 4240 19505 11885410 5586189 1520 3306 16 16 14
9.49/9.50 c 4250 19530 11910906 5598605 1520 3316 16 16 14
9.49/9.51 c 4260 19555 11936387 5611022 1520 3326 16 16 14
9.49/9.52 c 4270 19580 11961796 5623379 1520 3336 16 16 14
9.49/9.53 c 4280 19605 11987135 5635796 1520 3346 16 16 14
9.49/9.54 c 4290 19630 12012534 5648264 1520 3356 16 16 14
9.49/9.55 c 4300 19655 12037861 5660681 1520 3366 16 16 14
9.49/9.56 c 4310 19680 12063260 5673158 1520 3376 16 16 14
9.49/9.57 c 4320 19705 12088675 5685515 1520 3386 16 16 14
9.49/9.58 c 4330 19730 12114074 5697872 1520 3396 16 16 14
9.49/9.59 c 4340 19755 12139598 5710259 1520 3406 16 16 14
9.49/9.59 c 4350 19780 12165093 5722708 1520 3416 16 16 14
9.59/9.60 c 4360 19805 12190432 5735005 1520 3426 16 16 14
9.59/9.61 c 4370 19830 12214608 5747287 1520 3436 16 16 14
9.59/9.62 c 4380 19856 12241601 5760118 1520 3442 16 16 14
9.59/9.63 c 4390 19881 12266900 5772475 1520 3452 16 16 14
9.59/9.64 c 4400 19906 12292299 5784892 1520 3462 16 16 14
9.59/9.65 c 4410 19932 12319449 5797967 1520 3468 16 16 14
9.59/9.66 c 4420 19957 12344930 5810384 1520 3478 16 16 14
9.59/9.67 c 4430 19982 12370339 5822741 1520 3488 16 16 14
9.59/9.68 c 4440 20008 12397332 5835692 1520 3494 16 16 14
9.59/9.69 c 4450 20033 12422631 5848169 1520 3504 16 16 14
9.69/9.70 c 4460 20058 12448058 5860586 1520 3514 16 16 14
9.69/9.71 c 4470 20084 12475111 5873482 1520 3520 16 16 14
9.69/9.72 c 4480 20109 12500586 5886019 1520 3530 16 16 14
9.69/9.73 c 4490 20135 12527673 5898919 1520 3535 16 16 14
9.69/9.74 c 4493 20153 12551619 5907789 1520 3538 16 16 12
9.69/9.74 c 4500 20175 12576528 5918701 1520 3545 16 16 14
9.69/9.75 c 4510 20200 12601867 5930998 1520 3555 16 16 14
9.69/9.76 c 4520 20225 12627206 5943295 1520 3565 16 16 14
9.69/9.77 c 4530 20250 12652545 5955592 1520 3575 16 16 14
9.69/9.78 c 4540 20275 12677944 5967949 1520 3585 16 16 14
9.69/9.79 c 4550 20300 12703343 5980366 1520 3595 16 16 14
9.79/9.80 c 4560 20325 12728779 5992722 1520 3605 16 16 14
9.79/9.81 c 4570 20350 12754118 6005010 1520 3615 16 16 14
9.79/9.82 c 4580 20375 12779357 6017307 1520 3625 16 16 14
9.79/9.83 c 4590 20400 12804696 6029724 1520 3635 16 16 14
9.79/9.84 c 4600 20425 12830155 6042141 1520 3645 16 16 14
9.79/9.85 c 4610 20450 12855712 6054618 1520 3655 16 16 14
9.79/9.86 c 4620 20475 12881224 6067116 1520 3665 16 16 14
9.79/9.87 c 4630 20500 12906679 6079565 1520 3675 16 16 14
9.79/9.87 c 4640 20525 12932112 6092042 1520 3685 16 16 14
9.79/9.88 c 4650 20550 12957511 6104399 1520 3695 16 16 14
9.79/9.89 c 4660 20575 12982926 6116876 1520 3705 16 16 14
9.89/9.90 c 4670 20601 13009919 6129712 1520 3711 16 16 14
9.89/9.91 c 4680 20626 13035258 6142009 1520 3721 16 16 14
9.89/9.92 c 4690 20651 13060597 6154306 1520 3731 16 16 14
9.89/9.93 c 4700 20677 13087650 6167262 1520 3737 16 16 14
9.89/9.94 c 4710 20702 13113046 6179618 1520 3747 16 16 14
9.89/9.95 c 4720 20727 13138485 6191975 1520 3757 16 16 14
9.89/9.96 c 4730 20753 13165478 6204806 1520 3763 16 16 14
9.89/9.97 c 4740 20778 13190817 6217094 1520 3773 16 16 14
9.89/9.98 c 4750 20803 13216056 6229511 1520 3783 16 16 14
9.89/9.99 c 4760 20829 13243169 6242467 1520 3789 16 16 14
9.89/10.00 c 4770 20854 13268817 6254974 1520 3799 16 16 14
10.00/10.01 c 4780 20879 13294394 6267474 1520 3809 16 16 14
10.00/10.02 c 4790 20904 13319693 6279891 1520 3819 16 16 14
10.00/10.03 c 4800 20929 13345126 6292368 1520 3829 16 16 14
10.00/10.04 c 4810 20954 13370465 6304665 1520 3839 16 16 14
10.00/10.04 c 4820 20979 13395864 6317142 1520 3849 16 16 14
10.00/10.05 c 4830 21004 13421279 6329499 1520 3859 16 16 14
10.00/10.06 c 4840 21029 13446618 6341796 1520 3869 16 16 14
10.00/10.07 c 4850 21054 13471957 6354093 1520 3879 16 16 14
10.00/10.08 c 4860 21079 13497356 6366450 1520 3889 16 16 14
10.00/10.09 c 4870 21104 13522755 6378867 1520 3899 16 16 14
10.00/10.10 c 4880 21129 13548191 6391223 1520 3909 16 16 14
10.10/10.11 c 4890 21154 13573530 6403511 1520 3919 16 16 14
10.10/10.12 c 4900 21179 13598769 6415808 1520 3929 16 16 14
10.10/10.13 c 4910 21204 13624108 6428225 1520 3939 16 16 14
10.10/10.14 c 4920 21229 13648404 6440627 1520 3949 16 16 14
10.10/10.15 c 4930 21255 13675615 6453758 1520 3955 16 16 14
10.10/10.16 c 4940 21280 13700936 6466115 1520 3965 16 16 14
10.10/10.17 c 4950 21305 13726426 6478562 1520 3975 16 16 14
10.10/10.18 c 4960 21331 13753513 6491458 1520 3981 16 16 14
10.10/10.18 c 4970 21356 13778912 6503935 1520 3991 16 16 14
10.10/10.19 c 4980 21381 13804327 6516412 1520 4001 16 16 14
10.19/10.20 c 4990 21406 13828503 6528694 1520 4011 16 16 14
10.19/10.22 c 5035 21469 13862759 6559683 1520 4025 16 16 15
10.29/10.35 c 5631 22174 14061196 6826468 1520 4038 18 21 18
10.59/10.63 c 6286 23413 14407402 7251505 1520 4079 98 148 143
10.79/10.82 c 7006 24373 14660305 7687357 1520 4097 5 52 48
11.00/11.05 c 7798 25511 14969217 8211197 1520 4108 46 53 49
11.29/11.30 c 8669 26745 15299468 8757036 1520 4122 45 51 47
11.49/11.56 c 9627 28064 15653549 9378879 1520 4130 46 51 47
11.79/11.84 c 10680 29555 16051634 10034912 1520 4154 45 51 47
12.10/12.18 c 11838 31367 16487657 10811412 1520 4162 47 59 51
12.49/12.50 c 13111 33039 16950073 11555840 1520 4180 41 47 44
12.79/12.84 c 14511 34940 17468909 12374207 1520 4197 43 49 46
13.19/13.25 c 16051 37038 18028105 13284999 1520 4216 43 49 46
13.69/13.71 c 17745 39433 18630770 14338389 1520 4231 45 55 48
14.29/14.31 c 19608 42125 19382935 15504270 1520 4245 45 51 47
14.79/14.87 c 21657 44948 20131054 16781589 1520 4260 42 51 46
15.39/15.48 c 23910 47980 20922186 18164301 1520 4285 22 49 46
16.10/16.15 c 26388 51621 21927652 19673365 1520 4303 45 53 49
16.79/16.88 c 29113 55323 23014723 21261562 1520 4327 43 49 46
17.69/17.75 c 32110 59427 24155185 23070157 1520 4341 2 51 46
18.69/18.80 c 35406 64510 25492642 25171867 1520 4354 47 55 51
19.79/19.84 c 39031 69722 26946020 27348656 1520 4378 45 51 48
21.00/21.05 c 43018 75608 28576906 29769124 1520 4391 31 53 49
22.40/22.45 c 47403 81763 30314738 32448045 1520 4415 42 51 46
23.69/23.76 c 52226 88284 32281863 35270746 1520 4428 41 49 45
25.19/25.22 c 57531 95612 34391589 38425078 1520 4438 42 51 46
26.88/26.91 c 63366 103672 36762846 41915204 1520 4456 43 51 47
28.28/28.38 c 69784 112796 39303773 45749378 1520 4480 42 51 47
29.88/29.99 c 76843 122324 42107686 49880496 1520 4509 41 49 45
31.89/31.90 c 84607 133701 45252958 54622425 1520 4536 45 53 49
34.19/34.26 c 93147 146146 48861524 59804687 1520 4551 44 51 48
36.39/36.44 c 102541 159496 52607263 65429717 1520 4569 43 51 47
39.48/39.59 c 112874 175649 57008513 72068819 1520 4589 31 55 51
42.78/42.80 c 124240 192850 61837530 79175476 1520 4610 44 53 50
45.99/46.09 c 136742 211476 67026374 86870909 1520 4627 44 53 49
49.68/49.74 c 150494 231764 72685357 95328025 1520 4646 45 53 49
53.88/53.97 c 165621 254515 79137725 104675033 1520 4666 44 53 50
58.08/58.17 c 182260 277950 85940068 114662672 1520 4687 42 51 47
62.88/62.90 c 200562 304084 93464990 125767926 1520 4703 42 51 47
67.47/67.52 c 220694 333058 101575623 137857133 1520 4725 42 51 48
74.77/74.87 c 242839 367737 111484270 151966854 1520 4743 45 59 50
80.17/80.24 c 267198 400599 121084976 166209558 1520 4771 2 47 44
85.87/85.98 c 293992 437631 131755619 181792300 1520 4801 2 49 46
92.99/93.08 c 323465 478728 143516428 199357267 1520 4819 40 53 45
100.99/101.05 c 355885 522720 156795436 218414632 1520 4844 2 49 45
108.48/108.52 c 391547 570921 170865721 238968944 1520 4868 38 47 44
118.09/118.16 c 430775 627110 187051401 262793354 1520 4894 42 53 47
128.28/128.31 c 473925 685718 204488186 288452196 1520 4925 41 49 45
138.28/138.39 c 521390 750851 224304178 309904971 1520 4952 37 46 43
152.78/152.83 c 573601 830637 246466207 342421103 1520 4974 44 55 49
164.18/164.24 c 631033 907278 269765375 367514624 1520 5012 35 45 41
180.78/180.85 c 694208 998136 297431559 406102640 1520 5050 26 35 32
196.18/196.20 c 763700 1091383 325852908 446518256 1520 5080 22 31 27
215.10/215.16 c 840141 1197198 357804508 491410939 1520 5090 24 33 29
235.00/235.07 c 924226 1320558 393896960 531256145 1520 5117 25 36 31
258.79/258.89 c 1016719 1455835 433501549 587581421 1520 5141 26 37 32
281.79/281.86 c 1118461 1599580 476054917 633201515 1520 5164 24 34 30
307.30/307.36 c 1230377 1756142 523378108 698995769 1520 5195 24 35 30
334.50/334.50 c 1353484 1913741 572579295 768702021 1520 5242 18 29 24
366.40/366.40 c 1488901 2115093 629338193 851480741 1520 5271 25 37 33
399.30/399.34 c 1637859 2308660 691263522 915700920 1520 5294 17 31 22
441.81/441.89 c 1801712 2542210 759521606 1013932243 1520 5326 23 35 31
487.31/487.35 c 1981950 2819010 836904861 1125606504 1520 5360 28 39 34
536.62/536.64 c 2180211 3080878 919803450 1239534645 1520 5389 20 31 25
599.22/599.27 c 2398298 3418485 1014773036 1375899013 1520 5417 27 43 34
650.32/650.33 c 2638193 3726320 1114194143 1510625175 1520 5447 34 49 40
710.14/710.11 c 2902077 4085068 1225345244 1665003533 1520 5466 21 33 28
779.53/779.52 c 3192349 4485759 1345955315 1834275266 1520 5503 21 35 28
854.95/855.00 c 3511648 4925714 1480213742 2022142983 1520 5534 21 35 28
946.95/947.00 c 3862876 5423700 1632317648 2232388520 1520 5572 23 35 30
1033.27/1033.27 c 4249226 5932318 1791726274 2453027859 1520 5612 20 31 26
1120.77/1120.78 c 4674211 6502317 1969682416 2696144967 1520 5639 19 31 27
1246.69/1246.66 c 5141694 7174150 2173220277 2981507873 1520 5671 23 35 31
1353.00/1352.97 c 5655925 7840888 2385614744 3272137821 1520 5699 18 31 24
1486.81/1486.70 c 6221579 8621829 2625481966 3605904223 1520 5744 22 33 28
1667.34/1667.27 c 6843798 9550482 2899472914 3992093927 1520 5771 25 41 33
1825.35/1825.24 c 7528238 10489989 3190916760 4391765456 1520 5794 22 33 29
2003.27/2003.18 c 8281122 11542962 3509328362 4834166610 1520 5832 22 33 29
2196.38/2196.26 c 9109294 12654443 3861981116 5316255613 1520 5855 19 31 27
2407.32/2407.16 c 10020283 13905433 4245658426 5847854328 1520 5896 2 33 29
2520.02/2519.80
2520.02/2519.80 c *** INTERRUPTED ***
2520.02/2519.80 c restarts : 596
2520.02/2519.80 c conflicts : 10487493 (4163 /sec)
2520.02/2519.80 c decisions : 14535884 (5770 /sec)
2520.02/2519.80 c propagations : 6118488723 (2428706 /sec)
2520.02/2519.80 c root propagations : 11855
2520.02/2519.80 c filter calls : 4445577734 (1764652 /sec)
2520.02/2519.80 c useless filter calls : 4390662589 (98 %)
2520.02/2519.80 c
2520.02/2519.80 c clauses : 61405800
2520.02/2519.80 c SAT propagations : 2004
2520.02/2519.80 c SAT conflicts : 0 (0 learnts)
2520.02/2519.80 c Memory used : 3041.67 MB
2520.02/2519.80 c CPU time : 2519.24 s
2520.02/2519.80
2520.02/2519.80 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12364 MiB free)
memory of node 1: 16384 MiB (9789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266412-1502583611/watcher-4266412-1502583611 -o /tmp/evaluation-result-4266412-1502583611/solver-4266412-1502583611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266412-1502583611.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26861, runsolver pid=26858
[startup+0.100177 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26862
/proc/meminfo: memFree=22644152/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=79596 memory=52440 CPUtime=0.09 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 12259 0 0 0 8 1 0 0 20 0 1 0 91432771 81506304 13110 33554432000 4194304 5972588 140724811832288 140724811828936 140450883906533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 19899 13110 835 435 0 13262 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79596 KiB
Current children cumulated memory: 52440 KiB
[startup+0.209857 s]*
/proc/loadavg: 2.16 2.05 2.06 3/187 26862
/proc/meminfo: memFree=22580584/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=156240 memory=116320 CPUtime=0.21 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 23677 0 0 0 18 3 0 0 20 0 1 0 91432771 159989760 29080 33554432000 4194304 5972588 140724811832288 140724811828936 140450883975723 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 39060 29080 835 435 0 32423 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 156240 KiB
Current children cumulated memory: 116320 KiB
[startup+0.309809 s]*
/proc/loadavg: 2.16 2.05 2.06 3/187 26862
/proc/meminfo: memFree=22521104/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=228196 memory=176336 CPUtime=0.31 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 32515 0 0 0 27 4 0 0 20 0 1 0 91432771 233672704 44084 33554432000 4194304 5972588 140724811832288 140724811828936 140450883975723 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 57049 44084 835 435 0 50412 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 228196 KiB
Current children cumulated memory: 176336 KiB
[startup+0.70042 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 26862
/proc/meminfo: memFree=22404244/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=497828 memory=396540 CPUtime=0.69 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 62528 0 0 0 60 9 0 0 20 0 1 0 91432771 509775872 99135 33554432000 4194304 5972588 140724811832288 140724811829080 140450883906533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 124457 99135 835 435 0 117820 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 497828 KiB
Current children cumulated memory: 396540 KiB
[startup+1.50043 s]
/proc/loadavg: 2.16 2.05 2.06 5/187 26862
/proc/meminfo: memFree=22117928/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=919308 memory=862732 CPUtime=1.49 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 123870 0 0 0 126 23 0 0 20 0 1 0 91432771 941371392 215683 33554432000 4194304 5972588 140724811832288 140724811829080 140450883975723 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 229827 215683 835 435 0 223190 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 919308 KiB
Current children cumulated memory: 862732 KiB
[startup+3.10991 s]
/proc/loadavg: 2.16 2.05 2.06 4/187 26862
/proc/meminfo: memFree=20961868/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=2073072 memory=1787316 CPUtime=3.1 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 245721 0 0 0 263 47 0 0 20 0 1 0 91432771 2122825728 446764 33554432000 4194304 5972588 140724811832288 140724811829080 5280404 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 518302 446764 835 435 0 511665 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2073072 KiB
Current children cumulated memory: 1787316 KiB
[startup+6.30038 s]
/proc/loadavg: 2.15 2.05 2.06 3/187 26862
/proc/meminfo: memFree=20191092/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114140 memory=2493564 CPUtime=6.29 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 353393 0 0 0 563 66 0 0 20 0 1 0 91432771 3188879360 623391 33554432000 4194304 5972588 140724811832288 140724811829592 5099616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778535 623391 851 435 0 771898 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3114140 KiB
Current children cumulated memory: 2493564 KiB
[startup+12.7004 s]
/proc/loadavg: 2.14 2.05 2.06 3/187 26862
/proc/meminfo: memFree=20190968/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2493984 CPUtime=12.69 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 368220 0 0 0 1202 67 0 0 20 0 1 0 91432771 3189420032 623496 33554432000 4194304 5972588 140724811832288 140724811829592 5099616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623496 851 435 0 772030 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2493984 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 26923
/proc/meminfo: memFree=24146856/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2493992 CPUtime=25.49 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 389230 0 0 0 2481 68 0 0 20 0 1 0 91432771 3189420032 623498 33554432000 4194304 5972588 140724811832288 140724811829592 4975792 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623498 851 435 0 772030 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2493992 KiB
[startup+51.1095 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 26923
/proc/meminfo: memFree=24145896/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2493996 CPUtime=51.09 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 400545 0 0 0 5040 69 0 0 20 0 1 0 91432771 3189420032 623499 33554432000 4194304 5972588 140724811832288 140724811829592 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623499 851 435 0 772030 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2493996 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 26924
/proc/meminfo: memFree=24145648/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494004 CPUtime=102.28 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 414627 0 0 0 10158 70 0 0 20 0 1 0 91432771 3189420032 623501 33554432000 4194304 5972588 140724811832288 140724811829592 5328036 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623501 851 435 0 772030 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494004 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 26925
/proc/meminfo: memFree=24145288/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494008 CPUtime=162.28 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 424596 0 0 0 16158 70 0 0 20 0 1 0 91432771 3189420032 623502 33554432000 4194304 5972588 140724811832288 140724811829592 4908960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623502 851 435 0 772030 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494008 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 26926
/proc/meminfo: memFree=24145136/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494012 CPUtime=222.29 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 434501 0 0 0 22158 71 0 0 20 0 1 0 91432771 3189420032 623503 33554432000 4194304 5972588 140724811832288 140724811829592 4975647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623503 851 435 0 772030 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494012 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 26935
/proc/meminfo: memFree=24144216/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494012 CPUtime=282.29 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 442950 0 0 0 28158 71 0 0 20 0 1 0 91432771 3189420032 623503 33554432000 4194304 5972588 140724811832288 140724811829592 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623503 851 435 0 772030 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494012 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26936
/proc/meminfo: memFree=24144368/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494016 CPUtime=342.3 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 453215 0 0 0 34158 72 0 0 20 0 1 0 91432771 3189420032 623504 33554432000 4194304 5972588 140724811832288 140724811829592 4978710 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623504 851 435 0 772030 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494016 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26937
/proc/meminfo: memFree=24144452/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494020 CPUtime=402.31 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 462925 0 0 0 40158 73 0 0 20 0 1 0 91432771 3189420032 623505 33554432000 4194304 5972588 140724811832288 140724811829592 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623505 851 435 0 772030 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494020 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 26938
/proc/meminfo: memFree=24144688/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494020 CPUtime=462.31 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 470839 0 0 0 46158 73 0 0 20 0 1 0 91432771 3189420032 623505 33554432000 4194304 5972588 140724811832288 140724811829592 5032431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623505 851 435 0 772030 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494020 KiB
################
# More data... #
################
/proc/26861/statm: 778667 623518 851 435 0 772030 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494072 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26978
/proc/meminfo: memFree=24142516/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494072 CPUtime=1782.45 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 569275 0 0 0 178167 78 0 0 20 0 1 0 91432771 3189420032 623518 33554432000 4194304 5972588 140724811832288 140724811829592 4978741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623518 851 435 0 772030 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494072 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26979
/proc/meminfo: memFree=24143220/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2494072 CPUtime=1842.45 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 572031 0 0 0 184167 78 0 0 20 0 1 0 91432771 3189420032 623518 33554432000 4194304 5972588 140724811832288 140724811829592 5328649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623518 851 435 0 772030 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2494072 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26980
/proc/meminfo: memFree=24140700/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=1902.46 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 574525 0 0 0 190168 78 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4975114 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26982
/proc/meminfo: memFree=24141556/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=1962.46 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 576101 0 0 0 196168 78 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4975784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26983
/proc/meminfo: memFree=24141804/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2022.47 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 577844 0 0 0 202169 78 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4979108 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26991
/proc/meminfo: memFree=24141524/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2082.47 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 579398 0 0 0 208169 78 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4975584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26992
/proc/meminfo: memFree=24141188/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2142.48 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 580979 0 0 0 214170 78 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4978055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26993
/proc/meminfo: memFree=24141908/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2202.49 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 584125 0 0 0 220170 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4972339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26994
/proc/meminfo: memFree=24141660/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2262.5 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 585219 0 0 0 226171 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 5273856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2262.5 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26995
/proc/meminfo: memFree=24141816/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2322.5 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 586781 0 0 0 232171 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 5328649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26996
/proc/meminfo: memFree=24141356/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2382.51 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 588328 0 0 0 238172 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 5099653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2382.51 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26997
/proc/meminfo: memFree=24141352/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2442.52 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 589173 0 0 0 244173 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 5325655 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26998
/proc/meminfo: memFree=24141540/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2502.52 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 590766 0 0 0 250173 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4975415 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2502.52 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26998
/proc/meminfo: memFree=24141880/32770624 swapFree=67108860/67108860
[pid=26861] ppid=26858 vsize=3114668 memory=2495328 CPUtime=2520.02 cores=0,2,4,6
/proc/26861/stat : 26861 (cosoco) R 26858 26861 24318 0 -1 4202496 592184 0 0 0 251923 79 0 0 20 0 1 0 91432771 3189420032 623832 33554432000 4194304 5972588 140724811832288 140724811829592 4972030 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8552448 140724811834554 140724811834654 140724811834654 140724811837390 0
/proc/26861/statm: 778667 623832 851 435 0 772030 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 3114668 KiB
Current children cumulated memory: 2495328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 26861 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.24 s, system=0.803082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2519.81
CPU time (s): 2520.04
CPU user time (s): 2519.24
CPU system time (s): 0.803082
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 3114668
Max. memory (cumulated for all children) (KiB): 2495328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.803082
maximum resident set size= 2495400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592233
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= 57
involuntary context switches= 689
# summary of solver processes directly reported to runsolver:
# pid: 26861
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.24
# total CPU system time (s): 0.803082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10933 second user time and 18.0415 second system time
The end