| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.0701 | 2519.8999 |
| Name | KnightTour/KnightTour-int-s1/ KnightTour-14-int.xml |
| MD5SUM | dbbe8f9566e77e077469f9f7dbe82d4d |
| 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 | 3953.0901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 196 |
| Number of constraints | 198 |
| 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":197},{"arity":196,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 196 |
| Distribution of constraint types | [{"type":"intension","count":196},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.46/0.55 c SAT : Variables: 38416 -- Clauses: 3745756 0.46/0.55 c root propagations : 2179 0.46/0.55 c restarts enabled, print stats at every restarts 0.46/0.55 c 0.46/0.55 c 0.46/0.55 c 0.46/0.55 c This is cosoco 1.12 -- 0.46/0.55 c 0.46/0.55 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266105-1502583962.xml 0.46/0.55 c ========================================[ Problem Statistics ]=========================================== 0.46/0.55 c | 0.46/0.55 c | Parse time : 0.46 s 0.46/0.55 c | 0.46/0.55 c | Variables: 196 0.46/0.55 c | Domain Sizes: 196..196 0.46/0.55 c | 0.46/0.55 c | Constraints: 199 0.46/0.55 c | Arity: 1..196 -- Unary: 2 -- Binary: 196 0.46/0.55 c | 0.46/0.55 c | Types: 0.46/0.55 c | All Different: 1 0.46/0.55 c | Intension: 196 0.46/0.55 c | Unary: 2 0.46/0.55 c | 0.46/0.55 c ========================================================================================================= 0.46/0.55 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.64/0.73 c 10 198 5061 39026 196 5 173 181 162 0.74/0.89 c 20 380 9394 76337 196 13 96 170 139 0.94/1.01 c 30 478 12291 102267 196 20 81 85 76 1.04/1.16 c 40 679 17335 138807 196 22 172 183 162 1.34/1.40 c 50 855 21770 185709 196 30 103 165 133 1.44/1.51 c 60 957 24653 212089 196 38 79 91 80 1.54/1.65 c 70 1148 29187 247874 196 45 142 180 151 1.74/1.86 c 80 1318 33489 291894 196 55 103 153 130 2.04/2.12 c 90 1509 38291 350242 196 63 105 178 142 2.14/2.25 c 100 1632 41515 379362 196 73 82 113 93 2.24/2.32 c 101 1714 43975 401120 196 74 82 82 41 2.34/2.45 c 110 1835 47286 430204 196 81 92 106 90 2.54/2.60 c 120 2016 51905 467875 196 89 125 172 139 2.74/2.81 c 130 2185 56324 513481 196 98 107 158 128 2.84/2.96 c 140 2372 60762 549777 196 107 146 178 154 3.05/3.12 c 150 2561 65108 587968 196 115 124 178 148 3.14/3.27 c 160 2751 69684 624739 196 121 157 177 155 3.34/3.43 c 170 2938 74303 664549 196 128 82 177 136 3.44/3.58 c 180 3135 78759 701824 196 135 136 181 150 3.64/3.74 c 190 3299 82784 738334 196 145 95 155 115 3.84/3.90 c 200 3448 86642 775112 196 153 94 137 115 3.95/4.07 c 210 3630 91337 817636 196 162 117 173 138 4.13/4.21 c 211 3749 94563 849409 196 163 119 119 59 4.23/4.36 c 220 3938 99107 885239 196 168 168 176 154 4.44/4.52 c 230 4130 103435 923384 196 178 82 176 135 4.54/4.64 c 240 4258 106697 952689 196 188 79 117 91 4.64/4.79 c 250 4460 111616 989425 196 194 146 184 159 4.84/4.95 c 260 4645 116181 1027528 196 202 135 176 147 4.95/5.04 c 270 4738 118645 1052089 196 211 58 84 64 4.95/5.10 c 280 4795 120389 1068455 196 215 45 46 41 5.14/5.26 c 290 4993 124813 1106894 196 219 1 180 140 5.24/5.37 c 300 5111 127949 1135202 196 224 95 107 94 5.34/5.43 c 310 5173 129499 1151488 196 231 44 50 44 5.64/5.76 c 320 5362 134145 1220618 196 239 98 178 138 5.84/5.98 c 330 5545 138875 1268776 196 246 103 171 141 5.95/6.06 c 332 5631 141403 1291288 196 248 84 85 56 6.24/6.36 c 340 5819 146074 1359589 196 256 96 180 126 6.44/6.51 c 350 5994 150227 1396017 196 265 95 166 135 6.54/6.67 c 360 6171 154559 1433770 196 275 87 167 112 6.74/6.83 c 370 6354 159087 1472145 196 283 116 173 139 6.74/6.89 c 380 6412 160806 1491001 196 288 38 45 38 6.95/7.06 c 390 6601 164625 1530605 196 294 1 179 136 7.24/7.30 c 400 6774 169264 1582558 196 303 100 162 131 7.34/7.40 c 410 6872 172077 1608370 196 310 75 88 72 7.44/7.54 c 420 6999 175421 1640615 196 314 96 115 100 7.54/7.61 c 430 7075 177741 1661350 196 320 63 65 58 7.54/7.66 c 440 7120 178737 1672637 196 330 18 33 21 7.74/7.82 c 450 7317 183794 1711296 196 337 142 180 155 7.84/7.99 c 460 7468 187711 1750928 196 343 95 138 115 8.14/8.26 c 465 7620 191441 1809054 196 348 95 148 108 8.24/8.39 c 470 7748 194742 1840048 196 353 84 124 85 8.44/8.54 c 480 7940 199464 1878665 196 357 164 172 153 8.63/8.70 c 490 8123 203835 1916991 196 367 95 173 131 8.73/8.82 c 500 8241 206990 1946071 196 374 84 104 90 8.73/8.86 c 510 8280 207892 1955466 196 379 26 28 24 8.94/9.07 c 520 8467 211393 2003799 196 389 135 177 144 9.13/9.23 c 530 8662 215885 2042052 196 391 172 179 159 9.23/9.39 c 540 8850 220394 2081530 196 401 95 178 129 9.43/9.51 c 550 8979 223669 2112359 196 411 95 119 96 9.43/9.59 c 560 9056 226187 2133045 196 413 65 67 60 9.64/9.74 c 570 9250 230775 2169091 196 416 163 181 159 9.84/9.90 c 580 9435 235551 2208520 196 426 128 175 142 9.95/10.06 c 590 9618 239929 2245583 196 436 95 174 129 10.14/10.22 c 600 9792 244410 2285159 196 446 84 165 129 10.24/10.36 c 610 9911 247786 2318316 196 455 85 107 90 10.34/10.40 c 611 9963 249569 2332905 196 456 52 52 26 10.44/10.58 c 620 10150 254252 2373842 196 464 75 178 132 10.64/10.73 c 630 10288 257751 2407306 196 474 84 129 103 10.74/10.80 c 640 10365 260277 2427608 196 475 65 67 60 10.84/10.95 c 650 10557 264928 2465740 196 480 158 175 154 10.95/11.07 c 660 10674 268149 2494532 196 487 91 106 90 11.14/11.27 c 670 10841 272366 2536384 196 497 96 157 116 11.44/11.54 c 680 11022 277206 2595023 196 507 94 168 130 11.64/11.70 c 690 11223 282315 2631826 196 512 157 179 156 11.74/11.87 c 700 11399 286776 2671736 196 522 121 166 134 11.84/12.00 c 710 11527 290227 2701958 196 531 84 117 95 12.14/12.27 c 720 11719 295187 2766310 196 540 101 176 133 12.24/12.38 c 730 11822 298274 2793015 196 544 89 91 81 12.44/12.57 c 740 12002 301692 2849805 196 554 83 170 135 12.64/12.73 c 750 12188 306209 2888662 196 562 95 173 129 12.74/12.89 c 760 12372 310626 2926708 196 570 95 172 128 12.95/13.05 c 770 12522 314565 2961013 196 580 125 131 116 12.95/13.09 c 771 12570 316426 2974846 196 581 48 48 24 13.05/13.14 c 780 12626 317525 2987540 196 590 14 48 26 13.24/13.30 c 790 12824 322398 3024066 196 597 160 179 159 13.44/13.53 c 800 13002 326978 3073477 196 605 103 165 138 13.54/13.68 c 810 13176 331277 3111537 196 615 67 165 123 13.74/13.84 c 820 13340 335613 3149016 196 622 100 153 125 13.84/14.00 c 830 13510 340167 3188484 196 632 88 161 116 14.05/14.19 c 840 13673 344563 3229953 196 639 95 153 119 14.14/14.29 c 850 13772 347440 3255463 196 648 77 89 74 14.54/14.61 c 860 13962 352625 3327209 196 658 92 177 123 14.74/14.81 c 870 14142 357164 3368526 196 666 158 165 146 14.84/14.96 c 880 14326 361641 3407764 196 674 86 172 131 14.95/15.05 c 890 14406 364072 3430112 196 680 61 69 57 15.14/15.28 c 900 14593 368778 3482987 196 688 103 177 142 15.34/15.43 c 910 14780 373108 3520114 196 693 162 172 153 15.44/15.54 c 920 14893 376169 3547439 196 702 73 102 84 15.44/15.59 c 930 14957 378140 3564557 196 706 53 55 49 15.54/15.63 c 940 14996 379043 3574865 196 713 9 29 15 15.84/15.95 c 947 15158 383033 3640750 196 720 25 156 98 15.94/16.04 c 950 15260 386016 3666186 196 723 96 100 73 16.05/16.12 c 960 15339 388397 3687086 196 732 53 64 54 16.05/16.19 c 970 15419 390803 3708153 196 740 67 70 62 16.14/16.27 c 980 15503 392389 3727843 196 749 48 68 56 16.34/16.41 c 990 15628 395836 3760385 196 756 95 110 93 16.54/16.62 c 1000 15813 400383 3809022 196 762 103 173 143 16.64/16.77 c 1010 16011 405283 3845700 196 769 158 180 159 16.94/17.01 c 1020 16190 409857 3898033 196 779 103 170 139 16.94/17.10 c 1030 16283 412604 3923084 196 781 72 82 73 17.14/17.27 c 1040 16475 416963 3963322 196 788 112 176 143 17.34/17.49 c 1050 16643 421378 4009747 196 798 92 159 127 17.44/17.58 c 1060 16735 424330 4034774 196 803 80 81 73 17.64/17.78 c 1070 16918 427849 4087628 196 813 130 172 143 17.83/17.94 c 1080 17107 432571 4124315 196 821 145 176 147 17.94/18.09 c 1090 17299 437621 4159941 196 827 164 179 157 18.14/18.23 c 1100 17453 441457 4195115 196 833 117 142 123 18.44/18.54 c 1110 17638 446700 4264921 196 842 92 174 131 18.64/18.71 c 1120 17794 450609 4303522 196 848 103 144 124 18.84/18.94 c 1130 17974 454588 4358664 196 858 104 168 129 18.95/19.10 c 1140 18166 459015 4397360 196 863 160 175 156 19.05/19.16 c 1141 18229 461101 4414407 196 864 63 63 31 19.14/19.22 c 1150 18289 462701 4430986 196 871 35 51 38 19.24/19.37 c 1160 18488 467871 4467174 196 877 175 182 162 19.44/19.53 c 1170 18687 472220 4505459 196 878 175 181 161 19.64/19.77 c 1180 18866 477146 4557642 196 888 100 167 132 19.74/19.86 c 1190 18952 479810 4581800 196 894 71 77 68 19.95/20.02 c 1200 19152 483433 4622298 196 899 171 177 157 20.14/20.23 c 1210 19337 487900 4668656 196 906 103 174 138 20.24/20.33 c 1220 19435 490812 4694453 196 915 84 88 78 20.34/20.48 c 1230 19642 495718 4730573 196 921 161 185 162 20.54/20.67 c 1240 19831 500473 4773296 196 930 137 171 150 20.84/20.97 c 1250 20016 505435 4837256 196 940 96 174 126 21.05/21.11 c 1260 20202 509954 4873184 196 948 151 177 151 21.14/21.28 c 1270 20385 514449 4911471 196 958 97 174 138 21.24/21.37 c 1280 20485 517296 4937406 196 961 83 90 80 21.44/21.52 c 1290 20682 522126 4974091 196 965 172 180 161 21.64/21.70 c 1300 20836 526045 5013729 196 970 103 144 124 21.74/21.85 c 1310 21024 530511 5051692 196 979 97 176 143 21.95/22.06 c 1320 21192 534818 5098521 196 989 103 159 130 22.24/22.35 c 1330 21377 539671 5164031 196 997 106 176 140 22.44/22.54 c 1340 21545 543808 5205723 196 1004 123 156 132 22.54/22.69 c 1350 21740 548648 5243829 196 1012 146 177 153 22.64/22.75 c 1352 21801 550572 5260114 196 1014 60 60 40 22.84/22.92 c 1360 21980 555351 5300235 196 1022 113 172 130 22.95/23.07 c 1370 22167 560056 5338788 196 1032 132 177 143 23.24/23.32 c 1380 22355 564895 5394765 196 1039 113 178 143 23.44/23.56 c 1390 22522 569453 5446383 196 1046 100 156 127 23.54/23.64 c 1400 22615 571914 5468615 196 1056 62 83 66 24.05/24.13 c 1410 22764 577066 5567898 196 1066 90 140 102 24.14/24.29 c 1420 22956 581876 5605729 196 1073 96 177 149 24.24/24.39 c 1430 23057 584809 5631901 196 1076 89 91 82 24.64/24.70 c 1440 23235 589040 5696969 196 1086 90 169 123 24.84/24.92 c 1450 23419 593787 5748552 196 1094 103 172 140 24.84/25.00 c 1460 23495 596129 5768689 196 1100 64 66 59 24.95/25.04 c 1470 23540 597120 5779976 196 1110 15 33 20 25.13/25.20 c 1480 23726 601819 5817634 196 1117 127 173 145 25.23/25.36 c 1490 23937 606675 5855365 196 1122 141 177 151 25.43/25.55 c 1500 24091 610855 5897232 196 1132 92 141 114 25.63/25.70 c 1510 24275 615432 5933724 196 1141 133 173 144 25.73/25.88 c 1520 24463 620390 5975686 196 1148 129 174 145 25.94/26.10 c 1530 24651 624992 6024484 196 1154 103 175 145 26.04/26.19 c 1540 24752 627661 6047094 196 1157 80 83 74 26.53/26.63 c 1550 24926 632547 6143576 196 1167 103 165 121 26.63/26.79 c 1560 25074 636595 6185298 196 1177 105 138 116 26.73/26.87 c 1570 25155 638998 6207080 196 1182 51 68 56 26.94/27.10 c 1580 25338 643127 6261858 196 1191 105 173 136 27.14/27.27 c 1585 25499 647010 6299169 196 1195 129 157 118 27.34/27.42 c 1590 25681 651232 6334427 196 1197 172 176 145 27.44/27.58 c 1600 25873 655560 6371263 196 1205 160 179 155 27.64/27.72 c 1610 26006 659043 6405826 196 1209 96 119 105 27.74/27.87 c 1620 26164 662915 6440584 196 1213 143 147 132 27.84/27.97 c 1630 26262 665710 6466107 196 1218 82 85 76 28.05/28.16 c 1640 26441 669966 6513128 196 1227 146 170 141 28.24/28.37 c 1650 26605 674411 6562125 196 1233 100 150 124 28.34/28.43 c 1660 26665 675681 6576947 196 1243 25 51 33 28.44/28.57 c 1670 26861 680355 6613679 196 1247 171 180 160 28.64/28.76 c 1680 27038 684790 6652024 196 1253 143 163 134 28.74/28.85 c 1690 27126 687696 6676432 196 1258 76 77 69 28.84/29.00 c 1700 27317 692232 6714413 196 1264 1 175 137 29.14/29.20 c 1710 27492 696637 6758629 196 1273 103 166 133 29.14/29.27 c 1720 27558 698728 6776853 196 1277 50 53 47 29.34/29.43 c 1730 27746 703406 6812757 196 1284 141 176 151 29.44/29.58 c 1740 27904 707463 6847945 196 1288 143 146 130 29.64/29.78 c 1750 28067 711515 6897443 196 1298 86 154 111 29.84/29.97 c 1760 28231 715782 6939089 196 1308 103 152 125 30.05/30.13 c 1770 28410 720218 6976529 196 1318 149 170 147 30.14/30.24 c 1780 28519 723301 7004173 196 1325 80 98 85 30.14/30.29 c 1790 28571 724694 7016317 196 1332 36 41 34 30.34/30.47 c 1800 28766 729623 7057459 196 1341 66 180 122 30.54/30.62 c 1810 28960 734216 7093558 196 1347 171 181 160 30.64/30.73 c 1820 29060 737093 7119641 196 1350 89 89 80 30.64/30.78 c 1830 29116 738760 7135606 196 1355 36 44 39 30.84/30.94 c 1840 29307 743989 7171798 196 1362 165 175 156 30.95/31.07 c 1841 29438 747368 7204612 196 1363 131 131 65 31.14/31.24 c 1850 29622 751623 7241234 196 1368 150 174 149 31.24/31.39 c 1860 29818 755926 7279577 196 1370 163 177 157 31.44/31.50 c 1870 29920 758890 7305748 196 1375 86 89 80 31.44/31.53 c 1880 29959 759758 7314926 196 1381 26 28 24 31.64/31.79 c 1890 30130 763367 7380324 196 1391 124 162 131 31.84/31.96 c 1900 30272 767176 7419046 196 1397 105 128 113 32.05/32.12 c 1910 30462 771887 7456690 196 1401 161 179 157 32.14/32.27 c 1920 30653 776907 7494195 196 1405 160 176 155 32.34/32.47 c 1930 30843 781734 7538328 196 1410 135 171 150 32.64/32.73 c 1940 31029 786629 7597645 196 1420 74 176 126 32.84/32.91 c 1950 31186 790835 7637609 196 1427 103 141 121 32.95/33.05 c 1960 31321 794334 7670397 196 1431 116 119 107 33.14/33.21 c 1970 31483 798316 7705982 196 1434 147 149 134 33.24/33.31 c 1980 31586 801285 7732503 196 1438 90 91 82 33.24/33.38 c 1990 31655 803004 7750599 196 1446 39 57 46 33.34/33.41 c 2000 31693 804224 7759825 196 1452 11 28 20 33.54/33.69 c 2010 31867 808052 7826733 196 1462 113 165 126 33.74/33.84 c 2020 32056 812611 7864957 196 1470 97 175 142 33.84/33.97 c 2030 32183 815914 7895286 196 1478 95 116 92 33.95/34.04 c 2040 32262 818112 7914741 196 1479 65 67 60 34.05/34.19 c 2050 32458 822747 7951360 196 1486 167 173 154 34.24/34.35 c 2060 32652 827502 7990779 196 1494 96 178 146 34.44/34.51 c 2070 32818 831886 8029658 196 1504 84 157 120 34.64/34.73 c 2080 33008 836630 8079474 196 1511 103 174 145 34.74/34.89 c 2090 33191 841136 8119388 196 1519 84 174 141 34.95/35.06 c 2100 33368 845678 8158415 196 1529 98 168 133 35.14/35.25 c 2110 33545 850250 8201447 196 1537 135 162 136 35.34/35.42 c 2120 33731 854662 8242541 196 1543 122 175 147 35.44/35.59 c 2122 33855 858228 8281858 196 1545 103 123 75 35.74/35.81 c 2130 34036 862805 8336663 196 1551 103 168 136 35.84/35.97 c 2140 34229 867410 8373795 196 1557 133 178 151 36.05/36.14 c 2150 34412 872163 8416107 196 1566 95 172 130 36.14/36.27 c 2160 34537 875438 8445917 196 1573 92 112 92 36.24/36.35 c 2170 34618 878028 8467158 196 1579 65 69 60 36.44/36.51 c 2180 34811 882560 8505006 196 1585 171 178 158 36.54/36.65 c 2190 34945 886176 8536536 196 1590 116 120 107 36.84/36.91 c 2200 35131 890710 8595268 196 1600 118 176 140 37.05/37.14 c 2210 35317 895355 8646818 196 1608 103 174 141 37.14/37.28 c 2220 35455 898816 8679725 196 1617 78 125 85 37.34/37.49 c 2230 35632 903081 8728061 196 1627 106 167 132 37.54/37.67 c 2240 35823 907507 8773172 196 1636 128 177 150 37.74/37.82 c 2250 36014 912208 8809336 196 1639 161 179 158 37.95/38.06 c 2260 36184 916749 8857349 196 1647 92 155 126 38.05/38.13 c 2270 36261 918857 8876711 196 1654 54 66 57 38.05/38.18 c 2280 36314 920720 8892436 196 1656 41 43 38 38.24/38.34 c 2290 36506 926054 8928812 196 1664 162 178 157 38.44/38.50 c 2300 36654 930003 8965192 196 1674 100 135 109 38.64/38.74 c 2310 36823 934443 9015242 196 1684 92 160 127 38.74/38.89 c 2320 37007 938840 9051056 196 1692 167 173 154 38.95/39.05 c 2330 37175 943073 9086682 196 1699 142 151 135 39.05/39.18 c 2340 37294 946318 9116152 196 1704 88 106 92 39.14/39.22 c 2350 37340 947519 9127008 196 1708 21 35 29 39.24/39.37 c 2360 37534 952289 9164470 196 1718 142 181 146 39.44/39.53 c 2370 37722 956954 9202611 196 1725 96 175 147 39.54/39.69 c 2380 37922 961511 9241342 196 1726 168 174 155 39.74/39.83 c 2390 38064 965043 9273223 196 1735 92 128 97 39.95/40.06 c 2400 38248 969142 9326699 196 1743 106 173 140 40.15/40.28 c 2410 38436 973798 9381833 196 1750 103 168 136 40.34/40.43 c 2420 38638 978588 9419922 196 1757 139 179 151 40.44/40.52 c 2430 38723 981116 9443897 196 1760 71 75 67 40.44/40.56 c 2431 38776 982482 9455520 196 1761 53 53 26 40.54/40.60 c 2440 38817 983726 9464624 196 1766 26 31 25 40.64/40.75 c 2450 39015 988501 9501954 196 1772 1 181 141 40.84/40.91 c 2460 39206 993239 9541539 196 1779 161 178 156 40.84/41.00 c 2470 39306 995954 9565577 196 1784 74 89 73 41.05/41.16 c 2480 39501 1000369 9602491 196 1789 157 177 156 41.24/41.35 c 2490 39686 1005061 9643124 196 1791 166 169 152 41.34/41.43 c 2500 39765 1007448 9665049 196 1797 61 68 57 41.44/41.58 c 2510 39958 1012121 9704759 196 1805 127 177 138 41.64/41.73 c 2520 40168 1017204 9742324 196 1809 172 181 159 41.74/41.81 c 2530 40253 1019641 9763649 196 1815 66 74 61 42.14/42.23 c 2540 40434 1024605 9854044 196 1825 109 171 125 42.24/42.39 c 2550 40597 1028870 9891434 196 1833 142 149 132 42.44/42.54 c 2560 40786 1033577 9929766 196 1841 128 180 145 42.64/42.71 c 2570 40925 1037240 9965357 196 1850 92 123 106 42.64/42.75 c 2580 40969 1038244 9977069 196 1858 27 34 28 42.95/43.02 c 2590 41144 1041181 10043407 196 1867 1 166 121 43.05/43.17 c 2600 41344 1046119 10079540 196 1869 166 184 163 43.24/43.33 c 2610 41500 1049959 10115373 196 1874 126 141 119 43.44/43.54 c 2620 41690 1054608 10164091 196 1883 103 174 137 43.64/43.78 c 2630 41872 1059263 10217827 196 1891 127 172 140 43.84/43.91 c 2640 42004 1062720 10249300 196 1896 117 119 107 43.95/44.06 c 2650 42200 1067073 10285321 196 1903 166 176 154 44.14/44.22 c 2660 42395 1071933 10323091 196 1907 133 175 152 44.24/44.32 c 2670 42501 1074648 10347739 196 1914 69 92 74 44.34/44.47 c 2680 42682 1079099 10384278 196 1922 165 172 152 44.54/44.65 c 2690 42842 1083351 10429228 196 1929 100 146 123 44.74/44.82 c 2700 43043 1087870 10467458 196 1933 170 178 159 44.84/44.99 c 2710 43229 1092272 10510484 196 1937 168 172 154 45.05/45.11 c 2720 43340 1095415 10540588 196 1946 81 97 83 45.14/45.29 c 2730 43519 1099771 10581739 196 1956 129 170 139 45.24/45.39 c 2740 43623 1102603 10606534 196 1961 76 92 80 45.34/45.44 c 2750 43674 1103843 10617727 196 1966 15 34 24 45.44/45.59 c 2760 43879 1108979 10654878 196 1969 169 179 157 45.64/45.74 c 2770 44067 1113674 10691886 196 1977 145 178 148 45.74/45.83 c 2771 44163 1116559 10715854 196 1978 96 96 48 45.84/45.90 c 2780 44239 1118735 10736205 196 1982 63 67 59 45.84/45.98 c 2790 44322 1121214 10758755 196 1987 69 70 63 46.05/46.16 c 2800 44504 1125082 10802686 196 1994 155 171 151 46.24/46.34 c 2810 44689 1129638 10845043 196 2001 129 173 143 46.34/46.45 c 2820 44805 1132783 10871700 196 2007 92 98 88 46.34/46.49 c 2830 44853 1133934 10882223 196 2008 33 34 30 46.54/46.66 c 2840 45049 1139070 10920780 196 2013 151 181 157 46.74/46.81 c 2850 45242 1143834 10958828 196 2019 142 177 154 46.84/46.98 c 2860 45443 1148758 10996368 196 2023 170 176 156 47.14/47.21 c 2870 45617 1153418 11047682 196 2033 103 165 131 47.14/47.26 c 2880 45666 1154472 11062166 196 2043 27 39 29 47.34/47.45 c 2890 45853 1159089 11116156 196 2047 164 169 152 47.64/47.70 c 2900 46030 1163966 11170751 196 2055 100 168 135 47.74/47.86 c 2910 46217 1168757 11210395 196 2065 140 178 147 47.95/48.01 c 2920 46352 1172424 11242972 196 2073 97 125 103 48.05/48.19 c 2930 46543 1177141 11285931 196 2080 149 174 149 48.34/48.43 c 2940 46711 1181600 11342544 196 2090 84 158 114 48.44/48.59 c 2950 46905 1186136 11380494 196 2096 169 175 156 48.64/48.75 c 2960 47090 1190641 11421237 196 2102 143 175 150 48.84/48.93 c 2970 47251 1194878 11460897 196 2107 103 144 121 48.95/49.09 c 2980 47433 1199293 11500336 196 2117 114 173 135 49.14/49.24 c 2990 47636 1204285 11536880 196 2122 160 183 158 49.24/49.39 c 3000 47787 1208154 11571955 196 2128 117 138 121 49.44/49.54 c 3010 47995 1213223 11608599 196 2129 178 185 165 49.64/49.76 c 3020 48164 1217763 11654564 196 2135 100 157 129 49.84/49.90 c 3030 48294 1221478 11686987 196 2138 103 110 97 49.95/50.08 c 3040 48482 1225827 11730554 196 2144 129 174 144 50.14/50.23 c 3050 48676 1230314 11767851 196 2147 169 177 157 50.35/50.43 c 3060 48857 1234942 11815146 196 2155 100 168 134 50.45/50.57 c 3070 49001 1238528 11848359 196 2162 113 129 110 50.65/50.77 c 3080 49191 1242610 11895714 196 2171 167 173 153 50.85/50.99 c 3090 49364 1247214 11947121 196 2181 131 164 136 51.06/51.11 c 3100 49482 1250564 11976349 196 2187 80 104 90 51.25/51.34 c 3110 49670 1255165 12030726 196 2196 70 178 128 51.45/51.50 c 3120 49863 1259759 12068470 196 2198 167 174 156 51.55/51.66 c 3130 50052 1264407 12107472 196 2205 97 174 145 51.75/51.82 c 3140 50196 1268219 12144384 196 2214 108 131 106 51.85/51.97 c 3142 50368 1272381 12178832 196 2215 170 171 113 52.06/52.13 c 3150 50529 1276505 12218327 196 2221 133 151 125 52.25/52.30 c 3160 50726 1281296 12256691 196 2227 128 177 145 52.25/52.39 c 3170 50816 1283871 12280224 196 2237 64 80 66 52.45/52.53 c 3180 50945 1287630 12315335 196 2241 100 119 105 52.65/52.76 c 3190 51125 1292402 12368375 196 2250 128 171 143 52.85/52.91 c 3200 51311 1296874 12406270 196 2259 141 175 150 52.95/53.06 c 3210 51503 1301589 12443028 196 2264 149 177 153 53.15/53.22 c 3220 51693 1306077 12480605 196 2271 151 180 156 53.25/53.37 c 3230 51890 1310799 12518742 196 2279 145 181 154 53.45/53.54 c 3240 52089 1315763 12556399 196 2282 166 176 156 53.65/53.70 c 3250 52273 1320272 12596137 196 2290 153 172 149 53.75/53.80 c 3260 52377 1323238 12620646 196 2295 91 92 83 53.75/53.89 c 3270 52483 1325027 12667491 196 2303 43 95 65 53.85/54.00 c 3280 52600 1327927 12693570 196 2313 84 99 83 54.06/54.19 c 3290 52788 1332683 12736593 196 2314 168 171 154 54.25/54.35 c 3300 52997 1337800 12774224 196 2318 171 181 162 54.45/54.51 c 3310 53188 1342225 12811903 196 2325 167 176 155 54.55/54.68 c 3320 53365 1346553 12851487 196 2335 136 166 141 54.65/54.76 c 3330 53454 1349352 12873582 196 2341 76 78 70 54.85/54.91 c 3340 53630 1352189 12925495 196 2351 102 167 122 55.06/55.11 c 3350 53798 1356659 12969933 196 2361 118 158 134 55.15/55.22 c 3360 53915 1359729 12996240 196 2367 94 101 88 55.35/55.40 c 3370 54096 1363483 13039183 196 2376 84 172 133 55.55/55.63 c 3380 54265 1368150 13088249 196 2385 100 157 128 55.65/55.79 c 3390 54452 1372876 13127945 196 2395 128 177 135 55.85/55.99 c 3400 54644 1377860 13171474 196 2398 165 168 151 56.05/56.16 c 3410 54836 1382154 13215963 196 2405 158 177 155 56.24/56.31 c 3420 55036 1387205 13252259 196 2409 153 183 160 56.34/56.47 c 3430 55228 1391961 13289962 196 2415 141 180 154 56.54/56.60 c 3440 55346 1395468 13319974 196 2418 98 98 89 56.64/56.76 c 3450 55538 1400265 13358086 196 2423 154 178 154 56.74/56.86 c 3460 55649 1403331 13383754 196 2429 88 95 84 56.84/56.94 c 3470 55731 1405423 13404589 196 2438 50 71 55 57.14/57.24 c 3480 55926 1409835 13469000 196 2448 97 178 137 57.24/57.39 c 3490 56106 1414528 13507179 196 2457 145 171 145 57.44/57.55 c 3500 56285 1419060 13546234 196 2467 105 170 130 57.64/57.72 c 3510 56446 1423282 13582642 196 2469 133 138 124 57.74/57.86 c 3520 56582 1427000 13616887 196 2478 100 126 105 58.05/58.12 c 3530 56753 1431486 13672547 196 2488 87 162 114 58.14/58.28 c 3540 56966 1436493 13710172 196 2491 170 179 158 58.34/58.46 c 3550 57175 1441079 13751230 196 2494 166 180 159 58.54/58.60 c 3551 57328 1444767 13785111 196 2495 153 153 76 58.64/58.75 c 3560 57518 1449574 13821420 196 2502 149 182 155 58.84/58.93 c 3570 57699 1454120 13866262 196 2510 156 167 148 59.05/59.17 c 3580 57883 1458842 13919575 196 2520 103 174 135 59.14/59.28 c 3590 57995 1462105 13947396 196 2529 85 102 82 59.34/59.43 c 3600 58183 1467013 13984410 196 2536 147 179 154 59.54/59.63 c 3610 58346 1471293 14027891 196 2543 103 153 128 59.64/59.72 c 3620 58440 1474039 14050373 196 2549 74 80 71 59.84/59.93 c 3630 58630 1478336 14102281 196 2557 167 175 154 60.05/60.15 c 3640 58813 1483114 14154732 196 2564 103 171 137 60.24/60.33 c 3650 58967 1487203 14193750 196 2571 103 141 121 60.34/60.49 c 3660 59164 1491873 14231622 196 2573 166 175 156 60.54/60.65 c 3670 59334 1496221 14268452 196 2579 143 159 136 60.64/60.73 c 3680 59410 1498119 14288331 196 2587 39 57 47 60.74/60.89 c 3690 59603 1503697 14324111 196 2594 148 181 153 60.95/61.04 c 3700 59800 1508413 14360232 196 2597 171 178 158 61.05/61.12 c 3710 59886 1510931 14384249 196 2602 60 76 65 61.14/61.27 c 3720 60102 1516189 14421286 196 2606 174 183 163 61.34/61.43 c 3730 60262 1520273 14456700 196 2612 135 142 127 61.44/61.58 c 3740 60463 1525080 14494548 196 2619 143 182 156 61.64/61.79 c 3750 60645 1529848 14540151 196 2629 100 168 129 61.84/61.95 c 3760 60854 1534968 14577737 196 2631 176 182 162 62.05/62.12 c 3770 61019 1539204 14614908 196 2638 140 147 131 62.14/62.26 c 3780 61214 1544255 14651514 196 2641 163 183 161 62.34/62.41 c 3790 61395 1548790 14688076 196 2649 145 170 144 62.44/62.58 c 3800 61603 1553698 14725692 196 2652 170 175 156 62.64/62.73 c 3810 61814 1558564 14763780 196 2656 175 182 163 62.74/62.88 c 3820 61967 1562535 14799845 196 2666 103 143 116 63.14/63.20 c 3830 62151 1567670 14870855 196 2676 118 175 130 63.24/63.36 c 3840 62296 1571691 14909097 196 2682 100 132 115 63.44/63.53 c 3850 62494 1576585 14947418 196 2686 169 176 157 63.54/63.68 c 3860 62680 1581160 14984002 196 2691 142 172 150 63.64/63.78 c 3870 62771 1583822 15009051 196 2696 80 82 73 63.84/63.93 c 3880 62951 1588437 15048211 196 2706 82 171 118 64.05/64.16 c 3890 63133 1593126 15100647 196 2716 103 172 135 64.24/64.30 c 3900 63270 1596629 15132941 196 2723 103 126 106 64.24/64.36 c 3910 63341 1598703 15152016 196 2729 56 59 52 64.24/64.39 c 3920 63372 1599320 15159162 196 2736 12 21 17 64.64/64.75 c 3930 63557 1603082 15235867 196 2746 31 175 116 64.84/64.90 c 3940 63706 1607082 15269702 196 2750 132 132 120 64.95/65.05 c 3950 63897 1611835 15305838 196 2757 144 181 154 65.14/65.28 c 3960 64073 1616506 15360834 196 2767 103 166 132 65.34/65.44 c 3970 64247 1620805 15397878 196 2777 143 163 140 65.44/65.59 c 3980 64459 1625559 15435764 196 2785 168 179 156 65.64/65.75 c 3990 64652 1630435 15474929 196 2793 168 176 156 65.84/65.92 c 4000 64818 1634901 15515265 196 2803 84 156 111 65.84/65.97 c 4001 64880 1636835 15531566 196 2804 62 62 31 66.05/66.12 c 4010 65080 1641678 15569392 196 2810 136 180 148 66.14/66.29 c 4020 65269 1646316 15609279 196 2817 157 173 154 66.24/66.35 c 4030 65343 1648451 15627966 196 2820 62 64 57 66.34/66.41 c 4040 65398 1649589 15640778 196 2823 32 36 32 66.34/66.43 c 4050 65430 1650234 15647890 196 2825 20 22 19 66.54/66.60 c 4060 65621 1653414 15687535 196 2830 169 176 155 66.64/66.75 c 4070 65813 1658082 15724967 196 2838 156 181 156 66.84/66.91 c 4080 66003 1662857 15761958 196 2845 145 178 153 66.84/66.99 c 4090 66090 1665348 15784542 196 2855 62 76 61 67.05/67.17 c 4100 66275 1670133 15826744 196 2864 106 175 142 67.14/67.28 c 4110 66394 1673527 15856210 196 2874 92 109 90 67.24/67.38 c 4120 66509 1675491 15878797 196 2884 38 104 74 67.44/67.52 c 4130 66710 1680184 15915113 196 2886 171 179 160 67.54/67.69 c 4140 66907 1684848 15953361 196 2887 169 174 155 67.74/67.84 c 4150 67102 1689659 15989604 196 2893 167 180 159 67.84/67.99 c 4160 67295 1694506 16026660 196 2897 170 177 157 68.05/68.15 c 4170 67482 1698940 16064679 196 2904 161 174 152 68.14/68.25 c 4180 67572 1701916 16089552 196 2909 76 78 70 68.24/68.32 c 4190 67644 1703611 16106123 196 2915 49 59 52 68.34/68.40 c 4200 67728 1706209 16129425 196 2918 72 74 66 68.34/68.48 c 4210 67806 1708006 16153042 196 2925 53 65 55 68.54/68.63 c 4220 67990 1712313 16190807 196 2933 120 174 147 68.74/68.80 c 4230 68157 1716531 16227018 196 2935 152 154 139 68.74/68.89 c 4240 68253 1719305 16249698 196 2941 80 82 73 68.95/69.06 c 4250 68450 1723427 16290386 196 2945 159 175 155 69.14/69.27 c 4260 68643 1728500 16334251 196 2949 166 168 151 69.35/69.43 c 4270 68853 1733567 16372340 196 2952 172 182 161 69.55/69.65 c 4280 69036 1738395 16423194 196 2960 103 170 135 69.75/69.82 c 4290 69242 1743239 16462265 196 2963 172 180 160 69.85/69.96 c 4300 69434 1747866 16498145 196 2967 170 180 160 70.05/70.11 c 4310 69620 1752501 16536320 196 2976 132 177 144 70.15/70.27 c 4320 69815 1757167 16574710 196 2979 167 174 155 70.35/70.44 c 4330 70018 1761564 16612979 196 2985 167 180 159 70.54/70.61 c 4340 70208 1766213 16654653 196 2993 154 172 151 70.84/70.98 c 4350 70390 1771420 16737751 196 3003 113 173 127 71.05/71.11 c 4360 70516 1774918 16771373 196 3013 102 117 99 71.14/71.28 c 4370 70703 1779383 16811225 196 3020 158 172 152 71.34/71.45 c 4380 70888 1783836 16849641 196 3026 160 166 148 71.54/71.60 c 4390 71090 1788416 16886251 196 3033 167 174 155 71.64/71.77 c 4400 71255 1792661 16923308 196 3038 142 145 129 71.84/71.93 c 4410 71412 1796741 16959052 196 3046 128 142 120 71.95/72.09 c 4420 71601 1800522 16994843 196 3051 144 173 150 72.14/72.25 c 4430 71791 1805091 17032487 196 3055 167 173 154 72.34/72.40 c 4440 71993 1809846 17069798 196 3062 173 182 162 72.54/72.63 c 4450 72172 1814611 17122915 196 3071 103 170 134 72.64/72.78 c 4460 72308 1818119 17157417 196 3080 91 123 98 72.84/72.96 c 4470 72512 1822857 17198478 196 3084 170 176 158 73.05/73.13 c 4480 72710 1827506 17239718 196 3089 168 174 155 73.24/73.34 c 4490 72910 1832455 17289785 196 3092 112 182 156 73.34/73.48 c 4493 73047 1836055 17322731 196 3095 129 135 99 73.54/73.64 c 4500 73227 1839799 17359963 196 3102 150 174 145 73.74/73.83 c 4510 73408 1844353 17404833 196 3109 117 169 134 73.84/73.93 c 4520 73510 1847143 17429379 196 3111 89 89 80 74.05/74.14 c 4530 73691 1851810 17477458 196 3118 103 171 141 74.14/74.27 c 4540 73808 1855175 17507208 196 3125 83 103 85 74.34/74.43 c 4550 74010 1860080 17544172 196 3130 173 180 161 74.44/74.58 c 4560 74211 1864650 17581790 196 3135 166 176 155 74.64/74.74 c 4570 74407 1869230 17619635 196 3139 166 174 155 74.84/74.90 c 4580 74596 1873843 17659636 196 3147 100 178 135 74.95/75.08 c 4590 74785 1878738 17701829 196 3156 106 179 140 75.14/75.27 c 4600 74966 1883410 17741229 196 3165 161 168 150 75.24/75.36 c 4610 75068 1886155 17765302 196 3168 89 89 80 75.44/75.51 c 4620 75263 1890534 17801872 196 3173 170 178 157 75.64/75.72 c 4630 75428 1894908 17846719 196 3182 100 152 125 75.64/75.79 c 4640 75500 1896563 17865391 196 3189 35 58 46 75.84/75.94 c 4650 75696 1901545 17901460 196 3192 173 180 161 75.95/76.09 c 4660 75891 1906068 17938177 196 3196 142 179 154 76.14/76.21 c 4670 76016 1909287 17965642 196 3201 101 105 94 76.34/76.46 c 4680 76204 1913957 18025632 196 3207 114 178 141 76.54/76.67 c 4690 76390 1918605 18072075 196 3215 103 173 137 76.75/76.84 c 4700 76568 1923070 18110979 196 3225 146 162 143 76.85/76.99 c 4710 76764 1927665 18147278 196 3228 167 174 156 77.06/77.14 c 4720 76954 1932022 18184626 196 3231 164 174 154 77.15/77.23 c 4730 77041 1934687 18208475 196 3235 72 74 66 77.15/77.29 c 4740 77107 1935988 18223082 196 3242 36 48 39 77.35/77.46 c 4750 77302 1940395 18261679 196 3246 172 181 159 77.55/77.61 c 4760 77497 1945173 18298880 196 3249 170 177 158 77.65/77.78 c 4770 77691 1949920 18339085 196 3250 170 182 156 77.85/77.94 c 4780 77881 1954418 18377140 196 3255 140 177 154 77.96/78.08 c 4790 78083 1959255 18413685 196 3259 177 182 162 78.15/78.23 c 4800 78278 1963601 18449912 196 3260 170 179 156 78.25/78.39 c 4810 78475 1968221 18489479 196 3266 174 180 160 78.45/78.55 c 4820 78650 1972674 18528835 196 3276 84 166 130 78.65/78.72 c 4830 78844 1977285 18568672 196 3280 164 171 153 78.75/78.86 c 4840 78997 1981029 18602263 196 3286 127 138 121 78.95/79.02 c 4850 79182 1985183 18641229 196 3292 165 173 152 79.15/79.23 c 4860 79359 1989712 18686234 196 3301 103 166 132 79.25/79.39 c 4870 79550 1994464 18725144 196 3306 169 173 155 79.55/79.62 c 4880 79729 1999352 18775586 196 3313 100 166 131 79.65/79.78 c 4890 79926 2003911 18812787 196 3318 173 178 160 79.85/79.94 c 4900 80116 2008473 18851206 196 3326 146 175 151 79.95/80.08 conflict 363lvl : 182 bt177-23903:0(35141)X15498895 79.95/80.08 c 4910 80322 2013264 18887460 196 3330 155 182 160 80.15/80.23 c 4920 80463 2016813 18920948 196 3337 94 129 91 80.25/80.38 c 4930 80662 2021619 18958255 196 3342 171 180 159 80.35/80.49 c 4940 80767 2024726 18985302 196 3350 72 91 78 80.55/80.65 c 4950 80960 2028595 19021502 196 3355 169 175 157 80.75/80.80 c 4960 81154 2033444 19059144 196 3361 132 176 147 80.85/80.97 c 4970 81340 2038133 19099632 196 3369 130 173 146 80.95/81.09 c 4980 81463 2041602 19128863 196 3379 97 112 94 81.05/81.16 c 4990 81536 2043311 19145111 196 3385 58 61 54 81.35/81.49 c 5035 81790 2049383 19204758 196 3412 86 132 112 82.55/82.65 c 5631 83453 2081086 19546869 196 3454 108 176 165 83.75/83.80 c 6286 85547 2120694 19865029 196 3466 156 177 168 84.65/84.79 c 7006 87776 2164796 20231302 196 3469 163 182 171 87.55/87.63 c 7798 90126 2218203 20783498 196 3500 89 170 165 91.55/91.64 c 8669 92368 2274524 21475280 196 3622 99 168 153 94.15/94.29 c 9627 95105 2320471 21999636 196 3720 88 170 144 94.95/95.06 c 10680 98297 2372515 22198850 196 3731 165 187 178 95.84/95.98 c 11838 101503 2426677 22447674 196 3757 93 183 176 100.44/100.54 c 13111 104753 2502406 23198588 196 3853 103 173 163 103.95/104.03 c 14511 108345 2561347 23954668 196 4020 61 167 148 110.05/110.19 c 16051 112042 2658717 24917289 196 4026 159 170 166 111.24/111.34 c 17745 116838 2734130 25267026 196 4052 161 182 174 118.24/118.34 c 19608 121532 2847897 26418001 196 4088 103 170 166 119.84/119.90 c 21657 128021 2947754 26835452 196 4097 166 185 177 122.14/122.26 c 23910 135165 3069867 27568174 196 4118 95 183 175 130.64/130.78 c 26388 143402 3219136 29162302 196 4267 79 169 150 133.74/133.85 c 29113 150976 3375187 30195995 196 4303 119 178 170 143.14/143.29 c 32110 158877 3551458 31995277 196 4357 81 174 168 151.24/151.30 c 35406 167312 3745000 33869606 196 4383 121 170 165 154.34/154.43 c 39031 178110 3935371 34723818 196 4405 139 182 174 157.95/158.03 c 43018 189695 4136498 35700029 196 4431 100 181 170 161.64/161.78 c 47403 201913 4344992 36911379 196 4449 92 181 172 178.95/179.05 c 52226 214101 4650243 39962502 196 4494 89 166 162 183.85/183.96 c 57531 231585 4925924 41112866 196 4518 116 182 172 189.75/189.88 c 63366 249840 5258971 42565250 196 4538 100 179 172 212.85/212.91 c 69784 264836 5651941 47067559 196 4605 84 171 163 228.55/228.69 c 76843 284240 5973564 49771107 196 4729 95 170 156 243.96/244.04 c 84607 304346 6360169 53494157 196 4824 71 174 160 263.26/263.33 c 93147 328373 6787723 57189136 196 4954 89 171 163 279.56/279.66 c 102541 356058 7246005 60603463 196 5029 96 172 166 305.26/305.31 c 112874 385914 7743634 65204697 196 5136 88 173 166 315.86/315.98 c 124240 419141 8331484 68717367 196 5168 95 180 171 342.07/342.13 c 136742 450951 8899775 73473259 196 5253 79 171 165 373.17/373.27 c 150494 492256 9601243 79806009 196 5377 101 172 164 434.77/434.80 c 165621 529308 10704350 89674904 196 5420 95 167 161 477.08/477.12 c 182260 570644 11552422 97616417 196 5474 82 172 167 492.48/492.53 c 200562 629047 12441891 101814834 196 5505 131 183 175 508.18/508.29 c 220694 694817 13508801 105688615 196 5521 93 185 176 565.88/565.91 c 242839 759669 14678438 117477472 196 5660 48 169 154 587.88/587.98 c 267198 833849 15981631 124562231 196 5691 84 183 174 646.10/646.18 c 293992 911814 17053518 137391583 196 5896 50 160 143 670.29/670.33 c 323465 1000268 18433662 143137040 196 5945 100 181 172 779.90/779.94 c 355885 1092959 20504440 164785547 196 6040 84 172 162 865.21/865.29 c 391547 1188018 22206322 181763956 196 6134 84 171 163 932.61/932.69 c 430775 1311458 24309005 198277871 196 6169 73 182 174 970.12/970.15 c 473925 1442735 26502441 209478992 196 6196 163 184 175 997.82/997.86 c 521390 1582740 28513586 216436699 196 6224 161 187 179 1040.62/1040.64 c 573601 1735735 31052451 226416591 196 6251 84 181 174 1184.74/1184.72 c 631033 1882281 34178719 254172719 196 6319 96 173 169 1246.54/1246.52 c 694208 2081606 37807637 271678743 196 6383 100 182 169 1306.55/1306.52 c 763700 2286293 41176396 286807622 196 6439 84 182 173 1496.46/1496.41 c 840141 2495486 45631824 336185514 196 6507 95 172 165 1564.37/1564.37 c 924226 2743229 49580783 352611630 196 6529 84 181 171 1654.38/1654.39 c 1016719 3034092 54540059 378406788 196 6556 116 184 172 1727.68/1727.67 c 1118461 3360233 59613862 397162638 196 6605 160 190 176 2088.52/2088.44 c 1230377 3665287 66370003 465773365 196 6654 110 171 167 2192.43/2192.32 c 1353484 4041751 72239514 491040068 196 6672 157 182 171 2442.66/2442.53 c 1488901 4488786 80314831 548875752 196 6721 86 179 171 2520.06/2519.90 2520.06/2519.90 c *** INTERRUPTED *** 2520.06/2519.90 c restarts : 576 2520.06/2519.90 c conflicts : 1567886 (622 /sec) 2520.06/2519.90 c decisions : 4727066 (1876 /sec) 2520.06/2519.90 c propagations : 570750593 (226496 /sec) 2520.06/2519.90 c root propagations : 2179 2520.06/2519.90 c filter calls : 84553151 (33554 /sec) 2520.06/2519.90 c useless filter calls : 42095266 (49 %) 2520.06/2519.90 c 2520.06/2519.90 c clauses : 3752673 2520.06/2519.90 c SAT propagations : 1781 2520.06/2519.90 c SAT conflicts : 0 (1 learnts) 2520.06/2519.90 c Memory used : 217.72 MB 2520.06/2519.90 c CPU time : 2519.92 s 2520.06/2519.90 2520.06/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 (14974 MiB free)
memory of node 1: 16384 MiB (15300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266105-1502583962/watcher-4266105-1502583962 -o /tmp/evaluation-result-4266105-1502583962/solver-4266105-1502583962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266105-1502583962.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
solver pid=12050, runsolver pid=12047
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=31001864/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=27904 memory=4228 CPUtime=0.05 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 1278 0 0 0 5 0 0 0 20 0 1 0 106211406 28573696 1057 18446744073709551615 4194304 5972588 140720539255504 140720539252152 140276063820773 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 6976 1057 790 435 0 339 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 27904 KiB
Current children cumulated memory: 4228 KiB
[startup+0.209378 s]*
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=31000748/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=29016 memory=5476 CPUtime=0.16 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 1549 0 0 0 16 0 0 0 20 0 1 0 106211406 29712384 1369 18446744073709551615 4194304 5972588 140720539255504 140720539252152 140276063820773 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 7254 1369 791 435 0 617 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29016 KiB
Current children cumulated memory: 5476 KiB
[startup+0.309087 s]*
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30980408/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=57356 memory=32072 CPUtime=0.26 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 6691 0 0 0 25 1 0 0 20 0 1 0 106211406 58732544 8018 18446744073709551615 4194304 5972588 140720539255504 140720539252152 140276063820773 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 14339 8018 823 435 0 7702 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 57356 KiB
Current children cumulated memory: 32072 KiB
[startup+0.700354 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30862388/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=220160 memory=173968 CPUtime=0.64 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 30369 0 0 0 60 4 0 0 20 0 1 0 106211406 225443840 43492 18446744073709551615 4194304 5972588 140720539255504 140720539252152 5070704 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55040 43492 841 435 0 48403 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 220160 KiB
Current children cumulated memory: 173968 KiB
[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30831440/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=221236 memory=175096 CPUtime=1.44 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 30676 0 0 0 140 4 0 0 20 0 1 0 106211406 226545664 43774 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070984 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55309 43774 841 435 0 48672 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 221236 KiB
Current children cumulated memory: 175096 KiB
[startup+3.10947 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30830448/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=221764 memory=175668 CPUtime=3.05 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 40346 0 0 0 300 5 0 0 20 0 1 0 106211406 227086336 43917 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5244099 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55441 43917 841 435 0 48804 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 221764 KiB
Current children cumulated memory: 175668 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30830220/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222028 memory=176016 CPUtime=6.24 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 52500 0 0 0 618 6 0 0 20 0 1 0 106211406 227356672 44004 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4968763 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55507 44004 841 435 0 48870 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 222028 KiB
Current children cumulated memory: 176016 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30829972/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222288 memory=176232 CPUtime=12.64 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 72049 0 0 0 1257 7 0 0 20 0 1 0 106211406 227622912 44058 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5071908 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55572 44058 841 435 0 48935 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222288 KiB
Current children cumulated memory: 176232 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30829972/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222552 memory=176396 CPUtime=25.43 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 99348 0 0 0 2535 8 0 0 20 0 1 0 106211406 227893248 44099 18446744073709551615 4194304 5972588 140720539255504 140720539252328 5071856 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55638 44099 841 435 0 49001 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 222552 KiB
Current children cumulated memory: 176396 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.00 2.04 3/186 12051
/proc/meminfo: memFree=30829724/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222552 memory=176524 CPUtime=51.06 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 134323 0 0 0 5095 11 0 0 20 0 1 0 106211406 227893248 44131 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4972501 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55638 44131 841 435 0 49001 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 222552 KiB
Current children cumulated memory: 176524 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 12053
/proc/meminfo: memFree=30826624/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222808 memory=178776 CPUtime=102.24 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 162187 0 0 0 10211 13 0 0 20 0 1 0 106211406 228155392 44694 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5071040 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55702 44694 846 435 0 49065 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 178776 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 12055
/proc/meminfo: memFree=30827892/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222808 memory=178840 CPUtime=162.24 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 174834 0 0 0 16211 13 0 0 20 0 1 0 106211406 228155392 44710 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4978763 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55702 44710 846 435 0 49065 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 178840 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 12060
/proc/meminfo: memFree=30827140/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222808 memory=178844 CPUtime=222.25 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 176444 0 0 0 22211 14 0 0 20 0 1 0 106211406 228155392 44711 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5099628 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55702 44711 846 435 0 49065 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 178844 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 12062
/proc/meminfo: memFree=30826864/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222808 memory=178844 CPUtime=282.26 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 176455 0 0 0 28212 14 0 0 20 0 1 0 106211406 228155392 44711 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070944 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55702 44711 846 435 0 49065 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 222808 KiB
Current children cumulated memory: 178844 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 12064
/proc/meminfo: memFree=30826728/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=178884 CPUtime=342.26 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 178084 0 0 0 34212 14 0 0 20 0 1 0 106211406 228290560 44721 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4965605 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 44721 846 435 0 49098 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 178884 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 12066
/proc/meminfo: memFree=30826560/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=178884 CPUtime=402.27 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 178085 0 0 0 40213 14 0 0 20 0 1 0 106211406 228290560 44721 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4968801 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 44721 846 435 0 49098 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 178884 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/186 12068
/proc/meminfo: memFree=30826704/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=178900 CPUtime=462.27 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 179649 0 0 0 46213 14 0 0 20 0 1 0 106211406 228290560 44725 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4962251 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 44725 846 435 0 49098 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 178900 KiB
################
# More data... #
################
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+1842.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 12310
/proc/meminfo: memFree=30878132/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181020 CPUtime=1842.39 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 196115 0 0 0 184225 14 0 0 20 0 1 0 106211406 228290560 45255 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070984 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 12312
/proc/meminfo: memFree=30878580/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181020 CPUtime=1902.4 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 196487 0 0 0 190226 14 0 0 20 0 1 0 106211406 228290560 45255 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070984 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 12314
/proc/meminfo: memFree=30879088/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181020 CPUtime=1962.4 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 196592 0 0 0 196226 14 0 0 20 0 1 0 106211406 228290560 45255 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070711 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 12316
/proc/meminfo: memFree=30879072/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181020 CPUtime=2022.41 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 197022 0 0 0 202227 14 0 0 20 0 1 0 106211406 228290560 45255 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5071040 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 12318
/proc/meminfo: memFree=30879100/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181020 CPUtime=2082.42 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 197034 0 0 0 208228 14 0 0 20 0 1 0 106211406 228290560 45255 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4975700 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45255 846 435 0 49098 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181020 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 12320
/proc/meminfo: memFree=30879184/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181024 CPUtime=2142.43 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 198613 0 0 0 214228 15 0 0 20 0 1 0 106211406 228290560 45256 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4979111 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45256 846 435 0 49098 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181024 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 12322
/proc/meminfo: memFree=30878824/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181028 CPUtime=2202.43 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 199802 0 0 0 220228 15 0 0 20 0 1 0 106211406 228290560 45257 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5071806 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45257 846 435 0 49098 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181028 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 12324
/proc/meminfo: memFree=30878912/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181028 CPUtime=2262.44 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 200277 0 0 0 226229 15 0 0 20 0 1 0 106211406 228290560 45257 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5071868 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45257 846 435 0 49098 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181028 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 12341
/proc/meminfo: memFree=30873104/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181028 CPUtime=2322.44 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 200288 0 0 0 232229 15 0 0 20 0 1 0 106211406 228290560 45257 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4972786 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45257 846 435 0 49098 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181028 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 12344
/proc/meminfo: memFree=30873184/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181028 CPUtime=2382.45 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 200747 0 0 0 238230 15 0 0 20 0 1 0 106211406 228290560 45257 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4977791 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45257 846 435 0 49098 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181028 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 12346
/proc/meminfo: memFree=30877480/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181028 CPUtime=2442.46 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 200752 0 0 0 244231 15 0 0 20 0 1 0 106211406 228290560 45257 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4978790 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45257 846 435 0 49098 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181028 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12348
/proc/meminfo: memFree=30877900/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181032 CPUtime=2502.46 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 202276 0 0 0 250231 15 0 0 20 0 1 0 106211406 228290560 45258 18446744073709551615 4194304 5972588 140720539255504 140720539252808 4962339 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45258 846 435 0 49098 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12348
/proc/meminfo: memFree=30877784/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181032 CPUtime=2520.06 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 202277 0 0 0 251991 15 0 0 20 0 1 0 106211406 228290560 45258 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070992 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45258 846 435 0 49098 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 12050 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.92 s, system=0.154013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12348
/proc/meminfo: memFree=30877784/32770624 swapFree=67108860/67108860
[pid=12050] ppid=12047 vsize=222940 memory=181032 CPUtime=2520.06 cores=1,3,5,7
/proc/12050/stat : 12050 (cosoco) R 12047 12050 8289 0 -1 4202496 202277 0 0 0 251991 15 0 0 20 0 1 0 106211406 228290560 45258 18446744073709551615 4194304 5972588 140720539255504 140720539252808 5070992 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 29704192 140720539263428 140720539263528 140720539263528 140720539267022 0
/proc/12050/statm: 55735 45258 846 435 0 49098 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 222940 KiB
Current children cumulated memory: 181032 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2519.92
CPU system time (s): 0.154013
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 222940
Max. memory (cumulated for all children) (KiB): 181032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.154013
maximum resident set size= 181100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202327
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= 14
involuntary context switches= 817
# summary of solver processes directly reported to runsolver:
# pid: 12050
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.92
# total CPU system time (s): 0.154013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54535 second user time and 16.5872 second system time
The end
Begin job on node133 at 2017-08-13 02:11:54 IDJOB=4266105 IDBENCH=134598 IDSOLVER=2655 FILE ID=node133/4266105-1502583962 RUNJOBID= node133-1502565190-8354 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-14-int.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266105-1502583962/watcher-4266105-1502583962 -o /tmp/evaluation-result-4266105-1502583962/solver-4266105-1502583962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266105-1502583962.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dbbe8f9566e77e077469f9f7dbe82d4d RANDOM SEED=894549951 node133.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.17 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.17 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.17 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.17 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: 31002340 kB MemAvailable: 31913032 kB Buffers: 309480 kB Cached: 902228 kB SwapCached: 0 kB Active: 824052 kB Inactive: 508208 kB Active(anon): 120888 kB Inactive(anon): 41304 kB Active(file): 703164 kB Inactive(file): 466904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2460 kB Writeback: 0 kB AnonPages: 120280 kB Mapped: 56544 kB Shmem: 41660 kB Slab: 140340 kB SReclaimable: 112920 kB SUnreclaim: 27420 kB KernelStack: 3248 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 398968 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-13 02:53:54