| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8 | 2520.01 |
| Name | Ortholatin/Ortholatin-m1-s1/ Ortholatin-018.xml |
| MD5SUM | bf2163a04ce45209eed2b79696dcc2b5 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 972 |
| Number of constraints | 329 |
| Number of domains | 2 |
| Minimum domain size | 18 |
| Maximum domain size | 324 |
| Distribution of domain sizes | [{"size":18,"count":648},{"size":324,"count":324}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":936},{"degree":3,"count":36}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 324 |
| Distribution of constraint arities | [{"arity":3,"count":324},{"arity":18,"count":2},{"arity":324,"count":3}] |
| Number of extensional constraints | 324 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":324},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}] |
| Optimization problem | NO |
| Type of objective |
1.13/1.26 c SAT : Variables: 116640 -- Clauses: 17053740 1.13/1.28 c root propagations : 8030 1.13/1.28 c restarts enabled, print stats at every restarts 1.13/1.28 c 1.13/1.28 c 1.13/1.28 c 1.13/1.28 c This is cosoco 1.12 -- 1.13/1.28 c 1.13/1.28 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266216-1502581160.xml 1.13/1.28 c ========================================[ Problem Statistics ]=========================================== 1.13/1.28 c | 1.13/1.28 c | Parse time : 1.02 s 1.13/1.28 c | 1.13/1.28 c | Variables: 972 1.13/1.28 c | Domain Sizes: 18..324 1.13/1.28 c | 1.13/1.28 c | Constraints: 433 1.13/1.28 c | Arity: 1..324 -- Unary: 36 -- Ternary: 324 1.13/1.28 c | 1.13/1.28 c | Types: 1.13/1.28 c | All Different: 73 1.13/1.28 c | Extension: 324 (nb tuples: 324..324) -- (shared: 323) 1.13/1.28 c | Unary: 36 1.13/1.28 c | 1.13/1.28 c ========================================================================================================= 1.13/1.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.13/1.29 c 10 168 2958 25151 428 10 153 159 142 1.23/1.33 c 20 539 8048 63284 428 14 199 337 214 1.23/1.37 c 30 783 12855 90769 428 17 205 210 189 1.33/1.40 c 40 1026 17259 115464 428 21 205 214 190 1.33/1.43 c 50 1264 21788 139545 428 28 208 217 193 1.33/1.46 c 60 1458 25913 158881 428 33 163 168 150 1.33/1.49 c 70 1696 29674 181044 428 41 172 220 189 1.43/1.51 c 80 1918 33659 203157 428 46 172 193 162 1.43/1.54 c 90 2137 37119 223852 428 51 178 190 164 1.43/1.56 c 100 2336 40204 239790 428 61 190 190 172 1.43/1.57 c 101 2487 42834 251288 428 62 151 151 75 1.53/1.60 c 110 2693 46672 269157 428 69 178 187 165 1.53/1.63 c 120 2921 50403 291661 428 74 196 200 180 1.53/1.65 c 130 3136 53922 312108 428 78 179 184 165 1.53/1.66 c 140 3242 55643 317794 428 88 97 97 88 1.53/1.67 c 150 3348 57360 323199 428 98 97 97 88 1.53/1.68 c 160 3460 59142 328945 428 108 103 103 93 1.63/1.70 c 170 3575 60974 335019 428 118 106 106 96 1.63/1.71 c 180 3696 62886 341947 428 128 112 112 101 1.63/1.72 c 190 3817 64827 348671 428 138 112 112 101 1.63/1.74 c 200 3944 66828 356241 428 148 118 118 107 1.63/1.75 c 210 4074 68880 364108 428 158 121 121 110 1.63/1.76 c 211 4198 70877 372231 428 159 124 124 62 1.63/1.78 c 220 4333 72985 380696 428 168 127 127 114 1.63/1.79 c 230 4472 75093 389470 428 178 130 130 118 1.73/1.81 c 240 4614 77189 398503 428 188 133 133 120 1.73/1.82 c 250 4768 79422 408467 428 198 145 145 131 1.73/1.83 c 260 4925 81699 418761 428 208 148 148 134 1.73/1.86 c 270 5159 85638 440275 428 217 210 220 197 1.73/1.89 c 280 5397 89610 460690 428 227 220 229 207 1.83/1.92 c 290 5634 94030 481976 428 236 218 223 201 1.83/1.95 c 300 5871 97773 502508 428 246 219 226 204 1.83/1.97 c 310 6109 101189 522459 428 256 220 229 207 1.83/2.00 c 320 6320 104669 539339 428 266 202 202 183 1.94/2.03 c 330 6564 108724 560205 428 276 223 235 212 1.94/2.05 c 332 6782 112706 579656 428 277 1 217 72 1.94/2.08 c 340 7033 116891 602006 428 285 244 244 216 2.04/2.11 c 350 7291 121253 626074 428 294 231 241 216 2.04/2.13 c 360 7490 124641 641687 428 304 190 190 172 2.04/2.16 c 370 7745 128446 663640 428 314 190 244 216 2.04/2.19 c 380 8009 132573 687515 428 323 238 247 221 2.13/2.21 c 390 8250 136100 707483 428 333 199 229 205 2.13/2.24 c 400 8512 140259 730134 428 343 253 253 230 2.13/2.27 c 410 8780 144875 753669 428 353 259 259 235 2.13/2.29 c 420 9012 148371 772843 428 363 223 223 202 2.23/2.32 c 430 9304 153123 801740 428 365 260 265 238 2.23/2.34 c 440 9521 156338 819126 428 375 208 208 189 2.23/2.38 c 450 9798 161462 844273 428 384 250 262 235 2.34/2.41 c 460 10040 165415 867595 428 386 214 219 197 2.34/2.43 c 465 10270 169378 887041 428 391 226 226 188 2.34/2.46 c 470 10500 173945 907031 428 396 226 226 188 2.34/2.49 c 480 10738 177959 927364 428 406 229 229 208 2.44/2.51 c 490 10978 182147 950981 428 413 201 216 192 2.44/2.54 c 500 11219 186742 971737 428 423 232 232 210 2.44/2.56 c 510 11430 189712 988294 428 433 202 202 183 2.44/2.59 c 520 11677 193598 1008920 428 443 238 238 216 2.54/2.62 c 530 11933 198553 1030706 428 453 247 247 224 2.54/2.65 c 540 12204 203477 1054460 428 463 262 262 238 2.54/2.68 c 550 12469 207828 1077687 428 473 253 256 232 2.64/2.71 c 560 12743 212149 1102582 428 482 251 262 235 2.64/2.75 c 570 13031 217095 1129047 428 492 255 277 249 2.64/2.78 c 580 13317 221405 1154765 428 502 265 277 248 2.74/2.82 c 590 13616 226603 1185244 428 506 271 276 248 2.74/2.84 c 600 13874 231289 1211346 428 510 229 231 209 2.74/2.87 c 610 14136 235584 1234762 428 520 253 253 230 2.84/2.90 c 611 14353 239034 1253685 428 521 217 217 108 2.84/2.92 c 620 14584 242519 1272726 428 530 223 223 200 2.84/2.95 c 630 14864 246412 1299934 428 532 246 250 225 2.84/2.98 c 640 15123 250475 1322454 428 542 250 250 227 2.94/3.01 c 650 15397 255269 1346887 428 552 265 265 240 2.94/3.04 c 660 15680 260152 1374178 428 557 241 262 227 2.94/3.07 c 670 15921 263854 1395383 428 566 1 232 189 2.94/3.10 c 680 16186 268026 1418451 428 576 256 256 232 3.04/3.14 c 690 16469 272895 1443915 428 586 173 274 239 3.04/3.17 c 700 16749 277628 1469271 428 596 271 271 246 3.14/3.20 c 710 17040 282926 1496501 428 604 178 271 222 3.14/3.23 c 720 17332 287326 1522913 428 614 283 283 257 3.14/3.27 c 730 17630 291659 1550673 428 624 240 283 249 3.24/3.30 c 740 17928 296643 1580761 428 625 272 279 250 3.24/3.33 c 750 18237 300833 1611465 428 628 181 265 232 3.24/3.36 c 760 18535 305363 1638428 428 638 289 289 262 3.24/3.39 c 770 18835 309733 1665844 428 648 247 289 257 3.34/3.42 c 771 19124 314248 1692803 428 649 289 289 144 3.34/3.46 c 780 19427 319057 1720101 428 658 182 295 254 3.34/3.49 c 790 19752 324631 1752519 428 663 287 304 266 3.43/3.53 c 800 20021 329291 1779719 428 667 190 239 196 3.43/3.55 c 810 20303 333530 1807651 428 671 198 259 222 3.43/3.59 c 820 20571 337969 1831481 428 681 259 259 235 3.53/3.61 c 830 20767 341072 1846966 428 691 187 187 170 3.53/3.65 c 840 21069 346839 1875324 428 701 275 292 262 3.53/3.69 c 850 21383 353178 1907422 428 708 277 289 257 3.63/3.73 c 860 21674 359121 1936697 428 713 201 265 222 3.63/3.76 c 870 21915 363109 1957824 428 723 210 226 202 3.63/3.78 c 880 22153 366593 1977819 428 733 229 229 208 3.73/3.81 c 890 22340 369837 1991949 428 743 178 178 161 3.73/3.84 c 900 22639 374980 2020218 428 751 247 280 238 3.73/3.88 c 910 22928 379779 2047835 428 758 247 268 230 3.73/3.89 c 920 23073 382115 2057612 428 768 136 136 123 3.83/3.92 c 930 23293 386170 2076439 428 778 211 211 191 3.83/3.95 c 940 23589 391356 2105089 428 785 265 277 247 3.83/3.99 c 947 23867 396834 2132269 428 790 265 268 232 3.94/4.03 c 950 24145 401428 2158270 428 792 184 271 160 3.94/4.06 c 960 24436 406392 2185324 428 801 193 277 236 3.94/4.10 c 970 24744 412007 2216745 428 807 280 284 256 4.04/4.14 c 980 25053 417361 2245720 428 816 187 295 248 4.04/4.17 c 990 25368 422326 2278174 428 821 238 286 237 4.04/4.18 c 1000 25462 423505 2282694 428 831 82 85 77 4.04/4.19 c 1010 25556 424595 2286485 428 841 85 85 77 4.13/4.20 c 1020 25656 425862 2290987 428 851 91 91 82 4.13/4.22 c 1030 25786 427858 2298648 428 861 121 121 110 4.13/4.24 c 1040 26031 431521 2321604 428 865 222 228 203 4.13/4.26 c 1050 26209 434353 2334637 428 875 169 169 153 4.13/4.27 c 1060 26351 436369 2343354 428 885 133 133 120 4.23/4.30 c 1070 26601 440227 2365079 428 894 166 235 195 4.23/4.33 c 1080 26862 444604 2388987 428 897 238 241 217 4.23/4.35 c 1090 27111 448598 2411654 428 905 194 232 197 4.23/4.39 c 1100 27404 453212 2438996 428 915 234 280 246 4.33/4.42 c 1110 27675 457956 2463116 428 925 262 262 238 4.33/4.45 c 1120 27938 462463 2486824 428 935 240 250 225 4.33/4.46 c 1130 28064 464692 2497034 428 945 117 117 106 4.33/4.49 c 1140 28356 469133 2523100 428 955 283 283 257 4.43/4.52 c 1141 28597 472914 2544563 428 956 241 241 120 4.43/4.55 c 1150 28873 477793 2569690 428 965 262 268 240 4.43/4.57 c 1160 29029 480569 2583534 428 975 147 147 133 4.53/4.61 c 1170 29332 485593 2611643 428 985 183 292 254 4.53/4.64 c 1180 29663 490598 2644805 428 989 183 289 252 4.53/4.66 c 1190 29803 493018 2657586 428 999 131 131 119 4.53/4.68 c 1200 29971 495945 2672419 428 1009 159 159 144 4.63/4.71 c 1210 30203 500097 2692225 428 1019 220 223 202 4.63/4.75 c 1220 30512 505201 2720142 428 1029 207 298 262 4.63/4.78 c 1230 30810 510199 2747789 428 1038 163 283 225 4.73/4.82 c 1240 31127 515232 2778342 428 1046 167 301 245 4.73/4.86 c 1250 31446 520362 2809597 428 1054 210 298 259 4.73/4.89 c 1260 31707 525136 2835565 428 1064 219 250 224 4.83/4.92 c 1270 31926 529426 2858480 428 1069 168 196 163 4.83/4.94 c 1280 32086 532325 2872529 428 1079 151 151 137 4.83/4.97 c 1290 32300 536088 2893061 428 1089 174 203 178 4.83/5.00 c 1300 32584 540891 2922906 428 1098 224 265 232 4.95/5.04 c 1310 32869 546005 2953011 428 1107 230 265 234 4.95/5.07 c 1320 33129 550654 2978329 428 1117 251 251 228 5.05/5.11 c 1330 33423 555731 3009676 428 1127 264 279 249 5.05/5.14 c 1340 33693 560446 3036330 428 1137 261 261 237 5.05/5.18 c 1350 33984 565602 3066537 428 1146 251 275 245 5.14/5.21 c 1352 34234 569910 3091821 428 1148 249 249 166 5.14/5.23 c 1360 34415 573454 3108804 428 1156 174 174 154 5.14/5.25 c 1370 34633 576684 3129329 428 1166 209 209 190 5.14/5.29 c 1380 34911 581543 3159296 428 1171 237 262 228 5.24/5.32 c 1390 35170 586396 3184771 428 1181 250 250 227 5.24/5.36 c 1400 35468 592147 3215235 428 1191 270 287 259 5.34/5.40 c 1410 35768 597765 3246040 428 1201 275 290 261 5.34/5.44 c 1420 36071 603102 3277794 428 1207 271 283 251 5.34/5.47 c 1430 36336 608088 3304005 428 1217 256 256 232 5.44/5.50 c 1440 36645 613097 3337641 428 1220 271 275 248 5.44/5.54 c 1450 36941 618528 3367667 428 1230 227 287 255 5.44/5.58 c 1460 37244 624370 3398145 428 1240 294 294 267 5.54/5.61 c 1470 37513 628695 3425307 428 1249 1 260 212 5.54/5.65 c 1480 37804 634259 3455879 428 1257 237 272 234 5.54/5.68 c 1490 38084 639330 3485713 428 1261 257 259 234 5.64/5.71 c 1500 38252 642504 3503313 428 1262 140 146 130 5.64/5.74 c 1510 38548 647921 3533281 428 1272 287 287 260 5.64/5.78 c 1520 38832 653287 3562010 428 1282 275 275 250 5.73/5.82 c 1530 39136 658691 3592883 428 1292 293 295 267 5.73/5.85 c 1540 39417 663385 3621003 428 1302 272 272 247 5.83/5.90 c 1550 39735 669420 3657040 428 1306 209 298 215 5.83/5.94 c 1560 40045 674928 3689689 428 1313 241 284 243 5.83/5.97 c 1570 40315 679305 3718857 428 1315 175 245 166 5.83/6.00 c 1580 40619 683942 3749638 428 1324 278 290 261 5.94/6.03 c 1585 40886 688947 3777027 428 1328 241 257 208 5.94/6.07 c 1590 41171 694370 3805909 428 1333 281 281 234 5.94/6.10 c 1600 41442 698947 3833500 428 1338 248 252 226 6.04/6.12 c 1610 41570 701351 3843654 428 1348 119 119 108 6.04/6.13 c 1620 41686 703213 3852033 428 1358 107 107 97 6.04/6.14 c 1630 41814 705345 3861711 428 1368 119 119 108 6.04/6.18 c 1640 42089 710277 3888749 428 1378 266 266 241 6.04/6.19 c 1650 42214 712639 3898688 428 1388 116 116 105 6.13/6.23 c 1660 42519 718018 3929361 428 1398 296 296 269 6.13/6.27 c 1670 42836 723563 3961724 428 1407 275 303 270 6.13/6.29 c 1680 42973 726085 3973243 428 1417 128 128 116 6.23/6.32 c 1690 43278 731386 4003484 428 1427 296 296 269 6.23/6.36 c 1700 43581 736774 4036009 428 1432 212 284 249 6.23/6.39 c 1710 43870 741516 4067267 428 1435 146 253 149 6.33/6.43 c 1720 44122 746045 4092150 428 1445 198 242 216 6.33/6.46 c 1730 44403 751387 4119713 428 1455 147 272 235 6.33/6.49 c 1740 44639 755695 4142316 428 1465 227 227 206 6.43/6.53 c 1750 44949 761326 4173053 428 1475 156 299 257 6.43/6.55 c 1760 45101 764320 4185988 428 1485 143 143 130 6.43/6.59 c 1770 45405 769692 4217270 428 1495 226 290 252 6.53/6.63 c 1780 45731 775026 4252050 428 1504 281 309 270 6.53/6.66 c 1790 45932 778649 4270474 428 1514 192 192 174 6.53/6.69 c 1800 46221 783638 4300181 428 1524 255 270 242 6.63/6.72 c 1810 46446 787808 4322016 428 1534 216 216 196 6.63/6.76 c 1820 46725 792917 4349566 428 1544 270 270 245 6.63/6.79 c 1830 46993 797687 4376135 428 1554 240 258 232 6.73/6.83 c 1840 47290 802805 4407169 428 1563 262 276 247 6.73/6.87 c 1841 47584 808328 4438554 428 1564 294 294 147 6.83/6.90 c 1850 47895 813244 4470723 428 1573 231 303 265 6.83/6.94 c 1860 48177 818103 4498950 428 1583 273 273 248 6.83/6.98 c 1870 48462 824095 4529059 428 1591 260 267 240 6.94/7.02 c 1880 48791 829637 4565103 428 1600 243 308 260 6.94/7.06 c 1890 49109 835170 4597419 428 1610 306 309 280 6.94/7.10 c 1900 49428 840622 4630142 428 1620 228 306 270 7.05/7.14 c 1910 49751 846183 4666641 428 1623 252 285 247 7.05/7.16 c 1920 49928 849126 4682588 428 1633 168 168 152 7.14/7.20 c 1930 50243 855198 4715373 428 1643 293 306 277 7.14/7.23 c 1940 50447 858771 4734452 428 1653 195 195 177 7.14/7.27 c 1950 50779 864525 4769269 428 1661 253 309 250 7.14/7.29 c 1960 50977 868017 4787469 428 1671 189 189 171 7.24/7.33 c 1970 51294 873674 4822871 428 1675 251 289 258 7.24/7.37 c 1980 51597 878977 4853594 428 1684 138 285 233 7.34/7.41 c 1990 51900 884672 4887466 428 1689 233 286 250 7.34/7.44 c 2000 52188 889265 4918098 428 1693 159 266 221 7.34/7.48 c 2010 52495 895403 4951682 428 1701 235 285 228 7.44/7.52 c 2020 52770 899809 4978706 428 1711 121 266 227 7.44/7.54 c 2030 52964 903374 4996254 428 1721 185 185 168 7.44/7.58 c 2040 53244 908189 5023962 428 1730 242 266 233 7.54/7.62 c 2050 53565 913933 5059618 428 1733 287 293 263 7.54/7.65 c 2060 53886 918758 5092743 428 1742 179 302 245 7.54/7.69 c 2070 54173 923489 5121086 428 1752 278 278 252 7.64/7.72 c 2080 54492 928544 5153312 428 1761 164 305 251 7.64/7.75 c 2090 54731 932406 5177841 428 1764 155 203 178 7.64/7.77 c 2100 54910 935088 5193769 428 1774 170 170 154 7.74/7.81 c 2110 55238 940841 5227612 428 1784 146 311 251 7.74/7.86 c 2120 55551 946859 5260989 428 1793 146 293 218 7.74/7.87 c 2122 55692 949230 5273591 428 1795 140 140 93 7.74/7.89 c 2130 55873 952554 5290414 428 1803 174 174 154 7.84/7.93 c 2140 56185 958124 5322288 428 1813 267 300 267 7.84/7.97 c 2150 56479 963730 5351457 428 1823 285 285 259 7.95/8.01 c 2160 56790 968899 5383019 428 1833 194 300 263 7.95/8.05 c 2170 57111 975236 5417824 428 1840 150 303 226 7.95/8.10 c 2180 57409 981028 5448816 428 1849 162 282 224 8.05/8.14 c 2190 57735 986750 5481579 428 1859 317 317 288 8.05/8.18 c 2200 58047 992621 5512906 428 1869 303 303 275 8.14/8.21 c 2210 58254 996119 5532764 428 1879 192 198 179 8.14/8.24 c 2220 58553 1001507 5563396 428 1889 272 285 256 8.14/8.28 c 2230 58839 1006946 5595501 428 1891 261 264 238 8.24/8.32 c 2240 59163 1012942 5628516 428 1901 315 315 286 8.24/8.35 c 2250 59461 1017695 5661341 428 1906 241 272 243 8.24/8.39 c 2260 59701 1023423 5690069 428 1909 156 196 172 8.33/8.44 c 2270 60004 1028612 5722772 428 1912 204 270 200 8.33/8.47 c 2280 60313 1034131 5754483 428 1922 288 297 269 8.43/8.50 c 2290 60610 1039252 5784289 428 1932 216 288 252 8.43/8.54 c 2300 60919 1045011 5817660 428 1937 216 288 231 8.43/8.56 c 2310 61060 1047265 5829104 428 1947 132 132 120 8.43/8.59 c 2320 61379 1052975 5864445 428 1953 231 285 238 8.53/8.61 c 2330 61561 1056350 5880986 428 1963 173 173 157 8.53/8.64 c 2340 61843 1060874 5908051 428 1973 273 273 248 8.53/8.66 c 2350 61969 1063241 5917981 428 1983 117 117 106 8.53/8.67 c 2360 62094 1065631 5928270 428 1993 116 116 105 8.63/8.71 c 2370 62378 1070515 5956778 428 2002 238 270 236 8.63/8.74 c 2380 62688 1076369 5990118 428 2005 258 295 262 8.63/8.77 c 2390 62880 1079552 6007788 428 2015 183 183 166 8.73/8.80 c 2400 63158 1084619 6035573 428 2024 246 264 236 8.73/8.82 c 2410 63326 1087767 6050367 428 2034 159 159 144 8.73/8.86 c 2420 63645 1094399 6087423 428 2038 292 294 266 8.73/8.89 c 2430 63870 1098524 6108580 428 2048 216 216 196 8.83/8.90 c 2431 63981 1100946 6118199 428 2049 111 111 55 8.83/8.93 c 2440 64241 1106098 6143681 428 2058 240 252 225 8.83/8.96 c 2450 64475 1110359 6165825 428 2068 225 225 204 8.83/9.00 c 2460 64796 1116239 6199291 428 2075 270 303 259 8.94/9.02 c 2470 64963 1119276 6214665 428 2085 158 158 143 8.94/9.03 c 2480 65086 1121668 6224453 428 2095 114 114 103 8.94/9.06 c 2490 65343 1126176 6249606 428 2102 210 241 209 8.94/9.10 c 2500 65638 1131470 6278267 428 2112 286 286 260 9.04/9.12 c 2510 65879 1135533 6300878 428 2122 232 232 210 9.04/9.15 c 2520 66144 1139873 6326115 428 2132 256 256 232 9.04/9.18 c 2530 66431 1144852 6355514 428 2141 253 274 245 9.13/9.22 c 2540 66760 1150829 6389999 428 2150 292 313 277 9.13/9.26 c 2550 67079 1156742 6426375 428 2153 268 297 263 9.23/9.30 c 2560 67406 1163191 6461369 428 2160 234 310 254 9.23/9.34 c 2570 67729 1168804 6494257 428 2170 308 313 280 9.23/9.38 c 2580 68063 1175439 6527865 428 2180 266 324 289 9.33/9.41 c 2590 68195 1178311 6539856 428 2189 1 123 100 9.33/9.43 c 2600 68487 1182775 6568019 428 2199 283 283 257 9.33/9.47 c 2610 68821 1188761 6602475 428 2209 222 319 274 9.43/9.51 c 2620 69113 1194100 6635303 428 2215 250 270 241 9.43/9.54 c 2630 69409 1199406 6666005 428 2225 227 285 253 9.43/9.58 c 2640 69735 1205374 6700584 428 2233 279 309 272 9.53/9.62 c 2650 70041 1211066 6732782 428 2240 267 291 249 9.53/9.64 c 2660 70194 1213910 6746422 428 2250 144 144 130 9.53/9.68 c 2670 70525 1220123 6783282 428 2256 247 315 250 9.63/9.70 c 2680 70649 1222449 6793026 428 2266 115 115 104 9.63/9.71 c 2690 70773 1224276 6802232 428 2276 115 115 104 9.63/9.74 c 2700 71055 1229433 6834703 428 2279 248 255 228 9.63/9.78 c 2710 71386 1235303 6870720 428 2288 281 312 275 9.73/9.82 c 2720 71659 1240801 6900970 428 2294 256 257 233 9.73/9.84 c 2730 71837 1243795 6916538 428 2304 169 169 153 9.73/9.87 c 2740 72099 1248954 6944954 428 2306 245 248 224 9.83/9.90 c 2750 72341 1253352 6969407 428 2316 197 231 206 9.83/9.93 c 2760 72659 1258877 7005263 428 2320 291 294 265 9.83/9.96 c 2770 72923 1263662 7032210 428 2330 213 255 228 9.83/9.99 c 2771 73160 1267930 7056079 428 2331 237 237 118 9.94/10.02 c 2780 73451 1273314 7086376 428 2338 204 279 206 9.94/10.04 c 2790 73596 1275416 7097944 428 2348 136 136 123 9.94/10.07 c 2800 73915 1281518 7131440 428 2356 285 306 272 10.04/10.11 c 2810 74200 1286424 7159975 428 2366 276 276 250 10.04/10.14 c 2820 74486 1291448 7188648 428 2376 227 276 246 10.04/10.18 c 2830 74789 1297129 7222349 428 2381 274 279 251 10.13/10.21 c 2840 75111 1302811 7256421 428 2389 282 309 273 10.13/10.25 c 2850 75420 1308300 7291349 428 2391 285 286 259 10.13/10.26 c 2860 75555 1310755 7302743 428 2401 126 126 114 10.23/10.30 c 2870 75864 1316770 7338539 428 2405 282 285 257 10.23/10.34 c 2880 76147 1322360 7368459 428 2415 251 270 242 10.23/10.37 c 2890 76423 1327635 7396206 428 2425 267 267 242 10.33/10.40 c 2900 76689 1331908 7422293 428 2435 246 255 231 10.33/10.43 c 2910 76965 1336955 7449293 428 2445 267 267 242 10.33/10.47 c 2920 77274 1342201 7480752 428 2455 297 300 272 10.33/10.48 c 2930 77385 1344038 7489022 428 2465 102 102 92 10.43/10.52 c 2940 77696 1349645 7523225 428 2471 261 294 257 10.43/10.55 c 2950 78005 1355234 7555710 428 2477 258 285 246 10.43/10.59 c 2960 78337 1361431 7592102 428 2483 243 312 248 10.53/10.63 c 2970 78607 1366222 7618517 428 2493 261 261 237 10.53/10.64 c 2980 78727 1368435 7628020 428 2503 111 111 100 10.53/10.68 c 2990 79031 1373928 7659334 428 2513 233 291 258 10.63/10.71 c 3000 79331 1379951 7689428 428 2523 288 291 262 10.63/10.75 c 3010 79652 1385947 7722013 428 2533 312 312 283 10.63/10.79 c 3020 79958 1391814 7754168 428 2541 276 288 256 10.73/10.81 c 3030 80076 1393799 7763059 428 2551 109 109 99 10.73/10.84 c 3040 80402 1399583 7797632 428 2561 240 315 278 10.73/10.89 c 3050 80735 1406559 7835398 428 2566 288 312 280 10.83/10.90 c 3060 80856 1408591 7844788 428 2576 112 112 101 10.83/10.93 c 3070 81156 1413455 7875595 428 2586 291 291 264 10.83/10.98 c 3080 81478 1420075 7910258 428 2596 251 309 265 10.94/11.01 c 3090 81754 1424980 7938679 428 2605 132 261 179 10.94/11.03 c 3100 81910 1427982 7952339 428 2615 147 147 133 10.94/11.06 c 3110 82215 1433416 7985761 428 2620 243 284 236 10.94/11.09 c 3120 82434 1438126 8009445 428 2624 198 200 181 11.04/11.12 c 3130 82689 1442831 8034862 428 2634 243 246 223 11.04/11.15 c 3140 82935 1447339 8058885 428 2644 225 237 213 11.04/11.19 c 3142 83244 1453185 8091569 428 2646 282 308 196 11.13/11.21 c 3150 83411 1455882 8106291 428 2654 160 160 142 11.13/11.24 c 3160 83665 1460458 8133709 428 2656 131 228 129 11.13/11.27 c 3170 83923 1465246 8159038 428 2666 249 249 226 11.23/11.31 c 3180 84230 1470991 8190759 428 2674 261 291 246 11.23/11.35 c 3190 84553 1476949 8223971 428 2684 273 312 279 11.23/11.39 c 3200 84890 1483631 8260782 428 2691 224 318 254 11.33/11.43 c 3210 85218 1489584 8297706 428 2693 298 306 274 11.33/11.47 c 3220 85525 1495723 8332909 428 2694 282 284 257 11.33/11.48 c 3230 85625 1497299 8339560 428 2704 91 91 82 11.33/11.49 c 3240 85683 1498080 8341620 428 2714 49 49 44 11.43/11.52 c 3250 85980 1503601 8371830 428 2724 288 288 261 11.43/11.54 c 3260 86091 1505643 8380280 428 2734 102 102 92 11.43/11.57 c 3270 86384 1511230 8413227 428 2740 204 272 198 11.43/11.59 c 3280 86486 1513117 8420742 428 2750 93 93 84 11.53/11.60 c 3290 86585 1514637 8427612 428 2760 90 90 81 11.53/11.63 c 3300 86888 1520408 8458692 428 2770 258 291 261 11.53/11.66 c 3310 87140 1525068 8483491 428 2780 243 243 220 11.63/11.70 c 3320 87449 1531118 8515061 428 2790 300 300 272 11.63/11.74 c 3330 87736 1536472 8546326 428 2795 216 267 206 11.63/11.78 c 3340 88061 1542890 8581537 428 2804 238 306 258 11.73/11.82 c 3350 88388 1549415 8617750 428 2811 263 306 256 11.73/11.83 c 3360 88460 1550699 8621636 428 2821 63 63 57 11.73/11.84 c 3370 88532 1551685 8625231 428 2831 63 63 57 11.73/11.87 c 3380 88836 1558005 8658714 428 2838 257 290 259 11.83/11.92 c 3390 89158 1564787 8692682 428 2847 291 309 274 11.83/11.95 c 3400 89415 1569577 8718995 428 2857 236 246 222 11.83/11.99 c 3410 89730 1575994 8753506 428 2864 231 297 219 11.94/12.01 c 3420 89858 1578664 8764497 428 2874 119 119 108 11.94/12.04 c 3430 90167 1584040 8798869 428 2878 225 293 259 11.94/12.08 c 3440 90412 1589039 8826597 428 2884 201 228 185 12.04/12.11 c 3450 90637 1593266 8848447 428 2894 204 216 195 12.04/12.14 c 3460 90868 1597868 8870994 428 2904 216 222 201 12.04/12.15 c 3470 90981 1599961 8879738 428 2914 104 104 94 12.04/12.16 c 3480 91110 1601907 8889474 428 2924 120 120 109 12.04/12.18 c 3490 91244 1604302 8900377 428 2934 125 125 113 12.13/12.21 c 3500 91482 1609114 8926340 428 2936 126 207 125 12.13/12.22 c 3510 91586 1611356 8934194 428 2946 95 95 86 12.13/12.26 c 3520 91862 1616689 8961501 428 2956 267 267 242 12.13/12.29 c 3530 92090 1621217 8983630 428 2966 219 219 199 12.23/12.32 c 3540 92367 1626213 9012226 428 2975 213 265 229 12.23/12.35 c 3550 92659 1631458 9044141 428 2981 223 264 215 12.23/12.38 c 3551 92893 1636027 9068284 428 2982 234 234 117 12.33/12.42 c 3560 93198 1641607 9101169 428 2990 214 286 235 12.33/12.45 c 3570 93464 1646738 9127997 428 2999 223 250 222 12.33/12.49 c 3580 93739 1651744 9155990 428 3008 229 262 231 12.43/12.52 c 3590 93995 1656443 9181115 428 3018 247 247 224 12.43/12.55 c 3600 94271 1661849 9210940 428 3023 235 256 217 12.43/12.59 c 3610 94574 1667382 9242577 428 3031 250 277 238 12.53/12.62 c 3620 94866 1673042 9271741 428 3041 283 283 257 12.53/12.66 c 3630 95159 1677971 9301359 428 3051 264 280 253 12.63/12.70 c 3640 95428 1684187 9330253 428 3058 235 250 218 12.63/12.73 c 3650 95690 1689796 9357988 428 3065 232 244 216 12.63/12.76 c 3660 95907 1694078 9378729 428 3075 208 208 189 12.63/12.79 c 3670 96151 1698636 9402703 428 3085 217 235 212 12.73/12.83 c 3680 96438 1704864 9433634 428 3092 256 268 236 12.73/12.87 c 3690 96716 1710515 9462166 428 3101 255 262 237 12.83/12.90 c 3700 96966 1714828 9486766 428 3111 241 241 219 12.83/12.91 c 3710 97073 1716478 9494032 428 3121 98 98 89 12.83/12.92 c 3720 97219 1718734 9505422 428 3131 137 137 124 12.83/12.95 c 3730 97484 1723635 9531678 428 3141 256 256 232 12.83/12.98 c 3740 97738 1728254 9557279 428 3150 214 241 214 12.94/13.02 c 3750 98039 1733410 9587566 428 3160 289 292 264 12.94/13.05 c 3760 98334 1738536 9617422 428 3170 283 286 259 12.94/13.10 c 3770 98676 1745086 9655392 428 3177 198 316 228 13.04/13.13 c 3780 98966 1750808 9688291 428 3178 268 273 246 13.04/13.17 c 3790 99246 1756258 9720117 428 3182 190 254 207 13.13/13.20 c 3800 99496 1760737 9744121 428 3192 212 241 216 13.13/13.24 c 3810 99789 1766736 9776168 428 3195 239 279 248 13.13/13.28 c 3820 100091 1772586 9809103 428 3205 258 289 257 13.13/13.29 c 3830 100192 1774678 9816567 428 3215 92 92 83 13.23/13.32 c 3840 100466 1779424 9843810 428 3225 229 265 237 13.23/13.36 c 3850 100755 1784127 9873025 428 3235 254 280 251 13.23/13.38 c 3860 100915 1787056 9887189 428 3245 151 151 137 13.23/13.39 c 3870 101055 1789272 9898157 428 3255 131 131 119 13.33/13.43 c 3880 101347 1794783 9930328 428 3261 241 277 235 13.33/13.46 c 3890 101620 1799776 9958500 428 3267 185 258 226 13.33/13.49 c 3900 101901 1804678 9989578 428 3270 256 259 233 13.43/13.50 c 3910 101990 1806290 9995799 428 3280 80 80 72 13.43/13.51 c 3920 102076 1807852 10001357 428 3290 77 77 70 13.43/13.55 c 3930 102354 1813676 10033487 428 3295 183 255 224 13.43/13.58 c 3940 102635 1819016 10064843 428 3301 193 261 188 13.53/13.60 c 3950 102787 1821175 10077031 428 3311 143 143 130 13.53/13.63 c 3960 103046 1825790 10102854 428 3321 247 250 227 13.53/13.64 c 3970 103168 1827730 10111825 428 3331 113 113 102 13.53/13.68 c 3980 103510 1833161 10149330 428 3339 210 310 225 13.63/13.71 c 3990 103814 1838571 10182199 428 3346 208 282 248 13.63/13.72 c 4000 103918 1840178 10189158 428 3356 95 95 86 13.63/13.74 c 4001 104127 1843562 10209454 428 3357 209 209 104 13.63/13.78 c 4010 104423 1849474 10242605 428 3360 147 273 207 13.73/13.81 c 4020 104700 1854185 10270740 428 3370 193 265 214 13.73/13.84 c 4030 104962 1858969 10296290 428 3380 253 253 230 13.73/13.87 c 4040 105224 1863836 10322537 428 3390 194 250 222 13.83/13.90 c 4050 105480 1868499 10350284 428 3395 199 237 188 13.83/13.92 c 4060 105601 1870388 10359845 428 3405 112 112 101 13.83/13.93 c 4070 105734 1872811 10370647 428 3415 124 124 112 13.83/13.96 c 4080 105960 1877186 10391889 428 3425 217 217 197 13.83/13.99 c 4090 106189 1881449 10414257 428 3435 214 220 199 13.94/14.02 c 4100 106448 1886656 10440197 428 3445 250 250 227 13.94/14.05 c 4110 106720 1891834 10469752 428 3451 244 253 224 13.94/14.08 c 4120 106985 1896223 10495998 428 3461 253 256 232 14.04/14.11 c 4130 107223 1900813 10519371 428 3471 226 229 207 14.04/14.15 c 4140 107517 1906150 10549417 428 3481 267 283 255 14.04/14.18 c 4150 107761 1911056 10573188 428 3491 235 235 213 14.13/14.21 c 4160 108005 1915267 10597011 428 3501 235 235 213 14.13/14.24 c 4170 108271 1920440 10625374 428 3504 244 246 222 14.13/14.27 c 4180 108571 1925731 10656337 428 3514 243 289 257 14.23/14.31 c 4190 108883 1931131 10689802 428 3523 247 294 258 14.23/14.33 c 4200 109041 1933482 10703380 428 3532 139 143 129 14.23/14.34 c 4210 109145 1934811 10710019 428 3542 95 95 86 14.23/14.37 c 4220 109410 1939736 10736788 428 3552 256 256 232 14.33/14.41 c 4230 109742 1945476 10771853 428 3561 218 317 262 14.33/14.44 c 4240 110047 1950691 10806054 428 3564 228 281 247 14.33/14.48 c 4250 110368 1957219 10841000 428 3573 214 302 255 14.43/14.52 c 4260 110678 1962565 10874902 428 3577 242 292 255 14.43/14.56 c 4270 111015 1968554 10912059 428 3583 219 320 257 14.43/14.59 c 4280 111332 1974042 10946748 428 3585 293 299 268 14.53/14.60 c 4290 111410 1975511 10951631 428 3595 69 69 62 14.53/14.61 c 4300 111533 1977124 10960178 428 3605 114 114 103 14.53/14.63 c 4310 111658 1979120 10969633 428 3615 116 116 105 14.53/14.66 c 4320 111962 1984874 11003737 428 3620 282 286 258 14.53/14.67 c 4330 112043 1986381 11008918 428 3630 72 72 65 14.63/14.71 c 4340 112348 1991929 11041582 428 3637 251 292 260 14.63/14.74 c 4350 112645 1997402 11073670 428 3642 206 266 194 14.63/14.75 c 4360 112726 1998811 11078224 428 3652 72 72 65 14.63/14.76 c 4370 112819 2000156 11083782 428 3662 84 84 76 14.63/14.78 c 4380 112947 2002174 11093516 428 3672 119 119 108 14.73/14.81 c 4390 113258 2008143 11128749 428 3677 232 286 254 14.73/14.83 c 4400 113401 2010653 11140555 428 3687 134 134 121 14.73/14.85 c 4410 113601 2014563 11158797 428 3697 191 191 173 14.73/14.88 c 4420 113816 2018629 11179497 428 3706 126 200 162 14.83/14.90 c 4430 114025 2022632 11199001 428 3716 200 200 181 14.83/14.93 c 4440 114285 2026942 11224739 428 3726 215 251 224 14.83/14.96 c 4450 114543 2031679 11251258 428 3734 221 245 211 14.83/15.00 c 4460 114815 2036651 11280536 428 3743 126 257 198 14.94/15.02 c 4470 115036 2041062 11301395 428 3753 212 212 192 14.94/15.05 c 4480 115291 2045736 11327368 428 3761 185 242 194 14.94/15.08 c 4490 115559 2050509 11354560 428 3771 202 257 228 14.94/15.10 c 4493 115751 2053867 11373539 428 3772 188 190 141 15.04/15.13 c 4500 115997 2058115 11399043 428 3779 190 236 194 15.04/15.16 c 4510 116235 2062857 11423470 428 3788 129 221 174 15.04/15.17 c 4520 116323 2064386 11429221 428 3798 79 79 71 15.13/15.21 c 4530 116592 2069323 11456058 428 3808 230 260 233 15.13/15.24 c 4540 116865 2074923 11484258 428 3816 224 260 220 15.13/15.28 c 4550 117144 2080464 11513453 428 3824 230 266 225 15.23/15.31 c 4560 117425 2085779 11541593 428 3834 231 272 243 15.23/15.35 c 4570 117708 2091017 11570368 428 3844 229 272 242 15.23/15.38 c 4580 118036 2096341 11605664 428 3849 302 311 276 15.33/15.41 c 4590 118310 2101207 11633281 428 3859 223 263 235 15.33/15.45 c 4600 118585 2106253 11660487 428 3869 266 266 241 15.33/15.47 c 4610 118830 2110713 11684307 428 3879 236 236 214 15.43/15.51 c 4620 119125 2116474 11715811 428 3888 135 278 211 15.43/15.55 c 4630 119442 2121980 11747759 428 3898 237 308 273 15.43/15.59 c 4640 119740 2127611 11777793 428 3908 250 287 257 15.53/15.62 c 4650 120030 2132661 11806771 428 3918 281 281 255 15.53/15.64 c 4660 120230 2136364 11826463 428 3922 183 185 167 15.53/15.67 c 4670 120503 2141213 11854312 428 3929 180 260 207 15.63/15.71 c 4680 120830 2146876 11888004 428 3938 242 314 272 15.63/15.75 c 4690 121151 2152863 11921383 428 3946 236 308 260 15.63/15.78 c 4700 121412 2157642 11947701 428 3949 239 245 218 15.73/15.80 c 4710 121599 2161049 11964811 428 3959 178 178 161 15.73/15.83 c 4720 121918 2166697 11999731 428 3964 221 298 234 15.73/15.85 c 4730 122029 2169063 12008334 428 3974 102 102 92 15.73/15.89 c 4740 122349 2174809 12043582 428 3979 221 297 234 15.83/15.92 c 4750 122648 2179647 12073534 428 3989 290 290 263 15.83/15.96 c 4760 122969 2185357 12106272 428 3999 179 308 255 15.83/15.98 c 4770 123197 2189460 12129638 428 4002 201 209 185 15.83/16.00 c 4780 123402 2193065 12151741 428 4005 176 181 162 15.94/16.04 c 4790 123684 2198565 12181964 428 4012 197 263 193 15.94/16.07 c 4800 123937 2203223 12208640 428 4018 229 232 209 15.94/16.09 c 4810 124098 2205961 12223229 428 4028 135 148 132 16.04/16.12 c 4820 124368 2210975 12250757 428 4037 221 257 220 16.04/16.16 c 4830 124678 2216485 12283285 428 4042 216 295 260 16.04/16.18 c 4840 124926 2220768 12308024 428 4049 177 221 182 16.04/16.19 c 4850 124999 2221744 12312263 428 4059 58 64 57 16.13/16.20 c 4860 125108 2223146 12319477 428 4069 100 100 90 16.13/16.23 c 4870 125353 2227676 12343486 428 4079 230 236 214 16.13/16.26 c 4880 125616 2232158 12368971 428 4089 254 254 230 16.13/16.27 c 4890 125725 2233520 12376188 428 4099 100 100 90 16.23/16.31 c 4900 126032 2239445 12407411 428 4109 266 298 244 16.23/16.33 c 4910 126238 2242850 12427729 428 4119 156 193 168 16.23/16.36 c 4920 126510 2248279 12454842 428 4129 263 263 239 16.33/16.40 c 4930 126806 2253488 12484627 428 4139 284 287 260 16.33/16.43 c 4940 127105 2258890 12514451 428 4149 290 290 263 16.33/16.47 c 4950 127410 2264283 12548095 428 4153 275 280 252 16.43/16.50 c 4960 127726 2269918 12582561 428 4158 186 295 218 16.43/16.54 c 4970 128024 2275594 12612706 428 4168 207 287 253 16.43/16.57 c 4980 128330 2280828 12645432 428 4171 288 291 263 16.53/16.60 c 4990 128624 2285895 12678497 428 4173 260 265 239 16.53/16.63 c 5035 128865 2289735 12698440 428 4217 174 185 180 16.63/16.75 c 5631 129834 2299239 12747881 428 4804 205 349 319 16.73/16.88 c 6286 130880 2310254 12796811 428 5455 92 377 273 16.93/17.06 c 7006 132157 2326711 12899697 428 5886 304 395 357 17.12/17.23 c 7798 133521 2340154 12985646 428 6596 183 429 354 17.32/17.41 c 8669 134912 2352952 13053884 428 7457 257 498 437 17.52/17.62 c 9627 136483 2366904 13145337 428 8371 1 532 476 18.03/18.11 c 10680 139800 2428979 13671429 428 8397 365 460 423 18.13/18.23 c 11838 141109 2436340 13686533 428 9555 88 152 125 18.33/18.44 c 13111 142733 2447750 13737097 428 10828 148 352 264 18.63/18.72 c 14511 144846 2466285 13857176 428 12058 301 532 437 19.03/19.15 c 16051 148278 2512963 14266131 428 12280 201 578 542 19.42/19.52 c 17745 151252 2542276 14505035 428 13110 171 608 501 19.82/19.94 c 19608 154486 2582164 14765225 428 13279 146 365 356 20.22/20.33 c 21657 158078 2611076 15048771 428 14149 113 514 388 20.62/20.73 c 23910 162540 2652861 15432123 428 14210 146 303 289 20.93/21.07 c 26388 165527 2672549 15498353 428 16324 101 459 240 21.52/21.60 c 29113 169723 2711985 15819200 428 18012 135 604 476 22.42/22.50 c 32110 177789 2806829 16831942 428 18155 158 585 544 22.93/23.08 c 35406 182803 2853124 17172078 428 19207 138 528 422 23.93/24.01 c 39031 192387 2954693 18361198 428 19777 164 354 341 24.52/24.69 c 43018 199139 3014297 18921937 428 20945 134 454 402 25.32/25.40 c 47403 206378 3075243 19306118 428 22958 162 484 396 26.22/26.38 c 52226 214300 3165561 20068499 428 23429 126 461 348 27.12/27.28 c 57531 222384 3251016 20555823 428 23860 190 358 345 28.22/28.31 c 63366 231795 3339408 21303310 428 24960 190 575 372 29.22/29.30 c 69784 242272 3427445 22080224 428 25097 199 370 355 30.62/30.70 c 76843 253090 3565667 22910125 428 25360 241 360 334 31.82/31.96 c 84607 265879 3680710 24008757 428 25994 147 401 385 33.62/33.72 c 93147 279593 3843212 25182600 428 28093 195 609 524 35.32/35.44 c 102541 295198 4010828 26534638 428 28715 172 363 311 37.12/37.26 c 112874 313903 4174141 28294068 428 30824 164 543 391 39.22/39.36 c 124240 331686 4387537 29670394 428 31463 145 378 327 41.62/41.75 c 136742 351691 4626189 31273896 428 32049 214 375 359 43.62/43.71 c 150494 374561 4821572 32942128 428 32697 221 359 309 45.62/45.79 c 165621 394822 4983616 34045589 428 33985 126 570 454 48.52/48.69 c 182260 424549 5244754 36502733 428 35122 153 583 496 50.93/51.02 c 200562 448087 5413678 37383050 428 35916 145 469 453 54.42/54.56 c 220694 488030 5708504 41122335 428 36410 151 498 417 58.42/58.51 c 242839 522471 6068434 43768390 428 37008 176 441 408 63.32/63.44 c 267198 564431 6520142 47254793 428 37555 182 468 450 67.12/67.24 c 293992 602712 6853077 49753425 428 38381 175 396 379 71.71/71.88 c 323465 644095 7221700 52121764 428 40752 141 571 386 76.93/77.04 c 355885 698087 7690489 57364201 428 42011 140 491 469 82.12/82.24 c 391547 752308 8127474 60843757 428 44013 133 609 490 88.12/88.28 c 430775 815554 8686263 65182710 428 45498 126 444 357 98.51/98.64 c 473925 904569 9784925 72835436 428 46467 148 422 350 105.81/105.91 c 521390 968791 10413074 76350313 428 47097 137 415 383 112.31/112.45 c 573601 1043313 10918794 80498861 428 47673 206 357 336 123.02/123.12 c 631033 1136007 11927819 89002767 428 49456 159 655 558 133.11/133.22 c 694208 1234859 12865844 96811146 428 50105 187 527 470 143.30/143.46 c 763700 1348523 13847078 105926189 428 51140 203 392 375 157.40/157.59 c 840141 1494575 15095620 119633149 428 52441 146 571 506 168.20/168.36 c 924226 1612154 16051177 126927859 428 54080 148 418 402 182.50/182.61 c 1016719 1754296 17203228 136372201 428 56743 156 562 539 197.01/197.17 c 1118461 1905704 18412670 146578476 428 60049 180 653 417 217.01/217.11 c 1230377 2082456 20192731 156721921 428 62471 190 505 484 251.70/251.82 c 1353484 2393381 23724481 198931977 428 64763 158 568 532 273.49/273.60 c 1488901 2589279 25543746 212210926 428 68223 189 704 498 296.59/296.73 c 1637859 2799689 27447805 226623999 428 70821 161 652 551 318.49/318.60 c 1801712 3037089 29092847 240323817 428 72218 212 427 410 347.19/347.39 c 1981950 3359926 31769255 266330711 428 74647 137 609 485 376.99/377.19 c 2180211 3673558 34436230 290092912 428 76820 126 499 476 420.08/420.23 c 2398298 4102881 38446983 328140295 428 78719 1 604 554 462.78/462.94 c 2638193 4463897 42709515 356015175 428 80333 155 445 428 518.57/518.74 c 2902077 5020767 48342640 412089744 428 83344 194 604 552 589.57/589.72 c 3192349 5630990 55720846 486127246 428 85750 164 738 642 640.57/640.79 c 3511648 6099139 60623107 511618422 428 87892 170 399 387 720.47/720.67 c 3862876 6819119 67529512 586876006 428 90880 166 741 614 804.87/805.06 c 4249226 7534498 76222026 657342732 428 93633 141 604 541 914.05/914.21 c 4674211 8594648 86538341 786538764 428 97571 151 620 555 1017.65/1017.88 c 5141694 9430149 96932969 879971209 428 100865 149 614 577 1153.75/1153.97 c 5655925 10615313 110126857 1026237806 428 103093 184 694 617 1254.04/1254.27 c 6221579 11728270 119036355 1124249390 428 105393 115 561 495 1411.53/1411.77 c 6843798 13106138 134839166 1300538898 428 107841 103 687 621 1502.02/1502.26 c 7528238 14126681 142284084 1353967265 428 110551 97 439 423 1633.83/1634.08 c 8281122 15433384 154069470 1450377833 428 113146 94 531 490 1864.41/1864.68 c 9109294 17486971 175953416 1785450230 428 116264 1 614 569 2079.91/2080.19 c 10020283 19488374 196486004 2032465533 428 120814 48 706 613 2372.09/2372.33 c 11022370 21922044 225477311 2330052162 428 125716 49 675 613 2519.78/2520.00 2519.78/2520.00 c *** INTERRUPTED *** 2519.78/2520.00 c restarts : 597 2519.78/2520.00 c conflicts : 11647371 (4623 /sec) 2519.78/2520.00 c decisions : 23386042 (9282 /sec) 2519.78/2520.00 c propagations : 2494626735 (990171 /sec) 2519.78/2520.00 c root propagations : 8030 2519.78/2520.00 c filter calls : 239656964 (95125 /sec) 2519.78/2520.00 c useless filter calls : 160643042 (67 %) 2519.78/2520.00 c 2519.78/2520.00 c clauses : 17181076 2519.78/2520.00 c SAT propagations : 18660 2519.78/2520.00 c SAT conflicts : 0 (0 learnts) 2519.78/2520.00 c Memory used : 1036.46 MB 2519.78/2520.00 c CPU time : 2519.39 s 2519.78/2520.00 2519.78/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 (15004 MiB free)
memory of node 1: 16384 MiB (15416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266216-1502581160/watcher-4266216-1502581160 -o /tmp/evaluation-result-4266216-1502581160/solver-4266216-1502581160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266216-1502581160.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21100, runsolver pid=21097
[startup+0.100114 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=31130764/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=53560 memory=28596 CPUtime=0.05 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 6810 0 0 0 4 1 0 0 20 0 1 0 60309403 54845440 7149 18446744073709551615 4194304 5972588 140725098776496 140725098773144 5280489 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 13390 7149 767 435 0 6753 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 53560 KiB
Current children cumulated memory: 28596 KiB
[startup+0.209409 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=31066388/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=134648 memory=92096 CPUtime=0.15 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 17597 0 0 0 13 2 0 0 20 0 1 0 60309403 137879552 23024 18446744073709551615 4194304 5972588 140725098776496 140725098773144 5280404 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 33662 23024 767 435 0 27025 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 134648 KiB
Current children cumulated memory: 92096 KiB
[startup+0.309478 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=31007592/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=206548 memory=151704 CPUtime=0.25 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 26850 0 0 0 21 4 0 0 20 0 1 0 60309403 211505152 37926 18446744073709551615 4194304 5972588 140725098776496 140725098773144 140624672013285 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 51637 37926 767 435 0 45000 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 206548 KiB
Current children cumulated memory: 151704 KiB
[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=30889616/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=479872 memory=376776 CPUtime=0.63 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 58073 0 0 0 53 10 0 0 20 0 1 0 60309403 491388928 94128 18446744073709551615 4194304 5972588 140725098776496 140725098773288 140624672013285 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 120001 94128 767 435 0 113364 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 479872 KiB
Current children cumulated memory: 376776 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=30600692/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=838208 memory=710048 CPUtime=1.43 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 103105 0 0 0 124 19 0 0 20 0 1 0 60309403 858324992 177512 18446744073709551615 4194304 5972588 140725098776496 140725098773288 5099648 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 209552 177512 786 435 0 202915 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 838208 KiB
Current children cumulated memory: 710048 KiB
[startup+3.10916 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=30441292/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=839156 memory=711188 CPUtime=3.04 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 108583 0 0 0 284 20 0 0 20 0 1 0 60309403 859295744 177797 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5323616 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 209789 177797 786 435 0 203152 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 839156 KiB
Current children cumulated memory: 711188 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21101
/proc/meminfo: memFree=30441124/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=839284 memory=711324 CPUtime=6.23 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 123416 0 0 0 602 21 0 0 20 0 1 0 60309403 859426816 177831 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5094148 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 209821 177831 786 435 0 203184 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 839284 KiB
Current children cumulated memory: 711324 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 21101
/proc/meminfo: memFree=30438196/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=839408 memory=713596 CPUtime=12.63 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 139952 0 0 0 1240 23 0 0 20 0 1 0 60309403 859553792 178399 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4935463 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 209852 178399 786 435 0 203215 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 839408 KiB
Current children cumulated memory: 713596 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 21101
/proc/meminfo: memFree=30413544/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=842188 memory=740848 CPUtime=25.42 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 175974 0 0 0 2517 25 0 0 20 0 1 0 60309403 862400512 185212 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5328016 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 210547 185212 786 435 0 203910 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 842188 KiB
Current children cumulated memory: 740848 KiB
[startup+51.109 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 21102
/proc/meminfo: memFree=30394504/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=842720 memory=757804 CPUtime=51.03 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 208511 0 0 0 5076 27 0 0 20 0 1 0 60309403 862945280 189451 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 210680 189451 786 435 0 204043 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 842720 KiB
Current children cumulated memory: 757804 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 21104
/proc/meminfo: memFree=30382024/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=843160 memory=770436 CPUtime=102.21 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 233457 0 0 0 10193 28 0 0 20 0 1 0 60309403 863395840 192609 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4978763 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 210790 192609 786 435 0 204153 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 843160 KiB
Current children cumulated memory: 770436 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 21106
/proc/meminfo: memFree=30372456/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=843432 memory=778868 CPUtime=162.2 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 258552 0 0 0 16191 29 0 0 20 0 1 0 60309403 863674368 194717 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4908987 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 210858 194717 786 435 0 204221 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 843432 KiB
Current children cumulated memory: 778868 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 21169
/proc/meminfo: memFree=30380880/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=843836 memory=791640 CPUtime=222.19 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 275642 0 0 0 22189 30 0 0 20 0 1 0 60309403 864088064 197910 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5325602 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 210959 197910 786 435 0 204322 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 843836 KiB
Current children cumulated memory: 791640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 21171
/proc/meminfo: memFree=30370192/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1059056 memory=801844 CPUtime=282.19 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 296004 0 0 0 28187 32 0 0 20 0 1 0 60309403 1084473344 200461 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4970752 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 264764 200461 786 435 0 258127 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 1059056 KiB
Current children cumulated memory: 801844 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 21187
/proc/meminfo: memFree=30360992/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1059196 memory=806060 CPUtime=342.19 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 314038 0 0 0 34186 33 0 0 20 0 1 0 60309403 1084616704 201515 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4971920 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 264799 201515 786 435 0 258162 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 1059196 KiB
Current children cumulated memory: 806060 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 21189
/proc/meminfo: memFree=30358520/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1059336 memory=812356 CPUtime=402.18 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 336397 0 0 0 40184 34 0 0 20 0 1 0 60309403 1084760064 203089 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4975598 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 264834 203089 786 435 0 258197 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 1059336 KiB
Current children cumulated memory: 812356 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 21191
/proc/meminfo: memFree=30357744/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1059480 memory=814480 CPUtime=462.18 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 345713 0 0 0 46184 34 0 0 20 0 1 0 60309403 1084907520 203620 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975227 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 264870 203620 786 435 0 258233 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 1059480 KiB
Current children cumulated memory: 814480 KiB
################
# More data... #
################
/proc/21100/statm: 265224 212154 786 435 0 258587 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 848616 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 21323
/proc/meminfo: memFree=30186808/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1060896 memory=848616 CPUtime=1782.11 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 443431 0 0 0 178172 39 0 0 20 0 1 0 60309403 1086357504 212154 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975792 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265224 212154 786 435 0 258587 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 848616 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21326
/proc/meminfo: memFree=30186204/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1060896 memory=848616 CPUtime=1842.11 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 444384 0 0 0 184172 39 0 0 20 0 1 0 60309403 1086357504 212154 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4972720 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265224 212154 786 435 0 258587 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 848616 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21328
/proc/meminfo: memFree=30181300/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1060896 memory=852784 CPUtime=1902.11 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 446322 0 0 0 190171 40 0 0 20 0 1 0 60309403 1086357504 213196 18446744073709551615 4194304 5972588 140725098776496 140725098773800 4975100 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265224 213196 786 435 0 258587 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 852784 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21330
/proc/meminfo: memFree=30181800/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1060896 memory=852784 CPUtime=1962.11 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 447271 0 0 0 196171 40 0 0 20 0 1 0 60309403 1086357504 213196 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5312315 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265224 213196 786 435 0 258587 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 852784 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21333
/proc/meminfo: memFree=30182172/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1060896 memory=852784 CPUtime=2022.1 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 448226 0 0 0 202170 40 0 0 20 0 1 0 60309403 1086357504 213196 18446744073709551615 4194304 5972588 140725098776496 140725098773800 5243312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265224 213196 786 435 0 258587 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 1060896 KiB
Current children cumulated memory: 852784 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21335
/proc/meminfo: memFree=30180604/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061032 memory=854916 CPUtime=2082.1 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 449956 0 0 0 208170 40 0 0 20 0 1 0 60309403 1086496768 213729 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4971560 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265258 213729 786 435 0 258621 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 1061032 KiB
Current children cumulated memory: 854916 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 21352
/proc/meminfo: memFree=30176448/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061032 memory=854964 CPUtime=2142.1 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 451113 0 0 0 214170 40 0 0 20 0 1 0 60309403 1086496768 213741 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975600 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265258 213741 786 435 0 258621 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 1061032 KiB
Current children cumulated memory: 854964 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 21381
/proc/meminfo: memFree=30174252/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061032 memory=854964 CPUtime=2202.09 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 452105 0 0 0 220169 40 0 0 20 0 1 0 60309403 1086496768 213741 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975584 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265258 213741 786 435 0 258621 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 1061032 KiB
Current children cumulated memory: 854964 KiB
[startup+2262.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/182 21383
/proc/meminfo: memFree=30178008/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061032 memory=854964 CPUtime=2262.09 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 453101 0 0 0 226169 40 0 0 20 0 1 0 60309403 1086496768 213741 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975704 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265258 213741 786 435 0 258621 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 1061032 KiB
Current children cumulated memory: 854964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/182 21385
/proc/meminfo: memFree=30178292/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061032 memory=854964 CPUtime=2322.09 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 454123 0 0 0 232169 40 0 0 20 0 1 0 60309403 1086496768 213741 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4977689 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265258 213741 786 435 0 258621 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 1061032 KiB
Current children cumulated memory: 854964 KiB
[startup+2382.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/182 21387
/proc/meminfo: memFree=30174692/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061328 memory=859256 CPUtime=2382.08 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 456031 0 0 0 238168 40 0 0 20 0 1 0 60309403 1086799872 214814 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4972057 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265332 214814 786 435 0 258695 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 1061328 KiB
Current children cumulated memory: 859256 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/181 21389
/proc/meminfo: memFree=30175328/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061328 memory=859300 CPUtime=2442.08 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 457039 0 0 0 244168 40 0 0 20 0 1 0 60309403 1086799872 214825 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975792 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265332 214825 786 435 0 258695 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 1061328 KiB
Current children cumulated memory: 859300 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/181 21391
/proc/meminfo: memFree=30175196/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061328 memory=859300 CPUtime=2502.08 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 457622 0 0 0 250168 40 0 0 20 0 1 0 60309403 1086799872 214825 18446744073709551615 4194304 5972588 140725098776496 140725098773320 5338185 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265332 214825 786 435 0 258695 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 1061328 KiB
Current children cumulated memory: 859300 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.07 2.07 3/181 21393
/proc/meminfo: memFree=30175304/32770624 swapFree=67108860/67108860
[pid=21100] ppid=21097 vsize=1061328 memory=859300 CPUtime=2519.78 cores=0,2,4,6
/proc/21100/stat : 21100 (cosoco) R 21097 21100 17093 0 -1 4202496 457975 0 0 0 251938 40 0 0 20 0 1 0 60309403 1086799872 214825 18446744073709551615 4194304 5972588 140725098776496 140725098773320 4975680 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20045824 140725098783172 140725098783272 140725098783272 140725098786766 0
/proc/21100/statm: 265332 214825 786 435 0 258695 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 1061328 KiB
Current children cumulated memory: 859300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.39 s, system=0.412979 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.8
CPU user time (s): 2519.39
CPU system time (s): 0.412979
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 1061328
Max. memory (cumulated for all children) (KiB): 859300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.39
system time used= 0.412979
maximum resident set size= 859380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458023
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= 55
involuntary context switches= 755
# summary of solver processes directly reported to runsolver:
# pid: 21100
# total CPU time (s): 2519.8
# total CPU user time (s): 2519.39
# total CPU system time (s): 0.412979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05241 second user time and 16.34 second system time
The end
Begin job on node127 at 2017-08-13 01:25:12 IDJOB=4266216 IDBENCH=133183 IDSOLVER=2655 FILE ID=node127/4266216-1502581160 RUNJOBID= node127-1502565159-17156 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-018.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266216-1502581160/watcher-4266216-1502581160 -o /tmp/evaluation-result-4266216-1502581160/solver-4266216-1502581160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266216-1502581160.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf2163a04ce45209eed2b79696dcc2b5 RANDOM SEED=609638768 node127.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.92 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.92 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.92 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.92 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: 31151096 kB MemAvailable: 31980104 kB Buffers: 276972 kB Cached: 840556 kB SwapCached: 0 kB Active: 596868 kB Inactive: 598792 kB Active(anon): 78212 kB Inactive(anon): 24908 kB Active(file): 518656 kB Inactive(file): 573884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2440 kB Writeback: 0 kB AnonPages: 77732 kB Mapped: 47060 kB Shmem: 25252 kB Slab: 130216 kB SReclaimable: 104604 kB SUnreclaim: 25612 kB KernelStack: 3200 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 02:07:13