| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8501 | 2520.01 |
| Name | CarSequencing/CarSequencing-m1-gagne/ CarSequencing-200-01.xml |
| MD5SUM | 10e5a0c89239e5196f6239a5150462fc |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1481 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 93 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":69,"count":8}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":2}, {"degree":92,"count":3}, {"degree":93,"count":21}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":8,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":14,"count":2},{"arity":15,"count":1},{"arity":17,"count":2},{"arity":20,"count":3},{"arity":22,"count":1},{"arity":23,"count":2},{"arity":24,"count":1},{"arity":25,"count":2},{"arity":26,"count":3},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":3},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":4},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1280},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.06 c 0.04/0.16 c SAT : Variables: 7000 -- Clauses: 62200 0.04/0.16 c root propagations : 0 0.04/0.16 c restarts enabled, print stats at every restarts 0.04/0.16 c 0.04/0.16 c 0.04/0.16 c 0.04/0.16 c This is cosoco 1.12 -- 0.04/0.16 c 0.04/0.16 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266004-1502578807.xml 0.04/0.16 c ========================================[ Problem Statistics ]=========================================== 0.04/0.16 c | 0.04/0.16 c | Parse time : 0.10 s 0.04/0.16 c | 0.04/0.16 c | Variables: 1200 0.04/0.16 c | Domain Sizes: 2..25 0.04/0.16 c | 0.04/0.16 c | Constraints: 1505 0.04/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.04/0.16 c | 0.04/0.16 c | Types: 0.04/0.16 c | Exactly K: 25 0.04/0.16 c | Extension: 200 (nb tuples: 25..25) -- (shared: 199) 0.04/0.16 c | Sum: 1280 0.04/0.16 c | 0.04/0.16 c ========================================================================================================= 0.04/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.25/0.34 c 10 551 27222 6166 0 3 521 529 475 0.54/0.61 c 20 1013 63071 10232 0 6 438 444 402 0.73/0.81 c 30 1083 89983 18022 0 16 23 59 37 0.73/0.89 c 40 1164 101430 20190 0 17 43 47 41 0.83/0.95 c 50 1226 110157 21530 0 19 25 30 25 1.04/1.18 c 60 1779 147973 28060 0 22 26 526 205 1.23/1.33 c 70 1974 171436 32696 0 31 27 177 105 1.43/1.55 c 80 2263 206501 40287 0 39 27 279 169 1.63/1.71 c 90 2543 233044 44734 0 47 257 267 239 1.73/1.84 c 100 2733 253352 48407 0 54 112 177 129 1.83/1.92 c 101 2846 267008 51322 0 55 113 113 56 2.04/2.14 c 110 3335 302701 57029 0 62 112 476 252 2.13/2.28 c 120 3545 325549 60910 0 66 127 193 168 2.33/2.40 c 130 3698 344479 64712 0 68 116 127 109 2.33/2.49 c 140 3776 358228 68173 0 69 50 54 47 2.53/2.60 c 150 3895 373928 71828 0 73 60 86 61 2.73/2.80 c 160 4374 408297 77174 0 78 55 453 305 2.94/3.03 c 170 4608 444732 85152 0 83 169 209 175 3.04/3.19 c 180 4811 471075 90203 0 87 65 173 135 3.23/3.33 c 190 4961 491648 95085 0 89 101 111 98 3.43/3.51 c 200 5179 520515 101445 0 95 85 185 102 3.43/3.58 c 210 5259 530199 103061 0 97 35 38 33 3.43/3.59 c 211 5276 531954 103355 0 98 17 17 8 3.63/3.79 c 220 5549 567504 111261 0 102 101 185 135 3.83/3.99 c 230 5798 600026 119153 0 112 84 240 154 4.04/4.17 c 240 5909 627179 127268 0 114 80 89 76 4.23/4.35 c 250 6028 656629 142869 0 124 63 110 74 4.33/4.47 c 260 6130 676259 149675 0 125 77 81 72 4.53/4.65 c 270 6258 704597 162574 0 129 45 111 82 4.63/4.73 c 280 6363 717900 166024 0 133 71 79 67 4.73/4.87 c 290 6484 738873 173943 0 137 62 102 72 4.83/4.98 c 300 6600 755957 179505 0 143 68 94 77 5.13/5.22 c 310 6768 793685 190074 0 148 91 137 109 5.33/5.45 c 320 6929 828718 198974 0 155 88 145 118 5.43/5.55 c 330 7054 843778 201499 0 160 27 87 63 5.53/5.63 c 332 7152 855664 204720 0 161 94 95 63 5.63/5.72 c 340 7255 869668 208467 0 163 66 80 63 5.73/5.88 c 350 7411 893902 214632 0 165 75 124 99 5.94/6.01 c 360 7592 914012 219222 0 169 102 109 95 6.04/6.15 c 370 7761 934627 223525 0 171 96 106 92 6.13/6.25 c 380 7872 950177 227196 0 173 72 82 69 6.33/6.43 c 390 8078 977806 233100 0 176 103 180 129 6.43/6.53 c 400 8192 992802 237012 0 182 30 78 55 6.43/6.58 c 410 8255 1000087 238807 0 185 24 33 26 6.63/6.76 c 420 8476 1028995 244806 0 188 159 182 157 6.83/6.94 c 430 8678 1056624 250587 0 197 153 191 156 6.94/7.10 c 440 8838 1079812 255684 0 203 141 146 130 7.14/7.21 c 450 8968 1095410 257397 0 206 90 95 84 7.14/7.29 c 460 9071 1106440 258861 0 209 62 70 60 7.24/7.34 c 465 9148 1113956 259590 0 214 57 73 54 7.24/7.38 c 470 9217 1119954 260403 0 219 20 50 28 7.34/7.46 c 480 9339 1130179 261714 0 223 25 54 39 7.44/7.57 c 490 9460 1147647 267700 0 230 20 106 33 7.74/7.80 c 500 9620 1181740 275536 0 234 127 140 120 7.84/7.91 c 510 9773 1197739 277622 0 236 21 126 31 8.05/8.11 c 520 9957 1226651 283264 0 246 19 175 116 8.24/8.35 c 530 10139 1260456 289253 0 256 18 173 118 8.44/8.53 c 540 10332 1289594 295093 0 264 89 183 135 8.64/8.70 c 550 10482 1314421 300151 0 268 128 133 118 8.74/8.86 c 560 10682 1338431 303988 0 272 43 179 140 8.84/8.92 c 570 10752 1347447 306087 0 274 38 48 38 8.95/9.08 c 580 10923 1371585 310978 0 278 111 149 121 9.14/9.23 c 590 11103 1393746 315182 0 281 41 157 70 9.24/9.32 c 600 11210 1406140 317167 0 285 25 80 31 9.34/9.44 c 610 11367 1423341 321059 0 292 32 144 68 9.34/9.45 c 611 11385 1425003 321319 0 293 18 18 9 9.44/9.57 c 620 11536 1442187 323409 0 297 17 129 80 9.64/9.70 c 630 11712 1461339 327058 0 302 20 167 127 9.74/9.81 c 640 11894 1478165 328555 0 308 17 129 99 9.74/9.85 c 650 11938 1483121 329702 0 310 18 22 18 9.74/9.88 c 660 11977 1487830 331229 0 314 16 19 15 9.95/10.06 c 670 12137 1514281 337351 0 319 13 141 83 10.05/10.17 c 680 12306 1531559 338891 0 320 126 131 116 10.24/10.34 c 690 12482 1556179 346454 0 323 112 137 112 10.44/10.56 c 700 12697 1590186 353269 0 333 65 206 149 10.54/10.65 c 710 12810 1603648 355167 0 340 69 86 71 10.64/10.75 c 720 12943 1618700 357114 0 345 42 92 75 10.74/10.84 c 730 13049 1632333 358525 0 348 50 66 55 10.95/11.05 c 740 13246 1665318 365284 0 357 72 186 127 11.05/11.19 c 750 13429 1686023 369144 0 363 103 173 150 11.24/11.36 c 760 13635 1710756 374106 0 369 178 189 166 11.44/11.53 c 770 13826 1735016 376740 0 375 145 175 145 11.54/11.62 c 771 13975 1748356 377924 0 376 149 149 74 11.74/11.85 c 780 14144 1784883 386519 0 380 144 152 132 11.84/11.99 c 790 14355 1804861 388773 0 382 141 149 133 12.05/12.17 c 800 14579 1831988 394398 0 387 20 208 125 12.24/12.33 c 810 14773 1856536 398600 0 394 155 180 157 12.34/12.48 c 820 14936 1879166 403503 0 399 44 142 116 12.54/12.60 c 830 15115 1896160 405257 0 404 101 144 120 12.64/12.77 c 840 15319 1922851 411047 0 413 20 192 127 12.84/12.99 c 850 15566 1958452 418385 0 418 115 200 148 13.14/13.23 c 860 15810 1993449 426787 0 425 110 173 138 13.34/13.41 c 870 16023 2020510 432782 0 434 126 180 152 13.44/13.59 c 880 16214 2048594 439052 0 444 45 182 113 13.64/13.74 c 890 16393 2070023 443013 0 454 107 170 123 13.74/13.87 c 900 16546 2089987 446674 0 459 111 135 116 13.84/14.00 c 910 16712 2109480 451446 0 468 71 155 104 14.04/14.16 c 920 16873 2133456 456506 0 472 131 138 121 14.24/14.30 c 930 17046 2154874 461489 0 474 124 138 118 14.44/14.52 c 940 17237 2189348 468907 0 478 127 154 127 14.54/14.63 c 947 17377 2205534 470430 0 481 111 119 102 14.64/14.70 c 950 17464 2215918 473552 0 484 53 85 54 14.74/14.85 c 960 17631 2238162 479808 0 489 54 127 102 14.84/14.99 c 970 17816 2259970 485022 0 494 46 127 101 15.04/15.13 c 980 17986 2280855 490180 0 498 53 118 95 15.24/15.30 c 990 18160 2307869 503521 0 504 48 99 78 15.44/15.51 c 1000 18317 2339887 510936 0 514 79 147 108 15.54/15.61 c 1010 18440 2354860 514727 0 520 61 87 72 15.64/15.79 c 1020 18656 2382427 520655 0 525 119 183 152 15.94/16.02 c 1030 18832 2417505 533439 0 535 65 167 106 16.04/16.12 c 1040 18963 2432599 535186 0 541 59 117 85 16.24/16.30 c 1050 19180 2460427 541300 0 547 104 184 140 16.34/16.44 c 1060 19302 2481388 546360 0 557 49 113 71 16.54/16.60 c 1070 19463 2505836 551969 0 565 90 148 109 16.64/16.75 c 1080 19626 2528451 556685 0 570 103 143 120 16.84/16.93 c 1090 19778 2555706 562890 0 578 126 136 118 16.94/17.04 c 1100 19905 2572364 566701 0 579 101 106 94 17.04/17.14 c 1110 20036 2588416 570184 0 582 100 109 94 17.14/17.25 c 1120 20160 2603891 573917 0 583 90 98 85 17.24/17.35 c 1130 20277 2619542 577740 0 588 76 96 75 17.34/17.41 c 1140 20364 2629295 579314 0 590 47 52 46 17.34/17.47 c 1141 20439 2637894 582312 0 591 75 75 37 17.54/17.69 c 1150 20636 2671527 589270 0 598 120 166 127 17.64/17.78 c 1160 20741 2684028 591008 0 606 59 89 65 17.74/17.87 c 1170 20872 2698500 594781 0 611 77 90 77 18.14/18.22 c 1180 21048 2751375 608556 0 618 116 149 125 18.24/18.38 c 1190 21223 2774402 613310 0 626 116 146 120 18.44/18.57 c 1200 21379 2803901 622367 0 628 80 126 108 18.64/18.77 c 1210 21541 2833728 628882 0 635 52 139 97 18.74/18.84 c 1220 21645 2844174 630210 0 638 47 85 70 18.74/18.89 c 1230 21734 2851794 631468 0 640 46 54 44 18.84/18.92 c 1240 21793 2857025 632666 0 642 20 30 21 18.84/18.96 c 1250 21850 2862290 634203 0 644 21 24 20 18.84/18.99 c 1260 21899 2867050 635811 0 646 18 21 17 19.14/19.28 c 1270 22082 2912085 646666 0 651 122 152 121 19.64/19.76 c 1280 22291 2984103 664601 0 655 122 178 140 19.94/20.10 c 1290 22479 3037379 684361 0 659 97 150 119 20.23/20.30 c 1300 22640 3068619 691365 0 661 107 147 123 20.33/20.46 c 1310 22830 3093525 697626 0 671 18 176 115 20.43/20.55 c 1320 22956 3107090 699751 0 677 18 109 40 20.63/20.72 c 1330 23135 3134886 705522 0 687 59 168 120 20.73/20.88 c 1340 23306 3158874 710717 0 693 67 143 114 20.94/21.04 c 1350 23490 3184244 715838 0 703 124 174 146 21.04/21.13 c 1352 23621 3198484 719237 0 705 53 130 61 21.13/21.28 c 1360 23800 3222601 724318 0 713 133 172 138 21.33/21.40 c 1370 23936 3239555 726248 0 721 53 127 93 21.53/21.67 c 1380 24103 3282554 736466 0 724 121 154 126 21.73/21.82 c 1390 24262 3304261 740584 0 734 55 148 95 21.83/21.95 c 1400 24406 3324075 744363 0 744 62 133 83 21.94/22.10 c 1410 24575 3346275 750404 0 751 63 134 88 22.33/22.42 c 1420 24757 3394850 762464 0 758 66 147 109 22.43/22.57 c 1430 24912 3417178 767333 0 765 95 137 108 22.63/22.70 c 1440 25056 3438403 772074 0 770 97 130 107 22.73/22.87 c 1450 25241 3464892 777533 0 779 77 174 119 22.94/23.01 c 1460 25402 3486979 782393 0 782 125 133 117 23.13/23.20 c 1470 25580 3516591 789360 0 791 59 161 110 23.23/23.34 c 1480 25747 3537839 793253 0 799 95 156 120 23.43/23.53 c 1490 25932 3567774 800268 0 806 67 159 120 23.53/23.68 c 1500 26094 3591905 805707 0 810 95 143 121 23.73/23.87 c 1510 26276 3621083 812614 0 817 95 162 129 23.94/24.01 c 1520 26428 3643111 817540 0 820 122 130 115 24.13/24.25 c 1530 26595 3680230 828842 0 829 107 147 119 24.23/24.39 c 1540 26761 3703022 833671 0 834 76 140 120 24.43/24.52 c 1550 26910 3722936 837388 0 842 96 135 105 24.63/24.70 c 1560 27091 3750404 844003 0 847 117 155 130 24.83/24.90 c 1570 27227 3780497 853982 0 857 88 127 97 24.94/25.05 c 1580 27364 3804439 861584 0 863 115 121 108 25.04/25.11 c 1585 27445 3812324 862410 0 868 70 77 61 25.13/25.26 c 1590 27580 3836749 868248 0 871 112 127 97 25.33/25.43 c 1600 27771 3864113 874900 0 876 119 155 134 25.63/25.74 c 1610 27934 3910940 885747 0 881 115 141 111 25.83/25.91 c 1620 28101 3937434 892032 0 891 54 150 106 26.23/26.32 c 1630 28275 3999784 906994 0 896 121 141 118 26.33/26.49 c 1640 28452 4027075 913454 0 902 78 152 122 26.63/26.76 c 1650 28639 4067536 922737 0 908 116 141 120 26.83/26.93 c 1660 28821 4094309 930313 0 914 117 146 125 27.04/27.12 c 1670 28987 4125782 941113 0 916 118 129 114 27.43/27.55 c 1680 29170 4190326 957378 0 921 120 151 125 27.63/27.77 c 1690 29362 4225581 968695 0 927 117 156 118 27.83/27.99 c 1700 29544 4258458 975182 0 934 115 161 139 28.04/28.17 c 1710 29695 4286293 981294 0 939 119 135 119 28.23/28.32 c 1720 29864 4311011 989662 0 943 126 136 118 28.33/28.42 c 1730 29965 4325038 991908 0 945 61 65 57 28.43/28.54 c 1740 30112 4344040 996782 0 953 121 134 117 28.53/28.66 c 1750 30269 4362930 1000441 0 959 104 133 113 28.73/28.85 c 1760 30443 4392465 1006914 0 964 125 150 119 28.94/29.09 c 1770 30684 4429420 1016637 0 972 47 212 107 29.23/29.30 c 1780 30822 4461267 1030376 0 982 47 129 71 29.33/29.47 c 1790 30989 4486717 1035971 0 990 114 155 116 29.53/29.65 c 1800 31215 4516449 1042383 0 995 125 173 146 29.73/29.80 c 1810 31378 4539230 1047161 0 1000 124 151 134 29.83/29.92 c 1820 31523 4558087 1050769 0 1005 100 128 111 29.94/30.04 c 1830 31669 4577204 1054443 0 1010 116 126 108 30.04/30.16 c 1840 31815 4594654 1057980 0 1015 124 134 117 30.13/30.25 c 1841 31939 4608442 1061247 0 1016 124 124 62 30.33/30.44 c 1850 32106 4637791 1067520 0 1021 112 126 107 30.53/30.60 c 1860 32258 4661729 1073232 0 1028 107 134 106 30.63/30.78 c 1870 32474 4691967 1079815 0 1032 124 155 135 30.83/30.93 c 1880 32582 4713739 1087691 0 1042 47 99 60 30.94/31.05 c 1890 32730 4731668 1091285 0 1044 115 125 111 31.13/31.28 c 1900 32905 4766692 1098431 0 1050 43 150 110 31.33/31.41 c 1910 33055 4786853 1102216 0 1055 82 128 109 31.43/31.55 c 1920 33215 4807693 1107416 0 1063 94 150 121 31.63/31.76 c 1930 33398 4839557 1113727 0 1071 78 159 124 31.73/31.89 c 1940 33541 4859117 1117981 0 1079 52 126 93 31.83/32.00 c 1950 33688 4874900 1119277 0 1083 86 118 102 32.13/32.23 c 1960 33855 4910091 1126782 0 1092 69 153 111 32.23/32.37 c 1970 34012 4932188 1130811 0 1096 79 142 114 32.43/32.57 c 1980 34205 4964321 1138061 0 1099 96 146 123 32.63/32.75 c 1990 34343 4991880 1150620 0 1108 49 126 72 32.73/32.86 c 2000 34488 5008962 1154051 0 1112 122 126 112 33.04/33.11 c 2010 34673 5048614 1162887 0 1114 111 147 122 33.13/33.22 c 2020 34815 5066014 1166397 0 1119 110 119 106 33.33/33.41 c 2030 34970 5095946 1173227 0 1126 25 140 95 33.43/33.56 c 2040 35121 5119863 1178135 0 1132 18 132 100 33.53/33.68 c 2050 35286 5139483 1182945 0 1136 131 135 120 33.73/33.80 c 2060 35449 5157290 1186593 0 1139 92 121 104 33.83/33.90 c 2070 35573 5173153 1191134 0 1149 56 115 77 33.94/34.04 c 2080 35744 5194448 1196427 0 1159 88 161 121 34.04/34.16 c 2090 35893 5213120 1201744 0 1169 97 140 105 34.23/34.33 c 2100 36050 5240490 1215110 0 1177 61 119 90 34.33/34.45 c 2110 36201 5258627 1220295 0 1187 107 142 115 34.43/34.57 c 2120 36355 5276902 1225548 0 1195 97 142 112 34.53/34.62 c 2122 36411 5285378 1229117 0 1197 53 55 36 34.63/34.72 c 2130 36545 5300907 1234181 0 1205 51 126 91 34.73/34.84 c 2140 36697 5319454 1239565 0 1214 104 143 109 34.83/34.98 c 2150 36837 5339476 1244506 0 1224 52 131 81 34.94/35.08 c 2160 36989 5355848 1247963 0 1228 86 127 110 35.13/35.20 c 2170 37127 5373116 1253241 0 1238 87 129 100 35.13/35.28 c 2180 37213 5386311 1257060 0 1245 51 68 53 35.33/35.42 c 2190 37385 5406784 1262321 0 1254 118 162 126 35.43/35.54 c 2200 37544 5425969 1267547 0 1264 92 149 111 35.53/35.66 c 2210 37690 5444552 1271378 0 1271 72 134 99 35.63/35.76 c 2220 37819 5460819 1276459 0 1281 88 120 97 35.83/35.90 c 2230 37896 5481391 1287454 0 1290 51 65 53 35.94/36.01 c 2240 38031 5497979 1292284 0 1300 51 126 75 36.04/36.14 c 2250 38174 5518626 1297140 0 1309 62 132 96 36.13/36.27 c 2260 38325 5537117 1302028 0 1319 55 142 91 36.33/36.44 c 2270 38454 5563041 1313043 0 1329 50 120 64 36.33/36.47 c 2280 38515 5568669 1314540 0 1333 20 25 20 36.43/36.59 c 2290 38665 5587429 1319633 0 1343 16 141 101 36.63/36.71 c 2300 38804 5604867 1324524 0 1353 97 130 101 36.83/36.99 c 2310 38981 5646512 1335585 0 1363 131 168 131 37.04/37.13 c 2320 39154 5668454 1340799 0 1373 98 164 123 37.13/37.26 c 2330 39331 5689336 1346059 0 1380 115 162 134 37.23/37.37 c 2340 39470 5706595 1351227 0 1390 97 130 105 37.43/37.51 c 2350 39641 5727243 1356261 0 1400 19 162 117 37.53/37.65 c 2360 39821 5748668 1361539 0 1410 103 171 129 37.63/37.77 c 2370 39988 5768314 1366740 0 1419 95 158 115 37.83/37.91 c 2380 40138 5789072 1370810 0 1429 72 141 109 37.94/38.01 c 2390 40276 5805389 1375597 0 1439 52 129 77 38.04/38.14 c 2400 40397 5824634 1380030 0 1449 48 112 58 38.13/38.28 c 2410 40565 5845649 1385193 0 1459 105 159 123 38.33/38.44 c 2420 40689 5868779 1392970 0 1469 47 115 57 38.43/38.57 c 2430 40856 5889074 1398128 0 1479 104 158 122 38.53/38.60 c 2431 40904 5894501 1399593 0 1480 48 48 24 38.63/38.73 c 2440 41063 5914396 1404661 0 1489 86 151 115 38.83/38.92 c 2450 41222 5943014 1411255 0 1499 48 150 76 38.94/39.06 c 2460 41405 5964658 1416419 0 1509 105 174 126 39.13/39.20 c 2470 41525 5984469 1421774 0 1519 47 111 57 39.23/39.34 c 2480 41715 6006660 1426955 0 1529 116 181 142 39.33/39.47 c 2490 41851 6027035 1430824 0 1535 65 127 105 39.53/39.60 c 2500 42038 6048345 1436019 0 1545 100 178 136 39.63/39.73 c 2510 42186 6068221 1438817 0 1551 111 135 113 39.73/39.86 c 2520 42357 6087794 1443639 0 1561 53 162 88 39.94/40.03 c 2530 42489 6113600 1454597 0 1571 47 123 58 40.04/40.17 c 2540 42678 6135870 1459756 0 1581 128 175 144 40.23/40.31 c 2550 42814 6157199 1464759 0 1587 111 127 110 40.33/40.46 c 2560 43014 6180613 1470052 0 1597 151 191 157 40.43/40.59 c 2570 43154 6201857 1473874 0 1604 59 129 109 40.63/40.78 c 2580 43367 6231524 1479194 0 1612 150 189 147 40.73/40.89 c 2590 43507 6247296 1481192 0 1622 50 131 68 40.94/41.06 c 2600 43706 6274109 1486712 0 1630 151 181 152 41.23/41.35 c 2610 43865 6318470 1504030 0 1640 48 150 75 41.43/41.50 c 2620 44054 6342854 1509124 0 1645 155 168 147 41.53/41.67 c 2630 44278 6369970 1515015 0 1649 130 191 158 41.63/41.79 c 2640 44433 6388606 1519287 0 1659 47 144 68 41.83/41.95 c 2650 44642 6413403 1524439 0 1669 149 198 159 42.04/42.12 c 2660 44777 6438928 1534493 0 1679 37 126 57 42.13/42.27 c 2670 45001 6463331 1539717 0 1688 189 212 183 42.33/42.41 c 2680 45208 6486019 1545000 0 1697 150 197 157 42.43/42.60 c 2690 45358 6513337 1556709 0 1707 32 141 64 42.63/42.75 c 2700 45584 6538177 1562043 0 1715 170 216 181 42.83/42.92 c 2710 45737 6563977 1570792 0 1725 29 144 56 42.93/43.08 c 2720 45960 6587861 1576006 0 1735 139 214 170 43.04/43.19 c 2730 46064 6605412 1581318 0 1745 25 95 47 43.23/43.34 c 2740 46290 6628757 1586676 0 1753 167 208 178 43.33/43.48 c 2750 46379 6650261 1597706 0 1763 24 80 45 43.53/43.60 c 2760 46597 6670315 1602706 0 1773 82 209 138 43.63/43.71 c 2770 46687 6686163 1607961 0 1783 24 81 45 43.73/43.80 c 2771 46864 6701747 1612382 0 1784 177 177 88 43.83/43.94 c 2780 47094 6724561 1617527 0 1793 158 222 180 43.93/44.07 c 2790 47183 6743558 1625326 0 1803 24 80 44 44.13/44.21 c 2800 47439 6767185 1630695 0 1807 217 231 206 44.23/44.36 c 2810 47557 6789802 1640032 0 1817 23 109 48 44.43/44.50 c 2820 47798 6812680 1645274 0 1827 158 232 184 44.53/44.66 c 2830 48057 6837643 1650621 0 1835 195 243 208 44.63/44.78 c 2840 48144 6856315 1658408 0 1845 22 78 41 44.83/44.92 c 2850 48391 6879568 1663663 0 1855 193 237 198 44.93/45.08 c 2860 48502 6903611 1674875 0 1865 22 102 45 45.13/45.23 c 2870 48771 6928226 1680239 0 1870 227 242 216 45.23/45.38 c 2880 49021 6952676 1685497 0 1880 203 240 203 45.43/45.54 c 2890 49259 6978825 1690326 0 1888 157 226 187 45.63/45.70 c 2900 49508 7004273 1695750 0 1897 212 239 205 45.73/45.86 c 2910 49603 7027990 1709645 0 1907 22 86 42 45.83/46.00 c 2920 49861 7051741 1714903 0 1917 121 249 180 46.03/46.15 c 2930 49949 7074734 1727823 0 1927 22 79 40 46.13/46.29 c 2940 50221 7098732 1733230 0 1933 100 253 177 46.43/46.54 c 2950 50376 7134788 1744274 0 1941 77 142 108 46.53/46.69 c 2960 50645 7159264 1749522 0 1951 219 260 219 46.73/46.83 c 2970 50921 7184155 1754884 0 1955 237 254 228 46.83/46.98 c 2980 51185 7208583 1760176 0 1965 215 254 214 47.03/47.15 c 2990 51295 7233873 1775178 0 1975 22 101 44 47.13/47.29 c 3000 51565 7257718 1780469 0 1985 116 261 197 47.33/47.45 c 3010 51839 7283676 1785831 0 1994 217 262 220 47.43/47.60 c 3020 51935 7305252 1795672 0 2004 22 87 41 47.63/47.74 c 3030 52214 7330141 1801118 0 2009 235 249 223 47.83/47.91 c 3040 52309 7355205 1812956 0 2018 22 85 41 47.93/48.06 c 3050 52573 7379224 1818297 0 2026 209 252 217 48.03/48.15 c 3060 52666 7392119 1821685 0 2036 23 83 41 48.23/48.30 c 3070 52949 7417910 1827085 0 2044 209 266 225 48.33/48.46 c 3080 53220 7441597 1831692 0 2051 54 235 104 48.53/48.61 c 3090 53487 7466204 1836997 0 2061 200 258 216 48.63/48.77 c 3100 53615 7490586 1850615 0 2067 32 93 67 48.83/48.92 c 3110 53896 7516393 1856101 0 2071 241 251 226 48.93/49.08 c 3120 53987 7539331 1866657 0 2080 22 82 38 49.13/49.23 c 3130 54267 7564932 1872182 0 2084 239 248 222 49.23/49.33 c 3140 54359 7578912 1876277 0 2093 23 83 37 49.33/49.45 c 3142 54603 7600176 1881224 0 2095 239 243 160 49.43/49.53 c 3150 54657 7611802 1885208 0 2103 23 47 27 49.53/49.69 c 3160 54944 7637513 1890689 0 2109 250 267 237 49.73/49.85 c 3170 55022 7661911 1902821 0 2119 22 67 33 49.83/49.99 c 3180 55249 7683553 1908900 0 2129 22 218 60 50.03/50.12 c 3190 55319 7703406 1918103 0 2137 23 56 34 50.13/50.26 c 3200 55539 7724443 1924389 0 2147 22 209 44 50.33/50.40 c 3210 55800 7748266 1928244 0 2154 182 246 215 50.43/50.55 c 3220 56076 7773037 1933518 0 2161 229 264 223 50.63/50.70 c 3230 56351 7798280 1938853 0 2170 218 265 221 50.73/50.87 c 3240 56628 7824779 1944246 0 2179 216 266 224 50.93/51.05 c 3250 56714 7852441 1962075 0 2184 32 62 47 51.13/51.21 c 3260 57009 7879271 1967710 0 2189 250 263 235 51.23/51.37 c 3270 57284 7905334 1973018 0 2194 214 255 225 51.43/51.52 c 3280 57558 7929629 1978459 0 2203 209 265 215 51.53/51.67 c 3290 57841 7954979 1983884 0 2212 222 270 227 51.73/51.84 c 3300 57935 7980196 1996819 0 2220 25 73 41 51.83/51.99 c 3310 58210 8004652 2002170 0 2228 217 263 221 52.03/52.18 c 3320 58348 8033904 2020087 0 2233 52 101 72 52.23/52.33 c 3330 58644 8057987 2025450 0 2240 227 283 241 52.43/52.52 c 3340 58751 8087016 2045053 0 2245 58 85 70 52.53/52.66 c 3350 59040 8110864 2050442 0 2254 234 279 235 52.73/52.83 c 3360 59329 8136224 2055390 0 2263 39 272 161 52.83/52.98 c 3370 59621 8161255 2060643 0 2271 245 278 239 53.03/53.14 c 3380 59935 8187728 2066141 0 2274 278 290 257 53.23/53.30 c 3390 60226 8212895 2070346 0 2282 237 280 242 53.33/53.45 c 3400 60527 8238289 2075634 0 2291 262 292 253 53.53/53.60 c 3410 60822 8262290 2081003 0 2301 244 286 243 53.63/53.76 c 3420 61110 8287479 2086509 0 2310 39 270 108 53.83/53.92 c 3430 61421 8313168 2091902 0 2318 271 293 257 53.93/54.04 c 3440 61504 8330485 2098317 0 2328 22 69 35 54.03/54.19 c 3450 61811 8355363 2103709 0 2338 246 296 252 54.23/54.34 c 3460 62107 8380083 2109014 0 2347 250 286 244 54.33/54.49 c 3470 62218 8402724 2119688 0 2354 38 91 60 54.53/54.64 c 3480 62524 8427576 2125051 0 2361 263 290 253 54.63/54.79 c 3490 62814 8452208 2130369 0 2368 248 280 242 54.83/54.95 c 3500 63105 8476871 2135688 0 2375 250 281 243 54.93/55.10 c 3510 63398 8501331 2141047 0 2383 254 277 242 55.13/55.24 c 3520 63511 8522682 2150857 0 2391 42 90 65 55.33/55.41 c 3530 63827 8549880 2156446 0 2394 276 282 253 55.43/55.52 c 3540 63910 8566107 2162162 0 2404 23 69 35 55.53/55.67 c 3550 64204 8591585 2167514 0 2413 247 283 244 55.63/55.70 c 3551 64231 8595228 2168466 0 2414 27 27 13 55.73/55.85 c 3560 64522 8619285 2173727 0 2423 248 283 240 55.93/56.03 c 3570 64792 8646654 2182413 0 2433 27 251 66 56.03/56.17 c 3580 65080 8670118 2186211 0 2440 240 276 244 56.23/56.32 c 3590 65364 8694359 2191368 0 2450 23 275 132 56.33/56.45 c 3600 65447 8712285 2198176 0 2460 22 69 35 56.53/56.61 c 3610 65752 8738758 2203689 0 2466 266 284 251 56.63/56.76 c 3620 66046 8763907 2209048 0 2475 249 282 243 56.83/56.95 c 3630 66333 8793065 2214217 0 2481 73 267 205 56.93/57.10 c 3640 66625 8817594 2219563 0 2490 245 282 242 57.13/57.26 c 3650 66935 8843397 2225079 0 2493 268 279 249 57.33/57.40 c 3660 67220 8866762 2229026 0 2499 223 271 234 57.43/57.55 c 3670 67524 8891884 2234385 0 2504 270 290 255 57.63/57.72 c 3680 67814 8920124 2239692 0 2511 227 278 245 57.73/57.88 c 3690 68110 8944599 2244968 0 2518 247 286 245 57.93/58.06 c 3700 68401 8972138 2249437 0 2525 83 272 224 58.13/58.22 c 3710 68704 8998348 2254822 0 2533 253 287 248 58.33/58.40 c 3720 68826 9025705 2269208 0 2543 32 102 57 58.43/58.55 c 3730 69113 9049999 2274522 0 2552 237 278 237 58.63/58.70 c 3740 69404 9074565 2279855 0 2560 239 281 238 58.73/58.85 c 3750 69691 9098540 2285168 0 2567 244 270 236 58.83/59.00 c 3760 69822 9122198 2300119 0 2572 64 105 80 59.04/59.16 c 3770 70128 9147686 2305630 0 2577 259 283 247 59.23/59.31 c 3780 70256 9171173 2318009 0 2584 57 104 76 59.33/59.47 c 3790 70577 9197290 2323721 0 2588 266 281 252 59.53/59.65 c 3800 70871 9227338 2328426 0 2594 227 276 243 59.73/59.81 c 3810 71178 9253171 2333887 0 2602 266 286 252 59.83/59.97 c 3820 71466 9278192 2339322 0 2610 244 269 235 60.04/60.13 c 3830 71757 9303138 2344213 0 2621 58 275 167 60.23/60.30 c 3840 72071 9330346 2349666 0 2627 279 300 264 60.33/60.43 c 3850 72205 9350357 2358446 0 2635 58 110 79 60.53/60.60 c 3860 72524 9377842 2364217 0 2639 265 281 249 60.63/60.78 c 3870 72820 9407080 2369592 0 2645 228 276 238 60.83/60.93 c 3880 73121 9432411 2374968 0 2654 258 289 250 61.04/61.13 c 3890 73415 9461719 2381095 0 2664 58 271 148 61.13/61.29 c 3900 73721 9487640 2386533 0 2670 181 288 245 61.33/61.49 c 3910 74014 9520712 2392219 0 2676 228 276 240 61.53/61.64 c 3920 74292 9544240 2397241 0 2686 23 269 151 61.73/61.81 c 3930 74425 9569601 2413323 0 2695 57 105 75 61.83/61.99 c 3940 74746 9599308 2419340 0 2700 270 286 254 62.04/62.16 c 3950 75037 9625488 2423745 0 2707 83 277 206 62.23/62.31 c 3960 75333 9650048 2429072 0 2717 210 287 239 62.43/62.58 c 3970 75644 9692053 2437052 0 2720 262 276 248 62.53/62.69 c 3980 75892 9710424 2440662 0 2725 210 214 192 62.73/62.84 c 3990 76184 9734824 2446026 0 2734 244 281 240 62.83/62.99 c 4000 76470 9758095 2449703 0 2737 266 271 245 63.04/63.11 c 4001 76739 9778251 2454384 0 2738 269 269 134 63.13/63.25 c 4010 77024 9801089 2458461 0 2746 58 269 217 63.33/63.44 c 4020 77334 9832493 2464297 0 2750 262 289 243 63.53/63.62 c 4030 77407 9858263 2477299 0 2760 22 57 30 63.63/63.77 c 4040 77711 9883218 2482799 0 2765 266 280 250 63.83/63.97 c 4050 77784 9913818 2502857 0 2775 22 57 30 64.04/64.14 c 4060 78097 9940840 2508545 0 2780 275 288 255 64.13/64.27 c 4070 78183 9960353 2516190 0 2790 23 69 35 64.33/64.44 c 4080 78491 9988246 2522059 0 2795 218 285 251 64.53/64.61 c 4090 78779 10013690 2527491 0 2805 58 270 164 64.63/64.76 c 4100 79087 10038599 2532912 0 2812 272 290 257 64.83/64.91 c 4110 79223 10062529 2549453 0 2821 68 118 85 64.94/65.09 c 4120 79553 10092327 2555592 0 2827 216 293 253 65.13/65.21 c 4130 79697 10109734 2565417 0 2835 82 124 96 65.23/65.37 c 4140 79782 10134546 2577366 0 2845 22 68 34 65.43/65.53 c 4150 80089 10160172 2582798 0 2850 271 292 257 65.53/65.69 c 4160 80381 10185010 2586745 0 2856 217 272 240 65.73/65.87 c 4170 80689 10214542 2592392 0 2864 260 293 244 65.94/66.05 c 4180 81020 10243613 2597457 0 2872 257 316 251 66.13/66.21 c 4190 81330 10271258 2602476 0 2879 257 291 246 66.23/66.37 c 4200 81632 10296547 2606233 0 2887 255 286 241 66.43/66.51 c 4210 81915 10320398 2610096 0 2890 262 267 241 66.53/66.64 c 4220 82194 10342346 2613746 0 2896 258 264 237 66.63/66.78 c 4230 82473 10364979 2617437 0 2899 220 264 233 66.83/66.96 c 4240 82783 10394917 2623155 0 2908 255 290 244 67.04/67.13 c 4250 83116 10423509 2628303 0 2916 258 320 271 67.13/67.28 c 4260 83384 10446173 2632995 0 2926 23 259 65 67.33/67.43 c 4270 83674 10470772 2636815 0 2930 246 262 234 67.53/67.61 c 4280 83986 10500695 2642396 0 2939 262 298 244 67.63/67.77 c 4290 84283 10526512 2647489 0 2947 234 286 249 67.83/67.93 c 4300 84591 10552705 2652845 0 2957 255 299 256 68.04/68.12 c 4310 84884 10583520 2659406 0 2963 258 276 245 68.13/68.26 c 4320 85173 10606286 2663139 0 2966 264 276 247 68.53/68.68 c 4330 85474 10672725 2677711 0 2972 263 273 245 68.83/68.99 c 4340 85756 10722289 2689501 0 2974 256 260 234 69.04/69.14 c 4350 86058 10746066 2693183 0 2977 27 270 222 69.13/69.29 c 4360 86353 10770845 2698488 0 2987 215 286 241 69.33/69.40 c 4370 86495 10786918 2705224 0 2996 64 120 89 69.43/69.56 c 4380 86808 10812824 2710639 0 3004 275 297 261 69.73/69.83 c 4390 87095 10854829 2718028 0 3009 265 269 242 69.83/69.96 c 4400 87381 10877221 2721661 0 3012 261 270 242 70.04/70.15 c 4410 87691 10907326 2727277 0 3019 255 289 238 70.33/70.42 c 4420 88010 10949910 2734861 0 3025 263 304 243 70.53/70.62 c 4430 88298 10982115 2740971 0 3030 267 273 244 70.63/70.78 c 4440 88605 11007912 2746325 0 3040 253 298 253 70.83/70.98 c 4450 88717 11038294 2767475 0 3048 38 87 57 71.04/71.14 c 4460 89051 11065739 2773185 0 3053 291 302 270 71.33/71.44 c 4470 89349 11112156 2781917 0 3063 272 289 255 71.43/71.59 c 4480 89639 11136720 2785768 0 3066 265 274 246 71.63/71.74 c 4490 89932 11161240 2791090 0 3076 242 284 243 71.83/71.94 c 4493 90215 11192640 2797465 0 3079 271 281 207 71.94/72.09 c 4500 90513 11216847 2802672 0 3085 268 291 243 72.23/72.30 c 4510 90810 11250489 2808037 0 3095 270 288 253 72.33/72.47 c 4520 91119 11277161 2811960 0 3098 262 274 245 72.53/72.66 c 4530 91444 11308810 2817363 0 3106 259 312 259 72.73/72.84 c 4540 91757 11338672 2822859 0 3115 270 293 256 72.94/73.02 c 4550 92057 11367539 2827983 0 3122 271 290 259 73.13/73.21 c 4560 92360 11398239 2833341 0 3127 270 283 254 73.53/73.60 c 4570 92642 11459692 2847940 0 3130 261 263 238 73.63/73.75 c 4580 92937 11484391 2853231 0 3140 252 285 245 73.83/73.91 c 4590 93220 11508181 2859197 0 3149 68 264 165 73.94/74.06 c 4600 93348 11531465 2874401 0 3157 64 104 75 74.13/74.21 c 4610 93655 11556021 2879884 0 3166 259 282 247 74.23/74.31 c 4620 93734 11570233 2884514 0 3176 23 65 35 74.23/74.39 c 4630 93804 11583032 2888641 0 3186 22 57 30 74.43/74.58 c 4640 94135 11613403 2894581 0 3192 273 287 256 74.63/74.79 c 4650 94429 11646602 2900273 0 3201 225 282 240 74.83/74.95 c 4660 94728 11671227 2905629 0 3208 249 289 246 75.13/75.24 c 4670 95030 11716376 2914008 0 3218 231 293 252 75.33/75.41 c 4680 95342 11743656 2917962 0 3223 259 274 245 75.43/75.56 c 4690 95652 11768994 2923381 0 3229 270 292 256 75.63/75.72 c 4700 95947 11794167 2928748 0 3238 219 284 240 75.73/75.81 c 4710 96116 11807216 2932210 0 3244 98 127 106 75.83/75.98 c 4720 96423 11834016 2937651 0 3251 280 287 257 76.13/76.21 c 4730 96732 11870652 2943529 0 3261 244 300 256 76.23/76.37 c 4740 97040 11896044 2947393 0 3266 263 278 249 76.43/76.53 c 4750 97347 11921825 2952746 0 3276 237 298 249 76.63/76.70 c 4760 97626 11948078 2958510 0 3286 102 268 164 76.73/76.85 c 4770 97916 11972683 2963836 0 3294 248 280 242 77.13/77.23 c 4780 98250 12031680 2973700 0 3297 291 316 279 77.33/77.40 c 4790 98540 12059548 2979011 0 3300 266 271 244 77.43/77.57 c 4800 98831 12088161 2984013 0 3301 270 271 245 77.83/77.96 c 4810 99157 12148204 2994946 0 3305 257 274 243 78.23/78.35 c 4820 99441 12209890 3009574 0 3307 255 259 234 78.43/78.51 c 4830 99749 12235540 3014489 0 3313 259 275 241 78.63/78.70 c 4840 100049 12267398 3020500 0 3317 258 267 239 78.73/78.84 c 4850 100339 12291143 3025369 0 3319 261 273 241 78.94/79.01 c 4860 100666 12318800 3030916 0 3324 255 305 265 79.13/79.22 c 4870 100786 12350912 3053232 0 3334 38 97 62 79.43/79.53 c 4880 101100 12399534 3063003 0 3340 267 285 251 79.53/79.69 c 4890 101407 12424818 3068433 0 3349 258 293 252 79.73/79.85 c 4900 101528 12449264 3080110 0 3359 39 98 63 80.04/80.11 c 4910 101843 12492135 3088112 0 3361 266 290 252 80.13/80.26 c 4920 102151 12516741 3093414 0 3371 265 298 257 80.33/80.45 c 4930 102492 12546748 3098907 0 3380 297 330 281 80.53/80.63 c 4940 102775 12573835 3105767 0 3390 23 266 53 80.83/80.98 c 4950 103099 12629533 3116335 0 3394 257 281 248 81.04/81.18 c 4960 103478 12663992 3122881 0 3395 297 304 273 81.23/81.32 c 4970 103771 12687638 3127753 0 3398 280 281 255 81.33/81.47 c 4980 104067 12711366 3131506 0 3406 231 283 244 81.53/81.61 c 4990 104362 12734575 3135167 0 3410 273 277 250 81.73/81.87 c 5035 104910 12784021 3143480 0 3417 232 303 286 84.33/84.43 c 5631 107637 13206585 3200714 0 3457 214 396 290 86.13/86.24 c 6286 109816 13514197 3238418 0 3478 256 330 311 95.53/95.67 c 7006 114559 15073044 3862900 0 3488 191 300 278 99.04/99.20 c 7798 118620 15643502 3927535 0 3493 225 271 249 102.23/102.33 c 8669 122691 16145553 4026310 0 3503 145 274 207 105.23/105.30 c 9627 127212 16675873 4127251 0 3534 156 368 313 111.04/111.17 c 10680 135583 17561032 4349376 0 3553 47 196 144 115.43/115.54 c 11838 140419 18279537 4451239 0 3573 138 280 192 118.63/118.76 c 13111 148147 18951716 4524242 0 3591 128 365 320 122.33/122.48 c 14511 153010 19724807 4679865 0 3631 128 332 319 129.83/129.95 c 16051 161467 21008099 4876436 0 3642 130 259 224 139.23/139.36 c 17745 173183 22538773 5117404 0 3672 24 268 233 145.63/145.79 c 19608 183336 23535678 5235316 0 3685 31 236 172 154.63/154.76 c 21657 194107 24987464 5377896 0 3703 18 241 220 162.73/162.80 c 23910 203734 26238593 5567004 0 3708 22 126 87 176.73/176.83 c 26388 226902 28511889 5795372 0 3730 23 294 231 191.04/191.17 c 29113 240687 30875246 6271223 0 3777 29 348 290 206.03/206.11 c 32110 263500 33287035 6577798 0 3796 18 269 203 215.43/215.51 c 35406 284082 35378094 6850437 0 3811 69 355 338 226.83/226.91 c 39031 298549 37248172 7121429 0 3843 16 202 178 239.12/239.25 c 43018 311675 39350016 7448581 0 3883 85 249 236 254.82/254.99 c 47403 329023 42211941 7921608 0 3928 22 277 259 270.22/270.33 c 52226 345918 44844316 8343057 0 3974 105 271 217 295.62/295.77 c 57531 372962 48867580 9149959 0 3984 28 242 191 327.52/327.67 c 63366 409725 53791613 9670172 0 4012 101 215 173 347.52/347.68 c 69784 439067 58318123 11086604 0 4046 28 276 261 360.72/360.89 c 76843 459853 61256776 11806275 0 4095 30 367 308 397.32/397.45 c 84607 512700 67339585 12724192 0 4116 33 245 163 422.52/422.69 c 93147 557878 72363765 13642741 0 4158 31 335 252 536.61/536.71 c 102541 645952 92053786 16124011 0 4182 43 306 232 552.81/552.92 c 112874 679626 95559849 17090434 0 4235 32 324 275 651.31/651.43 c 124240 734384 111197669 22419766 0 4306 34 401 264 703.20/703.36 c 136742 800065 120997229 23952770 0 4357 40 409 339 784.40/784.50 c 150494 895097 134665164 27901427 0 4474 46 466 291 909.19/909.30 c 165621 1054740 155411441 35991924 0 4484 32 226 108 1082.99/1083.20 c 182260 1232292 183020980 44740274 0 4488 34 165 88 1157.08/1157.25 c 200562 1313408 198121382 47825502 0 4526 23 345 322 1219.58/1219.78 c 220694 1403530 209186396 49243729 0 4605 55 346 252 1265.78/1265.90 c 242839 1460275 219868001 52432528 0 4646 13 322 312 1349.07/1349.23 c 267198 1563972 236163594 54491585 0 4718 13 286 272 1421.77/1421.90 c 293992 1656842 252830592 60872632 0 4741 15 296 273 1563.66/1563.86 c 323465 1882336 274361352 63776186 0 4892 13 263 137 1651.97/1652.11 c 355885 1994823 289775122 66366345 0 4924 13 271 208 1803.35/1803.59 c 391547 2119333 319923014 71798271 0 4979 14 195 160 1974.25/1974.40 c 430775 2321979 349915787 78410617 0 5057 14 424 308 2111.35/2111.51 c 473925 2487127 376050225 83272746 0 5082 14 287 271 2434.34/2434.55 c 521390 2653190 431921526 90123462 0 5120 14 352 325 2519.84/2520.00 2519.84/2520.00 c *** INTERRUPTED *** 2519.84/2520.00 c restarts : 565 2519.84/2520.00 c conflicts : 533212 (212 /sec) 2519.84/2520.00 c decisions : 2775827 (1102 /sec) 2519.84/2520.00 c propagations : 91167086 (36180 /sec) 2519.84/2520.00 c root propagations : 0 2519.84/2520.00 c filter calls : 444277020 (176313 /sec) 2519.84/2520.00 c useless filter calls : 422254930 (95 %) 2519.84/2520.00 c 2519.84/2520.00 c clauses : 67320 2519.84/2520.00 c SAT propagations : 1295 2519.84/2520.00 c SAT conflicts : 0 (0 learnts) 2519.84/2520.00 c Memory used : 49.86 MB 2519.84/2520.00 c CPU time : 2519.82 s 2519.84/2520.00 2519.84/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14859 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266004-1502578807/watcher-4266004-1502578807 -o /tmp/evaluation-result-4266004-1502578807/solver-4266004-1502578807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266004-1502578807.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=20863, runsolver pid=20860
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31019308/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=34780 memory=10960 CPUtime=0.04 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 2942 0 0 0 4 0 0 0 20 0 1 0 60074023 35614720 2740 18446744073709551615 4194304 5972588 140735491404240 140735491400888 5473040 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 8695 2740 753 435 0 2058 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 34780 KiB
Current children cumulated memory: 10960 KiB
[startup+0.20936 s]*
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31012612/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=44900 memory=17884 CPUtime=0.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 4645 0 0 0 15 0 0 0 20 0 1 0 60074023 45977600 4471 18446744073709551615 4194304 5972588 140735491404240 140735491400888 5046936 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11225 4471 801 435 0 4588 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 44900 KiB
Current children cumulated memory: 17884 KiB
[startup+0.309192 s]*
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31011868/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=45824 memory=18676 CPUtime=0.25 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 4875 0 0 0 25 0 0 0 20 0 1 0 60074023 46923776 4669 18446744073709551615 4194304 5972588 140735491404240 140735491400888 140177760627685 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11456 4669 801 435 0 4819 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 45824 KiB
Current children cumulated memory: 18676 KiB
[startup+0.700261 s]
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31011072/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=46740 memory=19700 CPUtime=0.63 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 5111 0 0 0 63 0 0 0 20 0 1 0 60074023 47861760 4925 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5047734 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11685 4925 803 435 0 5048 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 46740 KiB
Current children cumulated memory: 19700 KiB
[startup+1.50028 s]
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31010476/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47548 memory=20492 CPUtime=1.43 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 5311 0 0 0 143 0 0 0 20 0 1 0 60074023 48689152 5123 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5046200 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11887 5123 803 435 0 5250 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 47548 KiB
Current children cumulated memory: 20492 KiB
[startup+3.1091 s]
/proc/loadavg: 2.10 2.14 2.10 3/181 20864
/proc/meminfo: memFree=31007868/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47680 memory=20740 CPUtime=3.04 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 8544 0 0 0 304 0 0 0 20 0 1 0 60074023 48824320 5185 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5046940 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11920 5185 803 435 0 5283 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 20740 KiB
[startup+6.30027 s]
/proc/loadavg: 2.09 2.13 2.10 3/181 20864
/proc/meminfo: memFree=31008240/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47680 memory=20776 CPUtime=6.23 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 11643 0 0 0 623 0 0 0 20 0 1 0 60074023 48824320 5194 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5338164 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11920 5194 803 435 0 5283 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 20776 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.13 2.10 3/181 20864
/proc/meminfo: memFree=31006812/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47680 memory=22896 CPUtime=12.64 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 15601 0 0 0 1263 1 0 0 20 0 1 0 60074023 48824320 5724 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045825 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11920 5724 803 435 0 5283 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 22896 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.12 2.10 3/181 20864
/proc/meminfo: memFree=31006408/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47680 memory=22896 CPUtime=25.43 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 22539 0 0 0 2542 1 0 0 20 0 1 0 60074023 48824320 5724 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5046940 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11920 5724 803 435 0 5283 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 22896 KiB
[startup+51.109 s]
/proc/loadavg: 2.04 2.11 2.09 3/181 20865
/proc/meminfo: memFree=31007356/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47680 memory=22904 CPUtime=51.03 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 25508 0 0 0 5102 1 0 0 20 0 1 0 60074023 48824320 5726 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5048656 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11920 5726 803 435 0 5283 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 22904 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/181 20866
/proc/meminfo: memFree=31007616/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23104 CPUtime=102.23 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 26210 0 0 0 10221 2 0 0 20 0 1 0 60074023 49082368 5776 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5776 803 435 0 5346 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23104 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/181 20868
/proc/meminfo: memFree=31006960/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23268 CPUtime=162.23 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 26948 0 0 0 16221 2 0 0 20 0 1 0 60074023 49082368 5817 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045821 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5817 803 435 0 5346 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23268 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/181 20870
/proc/meminfo: memFree=31007092/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23392 CPUtime=222.23 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 27669 0 0 0 22221 2 0 0 20 0 1 0 60074023 49082368 5848 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5047901 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5848 803 435 0 5346 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23392 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/185 20887
/proc/meminfo: memFree=31002848/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23512 CPUtime=282.22 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 28381 0 0 0 28220 2 0 0 20 0 1 0 60074023 49082368 5878 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5878 803 435 0 5346 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23512 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/185 20889
/proc/meminfo: memFree=31002020/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23544 CPUtime=342.22 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 29096 0 0 0 34220 2 0 0 20 0 1 0 60074023 49082368 5886 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045821 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5886 803 435 0 5346 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23544 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/182 20891
/proc/meminfo: memFree=31005184/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23636 CPUtime=402.22 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 29886 0 0 0 40220 2 0 0 20 0 1 0 60074023 49082368 5909 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5099664 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5909 803 435 0 5346 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23636 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 20893
/proc/meminfo: memFree=31005432/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=47932 memory=23680 CPUtime=462.21 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 30639 0 0 0 46219 2 0 0 20 0 1 0 60074023 49082368 5920 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139499 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 11983 5920 803 435 0 5346 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 23680 KiB
################
# More data... #
################
/proc/20863/statm: 12729 6174 803 435 0 6092 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 50916 KiB
Current children cumulated memory: 24696 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21004
/proc/meminfo: memFree=31002300/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=50916 memory=24696 CPUtime=1782.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 44519 0 0 0 178213 2 0 0 20 0 1 0 60074023 52137984 6174 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5032400 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12729 6174 803 435 0 6092 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 50916 KiB
Current children cumulated memory: 24696 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21006
/proc/meminfo: memFree=31002548/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=50916 memory=24724 CPUtime=1842.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 45003 0 0 0 184213 2 0 0 20 0 1 0 60074023 52137984 6181 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139319 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12729 6181 803 435 0 6092 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 50916 KiB
Current children cumulated memory: 24724 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21008
/proc/meminfo: memFree=31002648/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24724 CPUtime=1902.16 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 45545 0 0 0 190213 3 0 0 20 0 1 0 60074023 52273152 6181 18446744073709551615 4194304 5972588 140735491404240 140735491401048 5099630 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6181 803 435 0 6125 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24724 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 21010
/proc/meminfo: memFree=31003020/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24740 CPUtime=1962.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 45831 0 0 0 196212 3 0 0 20 0 1 0 60074023 52273152 6185 18446744073709551615 4194304 5972588 140735491404240 140735491401048 5139281 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6185 803 435 0 6125 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24740 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21012
/proc/meminfo: memFree=31003020/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24812 CPUtime=2022.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 46504 0 0 0 202212 3 0 0 20 0 1 0 60074023 52273152 6203 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139291 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6203 803 435 0 6125 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24812 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 21029
/proc/meminfo: memFree=30998232/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24812 CPUtime=2082.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 46783 0 0 0 208212 3 0 0 20 0 1 0 60074023 52273152 6203 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5047113 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6203 803 435 0 6125 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24812 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 21031
/proc/meminfo: memFree=30998100/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24828 CPUtime=2142.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 47285 0 0 0 214212 3 0 0 20 0 1 0 60074023 52273152 6207 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045821 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6207 803 435 0 6125 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24828 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 21033
/proc/meminfo: memFree=31001872/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24828 CPUtime=2202.15 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 47534 0 0 0 220212 3 0 0 20 0 1 0 60074023 52273152 6207 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139324 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6207 803 435 0 6125 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24828 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 21035
/proc/meminfo: memFree=31002244/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24828 CPUtime=2262.14 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 47797 0 0 0 226211 3 0 0 20 0 1 0 60074023 52273152 6207 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5032400 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6207 803 435 0 6125 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24828 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 21037
/proc/meminfo: memFree=31002492/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24828 CPUtime=2322.14 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 48056 0 0 0 232211 3 0 0 20 0 1 0 60074023 52273152 6207 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045825 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6207 803 435 0 6125 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24828 KiB
[startup+2382.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 21101
/proc/meminfo: memFree=30409324/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24828 CPUtime=2382.14 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 48357 0 0 0 238211 3 0 0 20 0 1 0 60074023 52273152 6207 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5045825 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6207 803 435 0 6125 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24828 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 21103
/proc/meminfo: memFree=30384228/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24860 CPUtime=2442.14 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 48823 0 0 0 244211 3 0 0 20 0 1 0 60074023 52273152 6215 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5047938 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6215 803 435 0 6125 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24860 KiB
[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 21105
/proc/meminfo: memFree=30374948/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24860 CPUtime=2502.13 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 49311 0 0 0 250210 3 0 0 20 0 1 0 60074023 52273152 6215 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6215 803 435 0 6125 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24860 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.99 2.00 2.04 3/181 21106
/proc/meminfo: memFree=30373240/32770624 swapFree=67108860/67108860
[pid=20863] ppid=20860 vsize=51048 memory=24860 CPUtime=2519.84 cores=1,3,5,7
/proc/20863/stat : 20863 (cosoco) R 20860 20863 17093 0 -1 4202496 49563 0 0 0 251981 3 0 0 20 0 1 0 60074023 52273152 6215 18446744073709551615 4194304 5972588 140735491404240 140735491401544 5139274 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36941824 140735491408324 140735491408424 140735491408424 140735491411918 0
/proc/20863/statm: 12762 6215 803 435 0 6125 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 24860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20863 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.82 s, system=0.030998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.85
CPU user time (s): 2519.82
CPU system time (s): 0.030998
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 51048
Max. memory (cumulated for all children) (KiB): 24860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.030998
maximum resident set size= 24936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49614
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= 13
involuntary context switches= 876
# summary of solver processes directly reported to runsolver:
# pid: 20863
# total CPU time (s): 2519.85
# total CPU user time (s): 2519.82
# total CPU system time (s): 0.030998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.8856 second user time and 15.506 second system time
The end
Begin job on node127 at 2017-08-13 00:45:59 IDJOB=4266004 IDBENCH=128150 IDSOLVER=2655 FILE ID=node127/4266004-1502578807 RUNJOBID= node127-1502565159-17157 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-gagne/CarSequencing-200-01.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266004-1502578807/watcher-4266004-1502578807 -o /tmp/evaluation-result-4266004-1502578807/solver-4266004-1502578807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266004-1502578807.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 10e5a0c89239e5196f6239a5150462fc RANDOM SEED=560215308 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31027108 kB MemAvailable: 31855364 kB Buffers: 276692 kB Cached: 840104 kB SwapCached: 0 kB Active: 721192 kB Inactive: 598632 kB Active(anon): 203104 kB Inactive(anon): 24908 kB Active(file): 518088 kB Inactive(file): 573724 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2412 kB Writeback: 4 kB AnonPages: 202448 kB Mapped: 47168 kB Shmem: 25252 kB Slab: 130120 kB SReclaimable: 104560 kB SUnreclaim: 25560 kB KernelStack: 3216 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 474016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 01:27:59