0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c intension hd[0]<ad[0] using generic constraint
0.00/0.03 c intension hd[1]<ad[1] using generic constraint
0.00/0.03 c intension hd[2]<ad[2] using generic constraint
0.00/0.03 c intension hd[3]<ad[3] using generic constraint
0.00/0.03 c intension hd[4]<ad[4] using generic constraint
0.00/0.03 c intension hd[5]<ad[5] using generic constraint
0.00/0.03 c intension hd[6]<ad[6] using generic constraint
0.00/0.03 c intension hd[7]<ad[7] using generic constraint
0.00/0.03 c intension hd[8]<ad[8] using generic constraint
0.00/0.03 c intension hd[9]<ad[9] using generic constraint
0.00/0.03 c intension hd[10]<ad[10] using generic constraint
0.00/0.03 c intension hd[11]<ad[11] using generic constraint
0.00/0.04 c intension hd[12]<ad[12] using generic constraint
1.19/1.26 c SAT : Variables: 123201 -- Clauses: 17331951
1.19/1.28 c root propagations : 6785
1.19/1.28 c restarts enabled, print stats at every restarts
1.19/1.28 c
1.19/1.28 c
1.19/1.28 c
1.19/1.28 c This is cosoco 1.12 --
1.19/1.28 c
1.19/1.28 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266409-1502583602.xml
1.19/1.28 c ========================================[ Problem Statistics ]===========================================
1.19/1.28 c |
1.19/1.28 c | Parse time : 1.09 s
1.19/1.28 c |
1.19/1.28 c | Variables: 1001
1.19/1.28 c | Domain Sizes: 26..325
1.19/1.28 c |
1.19/1.28 c | Constraints: 1417
1.19/1.28 c | Arity: 1..325 -- Unary: 13 -- Binary: 13 -- Ternary: 325
1.19/1.28 c |
1.19/1.28 c | Types:
1.19/1.28 c | (X - Y < k): 13
1.19/1.28 c | All Different: 27
1.19/1.28 c | At least: 338
1.19/1.28 c | At most: 338
1.19/1.28 c | Exactly K: 363
1.19/1.28 c | Extension: 325 (nb tuples: 325..325) -- (shared: 324)
1.19/1.28 c | Intension: 13
1.19/1.28 c |
1.19/1.28 c =========================================================================================================
1.19/1.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.19/1.29 c 10 91 66562 14974 1001 10 76 82 71
1.29/1.35 c 20 317 188478 44850 1001 16 1 204 154
1.29/1.39 c 30 540 262952 72656 1001 24 41 213 118
1.39/1.43 c 40 705 306502 94620 1001 34 41 156 66
1.39/1.45 c 50 778 326461 104978 1001 44 15 64 47
1.39/1.46 c 60 860 349812 115686 1001 54 15 73 50
1.39/1.48 c 70 942 367502 123434 1001 64 44 73 58
1.49/1.50 c 80 1027 387519 132147 1001 74 44 76 57
1.49/1.52 c 90 1115 408865 141424 1001 84 47 79 59
1.49/1.54 c 100 1206 431323 151111 1001 94 50 82 62
1.49/1.55 c 101 1267 444264 154123 1001 95 61 61 30
1.49/1.57 c 110 1360 470558 164389 1001 104 15 85 64
1.49/1.59 c 120 1451 492202 173435 1001 113 1 82 61
1.59/1.61 c 130 1548 516568 184120 1001 123 59 88 72
1.59/1.63 c 140 1645 541331 192575 1001 132 1 88 67
1.59/1.65 c 150 1745 565991 201660 1001 142 59 91 76
1.59/1.67 c 160 1848 596079 211149 1001 151 1 94 73
1.69/1.70 c 170 1969 629122 222588 1001 161 80 112 94
1.69/1.73 c 180 2096 664893 235747 1001 170 1 118 87
1.69/1.75 c 190 2208 703615 249892 1001 179 1 103 74
1.69/1.77 c 200 2311 733908 260604 1001 188 1 94 65
1.69/1.79 c 210 2414 764263 272152 1001 196 1 94 60
1.79/1.81 c 211 2520 796214 281553 1001 197 106 106 53
1.79/1.83 c 220 2640 831943 293070 1001 206 43 112 86
1.79/1.84 c 230 2728 852580 301411 1001 210 1 79 55
1.79/1.87 c 240 2852 889249 313355 1001 220 85 115 98
1.79/1.88 c 250 2945 912142 322248 1001 224 1 82 60
1.89/1.92 c 260 3126 991126 341230 1001 234 134 172 149
1.89/1.94 c 270 3222 1019553 350804 1001 238 1 85 62
1.89/1.98 c 280 3403 1093629 369847 1001 248 89 172 148
1.89/2.00 c 290 3499 1119701 379465 1001 252 1 85 62
2.00/2.04 c 300 3683 1195122 399583 1001 262 88 175 134
2.00/2.06 c 310 3786 1222438 409801 1001 268 1 85 63
2.00/2.09 c 320 3946 1269579 426840 1001 278 118 151 121
2.00/2.10 c 330 4043 1294046 436454 1001 284 1 82 61
2.10/2.12 c 332 4163 1330632 447683 1001 286 15 119 44
2.10/2.13 c 340 4249 1349802 454901 1001 288 74 76 66
2.10/2.18 c 350 4436 1450179 477135 1001 298 15 178 129
2.10/2.19 c 360 4530 1473802 485583 1001 303 1 76 62
2.19/2.22 c 370 4696 1523530 503771 1001 313 15 157 111
2.19/2.24 c 380 4787 1546986 511841 1001 316 1 76 61
2.19/2.26 c 390 4923 1593266 527982 1001 322 15 124 92
2.29/2.32 c 400 5142 1703561 556609 1001 331 119 208 160
2.29/2.33 c 410 5230 1724992 564419 1001 335 1 76 61
2.29/2.37 c 420 5393 1779628 581787 1001 345 15 154 116
2.29/2.38 c 430 5481 1799850 589820 1001 348 1 76 58
2.39/2.43 c 440 5698 1912304 615556 1001 358 15 208 148
2.39/2.45 c 450 5789 1935110 623754 1001 361 1 76 61
2.39/2.50 c 460 6003 2038331 648989 1001 371 119 205 157
2.49/2.51 c 465 6080 2055136 654746 1001 373 46 73 56
2.49/2.53 c 470 6215 2097552 668980 1001 378 15 131 68
2.49/2.54 c 480 6297 2114823 676332 1001 380 46 73 63
2.49/2.57 c 490 6442 2160395 692694 1001 390 15 136 103
2.49/2.58 c 500 6524 2179407 700291 1001 396 44 73 60
2.59/2.62 c 510 6672 2247555 715987 1001 406 15 139 108
2.59/2.63 c 520 6754 2266458 723487 1001 413 44 73 60
2.59/2.68 c 530 6971 2379600 748017 1001 423 15 208 170
2.69/2.70 c 540 7053 2397785 755531 1001 427 1 70 52
2.69/2.75 c 550 7267 2506109 781189 1001 437 79 205 125
2.69/2.76 c 560 7349 2524585 788826 1001 443 1 73 54
2.79/2.80 c 570 7497 2590798 804522 1001 453 15 139 105
2.79/2.81 c 580 7576 2608862 811713 1001 458 44 70 58
2.79/2.85 c 590 7754 2704032 833325 1001 468 15 169 102
2.79/2.86 c 600 7830 2720424 840086 1001 471 44 67 56
2.89/2.91 c 610 8044 2831394 863855 1001 481 188 205 184
2.89/2.92 c 611 8090 2836174 864739 1001 482 46 46 23
2.89/2.94 c 620 8231 2876187 880714 1001 486 79 130 108
2.89/2.95 c 630 8310 2896359 887822 1001 489 15 67 56
2.89/2.97 c 640 8452 2937494 902985 1001 499 15 133 87
2.89/3.00 c 650 8597 2976542 918399 1001 509 88 136 97
3.00/3.03 c 660 8739 3022084 934683 1001 518 82 133 94
3.00/3.04 c 670 8815 3038770 941453 1001 528 15 67 54
3.00/3.06 c 680 8930 3071052 952790 1001 538 85 106 88
3.00/3.08 c 690 9048 3103523 964138 1001 548 88 109 93
3.10/3.12 c 700 9223 3179687 986672 1001 555 82 163 117
3.10/3.17 c 710 9401 3281946 1007458 1001 565 15 169 113
3.10/3.18 c 720 9477 3299157 1014002 1001 568 46 67 58
3.19/3.20 c 730 9622 3347211 1030937 1001 572 79 133 112
3.19/3.25 c 740 9803 3443214 1051721 1001 582 82 172 133
3.19/3.26 c 750 9859 3459178 1058127 1001 584 45 47 42
3.19/3.28 c 760 9977 3489968 1069762 1001 594 15 109 84
3.29/3.33 c 770 10161 3589090 1089672 1001 604 175 175 159
3.29/3.33 c 771 10179 3591543 1090708 1001 605 18 18 9
3.29/3.35 c 780 10293 3623656 1100589 1001 613 1 106 84
3.29/3.39 c 790 10483 3703919 1122150 1001 623 136 181 153
3.39/3.40 c 800 10533 3719368 1128657 1001 626 20 41 35
3.39/3.45 c 810 10747 3825296 1153844 1001 636 85 205 152
3.39/3.46 c 820 10797 3839031 1160449 1001 638 20 41 35
3.49/3.51 c 830 10993 3938072 1184037 1001 648 15 187 137
3.49/3.52 c 840 11043 3954098 1190447 1001 651 39 41 36
3.49/3.57 c 850 11254 4060199 1215509 1001 661 85 202 149
3.49/3.57 c 860 11304 4075991 1221861 1001 663 20 41 35
3.49/3.59 c 870 11413 4103381 1230972 1001 673 15 100 82
3.59/3.63 c 880 11603 4160093 1252628 1001 678 118 181 142
3.59/3.67 c 890 11793 4244775 1278107 1001 682 15 178 143
3.59/3.68 c 900 11843 4258955 1284876 1001 685 20 41 35
3.69/3.71 c 910 12009 4309105 1304137 1001 693 88 154 110
3.69/3.72 c 920 12059 4326795 1310758 1001 696 15 41 34
3.69/3.74 c 930 12162 4352834 1319227 1001 706 15 94 77
3.69/3.78 c 940 12361 4432604 1340274 1001 716 118 190 159
3.69/3.79 c 947 12408 4448288 1345689 1001 722 1 41 30
3.79/3.81 c 950 12529 4483484 1357367 1001 725 118 119 88
3.79/3.82 c 960 12579 4498668 1363844 1001 727 20 41 35
3.79/3.84 c 970 12709 4531026 1374511 1001 737 121 121 110
3.79/3.85 c 980 12756 4544883 1380486 1001 738 38 38 34
3.79/3.86 c 990 12859 4570188 1388645 1001 748 53 94 80
3.79/3.88 c 1000 12968 4595658 1397331 1001 758 56 100 85
3.89/3.93 c 1010 13182 4705999 1420800 1001 768 205 205 186
3.89/3.94 c 1020 13232 4720813 1427229 1001 771 20 41 35
3.89/3.97 c 1030 13368 4781981 1441008 1001 781 53 127 102
3.89/3.98 c 1040 13415 4794097 1447363 1001 791 18 38 31
4.00/4.05 c 1050 13629 4982228 1479228 1001 795 88 187 152
4.09/4.11 c 1060 13846 5100899 1505564 1001 805 15 208 127
4.09/4.12 c 1070 13893 5116743 1511699 1001 814 1 38 31
4.09/4.17 c 1080 14110 5226993 1536718 1001 824 53 208 156
4.09/4.18 c 1090 14157 5239241 1543055 1001 834 18 38 31
4.19/4.23 c 1100 14377 5351908 1567747 1001 844 158 211 187
4.19/4.25 c 1110 14424 5366367 1574092 1001 853 1 38 27
4.29/4.30 c 1120 14647 5481161 1600009 1001 863 53 214 162
4.29/4.31 c 1130 14694 5494522 1606132 1001 872 1 38 29
4.29/4.36 c 1140 14920 5612375 1631613 1001 882 158 217 191
4.29/4.36 c 1141 14921 5613598 1632019 1001 882 1 1 0
4.29/4.37 c 1150 14967 5628851 1637665 1001 891 38 38 34
4.39/4.42 c 1160 15196 5747820 1664114 1001 901 53 220 166
4.39/4.43 c 1170 15243 5763279 1670191 1001 910 1 38 29
4.39/4.49 c 1180 15475 5884889 1696394 1001 920 158 223 196
4.39/4.50 c 1190 15522 5898168 1702568 1001 929 1 38 29
4.49/4.55 c 1200 15757 6016469 1729497 1001 939 53 226 183
4.49/4.56 c 1210 15804 6030544 1735795 1001 948 1 38 29
4.59/4.62 c 1220 16055 6162277 1767677 1001 951 158 232 200
4.59/4.63 c 1230 16102 6175204 1774150 1001 961 20 38 32
4.59/4.69 c 1240 16349 6299564 1802674 1001 971 53 238 192
4.69/4.70 c 1250 16396 6314546 1808862 1001 980 1 38 29
4.69/4.76 c 1260 16648 6440777 1837740 1001 989 158 238 206
4.69/4.77 c 1270 16695 6454242 1843960 1001 998 1 38 29
4.79/4.82 c 1280 16942 6578635 1872587 1001 1008 53 238 192
4.79/4.83 c 1290 16989 6592620 1878684 1001 1018 20 38 32
4.79/4.87 c 1300 17164 6690124 1897375 1001 1028 158 166 150
4.79/4.88 c 1310 17211 6705046 1903467 1001 1037 1 38 29
4.89/4.90 c 1320 17311 6730213 1911875 1001 1047 53 91 72
4.89/4.95 c 1330 17513 6833487 1937316 1001 1053 56 193 116
4.89/4.97 c 1340 17616 6858436 1945402 1001 1063 62 94 82
5.00/5.02 c 1350 17830 6964375 1969467 1001 1073 56 205 159
5.00/5.03 c 1352 17869 6978086 1972787 1001 1075 38 38 25
5.00/5.05 c 1360 18018 7021343 1986981 1001 1083 62 142 108
5.00/5.10 c 1370 18234 7127006 2013523 1001 1092 80 205 155
5.10/5.11 c 1380 18281 7141761 2019496 1001 1093 38 38 34
5.10/5.17 c 1390 18528 7263190 2051084 1001 1100 56 231 149
5.10/5.18 c 1400 18574 7276963 2057394 1001 1110 15 37 30
5.19/5.21 c 1410 18752 7353045 2075111 1001 1120 169 169 153
5.19/5.22 c 1420 18799 7366476 2081156 1001 1130 20 38 32
5.19/5.28 c 1430 19046 7506382 2111168 1001 1140 62 238 178
5.19/5.29 c 1440 19093 7519264 2117325 1001 1150 20 38 32
5.29/5.31 c 1450 19199 7545784 2126354 1001 1160 53 97 81
5.29/5.34 c 1460 19338 7584561 2138982 1001 1170 62 130 105
5.29/5.35 c 1470 19385 7599102 2145105 1001 1171 38 38 34
5.29/5.39 c 1480 19566 7699081 2164300 1001 1181 172 172 156
5.29/5.40 c 1490 19613 7713445 2170421 1001 1191 20 38 32
5.39/5.42 c 1500 19758 7758040 2184998 1001 1201 68 136 99
5.39/5.43 c 1510 19805 7772915 2190996 1001 1202 38 38 34
5.39/5.45 c 1520 19924 7815256 2204687 1001 1212 62 110 91
5.49/5.51 c 1530 20177 7930875 2234446 1001 1220 65 238 181
5.49/5.52 c 1540 20224 7944792 2240465 1001 1221 38 38 34
5.49/5.58 c 1550 20477 8062445 2272361 1001 1228 71 238 175
5.49/5.58 c 1560 20524 8077864 2278272 1001 1229 38 38 34
5.59/5.62 c 1570 20658 8147742 2296805 1001 1239 53 125 71
5.59/5.67 c 1580 20880 8254456 2325835 1001 1248 68 211 112
5.59/5.68 c 1585 20922 8267076 2330153 1001 1253 38 38 31
5.69/5.70 c 1590 21012 8300623 2340685 1001 1258 71 86 69
5.69/5.75 c 1600 21231 8406871 2367329 1001 1267 77 208 157
5.69/5.76 c 1610 21278 8420701 2373276 1001 1268 38 38 34
5.69/5.78 c 1620 21406 8465232 2388753 1001 1278 57 119 88
5.79/5.84 c 1630 21662 8585791 2420668 1001 1285 75 241 188
5.79/5.85 c 1640 21709 8600678 2426688 1001 1294 1 38 31
5.89/5.91 c 1650 21935 8718106 2454087 1001 1304 56 217 111
5.89/5.92 c 1660 21982 8731614 2460148 1001 1314 20 38 32
5.89/5.94 c 1670 22110 8774533 2478294 1001 1320 74 116 90
5.89/6.00 c 1680 22330 8891264 2504541 1001 1330 15 211 138
6.00/6.01 c 1690 22377 8906658 2510554 1001 1331 38 38 34
6.00/6.02 c 1700 22478 8940658 2524167 1001 1338 53 92 66
6.00/6.03 c 1710 22525 8954118 2530777 1001 1348 15 38 30
6.00/6.05 c 1720 22629 8990954 2544828 1001 1350 90 92 82
6.00/6.06 c 1730 22676 9005508 2551061 1001 1351 38 38 34
6.00/6.08 c 1740 22774 9039657 2564247 1001 1356 53 89 75
6.00/6.09 c 1750 22821 9052937 2570571 1001 1366 15 38 30
6.10/6.13 c 1760 23012 9164157 2594897 1001 1376 141 182 161
6.10/6.14 c 1770 23059 9178137 2600932 1001 1386 20 38 32
6.10/6.16 c 1780 23145 9206834 2612326 1001 1396 53 77 64
6.10/6.16 c 1790 23192 9220946 2618630 1001 1406 15 38 30
6.19/6.21 c 1800 23389 9336458 2644643 1001 1416 59 188 147
6.19/6.22 c 1810 23436 9350596 2650674 1001 1426 20 38 32
6.19/6.23 c 1820 23522 9379190 2661860 1001 1436 53 77 67
6.19/6.24 c 1830 23569 9392029 2668249 1001 1446 20 38 32
6.19/6.29 c 1840 23751 9497496 2693753 1001 1452 125 170 143
6.19/6.29 c 1841 23768 9499962 2694774 1001 1453 17 17 8
6.29/6.34 c 1850 23967 9615933 2721686 1001 1462 53 191 144
6.29/6.35 c 1860 24014 9631351 2727844 1001 1463 38 38 34
6.39/6.40 c 1870 24220 9748356 2754790 1001 1473 125 197 166
6.39/6.41 c 1880 24267 9761324 2761044 1001 1483 20 38 32
6.39/6.47 c 1890 24517 9886822 2790451 1001 1493 53 241 194
6.39/6.48 c 1900 24564 9900771 2796896 1001 1503 18 38 31
6.49/6.53 c 1910 24789 10023034 2828630 1001 1509 53 212 143
6.49/6.54 c 1920 24835 10036553 2835210 1001 1519 17 37 30
6.49/6.57 c 1930 24948 10095778 2847956 1001 1529 104 104 94
6.59/6.62 c 1940 25154 10211504 2873815 1001 1539 197 197 179
6.59/6.63 c 1950 25201 10226205 2879744 1001 1540 38 38 34
6.59/6.69 c 1960 25389 10334940 2903548 1001 1550 179 179 162
6.69/6.70 c 1970 25436 10347755 2909967 1001 1560 18 38 31
6.69/6.73 c 1980 25564 10415960 2925602 1001 1570 56 119 102
6.69/6.76 c 1990 25698 10464339 2943142 1001 1580 59 125 93
6.79/6.82 c 2000 25916 10580909 2972951 1001 1585 114 206 175
6.79/6.85 c 2010 26023 10623183 2988586 1001 1594 15 98 58
6.89/6.91 c 2020 26246 10754666 3020658 1001 1599 59 205 162
6.89/6.92 c 2030 26293 10768728 3027239 1001 1609 15 38 29
6.89/6.94 c 2040 26412 10808269 3041892 1001 1619 56 110 84
6.89/6.97 c 2050 26519 10845519 3056394 1001 1625 59 98 72
6.89/6.98 c 2060 26566 10860863 3062582 1001 1626 38 38 34
6.89/7.00 c 2070 26673 10896357 3077271 1001 1635 57 98 68
6.89/7.00 c 2080 26720 10909185 3083846 1001 1645 20 38 32
7.00/7.04 c 2090 26860 10981711 3100665 1001 1655 96 131 115
7.00/7.07 c 2100 27000 11027881 3118136 1001 1665 119 131 114
7.00/7.10 c 2110 27137 11073842 3136510 1001 1670 63 128 92
7.10/7.16 c 2120 27361 11198023 3165839 1001 1680 17 215 152
7.10/7.17 c 2122 27400 11210470 3169284 1001 1682 20 38 19
7.19/7.22 c 2130 27613 11327020 3198537 1001 1689 53 206 124
7.19/7.23 c 2140 27660 11341178 3204891 1001 1699 20 38 32
7.19/7.25 c 2150 27761 11375940 3219254 1001 1708 56 92 69
7.29/7.31 c 2160 27989 11504392 3252292 1001 1714 56 206 161
7.29/7.33 c 2170 28081 11538610 3264774 1001 1724 17 83 67
7.29/7.34 c 2180 28128 11554031 3271161 1001 1725 38 38 34
7.29/7.35 c 2190 28202 11577865 3282735 1001 1735 56 65 56
7.29/7.36 c 2200 28249 11590700 3289216 1001 1745 20 38 32
7.29/7.39 c 2210 28362 11648001 3302431 1001 1755 96 104 93
7.39/7.41 c 2220 28481 11686441 3315770 1001 1765 56 110 90
7.39/7.44 c 2230 28603 11726465 3329808 1001 1775 65 113 97
7.39/7.49 c 2240 28793 11830368 3356064 1001 1784 132 179 154
7.49/7.50 c 2250 28840 11846122 3362261 1001 1793 1 38 31
7.49/7.53 c 2260 28956 11905741 3377199 1001 1803 53 107 86
7.49/7.59 c 2270 29182 12023423 3406286 1001 1812 59 212 169
7.59/7.60 c 2280 29229 12038238 3412289 1001 1813 38 38 34
7.59/7.65 c 2290 29465 12159952 3445704 1001 1819 53 206 152
7.59/7.66 c 2300 29512 12173340 3452081 1001 1829 20 38 32
7.59/7.70 c 2310 29652 12242452 3473093 1001 1832 123 125 112
7.69/7.76 c 2320 29872 12397872 3506520 1001 1838 132 205 166
7.69/7.77 c 2330 29919 12411823 3512795 1001 1839 38 38 34
7.79/7.83 c 2340 30143 12536078 3545355 1001 1845 53 206 148
7.79/7.84 c 2350 30190 12548833 3551955 1001 1855 18 38 31
7.79/7.88 c 2360 30342 12644559 3571044 1001 1865 132 143 129
7.79/7.89 c 2370 30389 12658078 3577141 1001 1875 20 38 32
7.89/7.94 c 2380 30610 12774635 3605345 1001 1885 53 212 167
7.89/7.95 c 2390 30657 12789021 3611373 1001 1895 20 38 32
7.89/7.97 c 2400 30758 12823595 3625622 1001 1898 84 86 77
7.89/7.99 c 2410 30856 12857087 3639870 1001 1903 17 86 68
7.89/8.00 c 2420 30903 12871722 3646076 1001 1904 38 38 34
8.00/8.05 c 2430 31127 12996171 3674843 1001 1914 138 215 188
8.00/8.06 c 2431 31147 12998887 3675763 1001 1915 20 20 10
8.00/8.07 c 2440 31214 13015944 3682778 1001 1924 53 59 52
8.10/8.14 c 2450 31445 13140345 3716027 1001 1930 59 209 167
8.10/8.16 c 2460 31516 13160847 3723364 1001 1940 17 62 52
8.10/8.18 c 2470 31626 13200641 3738489 1001 1945 65 98 85
8.10/8.19 c 2480 31673 13213355 3744925 1001 1955 20 38 32
8.19/8.22 c 2490 31819 13282793 3763138 1001 1965 65 137 106
8.19/8.23 c 2500 31866 13296378 3769379 1001 1975 20 38 32
8.19/8.27 c 2510 32021 13371930 3788110 1001 1985 107 146 129
8.19/8.28 c 2520 32068 13386912 3794303 1001 1994 1 38 29
8.29/8.30 c 2530 32184 13426708 3807446 1001 2004 65 107 89
8.29/8.35 c 2540 32372 13527831 3831949 1001 2014 68 179 142
8.29/8.36 c 2550 32419 13541776 3837948 1001 2015 38 38 34
8.29/8.38 c 2560 32532 13584582 3854315 1001 2020 99 101 90
8.39/8.43 c 2570 32726 13675105 3879482 1001 2030 71 185 157
8.39/8.44 c 2580 32773 13687943 3885645 1001 2040 20 38 32
8.39/8.46 c 2590 32901 13731864 3900350 1001 2050 116 119 107
8.49/8.53 c 2600 33128 13869370 3929732 1001 2060 207 218 197
8.49/8.54 c 2610 33175 13884180 3935707 1001 2069 1 38 31
8.49/8.59 c 2620 33375 13994259 3961729 1001 2079 68 191 151
8.59/8.60 c 2630 33422 14008697 3967858 1001 2089 20 38 32
8.59/8.61 c 2640 33490 14028360 3974105 1001 2099 59 59 53
8.59/8.67 c 2650 33678 14130084 3998379 1001 2109 158 179 160
8.59/8.67 c 2660 33725 14144734 4004560 1001 2110 38 38 34
8.69/8.73 c 2670 33942 14274608 4037220 1001 2117 69 206 140
8.69/8.74 c 2680 33989 14289030 4043625 1001 2127 20 38 32
8.79/8.81 c 2690 34242 14422445 4079133 1001 2129 208 209 189
8.79/8.82 c 2700 34289 14435356 4085621 1001 2139 20 38 32
8.79/8.83 c 2710 34366 14459277 4092979 1001 2149 68 68 61
8.79/8.88 c 2720 34521 14552239 4112467 1001 2159 146 146 132
8.79/8.89 c 2730 34568 14565140 4118633 1001 2169 20 38 32
8.89/8.91 c 2740 34699 14610903 4137026 1001 2176 80 116 95
8.89/8.97 c 2750 34923 14749615 4166496 1001 2186 83 215 183
8.89/8.98 c 2760 34970 14763239 4172755 1001 2196 20 38 32
9.00/9.04 c 2770 35203 14889045 4203906 1001 2203 83 218 168
9.00/9.05 c 2771 35223 14891762 4204780 1001 2204 20 20 10
9.00/9.09 c 2780 35401 14992714 4230157 1001 2211 15 164 113
9.10/9.12 c 2790 35541 15044536 4249132 1001 2220 15 131 93
9.10/9.16 c 2800 35717 15129827 4275183 1001 2224 17 164 126
9.19/9.21 c 2810 35896 15240568 4301812 1001 2228 65 164 139
9.19/9.26 c 2820 36072 15329089 4327440 1001 2232 17 164 126
9.19/9.27 c 2830 36119 15344955 4333731 1001 2242 15 38 32
9.19/9.30 c 2840 36244 15386595 4348189 1001 2252 101 116 102
9.29/9.34 c 2850 36420 15490217 4372601 1001 2258 80 164 132
9.29/9.35 c 2860 36467 15505945 4378945 1001 2268 15 38 32
9.29/9.36 c 2870 36538 15525922 4385649 1001 2278 62 62 56
9.29/9.39 c 2880 36666 15568571 4403108 1001 2284 74 116 90
9.39/9.40 c 2890 36713 15581383 4409593 1001 2294 20 38 32
9.39/9.46 c 2900 36940 15720532 4439228 1001 2304 162 218 193
9.39/9.47 c 2910 36987 15733950 4445381 1001 2314 20 38 32
9.49/9.53 c 2920 37173 15845782 4473270 1001 2317 152 164 147
9.49/9.53 c 2930 37220 15859366 4479743 1001 2327 20 38 32
9.49/9.59 c 2940 37447 15977293 4510219 1001 2337 80 218 153
9.59/9.60 c 2950 37494 15990895 4516366 1001 2347 20 38 32
9.59/9.61 c 2960 37559 16009791 4522353 1001 2357 56 56 50
9.59/9.66 c 2970 37735 16111419 4547632 1001 2361 80 164 133
9.59/9.67 c 2980 37782 16125253 4554006 1001 2362 38 38 34
9.59/9.70 c 2990 37910 16168602 4572179 1001 2366 111 113 102
9.69/9.76 c 3000 38137 16308704 4603127 1001 2376 17 218 160
9.69/9.77 c 3010 38184 16323466 4609110 1001 2377 38 38 34
9.69/9.79 c 3020 38315 16368703 4624895 1001 2387 74 122 101
9.79/9.84 c 3030 38497 16467894 4648213 1001 2397 92 173 142
9.79/9.85 c 3040 38544 16482839 4654341 1001 2398 38 38 34
9.79/9.89 c 3050 38723 16565365 4678402 1001 2404 92 167 135
9.89/9.94 c 3060 38904 16677731 4705005 1001 2410 15 164 121
9.89/9.95 c 3070 38951 16694183 4711257 1001 2420 15 38 32
9.89/9.97 c 3080 39070 16736268 4727162 1001 2425 74 110 86
10.00/10.03 c 3090 39254 16843250 4754988 1001 2429 77 167 133
10.00/10.04 c 3100 39301 16856658 4761460 1001 2439 20 38 32
10.00/10.08 c 3110 39489 16961235 4785452 1001 2449 132 179 158
10.00/10.09 c 3120 39536 16975620 4791741 1001 2459 18 38 31
10.10/10.15 c 3130 39766 17107327 4820889 1001 2469 221 221 200
10.10/10.16 c 3140 39813 17120680 4827024 1001 2478 1 38 29
10.10/10.18 c 3142 39888 17145777 4835848 1001 2480 74 74 49
10.19/10.23 c 3150 40113 17245453 4864757 1001 2488 218 218 193
10.19/10.24 c 3160 40160 17259263 4870788 1001 2489 38 38 34
10.19/10.25 c 3170 40225 17277720 4876684 1001 2499 56 56 50
10.19/10.28 c 3180 40347 17316906 4889566 1001 2509 113 113 102
10.29/10.33 c 3190 40538 17429782 4917061 1001 2513 132 176 155
10.29/10.34 c 3200 40585 17443328 4923576 1001 2523 15 38 30
10.29/10.39 c 3210 40790 17555306 4952503 1001 2532 92 194 151
10.39/10.40 c 3220 40837 17570227 4958574 1001 2542 20 38 32
10.39/10.46 c 3230 41067 17697603 4990955 1001 2552 132 221 183
10.39/10.47 c 3240 41114 17710381 4997170 1001 2562 20 38 32
10.49/10.52 c 3250 41348 17825668 5028509 1001 2570 92 218 162
10.49/10.53 c 3260 41395 17841858 5034611 1001 2571 38 38 34
10.49/10.59 c 3270 41615 17973781 5067539 1001 2578 110 209 156
10.59/10.60 c 3280 41662 17987741 5073889 1001 2579 38 38 34
10.59/10.62 c 3290 41799 18035648 5092588 1001 2584 65 125 101
10.59/10.69 c 3300 42030 18165217 5125588 1001 2588 95 209 171
10.59/10.69 c 3310 42077 18179129 5131991 1001 2589 38 38 34
10.69/10.71 c 3320 42151 18202933 5138939 1001 2599 65 65 59
10.69/10.75 c 3330 42309 18273642 5157209 1001 2609 132 149 133
10.69/10.75 c 3340 42356 18289066 5163130 1001 2610 38 38 34
10.79/10.81 c 3350 42588 18410417 5194998 1001 2619 92 221 167
10.79/10.82 c 3360 42635 18424029 5201033 1001 2620 38 38 34
10.79/10.88 c 3370 42865 18546870 5230207 1001 2630 221 221 200
10.79/10.89 c 3380 42912 18561250 5236290 1001 2640 20 38 32
10.89/10.94 c 3390 43105 18668433 5263928 1001 2649 92 182 145
10.89/10.95 c 3400 43152 18682203 5270141 1001 2659 20 38 32
10.89/11.00 c 3410 43392 18804430 5302096 1001 2667 92 224 170
11.00/11.01 c 3420 43437 18818190 5308218 1001 2676 1 36 27
11.00/11.06 c 3430 43622 18905648 5335844 1001 2683 92 173 135
11.10/11.11 c 3440 43816 19013886 5360818 1001 2693 17 185 150
11.10/11.12 c 3450 43863 19028706 5366947 1001 2694 38 38 34
11.10/11.17 c 3460 44102 19154175 5400856 1001 2701 92 224 158
11.10/11.18 c 3470 44149 19167739 5407203 1001 2711 20 38 32
11.19/11.25 c 3480 44391 19305097 5440980 1001 2719 167 224 191
11.19/11.26 c 3490 44438 19319193 5447119 1001 2729 20 38 32
11.19/11.29 c 3500 44575 19367453 5465821 1001 2734 92 125 106
11.29/11.30 c 3510 44646 19388329 5472514 1001 2744 62 62 56
11.29/11.34 c 3520 44804 19462251 5490637 1001 2754 149 149 135
11.29/11.35 c 3530 44851 19475202 5496854 1001 2764 20 38 32
11.29/11.40 c 3540 45056 19585031 5525772 1001 2773 95 194 149
11.39/11.41 c 3550 45103 19598551 5532081 1001 2783 18 38 31
11.39/11.46 c 3551 45309 19714628 5559489 1001 2784 206 206 103
11.39/11.47 c 3560 45355 19727499 5565810 1001 2793 18 38 30
11.39/11.48 c 3570 45432 19750333 5573244 1001 2803 68 68 61
11.49/11.55 c 3580 45668 19892572 5607302 1001 2810 92 221 158
11.49/11.56 c 3590 45715 19904919 5613687 1001 2820 18 38 31
11.59/11.62 c 3600 45935 20057589 5647229 1001 2826 92 206 156
11.59/11.63 c 3610 45982 20070573 5653604 1001 2827 38 38 34
11.59/11.64 c 3620 46053 20090547 5660292 1001 2837 62 62 56
11.59/11.68 c 3630 46205 20161214 5677833 1001 2847 143 143 130
11.59/11.69 c 3640 46252 20176326 5683764 1001 2848 38 38 34
11.69/11.74 c 3650 46490 20299856 5715508 1001 2856 92 224 151
11.69/11.75 c 3660 46537 20312829 5721509 1001 2857 38 38 34
11.79/11.81 c 3670 46770 20433258 5754162 1001 2864 93 218 171
11.79/11.82 c 3680 46817 20446938 5760316 1001 2874 20 38 32
11.79/11.83 c 3690 46882 20464398 5765841 1001 2884 56 56 50
11.79/11.88 c 3700 47113 20578628 5796241 1001 2892 95 215 168
11.79/11.89 c 3710 47160 20593357 5802381 1001 2893 38 38 34
11.89/11.94 c 3720 47385 20709195 5830814 1001 2903 93 212 179
11.89/11.95 c 3730 47432 20722879 5836799 1001 2904 38 38 34
12.00/12.01 c 3740 47666 20844910 5868575 1001 2912 77 221 142
12.00/12.02 c 3750 47713 20858517 5874679 1001 2922 20 38 32
12.00/12.04 c 3760 47844 20901434 5889070 1001 2932 78 122 106
12.00/12.10 c 3770 48071 21016019 5919946 1001 2942 92 218 135
12.10/12.11 c 3780 48118 21030823 5925933 1001 2943 38 38 34
12.10/12.16 c 3790 48314 21139881 5954266 1001 2952 93 185 150
12.10/12.17 c 3800 48361 21152671 5960591 1001 2962 18 38 31
12.19/12.21 c 3810 48543 21253672 5988313 1001 2971 92 171 111
12.19/12.22 c 3820 48590 21268176 5994426 1001 2972 38 38 34
12.19/12.23 c 3830 48655 21285900 6000339 1001 2982 56 56 50
12.19/12.26 c 3840 48798 21350027 6016754 1001 2992 93 134 118
12.19/12.27 c 3850 48845 21364489 6022845 1001 2993 38 38 34
12.29/12.33 c 3860 49075 21481872 6055297 1001 3000 92 215 158
12.29/12.34 c 3870 49122 21496736 6061418 1001 3010 20 38 32
12.29/12.40 c 3880 49361 21622627 6094713 1001 3017 93 224 179
12.39/12.40 c 3890 49408 21635751 6100810 1001 3018 38 38 34
12.39/12.43 c 3900 49518 21673649 6114531 1001 3028 92 101 89
12.39/12.44 c 3910 49565 21689123 6120668 1001 3037 1 38 29
12.39/12.46 c 3920 49678 21729593 6133840 1001 3047 98 104 93
12.39/12.47 c 3930 49725 21743190 6139895 1001 3057 20 38 32
12.49/12.52 c 3940 49946 21856032 6168995 1001 3067 93 212 167
12.49/12.53 c 3950 49993 21869506 6175154 1001 3077 20 38 32
12.49/12.58 c 3960 50187 21975105 6201386 1001 3087 92 185 125
12.49/12.59 c 3970 50234 21988834 6207421 1001 3088 38 38 34
12.59/12.65 c 3980 50460 22143176 6241881 1001 3096 93 211 162
12.59/12.66 c 3990 50507 22157143 6248238 1001 3097 38 38 34
12.69/12.72 c 4000 50735 22272669 6278923 1001 3105 92 215 155
12.69/12.72 c 4001 50755 22275387 6279800 1001 3106 20 20 10
12.69/12.78 c 4010 50977 22406172 6312592 1001 3113 15 212 138
12.69/12.79 c 4020 51024 22421045 6318996 1001 3114 38 38 34
12.79/12.85 c 4030 51251 22540301 6350744 1001 3120 92 211 154
12.89/12.92 c 4040 51478 22684029 6381842 1001 3130 17 218 155
12.89/12.93 c 4050 51525 22698544 6387911 1001 3131 38 38 34
12.89/12.99 c 4060 51753 22824316 6420808 1001 3134 171 208 182
12.89/13.00 c 4070 51800 22838569 6427278 1001 3144 20 38 32
13.00/13.05 c 4080 51985 22939964 6451180 1001 3154 149 176 157
13.00/13.05 c 4090 52032 22953530 6457288 1001 3164 20 38 32
13.00/13.07 c 4100 52136 22986060 6467901 1001 3174 95 95 86
13.00/13.08 c 4110 52183 23000541 6474035 1001 3184 20 38 32
13.00/13.09 c 4120 52254 23022403 6481378 1001 3194 53 62 55
13.10/13.11 c 4130 52343 23049694 6490945 1001 3204 65 80 70
13.10/13.13 c 4140 52447 23082409 6502108 1001 3214 80 95 83
13.10/13.14 c 4150 52494 23095375 6508280 1001 3224 20 38 32
13.10/13.16 c 4160 52574 23120640 6516264 1001 3234 71 71 64
13.19/13.22 c 4170 52812 23257753 6550612 1001 3241 71 221 153
13.19/13.23 c 4180 52859 23270613 6556736 1001 3251 20 38 32
13.19/13.29 c 4190 53089 23409194 6587663 1001 3261 53 221 152
13.29/13.30 c 4200 53136 23423022 6593798 1001 3262 38 38 34
13.29/13.32 c 4210 53258 23462702 6608043 1001 3272 62 113 92
13.29/13.35 c 4220 53365 23494975 6618923 1001 3282 98 98 89
13.29/13.35 c 4230 53412 23509909 6625108 1001 3283 38 38 34
13.39/13.41 c 4240 53633 23633335 6653615 1001 3293 53 212 164
13.39/13.42 c 4250 53680 23647286 6659742 1001 3294 38 38 34
13.39/13.47 c 4260 53877 23758955 6685559 1001 3304 65 188 157
13.39/13.48 c 4270 53924 23773428 6691650 1001 3305 38 38 34
13.49/13.53 c 4280 54130 23889311 6718557 1001 3315 53 197 153
13.49/13.54 c 4290 54177 23903150 6724636 1001 3316 38 38 34
13.58/13.61 c 4300 54422 24048375 6760406 1001 3319 210 215 193
13.58/13.66 c 4310 54655 24151387 6790222 1001 3329 62 224 174
13.58/13.67 c 4320 54702 24165485 6796411 1001 3339 20 38 32
13.68/13.73 c 4330 54925 24286823 6827593 1001 3344 53 205 158
13.68/13.74 c 4340 55002 24309960 6836142 1001 3354 56 68 59
13.68/13.77 c 4350 55121 24371122 6849698 1001 3364 110 110 100
13.78/13.84 c 4360 55356 24494104 6881873 1001 3366 210 215 192
13.78/13.85 c 4370 55403 24508881 6888140 1001 3367 38 38 34
13.88/13.90 c 4380 55634 24629441 6919690 1001 3373 53 209 156
13.88/13.91 c 4390 55681 24642983 6926004 1001 3374 38 38 34
13.88/13.95 c 4400 55836 24739420 6945482 1001 3384 146 146 132
13.88/13.96 c 4410 55883 24753052 6951521 1001 3385 38 38 34
13.88/14.00 c 4420 56032 24846577 6970731 1001 3395 53 140 119
13.99/14.01 c 4430 56079 24861047 6976914 1001 3405 20 38 32
13.99/14.08 c 4440 56318 25000540 7010895 1001 3409 203 209 187
13.99/14.09 c 4450 56365 25013814 7017377 1001 3419 20 38 32
14.09/14.12 c 4460 56514 25107082 7036367 1001 3429 53 140 119
14.09/14.13 c 4470 56561 25121664 7042598 1001 3439 20 38 32
14.09/14.18 c 4480 56758 25236526 7067445 1001 3449 188 188 170
14.09/14.19 c 4490 56805 25249355 7073662 1001 3459 20 38 32
14.18/14.26 c 4493 57031 25411440 7106178 1001 3462 53 224 125
14.18/14.27 c 4500 57075 25424633 7111337 1001 3469 20 38 31
14.28/14.33 c 4510 57321 25568080 7145449 1001 3474 162 215 185
14.38/14.40 c 4520 57557 25713407 7177856 1001 3484 17 227 153
14.38/14.41 c 4530 57602 25727422 7184016 1001 3493 1 36 27
14.38/14.43 c 4540 57733 25792974 7199652 1001 3503 53 122 98
14.38/14.49 c 4550 57930 25901931 7225651 1001 3513 56 188 147
14.48/14.50 c 4560 57977 25915825 7231662 1001 3514 38 38 34
14.48/14.56 c 4570 58210 26078007 7263168 1001 3524 162 224 198
14.48/14.57 c 4580 58257 26092087 7269265 1001 3534 20 38 32
14.58/14.62 c 4590 58454 26203109 7294849 1001 3544 53 188 146
14.58/14.63 c 4600 58501 26217867 7300938 1001 3545 38 38 34
14.58/14.69 c 4610 58738 26346028 7332291 1001 3554 173 218 187
14.68/14.70 c 4620 58785 26360470 7338428 1001 3564 20 38 32
14.68/14.73 c 4630 58889 26417762 7350926 1001 3574 53 95 79
14.68/14.79 c 4640 59122 26541601 7381115 1001 3584 56 224 157
14.78/14.80 c 4650 59169 26556280 7387158 1001 3585 38 38 34
14.78/14.82 c 4660 59291 26620239 7401096 1001 3595 113 113 102
14.78/14.88 c 4670 59515 26735587 7429779 1001 3605 110 215 185
14.78/14.89 c 4680 59562 26749731 7436020 1001 3615 20 38 32
14.88/14.93 c 4690 59738 26853586 7460737 1001 3619 53 164 128
14.88/14.94 c 4700 59785 26867043 7467076 1001 3629 20 38 32
14.88/15.00 c 4710 60012 26991613 7495832 1001 3639 218 218 198
14.99/15.01 c 4720 60059 27005514 7501863 1001 3640 38 38 34
14.99/15.06 c 4730 60268 27123481 7529028 1001 3650 53 200 149
14.99/15.07 c 4740 60315 27137080 7535085 1001 3660 20 38 32
15.09/15.13 c 4750 60551 27298589 7567312 1001 3670 179 227 197
15.09/15.14 c 4760 60598 27312827 7573497 1001 3680 20 38 32
15.09/15.19 c 4770 60810 27430199 7601379 1001 3690 53 203 150
15.18/15.20 c 4780 60857 27443900 7607444 1001 3691 38 38 34
15.18/15.26 c 4790 61093 27587576 7638050 1001 3701 201 227 204
15.18/15.27 c 4800 61140 27601732 7644143 1001 3711 20 38 32
15.28/15.33 c 4810 61371 27728763 7677146 1001 3717 53 212 155
15.28/15.35 c 4820 61472 27759617 7688362 1001 3727 53 92 79
15.38/15.42 c 4830 61702 27898525 7718281 1001 3737 56 221 185
15.38/15.43 c 4840 61749 27912449 7724266 1001 3738 38 38 34
15.38/15.49 c 4850 61985 28056576 7755180 1001 3748 162 227 195
15.48/15.50 c 4860 62032 28071350 7761393 1001 3749 38 38 34
15.48/15.56 c 4870 62271 28199656 7792856 1001 3759 53 230 168
15.48/15.57 c 4880 62316 28216807 7799049 1001 3768 1 36 29
15.58/15.62 c 4890 62502 28328148 7825939 1001 3772 161 164 148
15.58/15.64 c 4900 62606 28359381 7838530 1001 3782 47 95 73
15.58/15.68 c 4910 62752 28448602 7857210 1001 3792 56 137 110
15.58/15.69 c 4920 62799 28462449 7863197 1001 3793 38 38 34
15.69/15.76 c 4930 63038 28596429 7897527 1001 3797 200 206 185
15.69/15.78 c 4940 63136 28628367 7908366 1001 3807 47 89 70
15.79/15.84 c 4950 63371 28752488 7940924 1001 3810 56 206 171
15.79/15.88 c 4960 63529 28845473 7961193 1001 3820 53 149 121
15.79/15.89 c 4970 63576 28860357 7967249 1001 3829 1 38 29
15.89/15.95 c 4980 63815 28993082 7997706 1001 3839 53 230 193
15.89/15.96 c 4990 63862 29006608 8004012 1001 3849 20 38 32
16.00/16.02 c 5035 64136 29137019 8034340 1001 3894 230 230 225
16.10/16.11 c 5631 64888 29312420 8242956 1001 3912 34 38 36
16.19/16.23 c 6286 65851 29472318 8288652 1001 4315 53 236 224
16.29/16.34 c 7006 66762 29686255 8539744 1001 4332 1 38 36
16.39/16.46 c 7798 67716 29848932 8692277 1001 4739 41 128 91
16.59/16.65 c 8669 69296 30196443 9035200 1001 4765 48 119 115
16.79/16.80 c 9627 70518 30483736 9378054 1001 4781 20 41 39
17.10/17.14 c 10680 72354 30940821 9737080 1001 4796 41 128 124
17.29/17.34 c 11838 73837 31213300 9808273 1001 5459 47 281 242
17.49/17.54 c 13111 75507 31594291 10262792 1001 5471 1 38 36
17.79/17.89 c 14511 77969 32080642 10642200 1001 5487 59 161 156
18.10/18.13 c 16051 79989 32541130 11189964 1001 5505 32 38 36
18.49/18.51 c 17745 83023 33182350 11862080 1001 5516 42 92 88
18.89/18.96 c 19608 86453 33908308 12619962 1001 5533 17 74 71
19.19/19.29 c 21657 89039 34511381 13351692 1001 5549 15 38 36
19.79/19.82 c 23910 93232 35375687 14271829 1001 5556 66 74 71
20.10/20.19 c 26388 96396 36106920 15148851 1001 5572 32 38 36
20.69/20.74 c 29113 101125 37077340 16206999 1001 5587 68 74 71
21.19/21.20 c 32110 104925 37951313 17286314 1001 5602 32 38 36
21.89/21.97 c 35406 110548 39157611 18652320 1001 5612 42 74 70
22.49/22.50 c 39031 115121 40223413 19936782 1001 5625 15 38 36
23.29/23.37 c 43018 122298 41681691 21603461 1001 5643 65 74 71
24.39/24.40 c 47403 130246 43359187 23486296 1001 5662 65 74 71
25.10/25.13 c 52226 136347 44769726 25221884 1001 5687 15 38 36
26.29/26.37 c 57531 145862 46764725 27520973 1001 5695 65 74 70
27.19/27.23 c 63366 153270 48482203 29592499 1001 5713 32 38 36
28.59/28.69 c 69784 164543 50845714 32354380 1001 5726 41 74 70
29.68/29.70 c 76843 173518 52966195 34898372 1001 5752 15 38 36
31.18/31.24 c 84607 186344 55828320 38167157 1001 5773 64 74 69
32.78/32.89 c 93147 200502 58891073 41779736 1001 5796 2 74 70
34.78/34.80 c 102541 216451 62410240 45789261 1001 5810 44 74 69
36.99/37.00 c 112874 233807 66175106 50297822 1001 5827 20 50 45
39.18/39.29 c 124240 252712 70269716 55206253 1001 5842 37 47 42
41.78/41.89 c 136742 273573 74785410 60606987 1001 5852 36 47 42
44.58/44.60 c 150494 295697 79706949 66449516 1001 5860 36 47 41
47.58/47.66 c 165621 320657 85150056 72974247 1001 5872 37 47 41
50.99/51.01 c 182260 348122 91202117 80116089 1001 5886 36 47 41
54.78/54.80 c 200562 378617 97897389 88128575 1001 5902 36 47 42
58.88/58.94 c 220694 412381 105208965 96829318 1001 5913 36 47 41
63.88/63.98 c 242839 449189 113473503 106604006 1001 5928 36 47 41
68.99/69.02 c 267198 490845 122322319 117304477 1001 5945 36 47 41
75.18/75.25 c 293992 536497 132499983 129392718 1001 5961 36 47 42
81.48/81.50 c 323465 587429 143367166 142339047 1001 5985 36 47 41
88.98/89.04 c 355885 642044 155804589 156664521 1001 6007 2 47 41
96.37/96.48 c 391547 702830 168844831 172344244 1001 6035 36 47 41
105.98/106.09 c 430775 770099 184059620 189896544 1001 6048 36 47 41
115.17/115.22 c 473925 843322 199849131 209002831 1001 6061 36 47 42
125.67/125.79 c 521390 924932 217784905 230328491 1001 6079 36 47 41
137.09/137.18 c 573601 1012757 237076340 253278918 1001 6100 2 47 41
150.18/150.27 c 631033 1112226 258944163 278801812 1001 6126 35 47 41
162.48/162.59 c 694208 1209352 281636167 304987208 1001 6143 32 47 38
177.58/177.63 c 763700 1330851 307761463 335824589 1001 6155 2 47 41
195.78/195.84 c 840141 1462998 337462284 369950787 1001 6171 34 47 41
213.08/213.12 c 924226 1601871 368177311 406095579 1001 6199 34 47 40
231.67/231.77 c 1016719 1746219 402460490 444461898 1001 6220 32 47 38
250.17/250.24 c 1118461 1902617 438735841 486065869 1001 6233 32 47 38
271.77/271.80 c 1230377 2075925 479113133 531994175 1001 6251 31 47 38
294.27/294.32 c 1353484 2262423 522782340 582510622 1001 6272 32 43 37
318.17/318.24 c 1488901 2459258 570900745 636294425 1001 6284 30 39 35
345.47/345.60 c 1637859 2686418 623922766 697315486 1001 6305 32 47 37
374.87/374.90 c 1801712 2930506 682520397 762639720 1001 6319 30 41 36
409.56/409.62 c 1981950 3208858 747381891 837292564 1001 6340 32 47 38
444.26/444.35 c 2180211 3500536 817268530 916035034 1001 6366 30 45 36
481.56/481.63 c 2398298 3826426 894238530 1003708252 1001 6391 29 41 36
526.07/526.19 c 2638193 4196511 981060056 1102573905 1001 6415 31 47 37
573.86/573.99 c 2902077 4594371 1076681072 1209277466 1001 6448 29 41 36
620.85/620.94 c 3192349 5021874 1179245469 1298217124 1001 6479 28 40 35
676.25/676.33 c 3511648 5487285 1293426715 1424400567 1001 6521 30 45 36
741.96/742.01 c 3862876 6047734 1423502000 1550308985 1001 6553 30 46 37
817.06/817.12 c 4249226 6654601 1566956053 1687149530 1001 6575 30 46 37
891.45/891.59 c 4674211 7287383 1718031485 1858896832 1001 6595 30 41 36
989.35/989.45 c 5141694 8036348 1894549307 2056331533 1001 6616 31 47 38
1090.55/1090.64 c 5655925 8858362 2088582053 2245237020 1001 6657 30 48 37
1185.44/1185.59 c 6221579 9704692 2291374274 2431012191 1001 6687 28 42 35
1299.34/1299.48 c 6843798 10634701 2519936245 2681306074 1001 6726 29 43 36
1443.73/1443.82 c 7528238 11793304 2780327983 2931832620 1001 6745 32 48 39
1585.83/1586.00 c 8281122 12930371 3057015071 3240097841 1001 6784 29 47 36
1748.83/1748.98 c 9109294 14205914 3373487934 3581951848 1001 6809 29 47 36
1936.32/1936.41 c 10020283 15671469 3717399918 3965505387 1001 6833 31 47 38
2120.02/2120.19 c 11022370 17209782 4088721263 4308477635 1001 6879 28 42 36
2305.81/2305.90 c 12124665 18823341 4482182666 4746799606 1001 6918 27 39 34
2519.91/2520.00
2519.91/2520.00 c *** INTERRUPTED ***
2519.91/2520.00 c restarts : 598
2519.91/2520.00 c conflicts : 13299850 (5278 /sec)
2519.91/2520.00 c decisions : 20615001 (8182 /sec)
2519.91/2520.00 c propagations : 5225487900 (2073871 /sec)
2519.91/2520.00 c root propagations : 6785
2519.91/2520.00 c filter calls : 4912782165 (1949766 /sec)
2519.91/2520.00 c useless filter calls : 4836366417 (98 %)
2519.91/2520.00 c
2519.91/2520.00 c clauses : 17339870
2519.91/2520.00 c SAT propagations : 8420
2519.91/2520.00 c SAT conflicts : 0 (0 learnts)
2519.91/2520.00 c Memory used : 832.75 MB
2519.91/2520.00 c CPU time : 2519.68 s
2519.91/2520.00
2519.91/2520.00 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 (14383 MiB free)
memory of node 1: 16384 MiB (14248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266409-1502583602/watcher-4266409-1502583602 -o /tmp/evaluation-result-4266409-1502583602/solver-4266409-1502583602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266409-1502583602.xml
running on 4 cores: 1,3,5,7
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=26725, runsolver pid=26722
[startup+0.100149 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=29276616/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=81764 memory=52996 CPUtime=0.1 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 10874 0 0 0 9 1 0 0 20 0 1 0 91448292 83726336 13249 33554432000 4194304 5972588 140732501099968 140732501096616 140367186963429 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 20441 13249 835 435 0 13804 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 52996 KiB
[startup+0.209749 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=29209944/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=154572 memory=117884 CPUtime=0.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 21459 0 0 0 18 3 0 0 20 0 1 0 91448292 158281728 29471 33554432000 4194304 5972588 140732501099968 140732501096616 140367186963429 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 38643 29471 835 435 0 32006 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 117884 KiB
[startup+0.309596 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=29154620/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=221296 memory=174704 CPUtime=0.31 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 30098 0 0 0 27 4 0 0 20 0 1 0 91448292 226607104 43676 33554432000 4194304 5972588 140732501099968 140732501096616 140367186963429 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 55324 43676 835 435 0 48687 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 221296 KiB
Current children cumulated memory: 174704 KiB
[startup+0.700412 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=29035528/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=493240 memory=398156 CPUtime=0.69 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 61438 0 0 0 59 10 0 0 20 0 1 0 91448292 505077760 99539 33554432000 4194304 5972588 140732501099968 140732501096616 140367186963429 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 123310 99539 835 435 0 116673 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 493240 KiB
Current children cumulated memory: 398156 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=28750808/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=851132 memory=726816 CPUtime=1.49 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 106275 0 0 0 132 17 0 0 20 0 1 0 91448292 871559168 181704 33554432000 4194304 5972588 140732501099968 140732501096760 5328641 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 212783 181704 851 435 0 206146 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 851132 KiB
Current children cumulated memory: 726816 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=28594172/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=851792 memory=727596 CPUtime=3.1 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 112391 0 0 0 292 18 0 0 20 0 1 0 91448292 872235008 181899 33554432000 4194304 5972588 140732501099968 140732501096760 4935164 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 212948 181899 851 435 0 206311 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 851792 KiB
Current children cumulated memory: 727596 KiB
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=28593796/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852212 memory=727976 CPUtime=6.29 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 128207 0 0 0 610 19 0 0 20 0 1 0 91448292 872665088 181994 33554432000 4194304 5972588 140732501099968 140732501097272 4931680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213053 181994 851 435 0 206416 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 852212 KiB
Current children cumulated memory: 727976 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26726
/proc/meminfo: memFree=28590244/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852212 memory=730108 CPUtime=12.69 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 147557 0 0 0 1249 20 0 0 20 0 1 0 91448292 872665088 182527 33554432000 4194304 5972588 140732501099968 140732501097272 4935625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213053 182527 851 435 0 206416 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 852212 KiB
Current children cumulated memory: 730108 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26726
/proc/meminfo: memFree=28589732/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=25.49 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 168209 0 0 0 2528 21 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5325602 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26726
/proc/meminfo: memFree=28589828/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=51.09 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 176633 0 0 0 5088 21 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4971884 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26727
/proc/meminfo: memFree=28590612/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=102.27 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 182062 0 0 0 10206 21 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032427 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26728
/proc/meminfo: memFree=28590404/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=162.28 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 186739 0 0 0 16206 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032423 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26729
/proc/meminfo: memFree=28590116/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=222.28 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 190788 0 0 0 22206 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4970758 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26738
/proc/meminfo: memFree=28589808/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=282.27 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 193121 0 0 0 28205 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5094219 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+342.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/188 26739
/proc/meminfo: memFree=28589916/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=342.27 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 195103 0 0 0 34205 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4971884 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+402.3 s]
/proc/loadavg: 2.29 2.14 2.09 3/188 26740
/proc/meminfo: memFree=28589692/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=402.26 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 196764 0 0 0 40204 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4935486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+462.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/188 26741
/proc/meminfo: memFree=28589468/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=462.26 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 198283 0 0 0 46204 22 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4979482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
################
# More data... #
################
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26842
/proc/meminfo: memFree=28185028/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=1782.23 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 221061 0 0 0 178199 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26843
/proc/meminfo: memFree=28184860/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=1842.23 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 222236 0 0 0 184199 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032436 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26844
/proc/meminfo: memFree=28175892/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=1902.22 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 223385 0 0 0 190198 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4972741 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26845
/proc/meminfo: memFree=28176516/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=1962.22 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 224714 0 0 0 196198 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032450 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26846
/proc/meminfo: memFree=28175772/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2022.22 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 225693 0 0 0 202198 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4975216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 26855
/proc/meminfo: memFree=28173676/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2082.22 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 226846 0 0 0 208198 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4931680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 26856
/proc/meminfo: memFree=28173924/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2142.22 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 228175 0 0 0 214198 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4978847 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 26857
/proc/meminfo: memFree=28174224/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2202.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 229092 0 0 0 220197 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 26858
/proc/meminfo: memFree=28174108/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2262.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 230232 0 0 0 226197 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5243908 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 26859
/proc/meminfo: memFree=28174060/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2322.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 230856 0 0 0 232197 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4977689 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26860
/proc/meminfo: memFree=28173812/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2382.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 231991 0 0 0 238197 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5094219 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26861
/proc/meminfo: memFree=28173636/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2442.21 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 233140 0 0 0 244197 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 5032468 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 26862
/proc/meminfo: memFree=28173952/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2502.2 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 234303 0 0 0 250196 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4971589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 26862
/proc/meminfo: memFree=28174044/32770624 swapFree=67108860/67108860
[pid=26725] ppid=26722 vsize=852736 memory=730576 CPUtime=2519.91 cores=1,3,5,7
/proc/26725/stat : 26725 (cosoco) R 26722 26725 24389 0 -1 4202496 235042 0 0 0 251967 24 0 0 20 0 1 0 91448292 873201664 182644 33554432000 4194304 5972588 140732501099968 140732501097272 4935787 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26255360 140732501103802 140732501103902 140732501103902 140732501106638 0
/proc/26725/statm: 213184 182644 851 435 0 206547 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 852736 KiB
Current children cumulated memory: 730576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26725 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.246992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.93
CPU user time (s): 2519.68
CPU system time (s): 0.246992
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 852736
Max. memory (cumulated for all children) (KiB): 730576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.246992
maximum resident set size= 730648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235092
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= 34
involuntary context switches= 633
# summary of solver processes directly reported to runsolver:
# pid: 26725
# total CPU time (s): 2519.93
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.246992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77149 second user time and 16.5095 second system time
The end