| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.03 | 2519.8999 |
| Name | KnightTour/KnightTour-ext-s1/ KnightTour-14-ext03.xml |
| MD5SUM | 223310c4b2c0f482c3233db9dc344582 |
| 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 | 19.514 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 196 |
| Number of constraints | 100 |
| Number of domains | 1 |
| Minimum domain size | 196 |
| Maximum domain size | 196 |
| Distribution of domain sizes | [{"size":196,"count":196}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":194},{"degree":3,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 196 |
| Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":98},{"arity":196,"count":1}] |
| Number of extensional constraints | 98 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":98},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.30/0.32 c SAT : Variables: 38416 -- Clauses: 3745756 0.30/0.34 c root propagations : 20035 0.30/0.34 c restarts enabled, print stats at every restarts 0.30/0.34 c 0.30/0.34 c 0.30/0.34 c 0.30/0.34 c This is cosoco 1.12 -- 0.30/0.34 c 0.30/0.34 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266097-1502584196.xml 0.30/0.34 c ========================================[ Problem Statistics ]=========================================== 0.30/0.34 c | 0.30/0.34 c | Parse time : 0.26 s 0.30/0.34 c | 0.30/0.34 c | Variables: 196 0.30/0.34 c | Domain Sizes: 196..196 0.30/0.34 c | 0.30/0.34 c | Constraints: 101 0.30/0.34 c | Arity: 1..196 -- Unary: 2 -- Ternary: 98 0.30/0.34 c | 0.30/0.34 c | Types: 0.30/0.34 c | All Different: 1 0.30/0.34 c | Extension: 98 (nb tuples: 7384..7384) -- (shared: 97) 0.30/0.34 c | Unary: 2 0.30/0.34 c | 0.30/0.34 c ========================================================================================================= 0.30/0.34 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.45 c 10 182 3117 49004 196 9 69 172 121 0.50/0.56 c 20 347 5703 78831 196 19 45 153 105 0.59/0.68 c 30 542 8564 100733 196 28 92 181 143 0.78/0.80 c 40 725 11797 126660 196 38 117 171 131 0.88/0.92 c 50 886 14678 153759 196 48 44 152 83 0.99/1.03 c 60 1052 17454 175582 196 58 103 157 127 1.09/1.15 c 70 1237 20417 195479 196 68 138 176 147 1.18/1.25 c 80 1369 22705 217100 196 78 44 123 77 1.28/1.37 c 90 1557 25898 238854 196 87 121 179 143 1.38/1.48 c 100 1730 28817 263153 196 97 89 164 132 1.48/1.53 c 101 1774 29736 268261 196 98 44 44 22 1.58/1.64 c 110 1921 32330 295088 196 107 79 137 99 1.68/1.77 c 120 2077 35253 323871 196 117 44 147 84 1.78/1.88 c 130 2266 38283 341974 196 125 173 179 158 1.88/1.97 c 140 2397 40339 361239 196 135 44 122 74 1.99/2.08 c 150 2588 43281 379972 196 139 129 181 154 2.18/2.21 c 160 2761 46223 409317 196 149 44 164 86 2.28/2.32 c 170 2935 49179 428168 196 160 149 162 142 2.38/2.43 c 180 3130 52471 446776 196 166 163 178 157 2.48/2.54 c 190 3317 55336 466538 196 175 73 177 128 2.58/2.66 c 200 3483 58017 491927 196 185 44 157 83 2.68/2.77 c 210 3624 60521 514925 196 195 73 130 102 2.78/2.81 c 211 3668 61437 519994 196 196 44 44 22 2.88/2.93 c 220 3835 64334 553889 196 205 94 159 107 2.99/3.05 c 230 3968 66929 580160 196 215 44 124 77 3.09/3.15 c 240 4155 69710 598681 196 225 150 178 151 3.19/3.27 c 250 4362 72875 617509 196 232 151 181 157 3.29/3.36 c 260 4521 75258 642288 196 242 44 150 85 3.39/3.47 c 270 4706 77952 662993 196 252 116 175 138 3.49/3.58 c 280 4895 80854 685151 196 261 135 175 150 3.59/3.69 c 290 5069 83613 707272 196 271 89 164 125 3.69/3.79 c 300 5263 86463 728122 196 279 130 177 151 3.89/3.92 c 310 5429 89389 757835 196 289 44 157 86 4.00/4.03 c 320 5626 92630 776819 196 292 162 178 159 4.09/4.15 c 330 5819 95670 796550 196 300 94 180 145 4.18/4.21 c 332 5871 96817 804296 196 302 44 51 31 4.28/4.32 c 340 6046 99765 825820 196 310 95 168 111 4.38/4.44 c 350 6188 102320 850805 196 320 44 133 80 4.48/4.57 c 360 6372 105506 872241 196 330 102 172 129 4.58/4.67 c 370 6520 107918 894849 196 340 44 139 76 4.68/4.78 c 380 6702 110748 915632 196 350 89 173 127 4.88/4.90 c 390 6886 113621 936476 196 358 89 174 133 4.99/5.02 c 400 7019 116256 963266 196 368 44 124 78 5.09/5.12 c 410 7208 119038 981435 196 376 150 180 154 5.18/5.24 c 420 7341 121653 1007706 196 386 44 124 77 5.28/5.34 c 430 7534 124476 1025998 196 394 175 180 161 5.38/5.48 c 440 7682 127643 1062334 196 404 48 139 89 5.49/5.60 c 450 7863 130629 1084877 196 414 105 172 118 5.69/5.72 c 460 7991 133242 1111416 196 424 44 119 78 5.79/5.82 c 465 8139 135881 1127952 196 429 125 144 114 5.89/5.92 c 470 8321 138592 1145530 196 434 176 178 147 6.00/6.04 c 480 8454 141201 1171801 196 444 44 124 77 6.10/6.14 c 490 8642 143990 1189968 196 453 175 179 159 6.19/6.23 c 500 8829 146401 1208519 196 459 157 174 154 6.29/6.34 c 510 9012 149283 1229844 196 469 89 173 133 6.39/6.42 c 520 9169 151360 1257774 196 479 87 144 111 6.49/6.54 c 530 9351 154384 1281692 196 489 106 172 127 6.59/6.66 c 540 9512 157035 1306662 196 499 44 152 83 6.69/6.77 c 550 9699 159939 1327104 196 511 128 176 143 6.79/6.88 c 560 9886 162809 1352324 196 519 89 176 138 7.00/7.01 c 570 10037 165680 1381732 196 529 44 142 82 7.10/7.11 c 580 10229 168632 1399971 196 539 148 179 154 7.19/7.24 c 590 10371 171385 1428148 196 549 44 133 82 7.29/7.34 c 600 10564 174182 1449254 196 555 139 180 155 7.39/7.44 c 610 10742 176733 1468580 196 565 89 168 120 7.49/7.52 c 611 10831 178527 1479725 196 566 89 89 44 7.59/7.64 c 620 11019 181603 1501924 196 574 98 179 133 7.69/7.76 c 630 11164 184294 1528753 196 584 44 136 79 7.78/7.87 c 640 11352 187077 1546655 196 592 106 179 147 7.88/7.98 c 650 11483 189630 1573487 196 602 44 122 78 7.99/8.10 c 660 11660 192633 1595913 196 610 87 166 129 8.18/8.22 c 670 11830 195394 1623179 196 620 44 160 82 8.28/8.33 c 680 12032 198471 1642701 196 627 166 185 161 8.38/8.44 c 690 12215 201310 1664557 196 637 95 173 141 8.48/8.55 c 700 12402 204062 1684519 196 647 89 177 143 8.58/8.66 c 710 12585 207023 1707959 196 657 128 174 139 8.68/8.76 c 720 12723 209363 1729586 196 667 44 129 77 8.78/8.86 c 730 12913 212014 1749593 196 673 147 178 154 8.88/8.99 c 740 13091 215105 1773593 196 683 103 168 133 8.99/9.09 c 750 13282 217956 1791462 196 688 154 179 155 9.18/9.22 c 760 13459 220923 1820344 196 698 44 168 85 9.28/9.33 c 770 13644 223792 1841332 196 706 116 174 146 9.28/9.38 c 771 13692 224909 1848352 196 707 48 48 24 9.38/9.49 c 780 13876 227578 1867104 196 716 168 176 156 9.48/9.59 c 790 14015 230083 1891625 196 726 44 130 79 9.68/9.72 c 800 14197 233167 1913833 196 736 106 173 131 9.78/9.83 c 810 14388 236408 1932002 196 741 163 174 155 9.88/9.94 c 820 14583 239329 1955534 196 750 121 179 147 9.99/10.04 c 830 14732 241746 1978362 196 760 44 140 80 10.09/10.15 c 840 14920 244858 1996247 196 762 170 176 156 10.18/10.25 c 850 15106 247517 2014160 196 769 171 176 157 10.28/10.36 c 860 15273 250115 2039130 196 779 44 158 88 10.38/10.48 c 870 15455 253019 2061870 196 789 89 173 134 10.58/10.61 c 880 15619 256089 2094033 196 799 44 155 84 10.68/10.71 c 890 15812 258847 2114909 196 806 132 183 154 10.78/10.83 c 900 15997 261935 2132965 196 816 144 175 153 10.88/10.94 c 910 16182 264912 2151353 196 825 110 176 145 10.99/11.06 c 920 16315 267582 2178616 196 835 44 124 78 11.09/11.18 c 930 16493 270495 2199842 196 844 107 169 133 11.18/11.29 c 940 16681 273484 2221011 196 852 89 176 136 11.28/11.39 c 947 16804 275792 2245515 196 859 68 117 80 11.38/11.49 c 950 16971 278337 2263248 196 862 100 165 104 11.58/11.62 c 960 17142 281262 2290835 196 872 44 162 84 11.68/11.73 c 970 17334 284532 2308974 196 878 163 173 155 11.78/11.83 c 980 17527 287216 2329291 196 883 173 177 158 11.88/11.94 c 990 17654 289553 2350710 196 893 44 118 74 11.99/12.05 c 1000 17830 292511 2375262 196 903 106 167 127 12.09/12.16 c 1010 18017 295254 2397114 196 913 89 176 143 12.18/12.27 c 1020 18173 297922 2422474 196 923 44 147 87 12.28/12.38 c 1030 18356 300685 2441276 196 933 121 174 142 12.48/12.51 c 1040 18507 303486 2471511 196 943 44 142 80 12.58/12.62 c 1050 18695 306578 2489563 196 946 163 178 159 12.68/12.71 c 1060 18865 309040 2509542 196 954 91 161 129 12.78/12.82 c 1070 19057 311995 2531769 196 961 89 180 142 12.88/12.94 c 1080 19223 314779 2564387 196 971 68 157 98 12.99/13.05 c 1090 19408 317870 2582421 196 978 163 173 155 13.09/13.17 c 1100 19545 320567 2610430 196 988 44 128 80 13.18/13.27 c 1110 19720 323152 2628454 196 997 146 164 143 13.28/13.37 c 1120 19917 326106 2647543 196 1001 163 181 159 13.39/13.48 c 1130 20111 329042 2668297 196 1006 135 180 154 13.49/13.59 c 1140 20298 332011 2690087 196 1014 133 178 148 13.59/13.63 c 1141 20342 332930 2695195 196 1015 44 44 22 13.69/13.72 c 1150 20532 335258 2712973 196 1020 168 179 158 13.79/13.81 c 1160 20718 337819 2732273 196 1025 131 177 151 13.89/13.93 c 1170 20906 340956 2754329 196 1033 127 177 142 14.00/14.03 c 1180 21098 343756 2775011 196 1041 131 176 150 14.10/14.14 c 1190 21259 346416 2800011 196 1051 44 152 83 14.19/14.25 c 1200 21446 349484 2818348 196 1058 159 177 157 14.29/14.36 c 1210 21610 352072 2842734 196 1068 44 155 81 14.39/14.47 c 1220 21799 355230 2860670 196 1072 163 174 155 14.49/14.59 c 1230 21962 357991 2887743 196 1082 44 154 78 14.59/14.68 c 1240 22127 360387 2904463 196 1092 152 155 138 14.79/14.80 c 1250 22288 363092 2937911 196 1103 44 149 90 14.89/14.91 c 1260 22465 365937 2960430 196 1113 89 167 132 14.99/15.02 c 1270 22669 368855 2983995 196 1120 92 182 142 14.99/15.10 c 1280 22855 371165 3003184 196 1127 169 176 155 15.19/15.21 c 1290 23042 373980 3025775 196 1134 89 175 136 15.29/15.33 c 1300 23167 376600 3051521 196 1144 44 116 75 15.38/15.43 c 1310 23361 379464 3070368 196 1151 174 181 161 15.48/15.54 c 1320 23543 382383 3090549 196 1159 135 173 149 15.58/15.65 c 1330 23674 384711 3111918 196 1169 44 122 77 15.68/15.76 c 1340 23860 387695 3130946 196 1179 127 177 135 15.78/15.85 c 1350 24045 390278 3150617 196 1187 89 176 138 15.88/15.95 c 1352 24198 392758 3167690 196 1189 146 152 99 15.99/16.05 c 1360 24381 395370 3185654 196 1197 124 176 138 16.09/16.16 c 1370 24514 397858 3209414 196 1207 44 124 76 16.18/16.27 c 1380 24709 400801 3229900 196 1213 146 174 152 16.28/16.37 c 1390 24914 403905 3249055 196 1222 170 182 162 16.38/16.49 c 1400 25108 407018 3274657 196 1231 89 179 141 16.48/16.59 c 1410 25299 409716 3295401 196 1238 135 179 153 16.58/16.69 c 1420 25484 412365 3313503 196 1246 174 176 158 16.68/16.79 c 1430 25665 415134 3339830 196 1255 70 171 132 16.78/16.89 c 1440 25829 417596 3358806 196 1265 89 155 113 16.99/17.01 c 1450 25980 420566 3380470 196 1275 106 142 107 17.09/17.11 c 1460 26146 423138 3400442 196 1285 89 156 121 17.18/17.22 c 1470 26340 426345 3418801 196 1292 171 182 162 17.28/17.32 c 1480 26467 428648 3440322 196 1302 44 118 74 17.38/17.43 c 1490 26653 431409 3461244 196 1312 89 176 135 17.48/17.54 c 1500 26836 434104 3484676 196 1320 107 172 135 17.58/17.64 c 1510 27024 436909 3504585 196 1328 146 176 152 17.68/17.75 c 1520 27181 439493 3528138 196 1338 44 148 80 17.78/17.85 c 1530 27371 442170 3549263 196 1346 144 178 156 17.88/17.96 c 1540 27507 444702 3574869 196 1356 44 127 76 17.99/18.06 c 1550 27678 447245 3595109 196 1366 89 162 114 18.09/18.15 c 1560 27858 449513 3614198 196 1373 132 169 140 18.18/18.25 c 1570 28029 451966 3633560 196 1383 89 162 120 18.28/18.38 c 1580 28211 455091 3665241 196 1392 50 170 110 18.38/18.48 c 1585 28389 457868 3682747 196 1397 149 174 137 18.48/18.57 c 1590 28560 460142 3699746 196 1400 141 166 129 18.58/18.66 c 1600 28724 462552 3718363 196 1410 89 155 113 18.68/18.77 c 1610 28916 465455 3737932 196 1414 164 176 155 18.78/18.88 c 1620 29102 468302 3759524 196 1420 146 175 150 18.88/18.98 c 1630 29280 470914 3780718 196 1429 105 168 127 18.99/19.08 c 1640 29465 473602 3801719 196 1437 89 174 129 19.09/19.19 c 1650 29651 476654 3819645 196 1448 173 176 159 19.28/19.30 c 1660 29780 479029 3840630 196 1458 44 120 74 19.28/19.39 c 1670 29909 481399 3856959 196 1468 106 120 102 19.48/19.50 c 1680 30109 484537 3875403 196 1474 150 184 162 19.58/19.60 c 1690 30300 487362 3894560 196 1479 149 179 156 19.68/19.70 c 1700 30481 489925 3914613 196 1485 161 166 148 19.78/19.80 c 1710 30613 492253 3936578 196 1495 44 123 77 19.88/19.91 c 1720 30783 495117 3954472 196 1505 127 161 129 19.99/20.01 c 1730 30942 497383 3975187 196 1515 44 150 82 20.09/20.12 c 1740 31128 500293 3996539 196 1525 120 177 140 20.18/20.23 c 1750 31309 503334 4018186 196 1535 98 172 135 20.28/20.34 c 1760 31474 505969 4043935 196 1545 44 156 82 20.38/20.46 c 1770 31681 509103 4067009 196 1550 144 181 157 20.48/20.56 c 1780 31869 511860 4089754 196 1558 167 174 154 20.59/20.66 c 1790 32038 514256 4107480 196 1568 89 160 117 20.69/20.79 c 1800 32220 517557 4128586 196 1578 118 173 134 20.79/20.87 c 1810 32402 519805 4146884 196 1586 165 171 151 20.89/20.97 c 1820 32573 522284 4166377 196 1596 89 162 120 21.00/21.09 c 1830 32745 525219 4195013 196 1606 44 163 102 21.19/21.20 c 1840 32937 528131 4214781 196 1615 145 180 156 21.19/21.29 c 1841 33072 530256 4229580 196 1616 135 135 67 21.29/21.39 c 1850 33216 532591 4251753 196 1625 44 136 74 21.39/21.49 c 1860 33380 535012 4270551 196 1635 89 155 113 21.49/21.59 c 1870 33574 537990 4291627 196 1642 124 181 146 21.69/21.70 c 1880 33701 540323 4313148 196 1652 44 118 74 21.79/21.80 c 1890 33890 543080 4333710 196 1661 96 179 138 21.89/21.90 c 1900 34078 545818 4352244 196 1666 144 175 152 21.89/22.00 c 1910 34255 548349 4377189 196 1676 76 168 119 22.09/22.11 c 1920 34442 551192 4397633 196 1686 140 178 146 22.19/22.22 c 1930 34634 554444 4416245 196 1693 163 179 156 22.29/22.32 c 1940 34819 557127 4434744 196 1702 137 175 154 22.38/22.45 c 1950 34974 559891 4461234 196 1711 44 146 84 22.48/22.54 c 1960 35138 562350 4480227 196 1721 89 155 113 22.58/22.66 c 1970 35336 565658 4498742 196 1726 169 175 156 22.68/22.75 c 1980 35527 568245 4518017 196 1730 163 171 152 22.78/22.87 c 1990 35718 571485 4536112 196 1735 163 174 155 22.88/22.97 c 2000 35905 574212 4553712 196 1743 153 176 155 22.99/23.07 c 2010 36060 576672 4576151 196 1753 44 146 80 23.09/23.18 c 2020 36246 579511 4597273 196 1761 146 175 152 23.18/23.29 c 2030 36425 582305 4623167 196 1771 44 169 106 23.28/23.39 c 2040 36596 584790 4642663 196 1781 89 162 120 23.49/23.52 c 2050 36715 587479 4670900 196 1791 44 110 72 23.59/23.63 c 2060 36919 590665 4689828 196 1795 175 183 162 23.68/23.72 c 2070 37101 593091 4710279 196 1802 158 168 148 23.78/23.82 c 2080 37287 595887 4728818 196 1804 170 175 157 23.88/23.93 c 2090 37474 598877 4750694 196 1814 95 178 135 23.99/24.04 c 2100 37670 601750 4772554 196 1820 149 177 156 24.09/24.14 c 2110 37853 604521 4795580 196 1829 123 174 135 24.18/24.25 c 2120 38042 607451 4816442 196 1838 141 177 152 24.28/24.35 c 2122 38196 609885 4835635 196 1840 130 153 94 24.38/24.45 c 2130 38364 612559 4854644 196 1848 103 160 119 24.48/24.54 c 2140 38529 614756 4875536 196 1858 116 156 134 24.58/24.63 c 2150 38700 617243 4895035 196 1868 89 162 120 24.68/24.74 c 2160 38868 619861 4917947 196 1878 44 159 87 24.78/24.84 c 2170 39036 622271 4936817 196 1888 104 159 126 24.88/24.93 c 2180 39215 624802 4960202 196 1898 108 170 135 24.99/25.05 c 2190 39405 627832 4982726 196 1906 146 175 152 25.09/25.15 c 2200 39597 630639 5003444 196 1914 129 179 150 25.18/25.27 c 2210 39788 633708 5025865 196 1922 105 177 143 25.28/25.36 c 2220 39982 636225 5045908 196 1928 160 170 149 25.38/25.46 c 2230 40153 638698 5065327 196 1938 89 162 120 25.48/25.55 c 2240 40347 641398 5085698 196 1941 167 172 154 25.58/25.66 c 2250 40535 644153 5105440 196 1950 149 179 156 25.68/25.77 c 2260 40696 646676 5129065 196 1960 44 152 82 25.78/25.87 c 2270 40887 649500 5149697 196 1965 149 177 155 25.88/25.98 c 2280 41068 652433 5175582 196 1973 95 170 132 25.99/26.08 c 2290 41239 654893 5195075 196 1983 89 162 120 26.18/26.20 c 2300 41403 657709 5219628 196 1993 44 155 82 26.28/26.32 c 2310 41598 660889 5240891 196 2001 133 177 152 26.38/26.43 c 2320 41774 663776 5263320 196 2011 106 167 110 26.48/26.51 c 2330 41951 665981 5279927 196 2021 166 168 151 26.58/26.61 c 2340 42130 668480 5299272 196 2027 162 170 152 26.68/26.75 c 2350 42307 671692 5336333 196 2036 50 167 93 26.78/26.85 c 2360 42470 674098 5354547 196 2046 89 154 118 26.88/26.96 c 2370 42649 676889 5374290 196 2056 89 170 117 26.99/27.05 c 2380 42847 679815 5392650 196 2057 177 181 162 27.09/27.14 c 2390 42952 681793 5409387 196 2067 44 96 65 27.18/27.25 c 2400 43145 684993 5427559 196 2076 176 181 162 27.28/27.35 c 2410 43335 687584 5446737 196 2085 123 170 144 27.38/27.47 c 2420 43513 690653 5471353 196 2095 89 169 117 27.48/27.57 c 2430 43708 693598 5493766 196 2101 149 180 156 27.58/27.66 c 2431 43876 695941 5509960 196 2102 168 168 84 27.68/27.76 c 2440 44036 698500 5527997 196 2111 103 152 121 27.78/27.86 c 2450 44227 701258 5549058 196 2118 147 180 153 27.88/27.95 c 2460 44402 703602 5569402 196 2128 153 166 146 27.99/28.07 c 2470 44589 706706 5592775 196 2138 89 175 121 28.09/28.19 c 2480 44781 709689 5613524 196 2145 95 177 133 28.18/28.28 c 2490 44961 712057 5632058 196 2155 123 171 139 28.28/28.38 c 2500 45163 714780 5651510 196 2156 176 183 162 28.38/28.48 c 2510 45361 717621 5673734 196 2159 149 180 156 28.48/28.58 c 2520 45550 720274 5693375 196 2162 164 170 152 28.58/28.69 c 2530 45748 723603 5711738 196 2165 171 174 157 28.68/28.78 c 2540 45928 725894 5731238 196 2167 163 170 152 28.78/28.88 c 2550 46092 728369 5750164 196 2177 89 155 113 28.88/29.00 c 2560 46253 731363 5772093 196 2187 106 152 111 28.99/29.10 c 2570 46400 733791 5794673 196 2197 44 138 76 29.18/29.22 c 2580 46582 736999 5818854 196 2207 92 173 138 29.28/29.33 c 2590 46732 739400 5841419 196 2217 44 141 80 29.38/29.43 c 2600 46911 742032 5860825 196 2221 162 170 151 29.48/29.54 c 2610 47112 745435 5879927 196 2224 162 179 160 29.58/29.63 c 2620 47257 747601 5899663 196 2234 44 136 76 29.68/29.73 c 2630 47442 750149 5918968 196 2238 162 171 153 29.78/29.81 c 2640 47590 752241 5937279 196 2248 44 139 74 29.88/29.91 c 2650 47754 754668 5956082 196 2258 89 155 113 29.99/30.03 c 2660 47921 757694 5982222 196 2268 89 156 118 30.09/30.15 c 2670 48102 760666 6003869 196 2278 96 172 134 30.18/30.25 c 2680 48285 763315 6026627 196 2287 100 171 124 30.28/30.36 c 2690 48452 766163 6046282 196 2297 106 158 113 30.38/30.46 c 2700 48641 768824 6064712 196 2305 172 177 157 30.48/30.58 c 2710 48802 771673 6091635 196 2315 44 152 82 30.58/30.68 c 2720 48963 774086 6109726 196 2325 89 152 113 30.68/30.78 c 2730 49149 776687 6129869 196 2333 157 173 150 30.78/30.87 c 2740 49299 778865 6149839 196 2343 44 141 80 30.88/30.97 c 2750 49466 781333 6168647 196 2353 89 158 119 30.99/31.08 c 2760 49642 784231 6191449 196 2363 89 167 120 31.09/31.19 c 2770 49856 787585 6210605 196 2365 170 176 157 31.18/31.28 c 2771 50004 789942 6226668 196 2366 148 148 74 31.28/31.38 c 2780 50194 792650 6246309 196 2370 144 179 152 31.39/31.49 c 2790 50335 795136 6272992 196 2380 44 132 76 31.49/31.59 c 2800 50531 797984 6292689 196 2384 169 175 157 31.59/31.69 c 2810 50720 800608 6310645 196 2387 163 171 151 31.79/31.80 c 2820 50905 803467 6330335 196 2397 95 176 136 31.89/31.91 c 2830 51046 806105 6355380 196 2407 44 132 77 31.99/32.01 c 2840 51221 808603 6375675 196 2417 125 166 132 31.99/32.10 c 2850 51402 810910 6394577 196 2423 101 170 133 32.09/32.19 c 2860 51563 813364 6414510 196 2433 89 152 115 32.19/32.29 c 2870 51744 815955 6432914 196 2439 165 170 152 32.29/32.39 c 2880 51920 818355 6453199 196 2449 102 167 123 32.39/32.49 c 2890 52083 820918 6474278 196 2459 89 154 119 32.49/32.59 c 2900 52268 823609 6506549 196 2469 122 174 137 32.69/32.70 c 2910 52459 826548 6525187 196 2479 160 180 157 32.79/32.83 c 2920 52635 829574 6553872 196 2488 44 167 86 32.89/32.94 c 2930 52816 832212 6576056 196 2495 89 172 131 32.99/33.04 c 2940 52999 834923 6598517 196 2502 121 171 142 33.09/33.15 c 2950 53187 837603 6618623 196 2511 89 176 135 33.18/33.25 c 2960 53376 840430 6639639 196 2520 162 174 153 33.28/33.35 c 2970 53541 842905 6660160 196 2530 100 156 116 33.38/33.45 c 2980 53712 845444 6679907 196 2540 89 162 120 33.48/33.55 c 2990 53893 847931 6700736 196 2549 102 172 126 33.58/33.66 c 3000 54080 850698 6722707 196 2558 89 173 142 33.68/33.77 c 3010 54261 853597 6744031 196 2567 142 172 149 33.78/33.89 c 3020 54399 856402 6784867 196 2577 87 124 102 33.88/33.99 c 3030 54598 859311 6803916 196 2580 176 178 161 33.99/34.10 c 3040 54785 862137 6823029 196 2586 167 175 154 34.18/34.21 c 3050 54966 864896 6851996 196 2596 76 172 104 34.28/34.31 c 3060 55149 867495 6871832 196 2606 89 174 116 34.28/34.39 c 3070 55329 869738 6889655 196 2615 138 171 142 34.48/34.50 c 3080 55523 872590 6908480 196 2619 167 174 155 34.58/34.60 c 3090 55719 875522 6933269 196 2626 156 177 156 34.68/34.70 c 3100 55902 878166 6961311 196 2636 94 173 128 34.78/34.82 c 3110 56088 881265 6983167 196 2644 135 177 146 34.88/34.91 c 3120 56259 883679 6999425 196 2654 126 162 133 34.99/35.02 c 3130 56455 886527 7021356 196 2661 92 180 144 35.09/35.14 c 3140 56642 889539 7042712 196 2671 95 178 136 35.18/35.21 c 3142 56733 891217 7053959 196 2673 89 90 59 35.28/35.33 c 3150 56913 894526 7073361 196 2681 49 173 125 35.38/35.41 c 3160 57073 896640 7089722 196 2691 99 151 119 35.48/35.51 c 3170 57248 899168 7110106 196 2701 124 166 132 35.58/35.61 c 3180 57368 901352 7130959 196 2711 44 111 65 35.68/35.71 c 3190 57539 903902 7149770 196 2718 101 162 133 35.78/35.81 c 3200 57703 906496 7168407 196 2728 89 155 113 35.88/35.91 c 3210 57895 909132 7187466 196 2734 165 175 153 35.99/36.01 c 3220 58076 911856 7212950 196 2739 105 169 142 36.09/36.12 c 3230 58269 914723 7232454 196 2747 144 180 156 36.18/36.23 c 3240 58452 917616 7255679 196 2756 141 173 146 36.28/36.33 c 3250 58641 920479 7276464 196 2762 168 175 155 36.38/36.44 c 3260 58828 923346 7302355 196 2772 94 176 130 36.48/36.54 c 3270 59011 925932 7319844 196 2782 145 174 153 36.58/36.62 c 3280 59195 928284 7339057 196 2790 169 172 154 36.68/36.72 c 3290 59375 930808 7358594 196 2791 166 170 152 36.78/36.82 c 3300 59556 933362 7383790 196 2799 114 171 140 36.88/36.92 c 3310 59738 935917 7401690 196 2808 156 172 151 36.99/37.02 c 3320 59931 938866 7420213 196 2812 173 179 161 37.09/37.12 c 3330 60116 941626 7437861 196 2822 173 176 159 37.18/37.25 c 3340 60281 944606 7466905 196 2832 44 156 81 37.28/37.36 c 3350 60465 947757 7484824 196 2840 167 173 155 37.38/37.45 c 3360 60649 950064 7502554 196 2846 165 172 151 37.48/37.55 c 3370 60818 952708 7521187 196 2856 89 159 114 37.58/37.64 c 3380 61015 955183 7540346 196 2861 165 173 152 37.68/37.75 c 3390 61213 958244 7561107 196 2867 171 179 159 37.78/37.84 c 3400 61385 960455 7578260 196 2876 106 163 129 37.88/37.94 c 3410 61570 963149 7598209 196 2884 89 174 125 37.99/38.05 c 3420 61764 966227 7618486 196 2892 112 182 143 38.09/38.18 c 3430 61934 969126 7645360 196 2901 44 161 91 38.18/38.29 c 3440 62131 972204 7667751 196 2904 164 175 155 38.28/38.38 c 3450 62321 974703 7687920 196 2905 165 172 153 38.38/38.48 c 3460 62494 977300 7709032 196 2915 89 163 118 38.58/38.62 c 3470 62653 980523 7758981 196 2923 91 141 114 38.68/38.74 c 3480 62839 983500 7781239 196 2933 95 176 136 38.78/38.85 c 3490 63024 986559 7804086 196 2943 95 176 132 38.88/38.96 c 3500 63179 989100 7828409 196 2953 44 146 81 38.99/39.06 c 3510 63372 991788 7847042 196 2960 175 179 161 39.09/39.16 c 3520 63557 994318 7868003 196 2967 138 170 142 39.18/39.26 c 3530 63728 996968 7889430 196 2971 160 162 146 39.28/39.34 c 3540 63914 999226 7908480 196 2978 168 173 154 39.38/39.45 c 3550 64101 1002060 7928190 196 2986 95 176 137 39.48/39.51 c 3551 64152 1003203 7935826 196 2987 51 51 25 39.58/39.61 c 3560 64339 1005973 7954454 196 2995 153 178 154 39.68/39.71 c 3570 64533 1009112 7972881 196 3001 163 177 156 39.78/39.83 c 3580 64718 1012166 7994778 196 3008 95 174 145 39.88/39.94 c 3590 64913 1015097 8018045 196 3015 144 176 154 39.99/40.04 c 3600 65094 1017764 8036797 196 3023 158 172 151 40.09/40.12 c 3610 65274 1019888 8054372 196 3032 166 171 151 40.18/40.23 c 3620 65467 1022800 8075429 196 3039 145 181 152 40.28/40.34 c 3630 65666 1025893 8094266 196 3044 166 186 163 40.38/40.46 c 3640 65846 1028994 8119457 196 3054 121 171 135 40.48/40.54 c 3650 66026 1031188 8136455 196 3063 152 169 147 40.58/40.64 c 3660 66219 1033962 8156472 196 3066 166 172 153 40.69/40.75 c 3670 66380 1036581 8180563 196 3076 102 152 119 40.79/40.86 c 3680 66568 1039717 8198627 196 3085 163 174 154 40.89/40.95 c 3690 66743 1042165 8217853 196 3095 100 166 126 40.99/41.06 c 3700 66934 1045112 8238217 196 3103 169 176 155 41.09/41.16 c 3710 67123 1047676 8256721 196 3105 162 171 152 41.19/41.26 c 3720 67318 1050481 8276058 196 3114 174 179 159 41.29/41.38 c 3730 67513 1053640 8310219 196 3122 87 174 123 41.39/41.49 c 3740 67705 1056531 8328797 196 3126 160 179 160 41.59/41.60 c 3750 67851 1059231 8355595 196 3136 99 137 114 41.69/41.71 c 3760 68028 1061880 8376042 196 3146 89 168 114 41.79/41.82 c 3770 68219 1064938 8397930 196 3154 105 177 142 41.89/41.93 c 3780 68391 1067603 8425787 196 3164 76 163 109 41.99/42.04 c 3790 68585 1070776 8446740 196 3170 159 178 156 42.09/42.16 c 3800 68729 1073392 8471993 196 3180 44 135 84 42.18/42.26 c 3810 68928 1076138 8490823 196 3184 144 181 160 42.28/42.35 c 3820 69113 1078459 8507887 196 3191 164 169 151 42.38/42.45 c 3830 69296 1081245 8531378 196 3197 164 172 153 42.48/42.58 c 3840 69469 1084207 8559545 196 3207 52 163 101 42.58/42.68 c 3850 69658 1087080 8581168 196 3215 120 174 146 42.78/42.81 c 3860 69836 1090019 8607156 196 3224 44 168 94 42.88/42.92 c 3870 70030 1092960 8626610 196 3229 170 178 157 42.99/43.02 c 3880 70213 1095644 8647466 196 3238 104 174 134 43.09/43.12 c 3890 70403 1098460 8667137 196 3248 157 180 157 43.18/43.24 c 3900 70564 1101322 8699315 196 3258 68 152 101 43.28/43.37 c 3910 70748 1104495 8724041 196 3268 103 175 126 43.38/43.46 c 3920 70920 1106978 8743108 196 3278 103 162 123 43.48/43.57 c 3930 71118 1109963 8765270 196 3280 172 176 158 43.58/43.65 c 3940 71297 1112175 8783136 196 3287 119 169 143 43.68/43.76 c 3950 71492 1114958 8803483 196 3293 167 175 154 43.78/43.87 c 3960 71688 1118176 8824691 196 3296 172 178 159 43.88/43.97 c 3970 71875 1120934 8846398 196 3306 95 176 142 43.99/44.09 c 3980 72058 1123824 8867311 196 3315 89 173 114 44.09/44.18 c 3990 72257 1126439 8889205 196 3324 165 174 152 44.28/44.31 c 4000 72440 1129721 8914936 196 3333 115 170 135 44.28/44.39 c 4001 72603 1131944 8930132 196 3334 163 163 81 44.38/44.50 c 4010 72795 1134775 8948641 196 3335 174 177 158 44.58/44.60 c 4020 72981 1137700 8972394 196 3343 151 170 148 44.68/44.70 c 4030 73180 1140520 8991844 196 3349 174 180 160 44.78/44.81 c 4040 73347 1143095 9017128 196 3359 44 158 84 44.88/44.91 c 4050 73526 1145582 9036106 196 3365 135 170 146 44.88/45.00 c 4060 73719 1148078 9054797 196 3369 163 172 153 44.99/45.10 c 4070 73897 1150794 9075202 196 3379 89 168 114 45.18/45.21 c 4080 74091 1153916 9093516 196 3388 167 181 159 45.28/45.33 c 4090 74234 1156642 9127669 196 3398 68 134 93 45.38/45.44 c 4100 74417 1159666 9148978 196 3407 110 174 134 45.48/45.55 c 4110 74603 1162534 9169384 196 3411 168 173 154 45.58/45.65 c 4120 74799 1165312 9189839 196 3415 175 178 159 45.68/45.76 c 4130 74974 1168133 9208260 196 3421 95 166 131 45.78/45.86 c 4140 75168 1171326 9227404 196 3425 163 174 154 45.88/45.96 c 4150 75350 1173869 9250594 196 3434 104 171 134 45.99/46.06 c 4160 75521 1176446 9271982 196 3442 126 162 132 46.09/46.14 c 4170 75702 1178670 9288326 196 3449 169 172 154 46.18/46.24 c 4180 75888 1181301 9306527 196 3457 163 172 151 46.28/46.34 c 4190 76064 1183976 9330862 196 3461 154 163 144 46.38/46.45 c 4200 76250 1186961 9349802 196 3466 169 173 156 46.48/46.56 c 4210 76389 1189369 9374780 196 3476 44 130 82 46.58/46.67 c 4220 76582 1192223 9396136 196 3484 144 180 155 46.68/46.77 c 4230 76782 1195140 9418445 196 3490 139 181 154 46.78/46.87 c 4240 76974 1198002 9437099 196 3494 169 174 155 46.88/46.97 c 4250 77150 1200468 9459363 196 3501 98 167 137 46.99/47.07 c 4260 77333 1202952 9478590 196 3510 166 172 152 47.09/47.18 c 4270 77516 1205700 9506365 196 3519 92 174 129 47.18/47.28 c 4280 77709 1208601 9526845 196 3526 144 180 156 47.28/47.38 c 4290 77897 1211232 9546824 196 3534 129 176 149 47.48/47.50 c 4300 78087 1214377 9571758 196 3543 126 179 147 47.58/47.61 c 4310 78270 1217227 9596673 196 3552 104 169 133 47.68/47.71 c 4320 78429 1219612 9615053 196 3562 89 150 113 47.68/47.79 c 4330 78616 1221883 9632171 196 3569 168 173 154 47.78/47.89 c 4340 78772 1224280 9651481 196 3579 89 147 106 47.88/47.99 c 4350 78953 1226808 9669297 196 3588 165 170 152 47.99/48.07 c 4360 79129 1229154 9687352 196 3598 150 167 147 48.09/48.18 c 4370 79315 1231844 9706696 196 3601 162 170 152 48.18/48.29 c 4380 79515 1235174 9725042 196 3604 174 180 161 48.28/48.39 c 4390 79644 1237477 9746701 196 3614 44 120 75 48.48/48.50 c 4400 79821 1240384 9764208 196 3621 140 168 145 48.48/48.57 c 4410 79966 1242346 9790948 196 3629 87 129 103 48.58/48.69 c 4420 80164 1245436 9810983 196 3631 171 179 158 48.68/48.78 c 4430 80346 1247860 9828991 196 3640 166 171 151 48.78/48.87 c 4440 80522 1250226 9845108 196 3649 164 166 149 48.88/48.97 c 4450 80697 1252742 9865470 196 3659 126 166 132 48.99/49.05 c 4460 80874 1254976 9885203 196 3664 165 167 150 49.09/49.14 c 4470 81042 1257329 9903241 196 3674 89 159 116 49.18/49.25 c 4480 81209 1260048 9928816 196 3684 86 158 113 49.28/49.37 c 4490 81404 1263315 9947446 196 3686 171 174 157 49.38/49.46 c 4493 81521 1265324 9964901 196 3689 94 115 80 49.48/49.54 c 4500 81693 1267608 9981687 196 3696 157 166 141 49.58/49.65 c 4510 81876 1270377 9999561 196 3704 169 173 155 49.68/49.75 c 4520 82055 1272894 10021000 196 3711 105 168 141 49.78/49.85 c 4530 82226 1275448 10040677 196 3721 89 162 120 49.88/49.94 c 4540 82409 1277867 10059694 196 3731 166 171 152 49.99/50.04 c 4550 82585 1280570 10081702 196 3736 160 162 146 50.09/50.12 c 4560 82778 1282925 10099829 196 3739 169 175 156 50.18/50.23 c 4570 82969 1286028 10118140 196 3748 163 174 154 50.28/50.34 c 4580 83157 1288860 10138697 196 3758 142 177 149 50.38/50.44 c 4590 83353 1291631 10158712 196 3766 174 179 159 50.48/50.54 c 4600 83539 1294468 10178259 196 3769 165 170 152 50.58/50.64 c 4610 83723 1297075 10199175 196 3778 138 172 148 50.68/50.74 c 4620 83907 1299737 10218033 196 3784 137 172 147 50.78/50.85 c 4630 84089 1302591 10237168 196 3794 129 173 144 50.88/50.95 c 4640 84284 1305346 10256662 196 3800 144 181 156 50.99/51.06 c 4650 84486 1308413 10275703 196 3802 91 178 153 51.09/51.17 c 4660 84681 1311334 10296348 196 3808 105 174 138 51.18/51.28 c 4670 84886 1314512 10318469 196 3812 173 181 161 51.28/51.37 c 4680 85079 1317201 10337247 196 3814 172 174 157 51.38/51.48 c 4690 85281 1320286 10356833 196 3820 173 179 160 51.48/51.58 c 4700 85466 1323028 10377828 196 3826 144 174 154 51.58/51.67 c 4710 85638 1325300 10396088 196 3834 156 161 142 51.68/51.77 c 4720 85818 1327926 10416675 196 3843 89 171 126 51.78/51.86 c 4730 85998 1330360 10441895 196 3850 106 168 133 51.88/51.96 c 4740 86183 1332845 10462078 196 3856 162 175 153 51.99/52.08 c 4750 86366 1335759 10488399 196 3866 87 174 122 52.09/52.18 c 4760 86554 1338613 10508193 196 3869 167 173 154 52.18/52.29 c 4770 86745 1341451 10529191 196 3876 144 180 154 52.28/52.39 c 4780 86958 1344352 10551235 196 3883 165 179 155 52.38/52.50 c 4790 87151 1347255 10571307 196 3890 152 177 153 52.58/52.60 c 4800 87333 1349925 10594189 196 3896 105 171 136 52.68/52.70 c 4810 87514 1352589 10613745 196 3900 162 170 151 52.78/52.80 c 4820 87704 1355393 10632561 196 3906 173 177 158 52.88/52.90 c 4830 87889 1358015 10652544 196 3915 103 172 132 52.88/53.00 c 4840 88090 1360874 10672053 196 3918 169 177 157 53.09/53.11 c 4850 88287 1363636 10694279 196 3925 144 183 154 53.18/53.23 c 4860 88465 1366613 10724756 196 3935 100 166 130 53.28/53.32 c 4870 88653 1369236 10745342 196 3943 104 175 137 53.38/53.43 c 4880 88805 1371775 10769524 196 3953 99 143 114 53.48/53.54 c 4890 88998 1374527 10793314 196 3962 130 180 149 53.58/53.63 c 4900 89142 1376853 10816109 196 3972 44 135 84 53.68/53.75 c 4910 89338 1379899 10836050 196 3978 171 176 157 53.78/53.85 c 4920 89489 1382476 10855539 196 3988 106 142 108 53.88/53.96 c 4930 89648 1385083 10880406 196 3998 44 150 82 53.99/54.06 c 4940 89824 1387634 10900063 196 4008 124 167 132 54.09/54.16 c 4950 90010 1390286 10923953 196 4017 128 173 146 54.18/54.26 c 4960 90173 1392821 10944768 196 4027 104 154 122 54.28/54.36 c 4970 90349 1395528 10969512 196 4036 104 166 134 54.38/54.47 c 4980 90522 1398224 10989474 196 4046 89 164 128 54.48/54.58 c 4990 90683 1400998 11017406 196 4056 44 151 81 54.68/54.70 c 5035 90911 1404460 11043834 196 4081 155 172 162 55.09/55.15 c 5631 92124 1418332 11213582 196 4125 119 175 167 55.48/55.59 c 6286 93586 1436913 11389067 196 4133 145 180 173 56.28/56.30 c 7006 95833 1465241 11670373 196 4143 96 181 173 56.88/56.96 c 7798 97576 1489072 11969540 196 4188 44 175 164 57.68/57.71 c 8669 99869 1520606 12294600 196 4212 112 178 170 58.38/58.45 c 9627 102348 1551762 12588566 196 4234 103 181 170 59.28/59.35 c 10680 104776 1583105 12980447 196 4295 44 178 166 59.78/59.84 c 11838 106879 1605780 13211367 196 4315 104 178 163 60.78/60.80 c 13111 110365 1650859 13559307 196 4325 132 179 172 61.68/61.75 c 14511 113989 1695463 13920531 196 4343 145 184 176 62.68/62.79 c 16051 118052 1739658 14237653 196 4381 95 176 165 63.98/64.08 c 17745 122683 1797069 14748301 196 4399 148 184 176 64.88/64.92 c 19608 127041 1840883 14995570 196 4416 156 183 173 65.99/66.05 c 21657 130638 1879389 15523476 196 4466 103 173 165 66.99/67.01 c 23910 135026 1924362 15905625 196 4483 120 182 170 69.58/69.66 c 26388 141396 2022941 16975064 196 4507 44 176 167 70.88/70.98 c 29113 148426 2086367 17550643 196 4528 147 185 178 72.98/73.06 c 32110 154971 2162159 18389632 196 4543 141 176 167 75.09/75.13 c 35406 162390 2250072 19249966 196 4555 147 182 174 78.18/78.24 c 39031 170996 2363811 20293722 196 4570 143 176 167 79.78/79.89 c 43018 179257 2451657 21021470 196 4579 160 184 175 82.48/82.56 c 47403 190317 2575559 21868931 196 4606 106 182 171 84.78/84.87 c 52226 201388 2685857 22850024 196 4618 90 184 174 87.88/87.90 c 57531 214396 2828974 24122891 196 4643 147 183 175 91.09/91.16 c 63366 226989 2959558 25330946 196 4671 102 178 165 93.68/93.70 c 69784 239950 3077295 26501429 196 4713 124 181 168 98.09/98.14 c 76843 255338 3252628 28233075 196 4749 44 174 163 100.88/100.97 c 84607 271372 3405944 29118636 196 4801 117 182 172 107.88/107.95 c 93147 293184 3662038 31333343 196 4838 141 177 168 111.38/111.42 c 102541 313675 3836794 33093655 196 4883 89 185 174 116.99/117.05 c 112874 336951 4100723 35167863 196 4900 165 183 174 123.88/123.93 c 124240 365534 4430579 37889532 196 4918 132 184 174 130.38/130.44 c 136742 391683 4723509 40716244 196 4942 106 181 170 139.48/139.56 c 150494 427240 5110507 43613996 196 4979 70 178 167 145.18/145.25 c 165621 460672 5418596 45996566 196 4991 133 184 174 155.89/155.97 c 182260 494913 5840549 49766096 196 5021 70 177 164 165.19/165.25 c 200562 538456 6279861 53179522 196 5057 87 185 174 179.39/179.48 c 220694 584366 6795548 57986309 196 5100 110 177 167 194.39/194.42 c 242839 640013 7451347 64231005 196 5132 86 181 169 209.39/209.43 c 267198 704005 8174873 70621225 196 5164 133 182 171 222.29/222.36 c 293992 750546 8631302 74887952 196 5220 44 172 162 237.39/237.49 c 323465 813407 9320802 80936268 196 5244 141 181 172 252.39/252.48 c 355885 874389 9911696 85166780 196 5312 152 172 162 267.59/267.66 c 391547 946411 10625293 91713683 196 5358 140 182 169 284.79/284.89 c 430775 1017875 11257891 97131313 196 5418 102 175 166 305.19/305.29 c 473925 1109649 12240797 105162159 196 5464 159 180 171 335.40/335.45 c 521390 1209384 13408280 117133675 196 5503 156 177 166 354.30/354.30 c 573601 1310816 14305825 127107632 196 5533 125 182 169 387.30/387.33 c 631033 1452869 15876093 138647405 196 5570 87 184 175 415.60/415.68 c 694208 1590484 17298031 149018646 196 5631 130 184 173 463.60/463.65 c 763700 1741993 19101634 164186852 196 5672 48 176 166 500.40/500.45 c 840141 1945207 21249503 174861655 196 5697 162 188 176 540.91/540.94 c 924226 2130527 23192418 191604720 196 5730 157 183 172 607.61/607.62 c 1016719 2345880 25851488 213900359 196 5752 44 176 164 647.02/647.02 c 1118461 2559634 27789526 233220599 196 5795 89 182 169 710.22/710.23 c 1230377 2804886 30514661 261542573 196 5842 44 179 166 772.52/772.54 c 1353484 3088626 33524077 283789149 196 5877 104 182 172 871.23/871.29 c 1488901 3399034 37284913 323386373 196 5931 48 180 164 924.73/924.74 c 1637859 3757571 40944344 339770049 196 5945 158 184 174 998.14/998.19 c 1801712 4090575 44072978 363698032 196 6008 70 176 166 1068.15/1068.17 c 1981950 4501608 48188227 386380469 196 6029 161 183 173 1187.05/1187.09 c 2180211 4997046 53607947 433365793 196 6050 156 185 171 1303.06/1303.08 c 2398298 5517096 59510868 475452333 196 6084 131 183 173 1462.17/1462.13 c 2638193 6040602 65972138 538508800 196 6144 100 180 167 1615.27/1615.27 c 2902077 6706068 72965723 596021607 196 6181 99 183 174 1732.87/1732.84 c 3192349 7314686 78989549 635626745 196 6248 127 180 168 1889.99/1889.94 c 3511648 8066053 86910344 689698967 196 6294 128 184 174 2111.60/2111.56 c 3862876 8842956 95854197 768666767 196 6349 48 178 166 2229.01/2228.96 c 4249226 9632827 102544129 819885606 196 6381 110 186 172 2385.12/2385.05 c 4674211 10464561 110826507 883347582 196 6402 133 185 173 2520.02/2519.90 2520.02/2519.90 c *** INTERRUPTED *** 2520.02/2519.90 c restarts : 588 2520.02/2519.90 c conflicts : 4855587 (1927 /sec) 2520.02/2519.90 c decisions : 11034651 (4379 /sec) 2520.02/2519.90 c propagations : 928939702 (368643 /sec) 2520.02/2519.90 c root propagations : 20035 2520.02/2519.90 c filter calls : 117136034 (46485 /sec) 2520.02/2519.90 c useless filter calls : 53238197 (45 %) 2520.02/2519.90 c 2520.02/2519.90 c clauses : 3752354 2520.02/2519.90 c SAT propagations : 3649 2520.02/2519.90 c SAT conflicts : 0 (0 learnts) 2520.02/2519.90 c Memory used : 219.59 MB 2520.02/2519.90 c CPU time : 2519.89 s 2520.02/2519.90 2520.02/2519.90 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 (15407 MiB free)
memory of node 1: 16384 MiB (15538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266097-1502584196/watcher-4266097-1502584196 -o /tmp/evaluation-result-4266097-1502584196/solver-4266097-1502584196 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266097-1502584196.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=26662, runsolver pid=26659
[startup+0.100328 s]*
/proc/loadavg: 1.86 2.05 2.06 3/187 26663
/proc/meminfo: memFree=31644412/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=78172 memory=50920 CPUtime=0.1 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 10409 0 0 0 8 2 0 0 20 0 1 0 91507999 80048128 12730 33554432000 4194304 5972588 140727470915024 140727470911816 139997252131813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 19543 12730 762 435 0 12906 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 78172 KiB
Current children cumulated memory: 50920 KiB
[startup+0.209678 s]*
/proc/loadavg: 1.86 2.05 2.06 3/187 26663
/proc/meminfo: memFree=31581632/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=153620 memory=115120 CPUtime=0.21 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 21368 0 0 0 17 4 0 0 20 0 1 0 91507999 157306880 28780 33554432000 4194304 5972588 140727470915024 140727470911816 5280489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 38405 28780 762 435 0 31768 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153620 KiB
Current children cumulated memory: 115120 KiB
[startup+0.30949 s]*
/proc/loadavg: 1.86 2.05 2.06 3/187 26663
/proc/meminfo: memFree=31521160/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=222816 memory=174572 CPUtime=0.3 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 30565 0 0 0 25 5 0 0 20 0 1 0 91507999 228163584 43643 33554432000 4194304 5972588 140727470915024 140727470911816 139997252131813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 55704 43643 762 435 0 49067 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 222816 KiB
Current children cumulated memory: 174572 KiB
[startup+0.700337 s]
/proc/loadavg: 1.86 2.05 2.06 3/187 26663
/proc/meminfo: memFree=31514864/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224196 memory=175892 CPUtime=0.68 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 30906 0 0 0 63 5 0 0 20 0 1 0 91507999 229576704 43973 33554432000 4194304 5972588 140727470915024 140727470911816 4935642 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56049 43973 780 435 0 49412 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 224196 KiB
Current children cumulated memory: 175892 KiB
[startup+1.50034 s]
/proc/loadavg: 1.86 2.05 2.06 3/187 26663
/proc/meminfo: memFree=31514872/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224196 memory=175892 CPUtime=1.48 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 30927 0 0 0 143 5 0 0 20 0 1 0 91507999 229576704 43973 33554432000 4194304 5972588 140727470915024 140727470912328 4935596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56049 43973 780 435 0 49412 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 224196 KiB
Current children cumulated memory: 175892 KiB
[startup+3.10938 s]
/proc/loadavg: 1.79 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31513916/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224328 memory=176092 CPUtime=3.09 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 38184 0 0 0 304 5 0 0 20 0 1 0 91507999 229711872 44023 33554432000 4194304 5972588 140727470915024 140727470912328 4935663 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56082 44023 782 435 0 49445 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 224328 KiB
Current children cumulated memory: 176092 KiB
[startup+6.30033 s]
/proc/loadavg: 1.79 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31514288/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224328 memory=176148 CPUtime=6.29 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 53847 0 0 0 622 7 0 0 20 0 1 0 91507999 229711872 44037 33554432000 4194304 5972588 140727470915024 140727470912328 4975092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56082 44037 782 435 0 49445 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 224328 KiB
Current children cumulated memory: 176148 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31512584/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224328 memory=178256 CPUtime=12.68 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 74009 0 0 0 1261 7 0 0 20 0 1 0 91507999 229711872 44564 33554432000 4194304 5972588 140727470915024 140727470912328 5273324 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56082 44564 782 435 0 49445 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 224328 KiB
Current children cumulated memory: 178256 KiB
[startup+25.5003 s]
/proc/loadavg: 1.85 2.03 2.06 3/187 26663
/proc/meminfo: memFree=31513760/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224460 memory=178332 CPUtime=25.48 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 105712 0 0 0 2538 10 0 0 20 0 1 0 91507999 229847040 44583 33554432000 4194304 5972588 140727470915024 140727470912328 4935463 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56115 44583 782 435 0 49478 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 224460 KiB
Current children cumulated memory: 178332 KiB
[startup+51.1094 s]
/proc/loadavg: 1.90 2.03 2.05 3/187 26663
/proc/meminfo: memFree=31513956/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224592 memory=178508 CPUtime=51.09 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 129698 0 0 0 5097 12 0 0 20 0 1 0 91507999 229982208 44627 33554432000 4194304 5972588 140727470915024 140727470912328 4935663 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56148 44627 782 435 0 49511 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 224592 KiB
Current children cumulated memory: 178508 KiB
[startup+102.3 s]
/proc/loadavg: 2.30 2.10 2.08 3/187 26664
/proc/meminfo: memFree=31511916/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180632 CPUtime=102.28 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 138414 0 0 0 10215 13 0 0 20 0 1 0 91507999 230117376 45158 33554432000 4194304 5972588 140727470915024 140727470912328 4977734 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45158 782 435 0 49544 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180632 KiB
[startup+162.3 s]
/proc/loadavg: 2.34 2.17 2.10 3/187 26665
/proc/meminfo: memFree=31512080/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180652 CPUtime=162.29 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 139766 0 0 0 16216 13 0 0 20 0 1 0 91507999 230117376 45163 33554432000 4194304 5972588 140727470915024 140727470912328 4978839 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45163 782 435 0 49544 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180652 KiB
[startup+222.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/187 26666
/proc/meminfo: memFree=31511384/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180652 CPUtime=222.29 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 141103 0 0 0 22216 13 0 0 20 0 1 0 91507999 230117376 45163 33554432000 4194304 5972588 140727470915024 140727470912328 4935692 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45163 782 435 0 49544 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180652 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/187 26674
/proc/meminfo: memFree=31510264/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180660 CPUtime=282.29 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 141136 0 0 0 28216 13 0 0 20 0 1 0 91507999 230117376 45165 33554432000 4194304 5972588 140727470915024 140727470912328 4975613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45165 782 435 0 49544 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180660 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26675
/proc/meminfo: memFree=31511008/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180684 CPUtime=342.3 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 142492 0 0 0 34217 13 0 0 20 0 1 0 91507999 230117376 45171 33554432000 4194304 5972588 140727470915024 140727470912328 4935589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45171 782 435 0 49544 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180684 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 26676
/proc/meminfo: memFree=31511328/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180684 CPUtime=402.3 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 142498 0 0 0 40217 13 0 0 20 0 1 0 91507999 230117376 45171 33554432000 4194304 5972588 140727470915024 140727470912328 4978080 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45171 782 435 0 49544 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180684 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 26677
/proc/meminfo: memFree=31511508/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224724 memory=180696 CPUtime=462.3 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 143025 0 0 0 46217 13 0 0 20 0 1 0 91507999 230117376 45174 33554432000 4194304 5972588 140727470915024 140727470912328 4972786 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56181 45174 782 435 0 49544 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 180696 KiB
################
# More data... #
################
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26718
/proc/meminfo: memFree=31509924/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180736 CPUtime=1842.38 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 157767 0 0 0 184224 14 0 0 20 0 1 0 91507999 230252544 45184 33554432000 4194304 5972588 140727470915024 140727470912328 4935490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26719
/proc/meminfo: memFree=31509988/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180736 CPUtime=1902.39 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 159094 0 0 0 190225 14 0 0 20 0 1 0 91507999 230252544 45184 33554432000 4194304 5972588 140727470915024 140727470912328 4935454 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26720
/proc/meminfo: memFree=31510044/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180736 CPUtime=1962.39 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 159095 0 0 0 196225 14 0 0 20 0 1 0 91507999 230252544 45184 33554432000 4194304 5972588 140727470915024 140727470912328 4977674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26721
/proc/meminfo: memFree=31510088/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180736 CPUtime=2022.39 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 159600 0 0 0 202225 14 0 0 20 0 1 0 91507999 230252544 45184 33554432000 4194304 5972588 140727470915024 140727470912328 4935596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 26729
/proc/meminfo: memFree=31509072/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180736 CPUtime=2082.4 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 159617 0 0 0 208226 14 0 0 20 0 1 0 91507999 230252544 45184 33554432000 4194304 5972588 140727470915024 140727470912328 4977727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45184 782 435 0 49577 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180736 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 26730
/proc/meminfo: memFree=31509796/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2142.4 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 160968 0 0 0 214226 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4978737 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26731
/proc/meminfo: memFree=31510168/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2202.41 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 160968 0 0 0 220227 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4935502 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26732
/proc/meminfo: memFree=31510248/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2262.41 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 162306 0 0 0 226227 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4975726 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26733
/proc/meminfo: memFree=31509704/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2322.41 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 162306 0 0 0 232227 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4978741 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26735
/proc/meminfo: memFree=31509644/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2382.42 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 162747 0 0 0 238228 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4970965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26736
/proc/meminfo: memFree=31509628/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2442.42 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 163642 0 0 0 244228 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4971621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26737
/proc/meminfo: memFree=31509932/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2502.42 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 164069 0 0 0 250228 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 5099616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26798
/proc/meminfo: memFree=31222936/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2520.02 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 164090 0 0 0 251988 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4975117 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 26662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=0.142007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26798
/proc/meminfo: memFree=31222936/32770624 swapFree=67108860/67108860
[pid=26662] ppid=26659 vsize=224856 memory=180744 CPUtime=2520.02 cores=1,3,5,7
/proc/26662/stat : 26662 (cosoco) R 26659 26662 24193 0 -1 4202496 164090 0 0 0 251988 14 0 0 20 0 1 0 91507999 230252544 45186 33554432000 4194304 5972588 140727470915024 140727470912328 4975117 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 13496320 140727470916794 140727470916894 140727470916894 140727470919630 0
/proc/26662/statm: 56214 45186 782 435 0 49577 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 224856 KiB
Current children cumulated memory: 180744 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2519.89
CPU system time (s): 0.142007
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 224856
Max. memory (cumulated for all children) (KiB): 180744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.142007
maximum resident set size= 180820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164143
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= 24
involuntary context switches= 722
# summary of solver processes directly reported to runsolver:
# pid: 26662
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.89
# total CPU system time (s): 0.142007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20636 second user time and 18.6033 second system time
The end
Begin job on node102 at 2017-08-13 02:15:38 IDJOB=4266097 IDBENCH=134610 IDSOLVER=2655 FILE ID=node102/4266097-1502584196 RUNJOBID= node102-1502567256-24277 PBS_JOBID= 20628289 Free space on /tmp= 61908 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-14-ext03.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266097-1502584196/watcher-4266097-1502584196 -o /tmp/evaluation-result-4266097-1502584196/solver-4266097-1502584196 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266097-1502584196.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 223310c4b2c0f482c3233db9dc344582 RANDOM SEED=818444177 node102.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.35 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.35 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.35 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.35 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: 31688816 kB MemAvailable: 31990068 kB Buffers: 83968 kB Cached: 526224 kB SwapCached: 0 kB Active: 581740 kB Inactive: 104436 kB Active(anon): 26964 kB Inactive(anon): 77216 kB Active(file): 554776 kB Inactive(file): 27220 kB Unevictable: 6460 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 82692 kB Mapped: 44416 kB Shmem: 25228 kB Slab: 96296 kB SReclaimable: 70180 kB SUnreclaim: 26116 kB KernelStack: 3408 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 379200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-13 02:57:38