0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c intension hd[0]<ad[0] using generic constraint
0.00/0.06 c intension hd[1]<ad[1] using generic constraint
0.00/0.06 c intension hd[2]<ad[2] using generic constraint
0.00/0.06 c intension hd[3]<ad[3] using generic constraint
0.00/0.06 c intension hd[4]<ad[4] using generic constraint
0.00/0.06 c intension hd[5]<ad[5] using generic constraint
0.00/0.06 c intension hd[6]<ad[6] using generic constraint
0.00/0.06 c intension hd[7]<ad[7] using generic constraint
0.00/0.06 c intension hd[8]<ad[8] using generic constraint
0.00/0.06 c intension hd[9]<ad[9] using generic constraint
0.00/0.06 c intension hd[10]<ad[10] using generic constraint
0.00/0.06 c intension hd[11]<ad[11] using generic constraint
0.00/0.06 c intension hd[12]<ad[12] using generic constraint
1.29/1.30 c SAT : Variables: 123201 -- Clauses: 17331951
1.29/1.33 c root propagations : 6785
1.29/1.33 c restarts enabled, print stats at every restarts
1.29/1.33 c
1.29/1.33 c
1.29/1.33 c
1.29/1.33 c This is cosoco 1.0 --
1.29/1.33 c
1.29/1.33 c ========================================[ Problem Statistics ]===========================================
1.29/1.33 c |
1.29/1.33 c | Parse time : 1.10 s
1.29/1.33 c |
1.29/1.33 c | Variables: 1001
1.29/1.33 c | Domain Sizes: 26..325
1.29/1.33 c |
1.29/1.33 c | Constraints: 1417
1.29/1.33 c | Arity: 1..325 -- Unary: 13 -- Binary: 13 -- Ternary: 325
1.29/1.33 c |
1.29/1.33 c | Types:
1.29/1.33 c | (X - Y < k): 13
1.29/1.33 c | All Different: 27
1.29/1.33 c | At least: 338
1.29/1.33 c | At most: 338
1.29/1.33 c | Exactly K: 363
1.29/1.33 c | Extension: 325 (nb tuples: 325..325) -- (shared: 324)
1.29/1.33 c | Intension: 13
1.29/1.33 c |
1.29/1.33 c =========================================================================================================
1.29/1.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.29/1.34 c 10 91 66562 14974 1001 10 76 82 71
1.29/1.39 c 20 317 188478 44850 1001 16 1 204 154
1.39/1.44 c 30 540 262952 72656 1001 24 41 213 118
1.39/1.47 c 40 705 306502 94620 1001 34 41 156 66
1.39/1.49 c 50 778 326461 104978 1001 44 15 64 47
1.49/1.51 c 60 860 349812 115686 1001 54 15 73 50
1.49/1.53 c 70 942 367502 123434 1001 64 44 73 58
1.49/1.55 c 80 1027 387519 132147 1001 74 44 76 57
1.49/1.57 c 90 1115 408865 141424 1001 84 47 79 59
1.49/1.59 c 100 1206 431323 151111 1001 94 50 82 62
1.59/1.60 c 101 1267 444264 154123 1001 95 61 61 30
1.59/1.62 c 110 1360 470558 164389 1001 104 15 85 64
1.59/1.64 c 120 1451 492202 173435 1001 113 1 82 61
1.59/1.66 c 130 1548 516568 184120 1001 123 59 88 72
1.59/1.68 c 140 1645 541331 192575 1001 132 1 88 67
1.69/1.70 c 150 1745 565991 201660 1001 142 59 91 76
1.69/1.73 c 160 1848 596079 211149 1001 151 1 94 73
1.69/1.75 c 170 1969 629122 222588 1001 161 80 112 94
1.69/1.78 c 180 2096 664893 235747 1001 170 1 118 87
1.79/1.81 c 190 2208 703615 249892 1001 179 1 103 74
1.79/1.83 c 200 2311 733908 260604 1001 188 1 94 65
1.79/1.84 c 210 2414 764263 272152 1001 196 1 94 60
1.79/1.86 c 211 2520 796214 281553 1001 197 106 106 53
1.79/1.89 c 220 2640 831943 293070 1001 206 43 112 86
1.89/1.90 c 230 2728 852580 301411 1001 210 1 79 55
1.89/1.93 c 240 2852 889249 313355 1001 220 85 115 98
1.89/1.94 c 250 2945 912142 322248 1001 224 1 82 60
1.89/1.99 c 260 3126 991126 341230 1001 234 134 172 149
1.99/2.00 c 270 3222 1019553 350804 1001 238 1 85 62
1.99/2.04 c 280 3403 1093629 369847 1001 248 89 172 148
1.99/2.06 c 290 3499 1119701 379465 1001 252 1 85 62
2.09/2.10 c 300 3683 1195122 399583 1001 262 88 175 134
2.09/2.12 c 310 3786 1222438 409801 1001 268 1 85 63
2.09/2.15 c 320 3946 1269579 426840 1001 278 118 151 121
2.09/2.17 c 330 4043 1294046 436454 1001 284 1 82 61
2.09/2.19 c 332 4163 1330632 447683 1001 286 15 119 44
2.09/2.20 c 340 4249 1349802 454901 1001 288 74 76 66
2.20/2.25 c 350 4436 1450179 477135 1001 298 15 178 129
2.20/2.27 c 360 4530 1473802 485583 1001 303 1 76 62
2.20/2.30 c 370 4696 1523530 503771 1001 313 15 157 111
2.30/2.31 c 380 4787 1546986 511841 1001 316 1 76 61
2.30/2.34 c 390 4923 1593266 527982 1001 322 15 124 92
2.39/2.40 c 400 5142 1703561 556609 1001 331 119 208 160
2.39/2.41 c 410 5230 1724992 564419 1001 335 1 76 61
2.39/2.45 c 420 5393 1779628 581787 1001 345 15 154 116
2.39/2.46 c 430 5481 1799850 589820 1001 348 1 76 58
2.49/2.51 c 440 5698 1912304 615556 1001 358 15 208 148
2.49/2.53 c 450 5789 1935110 623754 1001 361 1 76 61
2.49/2.58 c 460 6003 2038331 648989 1001 371 119 205 157
2.49/2.59 c 465 6080 2055136 654746 1001 373 46 73 56
2.58/2.62 c 470 6215 2097552 668980 1001 378 15 131 68
2.58/2.63 c 480 6297 2114823 676332 1001 380 46 73 63
2.58/2.66 c 490 6442 2160395 692694 1001 390 15 136 103
2.58/2.67 c 500 6524 2179407 700291 1001 396 44 73 60
2.68/2.70 c 510 6672 2247555 715987 1001 406 15 139 108
2.68/2.72 c 520 6754 2266458 723487 1001 413 44 73 60
2.68/2.77 c 530 6971 2379600 748017 1001 423 15 208 170
2.68/2.79 c 540 7053 2397785 755531 1001 427 1 70 52
2.79/2.84 c 550 7267 2506109 781189 1001 437 79 205 125
2.79/2.85 c 560 7349 2524585 788826 1001 443 1 73 54
2.79/2.89 c 570 7497 2590798 804522 1001 453 15 139 105
2.89/2.90 c 580 7576 2608862 811713 1001 458 44 70 58
2.89/2.95 c 590 7754 2704032 833325 1001 468 15 169 102
2.89/2.96 c 600 7830 2720424 840086 1001 471 44 67 56
2.99/3.00 c 610 8044 2831394 863855 1001 481 188 205 184
2.99/3.01 c 611 8090 2836174 864739 1001 482 46 46 23
2.99/3.03 c 620 8231 2876187 880714 1001 486 79 130 108
2.99/3.04 c 630 8310 2896359 887822 1001 489 15 67 56
2.99/3.07 c 640 8452 2937494 902985 1001 499 15 133 87
2.99/3.09 c 650 8597 2976542 918399 1001 509 88 136 97
3.09/3.13 c 660 8739 3022084 934683 1001 518 82 133 94
3.09/3.14 c 670 8815 3038770 941453 1001 528 15 67 54
3.09/3.15 c 680 8930 3071052 952790 1001 538 85 106 88
3.09/3.18 c 690 9048 3103523 964138 1001 548 88 109 93
3.19/3.22 c 700 9223 3179687 986672 1001 555 82 163 117
3.19/3.27 c 710 9401 3281946 1007458 1001 565 15 169 113
3.19/3.28 c 720 9477 3299157 1014002 1001 568 46 67 58
3.30/3.31 c 730 9622 3347211 1030937 1001 572 79 133 112
3.30/3.36 c 740 9803 3443214 1051721 1001 582 82 172 133
3.30/3.37 c 750 9859 3459178 1058127 1001 584 45 47 42
3.30/3.38 c 760 9977 3489968 1069762 1001 594 15 109 84
3.40/3.43 c 770 10161 3589090 1089672 1001 604 175 175 159
3.40/3.44 c 771 10179 3591543 1090708 1001 605 18 18 9
3.40/3.46 c 780 10293 3623656 1100589 1001 613 1 106 84
3.49/3.50 c 790 10483 3703919 1122150 1001 623 136 181 153
3.49/3.51 c 800 10533 3719368 1128657 1001 626 20 41 35
3.49/3.56 c 810 10747 3825296 1153844 1001 636 85 205 152
3.49/3.57 c 820 10797 3839031 1160449 1001 638 20 41 35
3.59/3.62 c 830 10993 3938072 1184037 1001 648 15 187 137
3.59/3.63 c 840 11043 3954098 1190447 1001 651 39 41 36
3.59/3.68 c 850 11254 4060199 1215509 1001 661 85 202 149
3.59/3.69 c 860 11304 4075991 1221861 1001 663 20 41 35
3.69/3.71 c 870 11413 4103381 1230972 1001 673 15 100 82
3.69/3.74 c 880 11603 4160093 1252628 1001 678 118 181 142
3.69/3.79 c 890 11793 4244775 1278107 1001 682 15 178 143
3.79/3.80 c 900 11843 4258955 1284876 1001 685 20 41 35
3.79/3.83 c 910 12009 4309105 1304137 1001 693 88 154 110
3.79/3.84 c 920 12059 4326795 1310758 1001 696 15 41 34
3.79/3.85 c 930 12162 4352834 1319227 1001 706 15 94 77
3.89/3.90 c 940 12361 4432604 1340274 1001 716 118 190 159
3.89/3.91 c 947 12408 4448288 1345689 1001 722 1 41 30
3.89/3.93 c 950 12529 4483484 1357367 1001 725 118 119 88
3.89/3.94 c 960 12579 4498668 1363844 1001 727 20 41 35
3.89/3.96 c 970 12709 4531026 1374511 1001 737 121 121 110
3.89/3.97 c 980 12756 4544883 1380486 1001 738 38 38 34
3.89/3.98 c 990 12859 4570188 1388645 1001 748 53 94 80
3.99/4.00 c 1000 12968 4595658 1397331 1001 758 56 100 85
3.99/4.06 c 1010 13182 4705999 1420800 1001 768 205 205 186
3.99/4.07 c 1020 13232 4720813 1427229 1001 771 20 41 35
3.99/4.10 c 1030 13368 4781981 1441008 1001 781 53 127 102
4.08/4.11 c 1040 13415 4794097 1447363 1001 791 18 38 31
4.08/4.18 c 1050 13629 4982228 1479228 1001 795 88 187 152
4.18/4.24 c 1060 13846 5100899 1505564 1001 805 15 208 127
4.18/4.25 c 1070 13893 5116743 1511699 1001 814 1 38 31
4.28/4.30 c 1080 14110 5226993 1536718 1001 824 53 208 156
4.28/4.31 c 1090 14157 5239241 1543055 1001 834 18 38 31
4.28/4.36 c 1100 14377 5351908 1567747 1001 844 158 211 187
4.28/4.38 c 1110 14424 5366367 1574092 1001 853 1 38 27
4.39/4.43 c 1120 14647 5481161 1600009 1001 863 53 214 162
4.39/4.44 c 1130 14694 5494522 1606132 1001 872 1 38 29
4.39/4.49 c 1140 14920 5612375 1631613 1001 882 158 217 191
4.39/4.50 c 1141 14921 5613598 1632019 1001 882 1 1 0
4.39/4.50 c 1150 14967 5628851 1637665 1001 891 38 38 34
4.49/4.56 c 1160 15196 5747820 1664114 1001 901 53 220 166
4.49/4.57 c 1170 15243 5763279 1670191 1001 910 1 38 29
4.58/4.62 c 1180 15475 5884889 1696394 1001 920 158 223 196
4.58/4.63 c 1190 15522 5898168 1702568 1001 929 1 38 29
4.58/4.69 c 1200 15757 6016469 1729497 1001 939 53 226 183
4.68/4.70 c 1210 15804 6030544 1735795 1001 948 1 38 29
4.68/4.76 c 1220 16055 6162277 1767677 1001 951 158 232 200
4.68/4.77 c 1230 16102 6175204 1774150 1001 961 20 38 32
4.79/4.83 c 1240 16349 6299564 1802674 1001 971 53 238 192
4.79/4.84 c 1250 16396 6314546 1808862 1001 980 1 38 29
4.89/4.90 c 1260 16648 6440777 1837740 1001 989 158 238 206
4.89/4.91 c 1270 16695 6454242 1843960 1001 998 1 38 29
4.89/4.97 c 1280 16942 6578635 1872587 1001 1008 53 238 192
4.89/4.98 c 1290 16989 6592620 1878684 1001 1018 20 38 32
4.99/5.02 c 1300 17164 6690124 1897375 1001 1028 158 166 150
4.99/5.03 c 1310 17211 6705046 1903467 1001 1037 1 38 29
4.99/5.05 c 1320 17311 6730213 1911875 1001 1047 53 91 72
5.09/5.10 c 1330 17513 6833487 1937316 1001 1053 56 193 116
5.09/5.11 c 1340 17616 6858436 1945402 1001 1063 62 94 82
5.09/5.17 c 1350 17830 6964375 1969467 1001 1073 56 205 159
5.09/5.17 c 1352 17869 6978086 1972787 1001 1075 38 38 25
5.19/5.20 c 1360 18018 7021343 1986981 1001 1083 62 142 108
5.19/5.25 c 1370 18234 7127006 2013523 1001 1092 80 205 155
5.19/5.26 c 1380 18281 7141761 2019496 1001 1093 38 38 34
5.29/5.32 c 1390 18528 7263190 2051084 1001 1100 56 231 149
5.29/5.33 c 1400 18574 7276963 2057394 1001 1110 15 37 30
5.29/5.37 c 1410 18752 7353045 2075111 1001 1120 169 169 153
5.29/5.37 c 1420 18799 7366476 2081156 1001 1130 20 38 32
5.39/5.44 c 1430 19046 7506382 2111168 1001 1140 62 238 178
5.39/5.45 c 1440 19093 7519264 2117325 1001 1150 20 38 32
5.39/5.46 c 1450 19199 7545784 2126354 1001 1160 53 97 81
5.39/5.49 c 1460 19338 7584561 2138982 1001 1170 62 130 105
5.39/5.50 c 1470 19385 7599102 2145105 1001 1171 38 38 34
5.50/5.54 c 1480 19566 7699081 2164300 1001 1181 172 172 156
5.50/5.55 c 1490 19613 7713445 2170421 1001 1191 20 38 32
5.50/5.57 c 1500 19758 7758040 2184998 1001 1201 68 136 99
5.50/5.58 c 1510 19805 7772915 2190996 1001 1202 38 38 34
5.60/5.61 c 1520 19924 7815256 2204687 1001 1212 62 110 91
5.60/5.67 c 1530 20177 7930875 2234446 1001 1220 65 238 181
5.60/5.68 c 1540 20224 7944792 2240465 1001 1221 38 38 34
5.69/5.73 c 1550 20477 8062445 2272361 1001 1228 71 238 175
5.69/5.74 c 1560 20524 8077864 2278272 1001 1229 38 38 34
5.69/5.77 c 1570 20658 8147742 2296805 1001 1239 53 125 71
5.79/5.83 c 1580 20880 8254456 2325835 1001 1248 68 211 112
5.79/5.84 c 1585 20922 8267076 2330153 1001 1253 38 38 31
5.79/5.85 c 1590 21012 8300623 2340685 1001 1258 71 86 69
5.89/5.91 c 1600 21231 8406871 2367329 1001 1267 77 208 157
5.89/5.91 c 1610 21278 8420701 2373276 1001 1268 38 38 34
5.89/5.94 c 1620 21406 8465232 2388753 1001 1278 57 119 88
5.99/6.00 c 1630 21662 8585791 2420668 1001 1285 75 241 188
5.99/6.01 c 1640 21709 8600678 2426688 1001 1294 1 38 31
5.99/6.07 c 1650 21935 8718106 2454087 1001 1304 56 217 111
5.99/6.07 c 1660 21982 8731614 2460148 1001 1314 20 38 32
6.09/6.10 c 1670 22110 8774533 2478294 1001 1320 74 116 90
6.09/6.15 c 1680 22330 8891264 2504541 1001 1330 15 211 138
6.09/6.16 c 1690 22377 8906658 2510554 1001 1331 38 38 34
6.09/6.18 c 1700 22478 8940658 2524167 1001 1338 53 92 66
6.09/6.19 c 1710 22525 8954118 2530777 1001 1348 15 38 30
6.19/6.21 c 1720 22629 8990954 2544828 1001 1350 90 92 82
6.19/6.22 c 1730 22676 9005508 2551061 1001 1351 38 38 34
6.19/6.23 c 1740 22774 9039657 2564247 1001 1356 53 89 75
6.19/6.24 c 1750 22821 9052937 2570571 1001 1366 15 38 30
6.19/6.29 c 1760 23012 9164157 2594897 1001 1376 141 182 161
6.29/6.30 c 1770 23059 9178137 2600932 1001 1386 20 38 32
6.29/6.31 c 1780 23145 9206834 2612326 1001 1396 53 77 64
6.29/6.32 c 1790 23192 9220946 2618630 1001 1406 15 38 30
6.29/6.37 c 1800 23389 9336458 2644643 1001 1416 59 188 147
6.29/6.38 c 1810 23436 9350596 2650674 1001 1426 20 38 32
6.29/6.39 c 1820 23522 9379190 2661860 1001 1436 53 77 67
6.39/6.40 c 1830 23569 9392029 2668249 1001 1446 20 38 32
6.39/6.44 c 1840 23751 9497496 2693753 1001 1452 125 170 143
6.39/6.45 c 1841 23768 9499962 2694774 1001 1453 17 17 8
6.49/6.50 c 1850 23967 9615933 2721686 1001 1462 53 191 144
6.49/6.51 c 1860 24014 9631351 2727844 1001 1463 38 38 34
6.49/6.56 c 1870 24220 9748356 2754790 1001 1473 125 197 166
6.49/6.57 c 1880 24267 9761324 2761044 1001 1483 20 38 32
6.59/6.63 c 1890 24517 9886822 2790451 1001 1493 53 241 194
6.59/6.64 c 1900 24564 9900771 2796896 1001 1503 18 38 31
6.59/6.69 c 1910 24789 10023034 2828630 1001 1509 53 212 143
6.59/6.70 c 1920 24835 10036553 2835210 1001 1519 17 37 30
6.69/6.73 c 1930 24948 10095778 2847956 1001 1529 104 104 94
6.69/6.79 c 1940 25154 10211504 2873815 1001 1539 197 197 179
6.78/6.80 c 1950 25201 10226205 2879744 1001 1540 38 38 34
6.78/6.85 c 1960 25389 10334940 2903548 1001 1550 179 179 162
6.78/6.86 c 1970 25436 10347755 2909967 1001 1560 18 38 31
6.78/6.89 c 1980 25564 10415960 2925602 1001 1570 56 119 102
6.88/6.92 c 1990 25698 10464339 2943142 1001 1580 59 125 93
6.88/6.98 c 2000 25916 10580909 2972951 1001 1585 114 206 175
6.98/7.01 c 2010 26023 10623183 2988586 1001 1594 15 98 58
6.98/7.07 c 2020 26246 10754666 3020658 1001 1599 59 205 162
6.98/7.08 c 2030 26293 10768728 3027239 1001 1609 15 38 29
7.08/7.11 c 2040 26412 10808269 3041892 1001 1619 56 110 84
7.08/7.13 c 2050 26519 10845519 3056394 1001 1625 59 98 72
7.08/7.14 c 2060 26566 10860863 3062582 1001 1626 38 38 34
7.08/7.16 c 2070 26673 10896357 3077271 1001 1635 57 98 68
7.08/7.17 c 2080 26720 10909185 3083846 1001 1645 20 38 32
7.18/7.20 c 2090 26860 10981711 3100665 1001 1655 96 131 115
7.18/7.23 c 2100 27000 11027881 3118136 1001 1665 119 131 114
7.18/7.26 c 2110 27137 11073842 3136510 1001 1670 63 128 92
7.28/7.32 c 2120 27361 11198023 3165839 1001 1680 17 215 152
7.28/7.33 c 2122 27400 11210470 3169284 1001 1682 20 38 19
7.28/7.38 c 2130 27613 11327020 3198537 1001 1689 53 206 124
7.28/7.39 c 2140 27660 11341178 3204891 1001 1699 20 38 32
7.38/7.41 c 2150 27761 11375940 3219254 1001 1708 56 92 69
7.38/7.48 c 2160 27989 11504392 3252292 1001 1714 56 206 161
7.38/7.50 c 2170 28081 11538610 3264774 1001 1724 17 83 67
7.48/7.50 c 2180 28128 11554031 3271161 1001 1725 38 38 34
7.48/7.52 c 2190 28202 11577865 3282735 1001 1735 56 65 56
7.48/7.53 c 2200 28249 11590700 3289216 1001 1745 20 38 32
7.48/7.55 c 2210 28362 11648001 3302431 1001 1755 96 104 93
7.48/7.58 c 2220 28481 11686441 3315770 1001 1765 56 110 90
7.58/7.60 c 2230 28603 11726465 3329808 1001 1775 65 113 97
7.58/7.65 c 2240 28793 11830368 3356064 1001 1784 132 179 154
7.58/7.66 c 2250 28840 11846122 3362261 1001 1793 1 38 31
7.58/7.69 c 2260 28956 11905741 3377199 1001 1803 53 107 86
7.69/7.75 c 2270 29182 12023423 3406286 1001 1812 59 212 169
7.69/7.76 c 2280 29229 12038238 3412289 1001 1813 38 38 34
7.79/7.82 c 2290 29465 12159952 3445704 1001 1819 53 206 152
7.79/7.83 c 2300 29512 12173340 3452081 1001 1829 20 38 32
7.79/7.86 c 2310 29652 12242452 3473093 1001 1832 123 125 112
7.88/7.93 c 2320 29872 12397872 3506520 1001 1838 132 205 166
7.88/7.94 c 2330 29919 12411823 3512795 1001 1839 38 38 34
7.98/8.00 c 2340 30143 12536078 3545355 1001 1845 53 206 148
7.98/8.01 c 2350 30190 12548833 3551955 1001 1855 18 38 31
7.98/8.05 c 2360 30342 12644559 3571044 1001 1865 132 143 129
7.98/8.05 c 2370 30389 12658078 3577141 1001 1875 20 38 32
8.08/8.11 c 2380 30610 12774635 3605345 1001 1885 53 212 167
8.08/8.12 c 2390 30657 12789021 3611373 1001 1895 20 38 32
8.08/8.14 c 2400 30758 12823595 3625622 1001 1898 84 86 77
8.08/8.16 c 2410 30856 12857087 3639870 1001 1903 17 86 68
8.08/8.16 c 2420 30903 12871722 3646076 1001 1904 38 38 34
8.18/8.22 c 2430 31127 12996171 3674843 1001 1914 138 215 188
8.18/8.23 c 2431 31147 12998887 3675763 1001 1915 20 20 10
8.18/8.24 c 2440 31214 13015944 3682778 1001 1924 53 59 52
8.28/8.31 c 2450 31445 13140345 3716027 1001 1930 59 209 167
8.28/8.32 c 2460 31516 13160847 3723364 1001 1940 17 62 52
8.28/8.35 c 2470 31626 13200641 3738489 1001 1945 65 98 85
8.28/8.35 c 2480 31673 13213355 3744925 1001 1955 20 38 32
8.28/8.39 c 2490 31819 13282793 3763138 1001 1965 65 137 106
8.38/8.40 c 2500 31866 13296378 3769379 1001 1975 20 38 32
8.38/8.43 c 2510 32021 13371930 3788110 1001 1985 107 146 129
8.38/8.44 c 2520 32068 13386912 3794303 1001 1994 1 38 29
8.38/8.46 c 2530 32184 13426708 3807446 1001 2004 65 107 89
8.48/8.52 c 2540 32372 13527831 3831949 1001 2014 68 179 142
8.48/8.53 c 2550 32419 13541776 3837948 1001 2015 38 38 34
8.48/8.55 c 2560 32532 13584582 3854315 1001 2020 99 101 90
8.58/8.60 c 2570 32726 13675105 3879482 1001 2030 71 185 157
8.58/8.61 c 2580 32773 13687943 3885645 1001 2040 20 38 32
8.58/8.63 c 2590 32901 13731864 3900350 1001 2050 116 119 107
8.68/8.70 c 2600 33128 13869370 3929732 1001 2060 207 218 197
8.68/8.71 c 2610 33175 13884180 3935707 1001 2069 1 38 31
8.68/8.76 c 2620 33375 13994259 3961729 1001 2079 68 191 151
8.68/8.77 c 2630 33422 14008697 3967858 1001 2089 20 38 32
8.68/8.78 c 2640 33490 14028360 3974105 1001 2099 59 59 53
8.79/8.83 c 2650 33678 14130084 3998379 1001 2109 158 179 160
8.79/8.84 c 2660 33725 14144734 4004560 1001 2110 38 38 34
8.79/8.90 c 2670 33942 14274608 4037220 1001 2117 69 206 140
8.89/8.91 c 2680 33989 14289030 4043625 1001 2127 20 38 32
8.89/8.98 c 2690 34242 14422445 4079133 1001 2129 208 209 189
8.89/8.99 c 2700 34289 14435356 4085621 1001 2139 20 38 32
8.99/9.00 c 2710 34366 14459277 4092979 1001 2149 68 68 61
8.99/9.05 c 2720 34521 14552239 4112467 1001 2159 146 146 132
8.99/9.05 c 2730 34568 14565140 4118633 1001 2169 20 38 32
8.99/9.08 c 2740 34699 14610903 4137026 1001 2176 80 116 95
9.09/9.14 c 2750 34923 14749615 4166496 1001 2186 83 215 183
9.09/9.15 c 2760 34970 14763239 4172755 1001 2196 20 38 32
9.19/9.21 c 2770 35203 14889045 4203906 1001 2203 83 218 168
9.19/9.21 c 2771 35223 14891762 4204780 1001 2204 20 20 10
9.19/9.26 c 2780 35401 14992714 4230157 1001 2211 15 164 113
9.19/9.29 c 2790 35541 15044536 4249132 1001 2220 15 131 93
9.29/9.33 c 2800 35717 15129827 4275183 1001 2224 17 164 126
9.29/9.38 c 2810 35896 15240568 4301812 1001 2228 65 164 139
9.39/9.43 c 2820 36072 15329089 4327440 1001 2232 17 164 126
9.39/9.44 c 2830 36119 15344955 4333731 1001 2242 15 38 32
9.39/9.46 c 2840 36244 15386595 4348189 1001 2252 101 116 102
9.49/9.51 c 2850 36420 15490217 4372601 1001 2258 80 164 132
9.49/9.52 c 2860 36467 15505945 4378945 1001 2268 15 38 32
9.49/9.53 c 2870 36538 15525922 4385649 1001 2278 62 62 56
9.49/9.56 c 2880 36666 15568571 4403108 1001 2284 74 116 90
9.49/9.57 c 2890 36713 15581383 4409593 1001 2294 20 38 32
9.59/9.63 c 2900 36940 15720532 4439228 1001 2304 162 218 193
9.59/9.64 c 2910 36987 15733950 4445381 1001 2314 20 38 32
9.59/9.69 c 2920 37173 15845782 4473270 1001 2317 152 164 147
9.69/9.70 c 2930 37220 15859366 4479743 1001 2327 20 38 32
9.69/9.76 c 2940 37447 15977293 4510219 1001 2337 80 218 153
9.69/9.77 c 2950 37494 15990895 4516366 1001 2347 20 38 32
9.69/9.78 c 2960 37559 16009791 4522353 1001 2357 56 56 50
9.79/9.83 c 2970 37735 16111419 4547632 1001 2361 80 164 133
9.79/9.84 c 2980 37782 16125253 4554006 1001 2362 38 38 34
9.79/9.86 c 2990 37910 16168602 4572179 1001 2366 111 113 102
9.89/9.93 c 3000 38137 16308704 4603127 1001 2376 17 218 160
9.89/9.94 c 3010 38184 16323466 4609110 1001 2377 38 38 34
9.89/9.96 c 3020 38315 16368703 4624895 1001 2387 74 122 101
9.99/10.01 c 3030 38497 16467894 4648213 1001 2397 92 173 142
9.99/10.02 c 3040 38544 16482839 4654341 1001 2398 38 38 34
9.99/10.06 c 3050 38723 16565365 4678402 1001 2404 92 167 135
10.09/10.11 c 3060 38904 16677731 4705005 1001 2410 15 164 121
10.09/10.12 c 3070 38951 16694183 4711257 1001 2420 15 38 32
10.09/10.14 c 3080 39070 16736268 4727162 1001 2425 74 110 86
10.19/10.20 c 3090 39254 16843250 4754988 1001 2429 77 167 133
10.19/10.21 c 3100 39301 16856658 4761460 1001 2439 20 38 32
10.19/10.25 c 3110 39489 16961235 4785452 1001 2449 132 179 158
10.19/10.26 c 3120 39536 16975620 4791741 1001 2459 18 38 31
10.29/10.32 c 3130 39766 17107327 4820889 1001 2469 221 221 200
10.29/10.33 c 3140 39813 17120680 4827024 1001 2478 1 38 29
10.29/10.35 c 3142 39888 17145777 4835848 1001 2480 74 74 49
10.39/10.40 c 3150 40113 17245453 4864757 1001 2488 218 218 193
10.39/10.41 c 3160 40160 17259263 4870788 1001 2489 38 38 34
10.39/10.42 c 3170 40225 17277720 4876684 1001 2499 56 56 50
10.39/10.45 c 3180 40347 17316906 4889566 1001 2509 113 113 102
10.49/10.50 c 3190 40538 17429782 4917061 1001 2513 132 176 155
10.49/10.51 c 3200 40585 17443328 4923576 1001 2523 15 38 30
10.49/10.56 c 3210 40790 17555306 4952503 1001 2532 92 194 151
10.49/10.57 c 3220 40837 17570227 4958574 1001 2542 20 38 32
10.59/10.63 c 3230 41067 17697603 4990955 1001 2552 132 221 183
10.59/10.64 c 3240 41114 17710381 4997170 1001 2562 20 38 32
10.59/10.69 c 3250 41348 17825668 5028509 1001 2570 92 218 162
10.69/10.70 c 3260 41395 17841858 5034611 1001 2571 38 38 34
10.69/10.76 c 3270 41615 17973781 5067539 1001 2578 110 209 156
10.69/10.77 c 3280 41662 17987741 5073889 1001 2579 38 38 34
10.69/10.79 c 3290 41799 18035648 5092588 1001 2584 65 125 101
10.79/10.86 c 3300 42030 18165217 5125588 1001 2588 95 209 171
10.79/10.87 c 3310 42077 18179129 5131991 1001 2589 38 38 34
10.79/10.88 c 3320 42151 18202933 5138939 1001 2599 65 65 59
10.89/10.92 c 3330 42309 18273642 5157209 1001 2609 132 149 133
10.89/10.93 c 3340 42356 18289066 5163130 1001 2610 38 38 34
10.89/10.98 c 3350 42588 18410417 5194998 1001 2619 92 221 167
10.89/10.99 c 3360 42635 18424029 5201033 1001 2620 38 38 34
10.99/11.05 c 3370 42865 18546870 5230207 1001 2630 221 221 200
10.99/11.06 c 3380 42912 18561250 5236290 1001 2640 20 38 32
11.09/11.11 c 3390 43105 18668433 5263928 1001 2649 92 182 145
11.09/11.12 c 3400 43152 18682203 5270141 1001 2659 20 38 32
11.09/11.18 c 3410 43392 18804430 5302096 1001 2667 92 224 170
11.09/11.19 c 3420 43437 18818190 5308218 1001 2676 1 36 27
11.18/11.23 c 3430 43622 18905648 5335844 1001 2683 92 173 135
11.18/11.28 c 3440 43816 19013886 5360818 1001 2693 17 185 150
11.18/11.29 c 3450 43863 19028706 5366947 1001 2694 38 38 34
11.28/11.35 c 3460 44102 19154175 5400856 1001 2701 92 224 158
11.28/11.36 c 3470 44149 19167739 5407203 1001 2711 20 38 32
11.38/11.43 c 3480 44391 19305097 5440980 1001 2719 167 224 191
11.38/11.44 c 3490 44438 19319193 5447119 1001 2729 20 38 32
11.38/11.46 c 3500 44575 19367453 5465821 1001 2734 92 125 106
11.38/11.47 c 3510 44646 19388329 5472514 1001 2744 62 62 56
11.48/11.51 c 3520 44804 19462251 5490637 1001 2754 149 149 135
11.48/11.52 c 3530 44851 19475202 5496854 1001 2764 20 38 32
11.48/11.57 c 3540 45056 19585031 5525772 1001 2773 95 194 149
11.48/11.58 c 3550 45103 19598551 5532081 1001 2783 18 38 31
11.58/11.63 c 3551 45309 19714628 5559489 1001 2784 206 206 103
11.58/11.64 c 3560 45355 19727499 5565810 1001 2793 18 38 30
11.58/11.66 c 3570 45432 19750333 5573244 1001 2803 68 68 61
11.68/11.72 c 3580 45668 19892572 5607302 1001 2810 92 221 158
11.68/11.73 c 3590 45715 19904919 5613687 1001 2820 18 38 31
11.78/11.80 c 3600 45935 20057589 5647229 1001 2826 92 206 156
11.78/11.81 c 3610 45982 20070573 5653604 1001 2827 38 38 34
11.78/11.82 c 3620 46053 20090547 5660292 1001 2837 62 62 56
11.78/11.86 c 3630 46205 20161214 5677833 1001 2847 143 143 130
11.78/11.87 c 3640 46252 20176326 5683764 1001 2848 38 38 34
11.88/11.92 c 3650 46490 20299856 5715508 1001 2856 92 224 151
11.88/11.93 c 3660 46537 20312829 5721509 1001 2857 38 38 34
11.88/11.99 c 3670 46770 20433258 5754162 1001 2864 93 218 171
11.88/12.00 c 3680 46817 20446938 5760316 1001 2874 20 38 32
11.99/12.01 c 3690 46882 20464398 5765841 1001 2884 56 56 50
11.99/12.06 c 3700 47113 20578628 5796241 1001 2892 95 215 168
11.99/12.07 c 3710 47160 20593357 5802381 1001 2893 38 38 34
12.10/12.12 c 3720 47385 20709195 5830814 1001 2903 93 212 179
12.10/12.13 c 3730 47432 20722879 5836799 1001 2904 38 38 34
12.10/12.19 c 3740 47666 20844910 5868575 1001 2912 77 221 142
12.10/12.20 c 3750 47713 20858517 5874679 1001 2922 20 38 32
12.19/12.22 c 3760 47844 20901434 5889070 1001 2932 78 122 106
12.19/12.28 c 3770 48071 21016019 5919946 1001 2942 92 218 135
12.19/12.28 c 3780 48118 21030823 5925933 1001 2943 38 38 34
12.29/12.34 c 3790 48314 21139881 5954266 1001 2952 93 185 150
12.29/12.35 c 3800 48361 21152671 5960591 1001 2962 18 38 31
12.29/12.39 c 3810 48543 21253672 5988313 1001 2971 92 171 111
12.39/12.40 c 3820 48590 21268176 5994426 1001 2972 38 38 34
12.39/12.41 c 3830 48655 21285900 6000339 1001 2982 56 56 50
12.39/12.44 c 3840 48798 21350027 6016754 1001 2992 93 134 118
12.39/12.45 c 3850 48845 21364489 6022845 1001 2993 38 38 34
12.49/12.51 c 3860 49075 21481872 6055297 1001 3000 92 215 158
12.49/12.52 c 3870 49122 21496736 6061418 1001 3010 20 38 32
12.49/12.58 c 3880 49361 21622627 6094713 1001 3017 93 224 179
12.49/12.59 c 3890 49408 21635751 6100810 1001 3018 38 38 34
12.59/12.61 c 3900 49518 21673649 6114531 1001 3028 92 101 89
12.59/12.62 c 3910 49565 21689123 6120668 1001 3037 1 38 29
12.59/12.64 c 3920 49678 21729593 6133840 1001 3047 98 104 93
12.59/12.65 c 3930 49725 21743190 6139895 1001 3057 20 38 32
12.69/12.70 c 3940 49946 21856032 6168995 1001 3067 93 212 167
12.69/12.71 c 3950 49993 21869506 6175154 1001 3077 20 38 32
12.69/12.76 c 3960 50187 21975105 6201386 1001 3087 92 185 125
12.69/12.77 c 3970 50234 21988834 6207421 1001 3088 38 38 34
12.79/12.83 c 3980 50460 22143176 6241881 1001 3096 93 211 162
12.79/12.84 c 3990 50507 22157143 6248238 1001 3097 38 38 34
12.89/12.90 c 4000 50735 22272669 6278923 1001 3105 92 215 155
12.89/12.90 c 4001 50755 22275387 6279800 1001 3106 20 20 10
12.89/12.97 c 4010 50977 22406172 6312592 1001 3113 15 212 138
12.89/12.98 c 4020 51024 22421045 6318996 1001 3114 38 38 34
12.99/13.03 c 4030 51251 22540301 6350744 1001 3120 92 211 154
13.09/13.10 c 4040 51478 22684029 6381842 1001 3130 17 218 155
13.09/13.11 c 4050 51525 22698544 6387911 1001 3131 38 38 34
13.09/13.17 c 4060 51753 22824316 6420808 1001 3134 171 208 182
13.09/13.18 c 4070 51800 22838569 6427278 1001 3144 20 38 32
13.19/13.23 c 4080 51985 22939964 6451180 1001 3154 149 176 157
13.19/13.24 c 4090 52032 22953530 6457288 1001 3164 20 38 32
13.19/13.26 c 4100 52136 22986060 6467901 1001 3174 95 95 86
13.19/13.26 c 4110 52183 23000541 6474035 1001 3184 20 38 32
13.19/13.28 c 4120 52254 23022403 6481378 1001 3194 53 62 55
13.19/13.30 c 4130 52343 23049694 6490945 1001 3204 65 80 70
13.29/13.32 c 4140 52447 23082409 6502108 1001 3214 80 95 83
13.29/13.32 c 4150 52494 23095375 6508280 1001 3224 20 38 32
13.29/13.34 c 4160 52574 23120640 6516264 1001 3234 71 71 64
13.38/13.40 c 4170 52812 23257753 6550612 1001 3241 71 221 153
13.38/13.41 c 4180 52859 23270613 6556736 1001 3251 20 38 32
13.38/13.48 c 4190 53089 23409194 6587663 1001 3261 53 221 152
13.38/13.49 c 4200 53136 23423022 6593798 1001 3262 38 38 34
13.48/13.51 c 4210 53258 23462702 6608043 1001 3272 62 113 92
13.48/13.53 c 4220 53365 23494975 6618923 1001 3282 98 98 89
13.48/13.54 c 4230 53412 23509909 6625108 1001 3283 38 38 34
13.48/13.59 c 4240 53633 23633335 6653615 1001 3293 53 212 164
13.58/13.60 c 4250 53680 23647286 6659742 1001 3294 38 38 34
13.58/13.65 c 4260 53877 23758955 6685559 1001 3304 65 188 157
13.58/13.66 c 4270 53924 23773428 6691650 1001 3305 38 38 34
13.68/13.71 c 4280 54130 23889311 6718557 1001 3315 53 197 153
13.68/13.72 c 4290 54177 23903150 6724636 1001 3316 38 38 34
13.68/13.79 c 4300 54422 24048375 6760406 1001 3319 210 215 193
13.78/13.85 c 4310 54655 24151387 6790222 1001 3329 62 224 174
13.78/13.86 c 4320 54702 24165485 6796411 1001 3339 20 38 32
13.88/13.91 c 4330 54925 24286823 6827593 1001 3344 53 205 158
13.88/13.93 c 4340 55002 24309960 6836142 1001 3354 56 68 59
13.88/13.96 c 4350 55121 24371122 6849698 1001 3364 110 110 100
13.98/14.02 c 4360 55356 24494104 6881873 1001 3366 210 215 192
13.98/14.03 c 4370 55403 24508881 6888140 1001 3367 38 38 34
13.98/14.09 c 4380 55634 24629441 6919690 1001 3373 53 209 156
13.98/14.10 c 4390 55681 24642983 6926004 1001 3374 38 38 34
14.08/14.14 c 4400 55836 24739420 6945482 1001 3384 146 146 132
14.08/14.15 c 4410 55883 24753052 6951521 1001 3385 38 38 34
14.08/14.19 c 4420 56032 24846577 6970731 1001 3395 53 140 119
14.08/14.19 c 4430 56079 24861047 6976914 1001 3405 20 38 32
14.18/14.26 c 4440 56318 25000540 7010895 1001 3409 203 209 187
14.18/14.27 c 4450 56365 25013814 7017377 1001 3419 20 38 32
14.29/14.31 c 4460 56514 25107082 7036367 1001 3429 53 140 119
14.29/14.32 c 4470 56561 25121664 7042598 1001 3439 20 38 32
14.29/14.37 c 4480 56758 25236526 7067445 1001 3449 188 188 170
14.29/14.38 c 4490 56805 25249355 7073662 1001 3459 20 38 32
14.39/14.45 c 4493 57031 25411440 7106178 1001 3462 53 224 125
14.39/14.46 c 4500 57075 25424633 7111337 1001 3469 20 38 31
14.48/14.52 c 4510 57321 25568080 7145449 1001 3474 162 215 185
14.48/14.58 c 4520 57557 25713407 7177856 1001 3484 17 227 153
14.48/14.59 c 4530 57602 25727422 7184016 1001 3493 1 36 27
14.58/14.62 c 4540 57733 25792974 7199652 1001 3503 53 122 98
14.58/14.67 c 4550 57930 25901931 7225651 1001 3513 56 188 147
14.58/14.68 c 4560 57977 25915825 7231662 1001 3514 38 38 34
14.68/14.75 c 4570 58210 26078007 7263168 1001 3524 162 224 198
14.68/14.76 c 4580 58257 26092087 7269265 1001 3534 20 38 32
14.78/14.81 c 4590 58454 26203109 7294849 1001 3544 53 188 146
14.78/14.82 c 4600 58501 26217867 7300938 1001 3545 38 38 34
14.78/14.88 c 4610 58738 26346028 7332291 1001 3554 173 218 187
14.78/14.89 c 4620 58785 26360470 7338428 1001 3564 20 38 32
14.88/14.91 c 4630 58889 26417762 7350926 1001 3574 53 95 79
14.88/14.97 c 4640 59122 26541601 7381115 1001 3584 56 224 157
14.88/14.98 c 4650 59169 26556280 7387158 1001 3585 38 38 34
14.98/15.01 c 4660 59291 26620239 7401096 1001 3595 113 113 102
14.98/15.07 c 4670 59515 26735587 7429779 1001 3605 110 215 185
14.98/15.08 c 4680 59562 26749731 7436020 1001 3615 20 38 32
15.08/15.12 c 4690 59738 26853586 7460737 1001 3619 53 164 128
15.08/15.13 c 4700 59785 26867043 7467076 1001 3629 20 38 32
15.08/15.18 c 4710 60012 26991613 7495832 1001 3639 218 218 198
15.08/15.19 c 4720 60059 27005514 7501863 1001 3640 38 38 34
15.18/15.24 c 4730 60268 27123481 7529028 1001 3650 53 200 149
15.18/15.25 c 4740 60315 27137080 7535085 1001 3660 20 38 32
15.28/15.32 c 4750 60551 27298589 7567312 1001 3670 179 227 197
15.28/15.33 c 4760 60598 27312827 7573497 1001 3680 20 38 32
15.28/15.38 c 4770 60810 27430199 7601379 1001 3690 53 203 150
15.28/15.39 c 4780 60857 27443900 7607444 1001 3691 38 38 34
15.39/15.45 c 4790 61093 27587576 7638050 1001 3701 201 227 204
15.39/15.46 c 4800 61140 27601732 7644143 1001 3711 20 38 32
15.49/15.52 c 4810 61371 27728763 7677146 1001 3717 53 212 155
15.49/15.54 c 4820 61472 27759617 7688362 1001 3727 53 92 79
15.58/15.61 c 4830 61702 27898525 7718281 1001 3737 56 221 185
15.58/15.61 c 4840 61749 27912449 7724266 1001 3738 38 38 34
15.58/15.67 c 4850 61985 28056576 7755180 1001 3748 162 227 195
15.58/15.68 c 4860 62032 28071350 7761393 1001 3749 38 38 34
15.68/15.74 c 4870 62271 28199656 7792856 1001 3759 53 230 168
15.68/15.76 c 4880 62316 28216807 7799049 1001 3768 1 36 29
15.78/15.81 c 4890 62502 28328148 7825939 1001 3772 161 164 148
15.78/15.83 c 4900 62606 28359381 7838530 1001 3782 47 95 73
15.78/15.87 c 4910 62752 28448602 7857210 1001 3792 56 137 110
15.78/15.88 c 4920 62799 28462449 7863197 1001 3793 38 38 34
15.88/15.95 c 4930 63038 28596429 7897527 1001 3797 200 206 185
15.88/15.97 c 4940 63136 28628367 7908366 1001 3807 47 89 70
15.98/16.03 c 4950 63371 28752488 7940924 1001 3810 56 206 171
15.98/16.07 c 4960 63529 28845473 7961193 1001 3820 53 149 121
15.98/16.08 c 4970 63576 28860357 7967249 1001 3829 1 38 29
16.08/16.14 c 4980 63815 28993082 7997706 1001 3839 53 230 193
16.08/16.15 c 4990 63862 29006608 8004012 1001 3849 20 38 32
16.18/16.21 c 5035 64136 29137019 8034340 1001 3894 230 230 225
16.28/16.30 c 5631 64888 29312420 8242956 1001 3912 34 38 36
16.38/16.42 c 6286 65851 29472318 8288652 1001 4315 53 236 224
16.49/16.53 c 7006 66762 29686255 8539744 1001 4332 1 38 36
16.59/16.65 c 7798 67716 29848932 8692277 1001 4739 41 128 91
16.78/16.84 c 8669 69296 30196443 9035200 1001 4765 48 119 115
16.98/17.00 c 9627 70518 30483736 9378054 1001 4781 20 41 39
17.28/17.34 c 10680 72354 30940821 9737080 1001 4796 41 128 124
17.48/17.53 c 11838 73837 31213300 9808273 1001 5459 47 281 242
17.68/17.74 c 13111 75507 31594291 10262792 1001 5471 1 38 36
17.98/18.09 c 14511 77969 32080642 10642200 1001 5487 59 161 156
18.28/18.33 c 16051 79989 32541130 11189964 1001 5505 32 38 36
18.68/18.71 c 17745 83023 33182350 11862080 1001 5516 42 92 88
19.08/19.16 c 19608 86453 33908308 12619962 1001 5533 17 74 71
19.38/19.49 c 21657 89039 34511381 13351692 1001 5549 15 38 36
19.98/20.03 c 23910 93232 35375687 14271829 1001 5556 66 74 71
20.38/20.40 c 26388 96396 36106920 15148851 1001 5572 32 38 36
20.89/20.95 c 29113 101125 37077340 16206999 1001 5587 68 74 71
21.38/21.42 c 32110 104925 37951313 17286314 1001 5602 32 38 36
22.09/22.19 c 35406 110548 39157611 18652320 1001 5612 42 74 70
22.68/22.73 c 39031 115121 40223413 19936782 1001 5625 15 38 36
23.58/23.61 c 43018 122298 41681691 21603461 1001 5643 65 74 71
24.58/24.64 c 47403 130246 43359187 23486296 1001 5662 65 74 71
25.29/25.38 c 52226 136347 44769726 25221884 1001 5687 15 38 36
26.58/26.63 c 57531 145862 46764725 27520973 1001 5695 65 74 70
27.38/27.49 c 63366 153270 48482203 29592499 1001 5713 32 38 36
28.88/28.97 c 69784 164543 50845714 32354380 1001 5726 41 74 70
29.97/30.05 c 76843 173518 52966195 34898372 1001 5752 15 38 36
31.77/31.81 c 84607 186344 55828320 38167157 1001 5773 64 74 69
33.58/33.69 c 93147 200502 58891073 41779736 1001 5796 2 74 70
35.78/35.86 c 102541 216451 62410240 45789261 1001 5810 44 74 69
38.27/38.36 c 112874 233807 66175106 50297822 1001 5827 20 50 45
40.87/40.96 c 124240 252712 70269716 55206253 1001 5842 37 47 42
43.87/43.92 c 136742 273573 74785410 60606987 1001 5852 36 47 42
46.97/47.01 c 150494 295697 79706949 66449516 1001 5860 36 47 41
50.37/50.49 c 165621 320657 85150056 72974247 1001 5872 37 47 41
54.26/54.33 c 182260 348122 91202117 80116089 1001 5886 36 47 41
58.57/58.64 c 200562 378617 97897389 88128575 1001 5902 36 47 42
63.27/63.36 c 220694 412381 105208965 96829318 1001 5913 36 47 41
68.96/69.03 c 242839 449189 113473503 106604006 1001 5928 36 47 41
74.66/74.79 c 267198 490845 122322319 117304477 1001 5945 36 47 41
81.76/81.83 c 293992 536497 132499983 129392718 1001 5961 36 47 42
88.65/88.71 c 323465 587429 143367166 142339047 1001 5985 36 47 41
96.45/96.50 c 355885 642044 155804589 156664521 1001 6007 2 47 41
103.84/103.98 c 391547 702830 168844831 172344244 1001 6035 36 47 41
113.53/113.65 c 430775 770099 184059620 189896544 1001 6048 36 47 41
122.73/122.84 c 473925 843322 199849131 209002831 1001 6061 36 47 42
133.32/133.45 c 521390 924932 217784905 230328491 1001 6079 36 47 41
144.72/144.87 c 573601 1012757 237076340 253278918 1001 6100 2 47 41
157.91/158.06 c 631033 1112226 258944163 278801812 1001 6126 35 47 41
170.31/170.42 c 694208 1209352 281636167 304987208 1001 6143 32 47 38
185.40/185.56 c 763700 1330851 307761463 335824589 1001 6155 2 47 41
203.69/203.88 c 840141 1462998 337462284 369950787 1001 6171 34 47 41
221.09/221.29 c 924226 1601871 368177311 406095579 1001 6199 34 47 40
239.88/240.02 c 1016719 1746219 402460490 444461898 1001 6220 32 47 38
258.48/258.66 c 1118461 1902617 438735841 486065869 1001 6233 32 47 38
280.06/280.29 c 1230377 2075925 479113133 531994175 1001 6251 31 47 38
302.86/303.08 c 1353484 2262423 522782340 582510622 1001 6272 32 43 37
326.95/327.17 c 1488901 2459258 570900745 636294425 1001 6284 30 39 35
354.54/354.73 c 1637859 2686418 623922766 697315486 1001 6305 32 47 37
383.93/384.19 c 1801712 2930506 682520397 762639720 1001 6319 30 41 36
418.92/419.15 c 1981950 3208858 747381891 837292564 1001 6340 32 47 38
453.90/454.11 c 2180211 3500536 817268530 916035034 1001 6366 30 45 36
491.49/491.71 c 2398298 3826426 894238530 1003708252 1001 6391 29 41 36
536.27/536.51 c 2638193 4196511 981060056 1102573905 1001 6415 31 47 37
584.35/584.64 c 2902077 4594371 1076681072 1209277466 1001 6448 29 41 36
631.73/632.01 c 3192349 5021874 1179245469 1298217124 1001 6479 28 40 35
687.40/687.76 c 3511648 5487285 1293426715 1424400567 1001 6521 30 45 36
753.58/753.97 c 3862876 6047734 1423502000 1550308985 1001 6553 30 46 37
829.35/829.72 c 4249226 6654601 1566956053 1687149530 1001 6575 30 46 37
904.52/904.97 c 4674211 7287383 1718031485 1858896832 1001 6595 30 41 36
1002.98/1003.48 c 5141694 8036348 1894549307 2056331533 1001 6616 31 47 38
1104.86/1105.32 c 5655925 8858362 2088582053 2245237020 1001 6657 30 48 37
1200.83/1201.38 c 6221579 9704692 2291374274 2431012191 1001 6687 28 42 35
1315.19/1315.76 c 6843798 10634701 2519936245 2681306074 1001 6726 29 43 36
1460.33/1460.91 c 7528238 11793304 2780327983 2931832620 1001 6745 32 48 39
1603.57/1604.29 c 8281122 12930371 3057015071 3240097841 1001 6784 29 47 36
1767.62/1768.30 c 9109294 14205914 3373487934 3581951848 1001 6809 29 47 36
1956.16/1956.92 c 10020283 15671469 3717399918 3965505387 1001 6833 31 47 38
2141.39/2142.21 c 11022370 17209782 4088721263 4308477635 1001 6879 28 42 36
2328.32/2329.28 c 12124665 18823341 4482182666 4746799606 1001 6918 27 39 34
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-4242325-1500657356/watcher-4242325-1500657356 -o /tmp/evaluation-result-4242325-1500657356/solver-4242325-1500657356 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9846 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242325-1500657356.xml
pid=11691
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.24 2.07 2.06 2/243 11694
/proc/meminfo: memFree=31335088/32770624 swapFree=5868/742720
[pid=11694] ppid=11691 vsize=28440 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 1322 0 0 0 1 0 0 0 20 0 1 0 1005442 29122560 1103 33554432000 4194304 5970956 140726114158032 140726114154680 5378216 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 7110 1103 703 434 0 474 0
[startup+0.100159 s]
/proc/loadavg: 2.24 2.07 2.06 2/243 11694
/proc/meminfo: memFree=31335088/32770624 swapFree=5868/742720
[pid=11694] ppid=11691 vsize=49976 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 5640 0 0 0 8 1 0 0 20 0 1 0 1005442 51175424 6449 33554432000 4194304 5970956 140726114158032 140726114154856 140529944845285 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 12494 6449 837 434 0 5858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49976
[startup+0.200388 s]
/proc/loadavg: 2.24 2.07 2.06 2/243 11694
/proc/meminfo: memFree=31335088/32770624 swapFree=5868/742720
[pid=11694] ppid=11691 vsize=107452 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 14969 0 0 0 17 2 0 0 20 0 1 0 1005442 110030848 18896 33554432000 4194304 5970956 140726114158032 140726114155544 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 26863 18896 837 434 0 20227 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 107452
[startup+0.300384 s]
/proc/loadavg: 2.24 2.07 2.06 2/243 11694
/proc/meminfo: memFree=31335088/32770624 swapFree=5868/742720
[pid=11694] ppid=11691 vsize=163592 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 23988 0 0 0 25 4 0 0 20 0 1 0 1005442 167518208 33512 33554432000 4194304 5970956 140726114158032 140726114154856 140529944845285 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 40931 33512 837 434 0 34295 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 163592
[startup+0.700335 s]
/proc/loadavg: 2.24 2.07 2.06 2/243 11694
/proc/meminfo: memFree=31335088/32770624 swapFree=5868/742720
[pid=11694] ppid=11691 vsize=479344 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 57824 0 0 0 60 9 0 0 20 0 1 0 1005442 490848256 92391 33554432000 4194304 5970956 140726114158032 140726114154856 140529944845285 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 119836 92391 837 434 0 113200 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 479344
[startup+1.50031 s]
/proc/loadavg: 2.24 2.07 2.06 3/244 11695
/proc/meminfo: memFree=30710736/32770624 swapFree=5868/742808
[pid=11694] ppid=11691 vsize=851116 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 106268 0 0 0 129 20 0 0 20 0 1 0 1005442 871542784 181731 33554432000 4194304 5970956 140726114158032 140726114155368 4974720 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 212779 181731 854 434 0 206143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 851116
[startup+3.10032 s]
/proc/loadavg: 2.24 2.07 2.06 3/244 11695
/proc/meminfo: memFree=30949912/32770624 swapFree=5868/382844
[pid=11694] ppid=11691 vsize=851784 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 112645 0 0 0 288 21 0 0 20 0 1 0 1005442 872226816 181892 33554432000 4194304 5970956 140726114158032 140726114155368 4908533 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 212946 181892 854 434 0 206310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 851784
[startup+6.30032 s]
/proc/loadavg: 2.30 2.09 2.07 3/243 11698
/proc/meminfo: memFree=31348392/32770624 swapFree=5868/20680
[pid=11694] ppid=11691 vsize=852204 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 128438 0 0 0 607 22 0 0 20 0 1 0 1005442 872656896 181989 33554432000 4194304 5970956 140726114158032 140726114155368 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213051 181989 854 434 0 206415 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 852204
[startup+12.7003 s]
/proc/loadavg: 2.28 2.08 2.06 3/243 11698
/proc/meminfo: memFree=31346320/32770624 swapFree=5868/19848
[pid=11694] ppid=11691 vsize=852204 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 147575 0 0 0 1245 24 0 0 20 0 1 0 1005442 872656896 182522 33554432000 4194304 5970956 140726114158032 140726114155368 5272624 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213051 182522 854 434 0 206415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 852204
[startup+25.5004 s]
/proc/loadavg: 2.22 2.08 2.06 3/243 11698
/proc/meminfo: memFree=31346008/32770624 swapFree=5868/19872
[pid=11694] ppid=11691 vsize=852724 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 168344 0 0 0 2523 25 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4974266 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 852724
[startup+51.1003 s]
/proc/loadavg: 2.14 2.07 2.06 3/243 11698
/proc/meminfo: memFree=31346380/32770624 swapFree=5868/19892
[pid=11694] ppid=11691 vsize=852724 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 178509 0 0 0 5080 26 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5250808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 852724
[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/243 11699
/proc/meminfo: memFree=31346272/32770624 swapFree=5868/19976
[pid=11694] ppid=11691 vsize=852724 CPUtime=102.24 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 188473 0 0 0 10197 27 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 852724
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 11700
/proc/meminfo: memFree=31346364/32770624 swapFree=5868/20044
[pid=11694] ppid=11691 vsize=852724 CPUtime=162.21 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 193236 0 0 0 16194 27 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 852724
[startup+222.308 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 11701
/proc/meminfo: memFree=31347300/32770624 swapFree=5868/20128
[pid=11694] ppid=11691 vsize=852724 CPUtime=222.19 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 197507 0 0 0 22192 27 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5324949 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 852724
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 11709
/proc/meminfo: memFree=31346240/32770624 swapFree=5868/20180
[pid=11694] ppid=11691 vsize=852724 CPUtime=282.16 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 200317 0 0 0 28189 27 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 852724
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 11710
/proc/meminfo: memFree=31346416/32770624 swapFree=5868/20240
[pid=11694] ppid=11691 vsize=852724 CPUtime=342.14 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 202281 0 0 0 34186 28 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5327374 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 852724
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11711
/proc/meminfo: memFree=31346700/32770624 swapFree=5868/20284
[pid=11694] ppid=11691 vsize=852724 CPUtime=402.12 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 204999 0 0 0 40184 28 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 852724
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11712
/proc/meminfo: memFree=31346504/32770624 swapFree=5868/20332
[pid=11694] ppid=11691 vsize=852724 CPUtime=462.1 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 206485 0 0 0 46182 28 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 852724
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11713
/proc/meminfo: memFree=31347016/32770624 swapFree=5868/20376
[pid=11694] ppid=11691 vsize=852724 CPUtime=522.07 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 207028 0 0 0 52179 28 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031440 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 852724
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11715
/proc/meminfo: memFree=31346796/32770624 swapFree=5868/20432
[pid=11694] ppid=11691 vsize=852724 CPUtime=582.05 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 208709 0 0 0 58177 28 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5093143 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 852724
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11943
/proc/meminfo: memFree=31286300/32770624 swapFree=5868/21568
[pid=11694] ppid=11691 vsize=852724 CPUtime=1481.72 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 224106 0 0 0 148143 29 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5239872 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 852724
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11944
/proc/meminfo: memFree=31286796/32770624 swapFree=5868/21616
[pid=11694] ppid=11691 vsize=852724 CPUtime=1541.7 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 224980 0 0 0 154141 29 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 852724
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11945
/proc/meminfo: memFree=31287044/32770624 swapFree=5868/21644
[pid=11694] ppid=11691 vsize=852724 CPUtime=1601.67 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 226149 0 0 0 160138 29 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 852724
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11946
/proc/meminfo: memFree=31287044/32770624 swapFree=5868/21688
[pid=11694] ppid=11691 vsize=852724 CPUtime=1661.65 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 227284 0 0 0 166136 29 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031474 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 852724
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11947
/proc/meminfo: memFree=31287100/32770624 swapFree=5868/21728
[pid=11694] ppid=11691 vsize=852724 CPUtime=1721.63 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 228391 0 0 0 172134 29 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5325224 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 852724
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11948
/proc/meminfo: memFree=31287368/32770624 swapFree=5868/21772
[pid=11694] ppid=11691 vsize=852724 CPUtime=1781.62 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 229034 0 0 0 178132 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 852724
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11949
/proc/meminfo: memFree=31286684/32770624 swapFree=5868/21824
[pid=11694] ppid=11691 vsize=852724 CPUtime=1841.59 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 230137 0 0 0 184129 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4908512 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1841.59
Current children cumulated vsize (KiB) 852724
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11950
/proc/meminfo: memFree=31285060/32770624 swapFree=5868/21860
[pid=11694] ppid=11691 vsize=852724 CPUtime=1901.57 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 231285 0 0 0 190127 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1901.57
Current children cumulated vsize (KiB) 852724
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11951
/proc/meminfo: memFree=31286312/32770624 swapFree=5868/21888
[pid=11694] ppid=11691 vsize=852724 CPUtime=1961.55 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 232590 0 0 0 196125 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4933210 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 1961.55
Current children cumulated vsize (KiB) 852724
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11953
/proc/meminfo: memFree=31285292/32770624 swapFree=5868/21904
[pid=11694] ppid=11691 vsize=852724 CPUtime=2021.53 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 233467 0 0 0 202123 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2021.53
Current children cumulated vsize (KiB) 852724
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11961
/proc/meminfo: memFree=31284364/32770624 swapFree=5868/21940
[pid=11694] ppid=11691 vsize=852724 CPUtime=2081.52 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 234584 0 0 0 208122 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2081.52
Current children cumulated vsize (KiB) 852724
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11962
/proc/meminfo: memFree=31284860/32770624 swapFree=5868/21976
[pid=11694] ppid=11691 vsize=852724 CPUtime=2141.49 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 235862 0 0 0 214119 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4974128 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2141.49
Current children cumulated vsize (KiB) 852724
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11963
/proc/meminfo: memFree=31285356/32770624 swapFree=5868/22016
[pid=11694] ppid=11691 vsize=852724 CPUtime=2201.47 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 236839 0 0 0 220117 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5031455 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2201.47
Current children cumulated vsize (KiB) 852724
[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11964
/proc/meminfo: memFree=31285356/32770624 swapFree=5868/22052
[pid=11694] ppid=11691 vsize=852724 CPUtime=2261.44 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 237950 0 0 0 226114 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4934432 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2261.44
Current children cumulated vsize (KiB) 852724
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11965
/proc/meminfo: memFree=31286284/32770624 swapFree=5868/22104
[pid=11694] ppid=11691 vsize=852724 CPUtime=2321.42 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 239052 0 0 0 232112 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 4971333 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2321.42
Current children cumulated vsize (KiB) 852724
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11967
/proc/meminfo: memFree=31285424/32770624 swapFree=5868/22156
[pid=11694] ppid=11691 vsize=852724 CPUtime=2381.4 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 239652 0 0 0 238110 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5322040 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2381.4
Current children cumulated vsize (KiB) 852724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11968
/proc/meminfo: memFree=31285516/32770624 swapFree=5868/22196
[pid=11694] ppid=11691 vsize=852724 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/11694/stat : 11694 (cosoco) R 11691 11694 9815 0 -1 4202496 240337 0 0 0 239979 30 0 0 20 0 1 0 1005442 873189376 182635 33554432000 4194304 5970956 140726114158032 140726114155368 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 22499328 140726114161852 140726114161987 140726114161987 140726114164686 0
/proc/11694/statm: 213181 182635 854 434 0 206545 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 852724
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 11694 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401
CPU time (s): 2400.11
CPU user time (s): 2399.8
CPU system time (s): 0.306886
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 852724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.8
system time used= 0.306886
maximum resident set size= 730588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240365
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= 21
involuntary context switches= 121875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88877 second user time and 10.8906 second system time
The end