| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.95 | 2520.02 |
| Name | Ortholatin/Ortholatin-m1-s1/ Ortholatin-016.xml |
| MD5SUM | 6d65a76f46cedd698fe2b492b618a08c |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 11.1101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 768 |
| Number of constraints | 261 |
| Number of domains | 2 |
| Minimum domain size | 16 |
| Maximum domain size | 256 |
| Distribution of domain sizes | [{"size":16,"count":512},{"size":256,"count":256}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":736},{"degree":3,"count":32}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 256 |
| Distribution of constraint arities | [{"arity":3,"count":256},{"arity":16,"count":2},{"arity":256,"count":3}] |
| Number of extensional constraints | 256 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":256},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.50/0.69 c SAT : Variables: 73728 -- Clauses: 8418048 0.59/0.70 c root propagations : 5826 0.59/0.70 c restarts enabled, print stats at every restarts 0.59/0.70 c 0.59/0.70 c 0.59/0.70 c 0.59/0.70 c This is cosoco 1.12 -- 0.59/0.70 c 0.59/0.70 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266215-1502581163.xml 0.59/0.70 c ========================================[ Problem Statistics ]=========================================== 0.59/0.70 c | 0.59/0.70 c | Parse time : 0.51 s 0.59/0.70 c | 0.59/0.70 c | Variables: 768 0.59/0.70 c | Domain Sizes: 16..256 0.59/0.70 c | 0.59/0.70 c | Constraints: 353 0.59/0.70 c | Arity: 1..256 -- Unary: 32 -- Ternary: 256 0.59/0.70 c | 0.59/0.70 c | Types: 0.59/0.70 c | All Different: 65 0.59/0.70 c | Extension: 256 (nb tuples: 256..256) -- (shared: 255) 0.59/0.70 c | Unary: 32 0.59/0.70 c | 0.59/0.70 c ========================================================================================================= 0.59/0.70 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.59/0.71 c 10 152 2448 17847 348 10 137 143 128 0.59/0.74 c 20 488 7257 46547 348 15 173 304 240 0.59/0.76 c 30 745 10837 68003 348 18 172 223 195 0.59/0.78 c 40 968 14720 86333 348 25 189 199 177 0.70/0.81 c 50 1200 19949 108595 348 30 142 195 162 0.70/0.82 c 60 1411 23016 124430 348 40 188 196 176 0.70/0.84 c 70 1593 25920 137880 348 48 144 160 138 0.70/0.85 c 80 1763 28151 148624 348 58 152 160 144 0.70/0.86 c 90 1935 30612 159866 348 68 163 163 148 0.70/0.88 c 100 2113 33242 171437 348 78 169 169 153 0.70/0.89 c 101 2273 35890 182723 348 79 160 160 80 0.79/0.91 c 110 2454 38850 195749 348 87 157 166 146 0.79/0.93 c 120 2651 42268 211597 348 92 160 169 148 0.79/0.94 c 130 2802 44655 220793 348 102 142 142 129 0.79/0.95 c 140 2986 47162 232940 348 112 175 175 159 0.79/0.96 c 150 3140 49394 242007 348 122 145 145 131 0.79/0.98 c 160 3297 51822 251659 348 132 148 148 134 0.79/0.99 c 170 3510 55034 268479 348 137 175 184 162 0.90/1.00 c 180 3643 56847 275689 348 147 124 124 112 0.90/1.01 c 190 3782 58768 283426 348 157 130 130 118 0.90/1.02 c 200 3930 60653 291352 348 167 139 139 126 0.90/1.03 c 210 4081 62606 299535 348 177 142 142 129 0.90/1.04 c 211 4232 64633 308679 348 178 151 151 75 0.90/1.06 c 220 4450 67762 325775 348 181 190 195 173 0.90/1.07 c 230 4592 69655 333429 348 191 133 133 120 0.90/1.08 c 240 4731 71504 340762 348 201 130 130 118 0.90/1.09 c 250 4882 73401 348782 348 211 142 142 129 1.00/1.11 c 260 5057 76381 359218 348 221 166 166 150 1.00/1.12 c 270 5241 79114 370944 348 231 175 175 159 1.00/1.13 c 280 5416 81444 381617 348 241 166 166 150 1.00/1.15 c 290 5622 84635 395205 348 250 145 193 166 1.00/1.16 c 300 5806 87234 406322 348 260 175 175 159 1.00/1.18 c 310 5990 89822 417667 348 270 175 175 159 1.00/1.19 c 320 6174 92673 429221 348 280 175 175 159 1.09/1.21 c 330 6364 95366 441700 348 290 181 181 164 1.09/1.22 c 332 6552 97991 454131 348 292 187 187 124 1.09/1.24 c 340 6776 101404 469808 348 300 217 217 192 1.09/1.27 c 350 7020 106335 492120 348 304 167 211 184 1.09/1.28 c 360 7195 108838 502781 348 314 166 166 150 1.09/1.29 c 370 7393 111508 516113 348 323 167 184 163 1.19/1.31 c 380 7571 114301 527258 348 333 169 169 153 1.19/1.33 c 390 7764 117570 539755 348 343 184 184 167 1.19/1.34 c 400 7960 120576 552385 348 353 152 187 166 1.19/1.36 c 410 8158 123645 566721 348 355 160 166 148 1.19/1.37 c 420 8354 126659 579586 348 365 187 187 170 1.19/1.39 c 430 8553 129687 592525 348 375 190 190 172 1.29/1.41 c 440 8761 132760 606284 348 385 199 199 180 1.29/1.42 c 450 8972 136012 620526 348 395 202 202 183 1.29/1.44 c 460 9189 139398 635530 348 405 208 208 189 1.29/1.46 c 465 9412 143199 652226 348 410 177 211 165 1.29/1.48 c 470 9648 147039 670778 348 412 223 227 187 1.39/1.50 c 480 9892 151083 688621 348 422 232 235 211 1.39/1.52 c 490 10120 154537 704691 348 432 186 214 192 1.39/1.54 c 500 10370 158199 722878 348 442 214 241 216 1.39/1.56 c 510 10596 161819 738881 348 452 217 217 197 1.39/1.58 c 520 10834 165885 756316 348 462 193 223 200 1.49/1.61 c 530 11069 169682 773402 348 472 220 226 204 1.49/1.63 c 540 11315 173441 791464 348 482 195 232 207 1.49/1.65 c 550 11582 178354 811933 348 492 201 253 221 1.49/1.68 c 560 11858 183083 835333 348 499 239 256 225 1.59/1.70 c 570 12139 187443 858035 348 504 241 262 223 1.59/1.73 c 580 12389 191818 877878 348 507 205 211 189 1.59/1.74 c 590 12609 195230 893675 348 517 211 211 191 1.59/1.77 c 600 12865 199226 912332 348 527 244 247 222 1.59/1.79 c 610 13133 203584 932042 348 537 259 259 235 1.69/1.81 c 611 13359 207059 948287 348 538 226 226 113 1.69/1.83 c 620 13635 210988 969274 348 547 262 268 240 1.69/1.86 c 630 13919 215686 994414 348 550 245 250 225 1.69/1.88 c 640 14211 220554 1018683 348 555 218 259 209 1.79/1.90 c 650 14458 224337 1036743 348 565 238 238 216 1.79/1.93 c 660 14734 228836 1059484 348 571 241 256 227 1.79/1.95 c 670 14975 232596 1076710 348 581 211 232 209 1.79/1.97 c 680 15216 236550 1094087 348 591 232 232 210 1.79/1.99 c 690 15436 240051 1109367 348 601 211 211 191 1.90/2.01 c 700 15683 243628 1126899 348 611 238 238 216 1.90/2.03 c 710 15951 247482 1146702 348 621 241 259 233 1.90/2.06 c 720 16228 251932 1167104 348 631 268 268 243 1.90/2.08 c 730 16511 255676 1188080 348 641 265 274 247 2.00/2.10 c 740 16791 259759 1208977 348 651 250 271 244 2.00/2.13 c 750 17078 264279 1231218 348 661 231 271 239 2.00/2.16 c 760 17379 268789 1256770 348 666 262 277 243 2.00/2.18 c 770 17680 273218 1281213 348 673 260 274 242 2.09/2.21 c 771 17944 277258 1301227 348 674 264 264 132 2.09/2.23 c 780 18219 281329 1322132 348 682 248 265 235 2.09/2.25 c 790 18484 285581 1341560 348 692 256 256 232 2.09/2.28 c 800 18770 290375 1363065 348 702 274 277 249 2.19/2.31 c 810 19071 295194 1385556 348 712 289 292 263 2.19/2.34 c 820 19378 300431 1408569 348 722 295 298 270 2.19/2.37 c 830 19675 305447 1432136 348 731 249 283 251 2.19/2.39 c 840 19985 310499 1458254 348 736 239 283 226 2.29/2.41 c 850 20220 314106 1474753 348 746 226 226 205 2.29/2.44 c 860 20515 318675 1497327 348 756 283 286 257 2.29/2.47 c 870 20816 323243 1520668 348 765 230 286 237 2.39/2.50 c 880 21115 328083 1543548 348 775 275 289 261 2.39/2.52 c 890 21399 332174 1566853 348 779 1 264 196 2.39/2.55 c 900 21691 336513 1588754 348 789 283 283 257 2.39/2.57 c 910 21990 341114 1611484 348 799 219 286 253 2.49/2.60 c 920 22278 345593 1633224 348 809 268 277 251 2.49/2.63 c 930 22592 350844 1658026 348 818 256 304 260 2.49/2.66 c 940 22894 355363 1681435 348 828 270 292 261 2.49/2.68 c 947 23198 359881 1705585 348 835 281 292 253 2.59/2.71 c 950 23487 364794 1729722 348 836 281 281 210 2.59/2.74 c 960 23792 369721 1752872 348 846 206 295 260 2.59/2.76 c 970 24075 374008 1773706 348 856 274 274 249 2.59/2.78 c 980 24250 376933 1785344 348 866 166 166 150 2.69/2.81 c 990 24572 382033 1810458 348 876 287 310 278 2.69/2.84 c 1000 24887 386746 1834436 348 886 231 304 267 2.69/2.87 c 1010 25196 391340 1859845 348 891 274 286 255 2.69/2.89 c 1020 25476 395468 1880517 348 901 271 271 246 2.79/2.92 c 1030 25774 400189 1903150 348 911 289 289 262 2.79/2.94 c 1040 26032 404721 1926501 348 915 236 240 216 2.79/2.96 c 1050 26224 407931 1941667 348 925 183 183 166 2.79/2.99 c 1060 26501 412569 1965632 348 928 215 253 222 2.90/3.02 c 1070 26800 417685 1988561 348 938 196 289 252 2.90/3.05 c 1080 27061 422866 2012581 348 945 220 237 209 2.90/3.07 c 1090 27335 427011 2032891 348 955 265 265 240 2.90/3.10 c 1100 27622 431451 2054595 348 965 216 277 246 3.00/3.12 c 1110 27867 436285 2078232 348 969 171 220 193 3.00/3.15 c 1120 28077 440647 2097608 348 976 184 186 168 3.00/3.17 c 1130 28317 444680 2118031 348 982 166 215 173 3.09/3.20 c 1140 28575 449037 2140176 348 991 235 246 219 3.09/3.21 c 1141 28753 452266 2154723 348 992 178 178 89 3.09/3.24 c 1150 28989 456288 2176704 348 995 208 211 188 3.09/3.25 c 1160 29113 458492 2186131 348 1005 115 115 104 3.09/3.26 c 1170 29213 460149 2192414 348 1015 91 91 82 3.09/3.27 c 1180 29349 462401 2201523 348 1025 127 127 115 3.19/3.30 c 1190 29594 466991 2223322 348 1027 223 226 204 3.19/3.32 c 1200 29839 471388 2245496 348 1034 152 220 182 3.19/3.34 c 1210 30063 475731 2266595 348 1039 153 197 172 3.19/3.35 c 1220 30156 477040 2272024 348 1049 84 84 76 3.19/3.37 c 1230 30393 481326 2293220 348 1055 209 219 193 3.29/3.40 c 1240 30622 485338 2311434 348 1065 201 220 198 3.29/3.43 c 1250 30891 490779 2335300 348 1067 206 239 192 3.29/3.44 c 1260 31025 493016 2344271 348 1077 125 125 113 3.29/3.46 c 1270 31255 496736 2362236 348 1087 221 221 200 3.29/3.49 c 1280 31497 500961 2381384 348 1097 233 233 211 3.39/3.51 c 1290 31736 504919 2400072 348 1107 230 230 209 3.39/3.52 c 1300 31892 507189 2410485 348 1117 147 147 133 3.39/3.55 c 1310 32140 511597 2430034 348 1127 220 239 215 3.39/3.57 c 1320 32370 515064 2447594 348 1137 221 221 200 3.39/3.59 c 1330 32624 519421 2467811 348 1147 245 245 222 3.49/3.61 c 1340 32884 523806 2488257 348 1157 251 251 228 3.49/3.64 c 1350 33147 528191 2509009 348 1167 251 254 230 3.49/3.66 c 1352 33413 532413 2531185 348 1169 265 265 176 3.49/3.69 c 1360 33653 536386 2550206 348 1177 233 233 207 3.59/3.71 c 1370 33914 540515 2571353 348 1186 238 248 223 3.59/3.73 c 1380 34147 544463 2589762 348 1196 224 224 203 3.59/3.76 c 1390 34425 549148 2612390 348 1206 266 269 244 3.59/3.79 c 1400 34703 553902 2635471 348 1216 225 263 232 3.69/3.81 c 1410 35006 558665 2661990 348 1221 181 263 212 3.69/3.84 c 1420 35302 563579 2687816 348 1225 170 269 182 3.69/3.86 c 1430 35512 566451 2704737 348 1227 179 185 165 3.69/3.88 c 1440 35784 570631 2726724 348 1237 263 263 239 3.79/3.91 c 1450 36021 574479 2745561 348 1246 174 218 190 3.79/3.92 c 1460 36254 577813 2765052 348 1249 200 206 184 3.79/3.95 c 1470 36502 581868 2784679 348 1259 239 239 217 3.79/3.96 c 1480 36673 584642 2796768 348 1269 162 162 147 3.79/3.98 c 1490 36861 587723 2810865 348 1279 179 179 162 3.79/4.00 c 1500 37105 591190 2829820 348 1289 235 235 213 3.90/4.03 c 1510 37389 595836 2853657 348 1298 242 269 239 3.90/4.06 c 1520 37664 600524 2876118 348 1308 245 266 236 3.90/4.08 c 1530 37954 605059 2900371 348 1318 263 280 251 3.90/4.10 c 1540 38149 608168 2914937 348 1328 186 186 169 4.00/4.13 c 1550 38423 612507 2937387 348 1337 159 257 216 4.00/4.16 c 1560 38719 617541 2963969 348 1343 162 263 214 4.00/4.19 c 1570 39003 622520 2987239 348 1353 272 275 248 4.10/4.21 c 1580 39269 626773 3008699 348 1363 251 257 233 4.10/4.24 c 1585 39527 631139 3029697 348 1368 251 254 210 4.10/4.27 c 1590 39817 635777 3053492 348 1373 215 278 201 4.10/4.29 c 1600 40095 640006 3075937 348 1383 269 269 244 4.20/4.32 c 1610 40394 645251 3101701 348 1391 262 284 251 4.20/4.34 c 1620 40622 648683 3119067 348 1401 219 219 199 4.20/4.36 c 1630 40807 651946 3132952 348 1411 176 176 160 4.20/4.39 c 1640 41093 656093 3157364 348 1419 225 268 228 4.30/4.40 c 1650 41246 658245 3167401 348 1429 144 144 130 4.30/4.43 c 1660 41525 662552 3190449 348 1439 270 270 245 4.30/4.45 c 1670 41808 666958 3215247 348 1447 257 263 237 4.30/4.48 c 1680 42075 671047 3238340 348 1449 176 248 168 4.30/4.49 c 1690 42190 673231 3246381 348 1459 102 106 96 4.40/4.50 c 1700 42344 675592 3256881 348 1469 145 145 131 4.40/4.53 c 1710 42634 680657 3280161 348 1478 153 276 223 4.40/4.56 c 1720 42915 685649 3304471 348 1486 247 261 233 4.40/4.59 c 1730 43206 690317 3328753 348 1495 117 279 233 4.49/4.62 c 1740 43490 694837 3351604 348 1505 147 275 236 4.49/4.64 c 1750 43664 697795 3364373 348 1515 165 165 150 4.49/4.66 c 1760 43927 702494 3387953 348 1521 136 245 209 4.49/4.69 c 1770 44197 707040 3412630 348 1525 142 248 214 4.59/4.72 c 1780 44475 712165 3437947 348 1531 183 255 187 4.59/4.74 c 1790 44724 716277 3457381 348 1541 237 240 215 4.59/4.77 c 1800 45014 721383 3483243 348 1546 233 264 221 4.69/4.80 c 1810 45287 725586 3505057 348 1556 151 258 224 4.69/4.82 c 1820 45580 730624 3530577 348 1562 251 273 237 4.69/4.84 c 1830 45707 732831 3538525 348 1572 118 118 107 4.69/4.86 c 1840 45962 736877 3558436 348 1582 243 246 221 4.69/4.87 c 1841 46088 738806 3567395 348 1583 126 126 63 4.69/4.90 c 1850 46366 743084 3591324 348 1590 240 260 228 4.79/4.92 c 1860 46650 747696 3614982 348 1599 255 267 238 4.79/4.95 c 1870 46919 752183 3636512 348 1609 257 260 234 4.79/4.97 c 1880 47198 756517 3658898 348 1619 267 270 243 4.79/5.00 c 1890 47481 761623 3685718 348 1621 152 251 209 4.90/5.02 c 1900 47629 764061 3696321 348 1631 139 139 126 4.90/5.04 c 1910 47893 768395 3717493 348 1640 114 250 202 4.90/5.07 c 1920 48182 773442 3744314 348 1643 248 262 229 4.90/5.10 c 1930 48441 777772 3764838 348 1653 250 250 227 5.00/5.11 c 1940 48591 780220 3775561 348 1663 141 141 128 5.00/5.13 c 1950 48838 784207 3794585 348 1673 232 238 211 5.00/5.16 c 1960 49120 788870 3820518 348 1676 119 256 217 5.00/5.18 c 1970 49352 792842 3838292 348 1686 223 223 202 5.09/5.20 c 1980 49590 796553 3856405 348 1696 119 229 198 5.09/5.23 c 1990 49843 800693 3876372 348 1706 235 244 220 5.09/5.26 c 2000 50138 805743 3902453 348 1711 262 274 241 5.09/5.27 c 2010 50271 807958 3911441 348 1721 124 124 112 5.09/5.29 c 2020 50522 811622 3931045 348 1731 141 237 206 5.19/5.32 c 2030 50761 815498 3949555 348 1741 140 226 197 5.19/5.34 c 2040 51010 819218 3969086 348 1751 111 235 185 5.19/5.36 c 2050 51267 823424 3989523 348 1761 126 244 211 5.19/5.39 c 2060 51526 828018 4009826 348 1771 250 250 227 5.29/5.42 c 2070 51803 832509 4033442 348 1779 125 262 221 5.29/5.44 c 2080 52047 836488 4052615 348 1789 235 235 213 5.29/5.46 c 2090 52311 840742 4073343 348 1799 127 250 216 5.29/5.49 c 2100 52597 845695 4096468 348 1809 265 277 249 5.39/5.52 c 2110 52870 849687 4118129 348 1819 145 259 225 5.39/5.55 c 2120 53140 854693 4142597 348 1827 245 249 224 5.39/5.56 c 2122 53335 857486 4158265 348 1829 153 190 114 5.39/5.58 c 2130 53491 860687 4172233 348 1831 122 126 110 5.49/5.61 c 2140 53780 865078 4195909 348 1840 162 274 228 5.49/5.62 c 2150 53904 866971 4204342 348 1850 115 115 104 5.49/5.63 c 2160 54076 869671 4217078 348 1860 163 163 148 5.49/5.66 c 2170 54350 874309 4240595 348 1869 117 258 219 5.49/5.68 c 2180 54579 877527 4258474 348 1879 220 220 200 5.59/5.70 c 2190 54842 882328 4283560 348 1883 232 238 213 5.59/5.74 c 2200 55134 887627 4309709 348 1889 186 263 190 5.59/5.76 c 2210 55390 891948 4330909 348 1899 241 247 223 5.59/5.79 c 2220 55678 896992 4355544 348 1909 236 278 248 5.69/5.82 c 2230 55963 902036 4380291 348 1918 258 272 245 5.69/5.85 c 2240 56246 906701 4403778 348 1928 245 272 244 5.69/5.88 c 2250 56523 911215 4427092 348 1938 254 266 239 5.79/5.91 c 2260 56804 915729 4450755 348 1948 250 270 241 5.79/5.92 c 2270 56912 917661 4458413 348 1958 90 99 89 5.79/5.94 c 2280 57160 921337 4477997 348 1968 239 239 217 5.79/5.97 c 2290 57461 926618 4503786 348 1977 255 285 250 5.79/6.00 c 2300 57756 931752 4529255 348 1986 1 282 226 5.90/6.03 c 2310 58052 936474 4555349 348 1994 233 283 243 5.90/6.06 c 2320 58351 941809 4580431 348 2004 271 288 260 5.90/6.09 c 2330 58627 946848 4603045 348 2014 267 267 242 6.00/6.11 c 2340 58775 949256 4613483 348 2024 139 139 126 6.00/6.13 c 2350 59078 953976 4638846 348 2032 150 277 190 6.00/6.16 c 2360 59376 958483 4664468 348 2040 165 277 196 6.00/6.19 c 2370 59670 963636 4689381 348 2050 226 277 238 6.09/6.22 c 2380 59956 968173 4712527 348 2060 274 277 249 6.09/6.25 c 2390 60253 973103 4739075 348 2066 245 274 236 6.09/6.27 c 2400 60540 977496 4763317 348 2075 241 274 243 6.19/6.30 c 2410 60829 982552 4787347 348 2085 256 280 237 6.19/6.33 c 2420 61124 987570 4812268 348 2095 260 283 251 6.19/6.36 c 2430 61408 992004 4835572 348 2105 269 275 248 6.19/6.38 c 2431 61598 995225 4850650 348 2106 190 190 95 6.29/6.40 c 2440 61872 999165 4872975 348 2115 266 266 239 6.29/6.43 c 2450 62163 1003982 4899064 348 2117 150 262 149 6.29/6.44 c 2460 62263 1005401 4904826 348 2127 91 91 82 6.29/6.45 c 2470 62375 1006793 4911090 348 2137 103 103 93 6.29/6.48 c 2480 62661 1011460 4937664 348 2140 257 260 235 6.40/6.50 c 2490 62885 1015599 4955745 348 2150 215 215 195 6.40/6.51 c 2500 63057 1018457 4968030 348 2160 163 163 148 6.40/6.54 c 2510 63328 1023004 4991865 348 2168 253 259 231 6.40/6.56 c 2520 63590 1026995 5013395 348 2178 206 253 225 6.40/6.59 c 2530 63877 1031382 5037222 348 2188 268 274 248 6.50/6.62 c 2540 64168 1036466 5061520 348 2198 271 280 253 6.50/6.65 c 2550 64466 1041683 5088056 348 2203 157 271 186 6.50/6.66 c 2560 64602 1043959 5097098 348 2213 127 127 115 6.50/6.69 c 2570 64877 1048417 5119379 348 2223 249 266 240 6.59/6.72 c 2580 65146 1053376 5141522 348 2233 257 260 236 6.59/6.73 c 2590 65249 1055029 5148149 348 2243 94 94 85 6.59/6.76 c 2600 65548 1059633 5173792 348 2252 257 286 254 6.59/6.78 c 2610 65843 1064208 5198297 348 2262 286 286 260 6.69/6.81 c 2620 66101 1068598 5219232 348 2272 249 249 226 6.69/6.84 c 2630 66387 1073126 5242840 348 2282 274 277 249 6.69/6.87 c 2640 66688 1078148 5269306 348 2290 274 283 255 6.69/6.90 c 2650 66975 1082923 5292924 348 2300 278 278 252 6.79/6.92 c 2660 67256 1087421 5316444 348 2310 182 271 232 6.79/6.95 c 2670 67554 1092246 5341711 348 2320 283 289 262 6.79/6.97 c 2680 67754 1095720 5357626 348 2330 191 191 173 6.90/7.01 c 2690 68070 1101900 5388682 348 2335 231 288 231 6.90/7.03 c 2700 68344 1106597 5413664 348 2337 180 251 172 6.90/7.05 c 2710 68475 1109055 5423632 348 2347 122 122 110 6.90/7.08 c 2720 68783 1114914 5452691 348 2352 223 294 229 6.90/7.10 c 2730 68936 1117633 5463630 348 2362 144 144 130 7.00/7.12 c 2740 69216 1121953 5486647 348 2372 268 271 246 7.00/7.15 c 2750 69517 1127146 5514922 348 2376 282 284 257 7.00/7.18 c 2760 69778 1132428 5540396 348 2381 162 229 199 7.09/7.20 c 2770 69974 1135109 5556429 348 2388 85 174 125 7.09/7.22 c 2771 70202 1138964 5575288 348 2389 228 228 114 7.09/7.24 c 2780 70460 1143199 5596045 348 2398 250 250 225 7.09/7.26 c 2790 70695 1146823 5614143 348 2408 226 226 205 7.09/7.29 c 2800 70966 1151522 5636033 348 2418 253 262 230 7.19/7.31 c 2810 71236 1155740 5658409 348 2428 236 259 229 7.19/7.33 c 2820 71379 1157989 5667767 348 2438 134 134 121 7.19/7.35 c 2830 71638 1162561 5688850 348 2448 248 249 226 7.19/7.36 c 2840 71745 1164336 5695175 348 2458 98 98 89 7.19/7.39 c 2850 72019 1169077 5718974 348 2462 241 253 223 7.29/7.41 c 2860 72260 1173183 5737962 348 2472 220 232 208 7.29/7.44 c 2870 72537 1177715 5760428 348 2482 268 268 243 7.29/7.46 c 2880 72787 1181995 5780207 348 2492 238 241 216 7.39/7.50 c 2890 73091 1187528 5806881 348 2498 201 280 220 7.39/7.52 c 2900 73332 1191800 5825900 348 2508 232 232 210 7.39/7.55 c 2910 73614 1196599 5849480 348 2517 198 271 233 7.39/7.57 c 2920 73818 1199688 5866046 348 2523 132 187 139 7.39/7.59 c 2930 73980 1203256 5880087 348 2529 120 137 115 7.49/7.61 c 2940 74257 1207504 5902387 348 2539 268 268 243 7.49/7.63 c 2950 74475 1211008 5920563 348 2547 127 197 140 7.49/7.65 c 2960 74642 1214643 5935137 348 2553 120 143 116 7.49/7.67 c 2970 74853 1218168 5951220 348 2563 202 202 183 7.49/7.69 c 2980 75103 1222204 5970884 348 2573 241 241 219 7.59/7.70 c 2990 75216 1223920 5977559 348 2583 104 104 94 7.59/7.73 c 3000 75466 1228117 5998991 348 2589 118 232 148 7.59/7.74 c 3010 75609 1230410 6009736 348 2599 134 134 121 7.59/7.76 c 3020 75868 1234400 6030500 348 2609 250 250 227 7.59/7.79 c 3030 76100 1238136 6048464 348 2619 223 223 202 7.69/7.81 c 3040 76341 1242116 6067375 348 2629 229 232 208 7.69/7.84 c 3050 76627 1246674 6090841 348 2639 277 277 251 7.69/7.86 c 3060 76873 1250530 6110308 348 2648 145 229 162 7.69/7.89 c 3070 77170 1255508 6134685 348 2658 282 288 258 7.79/7.91 c 3080 77440 1259837 6158408 348 2659 240 246 220 7.79/7.93 c 3090 77592 1262513 6169494 348 2669 143 143 130 7.79/7.95 c 3100 77872 1266850 6192024 348 2679 271 271 246 7.79/7.98 c 3110 78143 1271460 6213443 348 2689 262 262 238 7.90/8.01 c 3120 78427 1276079 6236681 348 2699 214 274 243 7.90/8.04 c 3130 78717 1280773 6260587 348 2709 281 281 255 7.90/8.07 c 3140 79013 1285639 6285693 348 2718 213 285 245 7.90/8.08 c 3142 79142 1287692 6294901 348 2720 74 128 67 8.00/8.10 c 3150 79421 1292325 6318079 348 2728 223 269 234 8.00/8.13 c 3160 79712 1297405 6341831 348 2738 229 281 250 8.00/8.16 c 3170 80000 1301919 6365649 348 2748 232 278 248 8.00/8.18 c 3180 80142 1304733 6375968 348 2758 133 133 120 8.09/8.21 c 3190 80436 1310242 6401781 348 2765 218 269 222 8.09/8.24 c 3200 80738 1314983 6427418 348 2774 231 289 242 8.09/8.25 c 3210 80861 1317094 6435669 348 2784 114 114 103 8.09/8.26 c 3220 80992 1319515 6444852 348 2794 122 122 110 8.09/8.29 c 3230 81279 1324091 6468058 348 2804 272 278 252 8.19/8.32 c 3240 81575 1328763 6495539 348 2806 257 264 237 8.19/8.34 c 3250 81853 1333088 6518449 348 2816 266 269 242 8.19/8.37 c 3260 82127 1336983 6540590 348 2826 251 265 229 8.19/8.40 c 3270 82420 1341592 6564423 348 2836 132 284 244 8.29/8.42 c 3280 82721 1346313 6589471 348 2846 250 292 261 8.29/8.45 c 3290 83022 1351523 6614186 348 2856 292 292 265 8.29/8.49 c 3300 83337 1356889 6641740 348 2863 142 293 212 8.39/8.52 c 3310 83644 1362040 6666762 348 2873 298 298 270 8.39/8.53 c 3320 83783 1364276 6676111 348 2883 130 130 118 8.39/8.54 c 3330 83913 1366212 6684450 348 2893 121 121 110 8.39/8.57 c 3340 84223 1371421 6710170 348 2903 117 295 247 8.49/8.60 c 3350 84547 1377278 6738239 348 2912 120 303 252 8.49/8.64 c 3360 84865 1382652 6766245 348 2918 1 295 210 8.49/8.66 c 3370 85167 1387773 6791004 348 2928 148 287 245 8.49/8.69 c 3380 85457 1392372 6814723 348 2938 120 275 232 8.59/8.72 c 3390 85736 1396984 6837942 348 2948 147 264 227 8.59/8.75 c 3400 86040 1402109 6863085 348 2958 121 289 247 8.59/8.78 c 3410 86357 1407151 6889473 348 2968 126 302 254 8.69/8.81 c 3420 86670 1412229 6915258 348 2978 136 298 256 8.69/8.84 c 3430 86989 1417096 6942047 348 2988 123 304 253 8.69/8.85 c 3440 87125 1419388 6952040 348 2998 127 127 115 8.69/8.89 c 3450 87455 1425307 6981891 348 3008 126 311 264 8.79/8.92 c 3460 87773 1430701 7011561 348 3013 118 285 232 8.79/8.95 c 3470 88102 1436090 7039798 348 3023 117 314 255 8.79/8.98 c 3480 88435 1441224 7069354 348 3033 117 308 239 8.90/9.01 c 3490 88751 1446094 7095761 348 3043 118 301 257 8.90/9.04 c 3500 89033 1450706 7118822 348 3053 117 267 229 8.90/9.07 c 3510 89343 1456055 7146134 348 3060 118 287 235 8.90/9.10 c 3520 89660 1461194 7172808 348 3070 121 302 257 9.00/9.13 c 3530 89925 1466062 7196206 348 3080 120 244 195 9.00/9.16 c 3540 90217 1470843 7220898 348 3090 121 277 236 9.00/9.19 c 3550 90542 1476070 7250356 348 3098 124 304 249 9.09/9.20 c 3551 90672 1478180 7259450 348 3099 130 130 65 9.09/9.23 c 3560 90975 1483283 7287598 348 3102 280 287 253 9.09/9.26 c 3570 91286 1488704 7313518 348 3112 132 296 254 9.19/9.30 c 3580 91612 1494921 7345927 348 3116 127 287 245 9.19/9.31 c 3590 91723 1496828 7353211 348 3126 102 102 92 9.19/9.33 c 3600 91958 1500669 7371529 348 3136 226 226 205 9.19/9.34 c 3610 92052 1502212 7376957 348 3146 85 85 77 9.19/9.37 c 3620 92330 1506823 7399385 348 3156 269 269 244 9.29/9.40 c 3630 92616 1511604 7422830 348 3166 262 277 239 9.29/9.43 c 3640 92901 1516797 7450636 348 3170 193 261 211 9.29/9.44 c 3650 93057 1519936 7464307 348 3173 124 129 115 9.29/9.47 c 3660 93337 1524478 7487249 348 3183 259 271 244 9.29/9.48 c 3670 93431 1525800 7492631 348 3193 85 85 77 9.39/9.51 c 3680 93711 1530895 7516466 348 3202 205 265 219 9.39/9.53 c 3690 93979 1535229 7538250 348 3212 241 259 233 9.39/9.56 c 3700 94259 1539633 7560924 348 3222 271 271 246 9.39/9.58 c 3710 94541 1543910 7583845 348 3232 273 273 248 9.49/9.61 c 3720 94835 1548508 7608131 348 3242 285 285 259 9.49/9.64 c 3730 95124 1553209 7631803 348 3252 280 280 254 9.49/9.67 c 3740 95435 1558013 7657768 348 3262 302 302 274 9.59/9.70 c 3750 95744 1563471 7686659 348 3263 290 294 265 9.59/9.73 c 3760 96012 1568450 7712712 348 3266 208 246 212 9.59/9.75 c 3770 96268 1572584 7733437 348 3276 247 247 224 9.59/9.78 c 3780 96548 1577098 7756303 348 3286 271 271 246 9.59/9.79 c 3790 96640 1578358 7761019 348 3296 83 83 75 9.69/9.82 c 3800 96929 1583155 7784606 348 3306 280 280 254 9.69/9.84 c 3810 97179 1587837 7807508 348 3309 125 221 174 9.69/9.85 c 3820 97280 1589289 7813054 348 3319 92 92 83 9.69/9.86 c 3830 97380 1590754 7818806 348 3329 91 91 82 9.69/9.88 c 3840 97603 1594639 7836343 348 3339 120 208 181 9.79/9.90 c 3850 97841 1598854 7855378 348 3349 121 223 193 9.79/9.93 c 3860 98106 1603198 7876615 348 3359 149 250 218 9.79/9.96 c 3870 98383 1607782 7898909 348 3369 265 268 241 9.79/9.98 c 3880 98648 1612221 7922751 348 3372 143 237 206 9.79/10.00 c 3890 98860 1616102 7942021 348 3375 144 189 165 9.90/10.03 c 3900 99125 1620730 7963524 348 3385 145 250 215 9.90/10.05 c 3910 99366 1624644 7982635 348 3395 146 226 198 9.90/10.07 c 3920 99619 1628505 8003330 348 3405 147 238 207 9.90/10.10 c 3930 99869 1632714 8023397 348 3415 148 235 205 10.00/10.12 c 3940 100110 1636895 8042744 348 3425 149 226 198 10.00/10.15 c 3950 100387 1642362 8068369 348 3430 150 249 216 10.00/10.16 c 3960 100481 1643698 8073880 348 3440 85 85 77 10.00/10.18 c 3970 100713 1647825 8092480 348 3450 151 217 191 10.00/10.19 c 3980 100797 1649237 8097176 348 3460 75 75 68 10.09/10.20 c 3990 100911 1651251 8104778 348 3470 105 105 95 10.09/10.21 c 4000 101029 1652944 8112312 348 3480 109 109 99 10.09/10.22 c 4001 101154 1655050 8121455 348 3481 125 125 62 10.09/10.23 c 4010 101287 1657028 8130100 348 3490 125 125 112 10.09/10.25 c 4020 101528 1661337 8149313 348 3500 122 226 196 10.09/10.28 c 4030 101766 1665022 8168098 348 3510 119 223 190 10.09/10.29 c 4040 101919 1667967 8179633 348 3520 144 144 130 10.19/10.31 c 4050 102151 1671952 8197534 348 3530 217 223 197 10.19/10.34 c 4060 102401 1676405 8217320 348 3540 235 241 215 10.19/10.36 c 4070 102648 1680396 8237051 348 3550 217 238 199 10.19/10.39 c 4080 102888 1684326 8256922 348 3558 118 223 174 10.29/10.41 c 4090 103123 1688242 8275549 348 3568 223 226 203 10.29/10.43 c 4100 103370 1692205 8294859 348 3578 238 238 216 10.29/10.45 c 4110 103620 1696305 8314971 348 3588 241 241 219 10.29/10.48 c 4120 103886 1701051 8339898 348 3591 234 239 215 10.29/10.49 c 4130 104000 1702982 8347829 348 3601 105 105 95 10.39/10.51 c 4140 104250 1707016 8367619 348 3611 241 241 219 10.39/10.54 c 4150 104503 1711018 8387466 348 3621 244 244 221 10.39/10.56 c 4160 104765 1715176 8408381 348 3631 250 253 227 10.39/10.59 c 4170 105066 1719693 8434650 348 3638 262 280 247 10.49/10.62 c 4180 105371 1724674 8460986 348 3647 274 283 255 10.49/10.63 c 4190 105489 1726411 8468387 348 3657 109 109 99 10.49/10.66 c 4200 105760 1730912 8490508 348 3667 110 256 219 10.49/10.69 c 4210 106072 1736526 8518677 348 3671 116 286 174 10.59/10.72 c 4220 106382 1741694 8544291 348 3681 113 295 249 10.59/10.75 c 4230 106689 1746603 8569702 348 3691 113 292 245 10.59/10.78 c 4240 106999 1751568 8596550 348 3697 109 280 174 10.69/10.81 c 4250 107258 1756018 8617509 348 3707 113 244 209 10.69/10.84 c 4260 107565 1760889 8642807 348 3717 113 292 248 10.69/10.86 c 4270 107843 1765602 8667633 348 3721 113 253 214 10.69/10.88 c 4280 108002 1768637 8681981 348 3726 123 135 117 10.79/10.91 c 4290 108287 1773721 8705432 348 3736 110 270 224 10.79/10.92 c 4300 108377 1775069 8710846 348 3746 81 81 73 10.79/10.95 c 4310 108683 1780145 8737382 348 3755 110 288 234 10.79/10.97 c 4320 108950 1784741 8759009 348 3765 258 258 234 10.79/11.00 c 4330 109237 1789270 8782326 348 3775 113 273 233 10.90/11.03 c 4340 109514 1793643 8804858 348 3785 114 262 224 10.90/11.05 c 4350 109790 1798365 8829578 348 3792 114 255 218 10.90/11.08 c 4360 110085 1803768 8855358 348 3802 115 277 232 11.00/11.11 c 4370 110368 1808428 8878651 348 3812 108 269 215 11.00/11.15 c 4380 110706 1815422 8911722 348 3818 114 297 245 11.00/11.17 c 4390 110894 1818386 8928160 348 3820 137 158 130 11.00/11.19 c 4400 111176 1822716 8951643 348 3830 122 268 230 11.10/11.20 c 4410 111268 1824104 8956643 348 3840 83 83 75 11.10/11.23 c 4420 111538 1829077 8981081 348 3844 111 246 210 11.10/11.23 c 4430 111615 1830232 8984876 348 3854 68 68 61 11.10/11.26 c 4440 111877 1834815 9006320 348 3864 214 253 198 11.10/11.27 c 4450 111995 1836735 9013957 348 3874 109 109 99 11.10/11.28 c 4460 112111 1838186 9020738 348 3884 107 107 97 11.20/11.31 c 4470 112383 1843714 9044765 348 3894 117 253 215 11.20/11.34 c 4480 112672 1848522 9068109 348 3904 259 280 237 11.20/11.37 c 4490 112955 1853246 9090891 348 3914 268 274 248 11.20/11.39 c 4493 113230 1857618 9113512 348 3917 273 273 204 11.30/11.42 c 4500 113542 1862261 9139504 348 3924 295 302 263 11.30/11.44 c 4510 113808 1866399 9161126 348 3934 254 257 231 11.30/11.47 c 4520 114095 1871056 9184179 348 3944 266 278 242 11.40/11.50 c 4530 114384 1875531 9208804 348 3954 271 280 252 11.40/11.53 c 4540 114671 1879738 9232228 348 3964 274 278 252 11.40/11.56 c 4550 115001 1885426 9263853 348 3967 301 305 275 11.40/11.57 c 4560 115107 1887005 9270377 348 3977 97 97 88 11.50/11.60 c 4570 115407 1891735 9296192 348 3987 123 282 235 11.50/11.62 c 4580 115660 1895836 9316301 348 3997 244 244 221 11.50/11.65 c 4590 115931 1900948 9338249 348 4007 241 262 221 11.50/11.68 c 4600 116223 1905838 9365239 348 4011 257 264 236 11.50/11.69 c 4610 116285 1906890 9368151 348 4021 53 53 48 11.50/11.69 c 4620 116385 1908593 9374398 348 4031 91 91 82 11.60/11.72 c 4630 116662 1913042 9397353 348 4041 256 268 240 11.60/11.74 c 4640 116910 1916981 9417634 348 4051 218 238 214 11.60/11.77 c 4650 117178 1921217 9439402 348 4061 259 259 235 11.60/11.79 c 4660 117437 1925196 9460513 348 4071 244 250 226 11.70/11.82 c 4670 117704 1929604 9483105 348 4080 220 253 224 11.70/11.84 c 4680 117978 1933744 9505796 348 4090 259 265 240 11.70/11.88 c 4690 118286 1938765 9533578 348 4095 103 265 140 11.80/11.90 c 4700 118563 1943145 9556637 348 4105 247 268 239 11.80/11.93 c 4710 118855 1947597 9581319 348 4115 257 282 249 11.80/11.96 c 4720 119154 1952517 9607693 348 4120 103 256 138 11.80/11.97 c 4730 119231 1953626 9611451 348 4130 68 68 61 11.80/11.99 c 4740 119502 1958074 9633391 348 4140 250 262 232 11.90/12.02 c 4750 119803 1962798 9658670 348 4150 232 292 251 11.90/12.05 c 4760 120092 1967215 9682283 348 4160 280 280 254 11.90/12.08 c 4770 120414 1972429 9712350 348 4163 269 299 265 12.00/12.12 c 4780 120735 1977856 9742546 348 4168 241 292 234 12.00/12.12 c 4790 120821 1978890 9747344 348 4178 47 77 67 12.00/12.15 c 4800 121131 1984000 9773543 348 4188 268 301 270 12.00/12.18 c 4810 121380 1988261 9794523 348 4198 216 238 214 12.09/12.20 c 4820 121635 1992445 9818254 348 4203 232 236 212 12.09/12.21 c 4830 121726 1993563 9823204 348 4213 82 82 74 12.09/12.21 c 4840 121818 1994726 9828234 348 4223 83 83 75 12.09/12.22 c 4850 121901 1995677 9832210 348 4233 74 74 67 12.09/12.25 c 4860 122182 2000349 9855866 348 4243 263 271 245 12.09/12.26 c 4870 122313 2002142 9864054 348 4253 122 122 110 12.09/12.27 c 4880 122440 2003986 9872376 348 4263 118 118 107 12.19/12.30 c 4890 122750 2008808 9900304 348 4270 258 285 253 12.19/12.32 c 4900 123044 2013463 9924545 348 4280 285 285 259 12.19/12.35 c 4910 123337 2018548 9952186 348 4281 272 276 249 12.19/12.38 c 4920 123624 2023671 9977939 348 4291 156 274 227 12.29/12.41 c 4930 123928 2028545 10003268 348 4301 292 295 266 12.29/12.44 c 4940 124226 2033489 10027837 348 4311 283 289 261 12.29/12.47 c 4950 124518 2037895 10051589 348 4321 283 283 257 12.39/12.50 c 4960 124806 2042763 10075733 348 4331 267 279 252 12.39/12.53 c 4970 125127 2048420 10104050 348 4338 177 299 217 12.39/12.56 c 4980 125447 2053848 10133900 348 4345 201 294 234 12.39/12.59 c 4990 125710 2058857 10157485 348 4355 174 250 213 12.49/12.62 c 5035 126048 2063915 10182757 348 4400 288 294 285 12.59/12.72 c 5631 127040 2073344 10226425 348 4903 274 397 347 12.69/12.82 c 6286 128085 2081791 10262144 348 5558 148 391 306 12.79/12.96 c 7006 129566 2099054 10391978 348 5843 207 379 308 12.90/13.09 c 7798 130831 2113180 10461618 348 6408 161 350 264 13.19/13.35 c 8669 132747 2152881 10670812 348 6640 251 335 303 13.29/13.47 c 9627 134105 2162522 10713799 348 7598 49 401 275 13.49/13.68 c 10680 136091 2189381 10855001 348 7706 297 308 299 13.69/13.81 c 11838 137649 2200213 10898687 348 8707 107 342 192 13.90/14.03 c 13111 140409 2226597 11119246 348 8915 113 431 403 14.09/14.25 c 14511 142673 2247745 11265877 348 9709 117 424 318 14.39/14.60 c 16051 146783 2301516 11741914 348 9843 185 332 282 14.70/14.82 c 17745 149218 2320422 11840760 348 11094 45 418 265 15.10/15.21 c 19608 153521 2368284 12266656 348 12085 39 417 301 15.30/15.43 c 21657 155954 2383360 12312157 348 14125 32 367 169 15.70/15.88 c 23910 160828 2437797 12776986 348 14743 32 445 310 16.00/16.17 c 26388 164007 2459660 12883247 348 16542 33 463 275 16.49/16.64 c 29113 169189 2512084 13267330 348 17516 33 468 360 17.00/17.13 c 32110 175303 2573898 13719816 348 18406 32 392 320 17.59/17.71 c 35406 181904 2643712 14260656 348 19072 142 475 310 18.09/18.24 c 39031 188227 2699185 14729612 348 19830 101 398 357 18.79/19.00 c 43018 195918 2794309 15336145 348 20940 93 444 359 19.39/19.58 c 47403 202314 2864436 15678090 348 21826 144 409 215 20.59/20.75 c 52226 215414 3009090 17079701 348 22378 174 409 332 21.59/21.77 c 57531 225142 3140060 17769503 348 23502 62 362 302 23.20/23.30 c 63366 240102 3356515 19528051 348 24442 92 483 424 24.10/24.21 c 69784 249703 3456112 20075268 348 25830 112 443 353 25.90/26.03 c 76843 267510 3699364 22021517 348 27235 124 522 443 26.90/27.10 c 84607 279947 3820001 22797035 348 28811 93 429 366 28.69/28.80 c 93147 297252 4042075 24417855 348 30486 97 532 412 30.39/30.51 c 102541 317307 4260119 26613068 348 31366 1 462 396 32.50/32.68 c 112874 341502 4536279 29050540 348 32876 45 397 347 34.30/34.44 c 124240 360450 4744873 30374165 348 35150 47 437 349 36.69/36.86 c 136742 384606 5024991 32477059 348 37510 40 554 429 39.09/39.29 c 150494 414313 5298440 35120792 348 39214 40 499 434 41.00/41.17 c 165621 438220 5493348 36598218 348 41418 41 479 326 44.49/44.64 c 182260 474837 5929429 40442782 348 43509 50 591 468 46.59/46.71 c 200562 503541 6164724 42113762 348 45606 41 365 330 49.18/49.35 c 220694 532979 6477638 43405443 348 47864 80 335 308 52.49/52.70 c 242839 577162 6824814 47032797 348 49283 125 350 331 57.09/57.21 c 267198 631714 7345198 51893464 348 51210 103 525 440 63.00/63.18 c 293992 693254 8087147 58210985 348 53181 62 551 470 66.29/66.42 c 323465 733911 8397100 60044921 348 54467 46 363 340 71.29/71.45 c 355885 806655 9139338 67017964 348 55994 92 372 337 78.29/78.48 c 391547 888728 9987089 74592843 348 57960 126 571 498 84.39/84.57 c 430775 956798 10709280 80597259 348 59576 91 504 417 90.99/91.16 c 473925 1031447 11510449 86201537 348 61819 47 529 394 102.28/102.43 c 521390 1148256 12973811 99002591 348 63263 92 575 487 117.09/117.22 c 573601 1301712 14959743 117204036 348 64847 94 602 519 129.38/129.54 c 631033 1434292 16585021 130244957 348 66700 49 577 457 136.08/136.23 c 694208 1527831 17317794 135199467 348 68256 50 335 318 146.99/147.11 c 763700 1649895 18678737 144260987 348 70098 95 404 387 165.68/165.83 c 840141 1844764 21351991 167440790 348 71852 140 584 480 183.08/183.20 c 924226 2029700 23601987 186794405 348 73299 77 528 471 201.68/201.89 c 1016719 2213032 26245216 206240841 348 74516 101 531 461 216.88/217.02 c 1118461 2405557 28101445 221126227 348 75902 95 491 433 232.58/232.77 c 1230377 2612564 30041410 236078801 348 77226 92 551 377 266.48/266.63 c 1353484 2935274 34581427 276402786 348 78420 103 610 547 299.48/299.66 c 1488901 3287035 39095912 315079798 348 80074 57 581 506 328.08/328.24 c 1637859 3607084 42849108 345531394 348 81427 54 573 488 373.59/373.70 c 1801712 4047809 48917370 397275112 348 83302 53 584 502 403.68/403.86 c 1981950 4408038 52720596 427827032 348 84681 54 605 449 430.68/430.87 c 2180211 4746946 55935361 449013021 348 86769 48 444 365 470.08/470.20 c 2398298 5211916 60820615 490640755 348 88571 93 543 446 496.58/496.77 c 2638193 5535676 63838557 505279749 348 89935 99 306 294 546.78/546.90 c 2902077 6095573 70803369 559614669 348 91737 96 578 510 621.99/622.19 c 3192349 6908238 80135894 648167757 348 93542 1 585 474 696.68/696.86 c 3511648 7673747 90688066 735358189 348 95464 102 592 517 765.58/765.70 c 3862876 8424274 99463972 810664054 348 97372 102 567 481 845.89/846.03 c 4249226 9435230 110292253 908945833 348 99568 57 594 427 947.49/947.64 c 4674211 10466105 124504242 1028085506 348 102099 60 579 513 1026.29/1026.46 c 5141694 11356627 134837677 1112624593 348 104579 56 535 443 1119.39/1119.58 c 5655925 12338056 147596139 1195912378 348 107316 58 591 439 1208.59/1208.76 c 6221579 13401273 158949268 1284125548 348 109873 50 599 404 1289.91/1290.05 c 6843798 14395477 168902047 1344289655 348 112757 1 549 313 1374.40/1374.52 c 7528238 15557545 178634542 1412868894 348 115347 46 415 351 1444.30/1444.45 c 8281122 16597200 185889227 1452891692 348 117136 1 302 288 1538.20/1538.32 c 9109294 17791491 196722671 1506496289 348 118944 94 327 311 1657.50/1657.63 c 10020283 19200150 210879085 1584778008 348 120663 141 438 379 1916.61/1916.75 c 11022370 21967733 246104725 1898466092 348 122319 154 606 522 2133.71/2133.87 c 12124665 24300790 274724974 2128061676 348 124351 109 576 458 2470.12/2470.27 c 13337189 27534862 322433014 2501098413 348 126174 102 613 546 2519.92/2520.00 2519.92/2520.00 c *** INTERRUPTED *** 2519.92/2520.00 c restarts : 599 2519.92/2520.00 c conflicts : 13650812 (5418 /sec) 2519.92/2520.00 c decisions : 28132620 (11165 /sec) 2519.92/2520.00 c propagations : 2546268762 (1010556 /sec) 2519.92/2520.00 c root propagations : 5826 2519.92/2520.00 c filter calls : 328558552 (130397 /sec) 2519.92/2520.00 c useless filter calls : 216212468 (65 %) 2519.92/2520.00 c 2519.92/2520.00 c clauses : 8545502 2519.92/2520.00 c SAT propagations : 16318 2519.92/2520.00 c SAT conflicts : 0 (0 learnts) 2519.92/2520.00 c Memory used : 568.75 MB 2519.92/2520.00 c CPU time : 2519.67 s 2519.92/2520.00 2519.92/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 (14888 MiB free)
memory of node 1: 16384 MiB (15567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266215-1502581163/watcher-4266215-1502581163 -o /tmp/evaluation-result-4266215-1502581163/solver-4266215-1502581163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266215-1502581163.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=15370, runsolver pid=15367
[startup+0.100289 s]*
/proc/loadavg: 1.92 2.02 2.04 3/181 15371
/proc/meminfo: memFree=31186652/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=28312 memory=4568 CPUtime=0 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 1320 0 0 0 0 0 0 0 20 0 1 0 46456957 28991488 1142 18446744073709551615 4194304 5972588 140727348299856 140727348296504 140047757602160 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 7078 1142 724 435 0 441 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28312 KiB
Current children cumulated memory: 4568 KiB
[startup+0.209138 s]*
/proc/loadavg: 1.92 2.02 2.04 3/181 15371
/proc/meminfo: memFree=31128828/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=98480 memory=65500 CPUtime=0.11 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 12506 0 0 0 10 1 0 0 20 0 1 0 46456957 100843520 16375 18446744073709551615 4194304 5972588 140727348299856 140727348296728 140047756741605 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 24620 16375 765 435 0 17983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 98480 KiB
Current children cumulated memory: 65500 KiB
[startup+0.309374 s]*
/proc/loadavg: 1.92 2.02 2.04 3/181 15371
/proc/meminfo: memFree=31073564/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=148688 memory=120900 CPUtime=0.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 20695 0 0 0 18 3 0 0 20 0 1 0 46456957 152256512 30225 18446744073709551615 4194304 5972588 140727348299856 140727348296728 5280489 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 37172 30225 765 435 0 30535 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 148688 KiB
Current children cumulated memory: 120900 KiB
[startup+0.700338 s]
/proc/loadavg: 1.92 2.02 2.04 3/181 15371
/proc/meminfo: memFree=30963528/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=442080 memory=329076 CPUtime=0.59 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 48732 0 0 0 51 8 0 0 20 0 1 0 46456957 452689920 82269 18446744073709551615 4194304 5972588 140727348299856 140727348296728 5328515 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 110520 82269 765 435 0 103883 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 442080 KiB
Current children cumulated memory: 329076 KiB
[startup+1.5003 s]
/proc/loadavg: 1.92 2.02 2.04 3/181 15371
/proc/meminfo: memFree=30858700/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=443804 memory=330660 CPUtime=1.39 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 49163 0 0 0 130 9 0 0 20 0 1 0 46456957 454455296 82665 18446744073709551615 4194304 5972588 140727348299856 140727348296728 4975784 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 110951 82665 785 435 0 104314 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 443804 KiB
Current children cumulated memory: 330660 KiB
[startup+3.1092 s]
/proc/loadavg: 1.92 2.02 2.04 3/194 15400
/proc/meminfo: memFree=31128604/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=444216 memory=333452 CPUtime=3 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 56940 0 0 0 291 9 0 0 20 0 1 0 46456957 454877184 83363 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111054 83363 785 435 0 104417 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 444216 KiB
Current children cumulated memory: 333452 KiB
[startup+6.30028 s]
/proc/loadavg: 2.09 2.05 2.05 3/181 15432
/proc/meminfo: memFree=31146012/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=444340 memory=333480 CPUtime=6.19 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 71113 0 0 0 609 10 0 0 20 0 1 0 46456957 455004160 83370 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5099648 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111085 83370 785 435 0 104448 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 444340 KiB
Current children cumulated memory: 333480 KiB
[startup+12.7003 s]
/proc/loadavg: 2.24 2.09 2.06 4/194 15522
/proc/meminfo: memFree=31126228/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=444892 memory=336044 CPUtime=12.59 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 85942 0 0 0 1247 12 0 0 20 0 1 0 46456957 455569408 84011 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5099648 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111223 84011 785 435 0 104586 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 444892 KiB
Current children cumulated memory: 336044 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 2.10 2.07 3/181 15555
/proc/meminfo: memFree=26753424/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=446364 memory=355876 CPUtime=25.39 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 111815 0 0 0 2525 14 0 0 20 0 1 0 46456957 457076736 88969 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5244215 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111591 88969 785 435 0 104954 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 446364 KiB
Current children cumulated memory: 355876 KiB
[startup+51.1087 s]
/proc/loadavg: 2.17 2.09 2.06 3/181 15555
/proc/meminfo: memFree=26738584/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=447328 memory=371204 CPUtime=51 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 137572 0 0 0 5084 16 0 0 20 0 1 0 46456957 458063872 92801 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4972046 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111832 92801 785 435 0 105195 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 447328 KiB
Current children cumulated memory: 371204 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/181 15557
/proc/meminfo: memFree=26727576/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=447876 memory=382000 CPUtime=102.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 163586 0 0 0 10202 16 0 0 20 0 1 0 46456957 458625024 95500 18446744073709551615 4194304 5972588 140727348299856 140727348296680 4978083 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 111969 95500 785 435 0 105332 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 447876 KiB
Current children cumulated memory: 382000 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/181 15559
/proc/meminfo: memFree=26722532/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=448500 memory=386632 CPUtime=162.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 176477 0 0 0 16201 17 0 0 20 0 1 0 46456957 459264000 96658 18446744073709551615 4194304 5972588 140727348299856 140727348296680 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112125 96658 785 435 0 105488 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 448500 KiB
Current children cumulated memory: 386632 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/181 15562
/proc/meminfo: memFree=26717836/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=448500 memory=390836 CPUtime=222.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 179268 0 0 0 22201 17 0 0 20 0 1 0 46456957 459264000 97709 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5312315 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112125 97709 785 435 0 105488 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 448500 KiB
Current children cumulated memory: 390836 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 15564
/proc/meminfo: memFree=26716660/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=448664 memory=391440 CPUtime=282.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 181754 0 0 0 28201 17 0 0 20 0 1 0 46456957 459431936 97860 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5338173 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112166 97860 785 435 0 105529 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 448664 KiB
Current children cumulated memory: 391440 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 15580
/proc/meminfo: memFree=26709916/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=448972 memory=393668 CPUtime=342.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 183684 0 0 0 34201 17 0 0 20 0 1 0 46456957 459747328 98417 18446744073709551615 4194304 5972588 140727348299856 140727348296680 4978804 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112243 98417 785 435 0 105606 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 448972 KiB
Current children cumulated memory: 393668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 15582
/proc/meminfo: memFree=26711612/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=448972 memory=395808 CPUtime=402.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 185477 0 0 0 40200 18 0 0 20 0 1 0 46456957 459747328 98952 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4972741 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112243 98952 785 435 0 105606 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 448972 KiB
Current children cumulated memory: 395808 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 15584
/proc/meminfo: memFree=26711312/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=449148 memory=395896 CPUtime=462.18 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 187352 0 0 0 46200 18 0 0 20 0 1 0 46456957 459927552 98974 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4979094 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112287 98974 785 435 0 105650 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 449148 KiB
Current children cumulated memory: 395896 KiB
################
# More data... #
################
/proc/15370/statm: 112499 104441 785 435 0 105862 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 449996 KiB
Current children cumulated memory: 417764 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15656
/proc/meminfo: memFree=26689160/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=449996 memory=417764 CPUtime=1782.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 223254 0 0 0 178200 21 0 0 20 0 1 0 46456957 460795904 104441 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4935478 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112499 104441 785 435 0 105862 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 449996 KiB
Current children cumulated memory: 417764 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15659
/proc/meminfo: memFree=26689156/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=449996 memory=417764 CPUtime=1842.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 224313 0 0 0 184200 21 0 0 20 0 1 0 46456957 460795904 104441 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4979111 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112499 104441 785 435 0 105862 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 449996 KiB
Current children cumulated memory: 417764 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15661
/proc/meminfo: memFree=26689424/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=449996 memory=417764 CPUtime=1902.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 225387 0 0 0 190200 21 0 0 20 0 1 0 46456957 460795904 104441 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4975660 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 112499 104441 785 435 0 105862 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 449996 KiB
Current children cumulated memory: 417764 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15663
/proc/meminfo: memFree=26685948/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421164 CPUtime=1962.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 236818 0 0 0 196199 22 0 0 20 0 1 0 46456957 596230144 105291 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4935653 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105291 785 435 0 138927 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421164 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15666
/proc/meminfo: memFree=26685736/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421164 CPUtime=2022.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 242143 0 0 0 202199 22 0 0 20 0 1 0 46456957 596230144 105291 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4978706 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105291 785 435 0 138927 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421164 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15668
/proc/meminfo: memFree=26685880/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421164 CPUtime=2082.2 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 250887 0 0 0 208198 22 0 0 20 0 1 0 46456957 596230144 105291 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5338181 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105291 785 435 0 138927 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421164 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/184 15684
/proc/meminfo: memFree=26681468/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421180 CPUtime=2142.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 267479 0 0 0 214198 23 0 0 20 0 1 0 46456957 596230144 105295 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4971615 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105295 785 435 0 138927 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421180 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 15714
/proc/meminfo: memFree=26680616/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421184 CPUtime=2202.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 276248 0 0 0 220197 24 0 0 20 0 1 0 46456957 596230144 105296 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5099616 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105296 785 435 0 138927 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421184 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 15716
/proc/meminfo: memFree=26683232/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421184 CPUtime=2262.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 286531 0 0 0 226197 24 0 0 20 0 1 0 46456957 596230144 105296 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4977791 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105296 785 435 0 138927 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421184 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 15718
/proc/meminfo: memFree=26684136/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421184 CPUtime=2322.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 296351 0 0 0 232196 25 0 0 20 0 1 0 46456957 596230144 105296 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4975204 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105296 785 435 0 138927 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421184 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 15720
/proc/meminfo: memFree=26684792/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421188 CPUtime=2382.21 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 309384 0 0 0 238196 25 0 0 20 0 1 0 46456957 596230144 105297 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4972720 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105297 785 435 0 138927 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15722
/proc/meminfo: memFree=26685288/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582256 memory=421188 CPUtime=2442.22 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 320436 0 0 0 244196 26 0 0 20 0 1 0 46456957 596230144 105297 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4975600 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145564 105297 785 435 0 138927 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 582256 KiB
Current children cumulated memory: 421188 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15724
/proc/meminfo: memFree=26683380/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582396 memory=423320 CPUtime=2502.22 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 331711 0 0 0 250196 26 0 0 20 0 1 0 46456957 596373504 105830 18446744073709551615 4194304 5972588 140727348299856 140727348297160 4975428 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145599 105830 785 435 0 138962 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 582396 KiB
Current children cumulated memory: 423320 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 15724
/proc/meminfo: memFree=26683744/32770624 swapFree=67108860/67108860
[pid=15370] ppid=15367 vsize=582396 memory=423320 CPUtime=2519.92 cores=1,3,5,7
/proc/15370/stat : 15370 (cosoco) R 15367 15370 11586 0 -1 4202496 331790 0 0 0 251966 26 0 0 20 0 1 0 46456957 596373504 105830 18446744073709551615 4194304 5972588 140727348299856 140727348297160 5099648 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 25657344 140727348306372 140727348306472 140727348306472 140727348309966 0
/proc/15370/statm: 145599 105830 785 435 0 138962 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 582396 KiB
Current children cumulated memory: 423320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 15370 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.67 s, system=0.278004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.95
CPU user time (s): 2519.67
CPU system time (s): 0.278004
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 582396
Max. memory (cumulated for all children) (KiB): 423320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.278004
maximum resident set size= 423396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331836
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= 43
involuntary context switches= 1029
# summary of solver processes directly reported to runsolver:
# pid: 15370
# total CPU time (s): 2519.95
# total CPU user time (s): 2519.67
# total CPU system time (s): 0.278004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.58065 second user time and 15.9066 second system time
The end
Begin job on node124 at 2017-08-13 01:25:07 IDJOB=4266215 IDBENCH=133185 IDSOLVER=2655 FILE ID=node124/4266215-1502581163 RUNJOBID= node124-1502565138-11650 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-016.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266215-1502581163/watcher-4266215-1502581163 -o /tmp/evaluation-result-4266215-1502581163/solver-4266215-1502581163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266215-1502581163.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d65a76f46cedd698fe2b492b618a08c RANDOM SEED=1433878934 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31186684 kB MemAvailable: 31706920 kB Buffers: 244268 kB Cached: 568300 kB SwapCached: 0 kB Active: 659856 kB Inactive: 505408 kB Active(anon): 352660 kB Inactive(anon): 24960 kB Active(file): 307196 kB Inactive(file): 480448 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2440 kB Writeback: 0 kB AnonPages: 386832 kB Mapped: 43312 kB Shmem: 25320 kB Slab: 122208 kB SReclaimable: 96852 kB SUnreclaim: 25356 kB KernelStack: 3472 kB PageTables: 5436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 626052 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 329728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-13 02:07:07