| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.04 | 2519.8999 |
| Name | AllInterval/AllInterval-m1-s1/ AllInterval-050.xml |
| MD5SUM | 010bfed6e804a02be5e9f2a754b88433 |
| 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 | 0.095192999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 99 |
| Number of constraints | 51 |
| Number of domains | 2 |
| Minimum domain size | 49 |
| Maximum domain size | 50 |
| Distribution of domain sizes | [{"size":49,"count":49},{"size":50,"count":50}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":51},{"degree":3,"count":48}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 50 |
| Distribution of constraint arities | [{"arity":3,"count":49},{"arity":49,"count":1},{"arity":50,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 49 |
| Distribution of constraint types | [{"type":"intension","count":49},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.06 c SAT : Variables: 4901 -- Clauses: 118973 0.00/0.06 c root propagations : 0 0.00/0.06 c restarts enabled, print stats at every restarts 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c This is cosoco 1.12 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265978-1502571524.xml 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.06 s 0.00/0.06 c | 0.00/0.06 c | Variables: 99 0.00/0.06 c | Domain Sizes: 49..50 0.00/0.06 c | 0.00/0.06 c | Constraints: 51 0.00/0.06 c | Arity: 3..50 -- Ternary: 49 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | All Different: 2 0.00/0.06 c | Intension: 49 0.00/0.06 c | 0.00/0.06 c ========================================================================================================= 0.00/0.06 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 10 64 3374 6086 0 1 47 50 43 0.09/0.11 c 20 135 4805 13392 0 11 5 57 40 0.09/0.12 c 30 207 6279 19790 0 16 51 61 50 0.09/0.13 c 40 275 7620 26566 0 24 13 57 44 0.09/0.15 c 50 357 9284 32840 0 34 55 67 57 0.09/0.15 c 60 428 10661 36388 0 42 41 62 53 0.09/0.17 c 70 526 12486 43800 0 48 54 66 54 0.09/0.19 c 80 603 14120 50865 0 55 44 60 48 0.09/0.20 c 90 655 15572 56998 0 64 41 43 37 0.20/0.22 c 100 751 17271 64544 0 69 60 64 57 0.20/0.22 c 101 795 18370 66866 0 70 44 44 22 0.20/0.23 c 110 851 19680 70539 0 79 44 48 40 0.20/0.24 c 120 932 21155 74766 0 89 49 72 47 0.20/0.25 c 130 1000 22543 79388 0 98 43 56 44 0.20/0.26 c 140 1079 24034 84922 0 107 44 69 53 0.20/0.27 c 150 1139 25349 88549 0 117 41 51 44 0.20/0.28 c 160 1213 26663 93134 0 124 54 65 54 0.20/0.29 c 170 1291 28118 98363 0 130 47 61 51 0.20/0.30 c 180 1381 29596 104359 0 135 55 67 57 0.20/0.31 c 190 1436 30999 110469 0 145 31 46 33 0.30/0.32 c 200 1514 32569 115050 0 150 52 58 50 0.30/0.33 c 210 1580 33932 118803 0 155 48 51 45 0.30/0.33 c 211 1626 35054 121350 0 156 46 46 23 0.30/0.34 c 220 1694 36500 126818 0 160 52 58 49 0.30/0.35 c 230 1782 38116 132030 0 167 58 70 56 0.30/0.35 c 240 1846 39375 135253 0 177 48 55 48 0.30/0.37 c 250 1923 41141 142307 0 181 53 61 51 0.30/0.39 c 260 1998 42848 148822 0 187 22 61 48 0.30/0.40 c 270 2080 44985 154799 0 195 43 57 42 0.30/0.41 c 280 2149 46412 159940 0 199 53 59 51 0.40/0.43 c 290 2213 47991 166163 0 209 48 53 45 0.40/0.44 c 300 2290 49546 171218 0 218 50 64 53 0.40/0.46 c 310 2367 51140 177941 0 224 51 59 51 0.40/0.47 c 320 2455 52889 185269 0 228 56 60 53 0.40/0.49 c 330 2524 54349 189882 0 238 48 56 49 0.40/0.49 c 332 2570 55270 192520 0 240 41 45 28 0.40/0.50 c 340 2631 56676 197193 0 242 52 54 47 0.50/0.52 c 350 2714 58439 206822 0 247 53 60 52 0.50/0.53 c 360 2789 59995 211734 0 250 54 58 49 0.50/0.54 c 370 2873 61581 215697 0 257 51 71 58 0.50/0.55 c 380 2940 62967 219232 0 267 50 58 46 0.50/0.57 c 390 3016 64481 224793 0 274 46 59 47 0.50/0.58 c 400 3092 66304 230948 0 278 36 63 50 0.50/0.59 c 410 3167 67663 235040 0 287 18 63 48 0.50/0.60 c 420 3249 70109 242098 0 292 36 53 44 0.59/0.62 c 430 3323 71437 248539 0 301 49 61 50 0.59/0.63 c 440 3391 72752 252704 0 305 51 55 47 0.59/0.63 c 450 3461 73913 257615 0 315 15 61 45 0.59/0.65 c 460 3531 75194 264602 0 325 47 57 47 0.59/0.66 c 465 3585 76335 267408 0 330 50 50 41 0.59/0.66 c 470 3635 77453 270162 0 335 46 46 38 0.59/0.67 c 480 3714 78739 274791 0 339 15 63 51 0.59/0.68 c 490 3779 79956 279424 0 349 47 56 47 0.59/0.70 c 500 3872 81421 284457 0 353 13 67 52 0.68/0.70 c 510 3938 82685 288293 0 358 47 57 48 0.68/0.71 c 520 4006 83920 291974 0 368 13 59 44 0.68/0.72 c 530 4083 85213 297444 0 374 26 62 48 0.68/0.73 c 540 4129 86544 300563 0 375 37 37 33 0.68/0.74 c 550 4178 88469 307104 0 379 39 39 35 0.68/0.77 c 560 4249 89937 314265 0 388 42 56 46 0.68/0.78 c 570 4296 91549 319462 0 396 36 37 33 0.68/0.79 c 580 4344 93396 324687 0 406 38 39 35 0.78/0.80 c 590 4426 94920 328733 0 410 30 71 59 0.78/0.81 c 600 4477 96313 331749 0 416 37 37 33 0.78/0.83 c 610 4558 97982 337657 0 421 47 60 51 0.78/0.83 c 611 4607 99096 340322 0 422 49 49 24 0.78/0.84 c 620 4682 100419 344824 0 431 55 67 52 0.78/0.85 c 630 4755 101811 349571 0 441 42 64 45 0.78/0.86 c 640 4807 103292 353505 0 444 39 40 35 0.78/0.88 c 650 4859 105819 361939 0 449 39 39 35 0.88/0.90 c 660 4916 108195 370496 0 454 39 42 36 0.88/0.92 c 670 4984 109571 375972 0 464 49 57 47 0.88/0.92 c 680 5049 110986 381022 0 474 52 56 49 0.88/0.93 c 690 5126 112374 386182 0 483 46 64 49 0.88/0.95 c 700 5198 113793 391949 0 493 49 61 47 0.88/0.97 c 710 5256 116287 400680 0 496 42 42 38 0.88/0.98 c 720 5328 117737 405255 0 506 57 63 53 0.88/0.99 c 730 5396 119559 410140 0 516 33 56 42 0.88/1.00 c 740 5466 121041 416273 0 525 47 59 47 0.99/1.02 c 750 5539 122236 421589 0 531 26 61 48 0.99/1.03 c 760 5607 123603 426918 0 541 49 57 47 0.99/1.04 c 770 5678 124959 430594 0 551 43 62 47 0.99/1.04 c 771 5720 126034 433052 0 552 42 42 21 0.99/1.05 c 780 5792 127461 437889 0 561 50 60 50 0.99/1.07 c 790 5867 128952 443786 0 570 50 63 52 0.99/1.07 c 800 5943 130391 447876 0 576 53 64 54 0.99/1.08 c 810 5987 131678 450726 0 578 34 34 30 0.99/1.09 c 820 6052 132898 454629 0 588 16 56 45 0.99/1.10 c 830 6123 134259 458932 0 594 58 58 52 1.09/1.11 c 840 6197 135655 463735 0 602 47 61 49 1.09/1.12 c 850 6270 137036 468188 0 608 48 58 51 1.09/1.13 c 860 6320 138698 472634 0 618 34 41 32 1.09/1.14 c 870 6401 140240 477903 0 623 59 59 53 1.09/1.15 c 880 6472 141699 483990 0 627 53 60 51 1.09/1.17 c 890 6531 143934 491188 0 629 38 40 36 1.09/1.18 c 900 6612 145543 497367 0 636 51 64 52 1.09/1.20 c 910 6683 147033 501626 0 639 54 58 52 1.18/1.20 c 920 6728 148328 504559 0 641 35 35 31 1.18/1.22 c 930 6777 149872 509758 0 646 36 38 34 1.18/1.23 c 940 6827 151338 513505 0 652 37 38 34 1.18/1.24 c 947 6912 153597 519393 0 654 37 50 38 1.18/1.24 c 950 6974 154717 522765 0 657 48 60 41 1.18/1.25 c 960 7044 155787 526325 0 667 44 61 47 1.18/1.26 c 970 7114 156930 531395 0 674 18 61 45 1.18/1.28 c 980 7187 158321 537306 0 678 52 60 51 1.18/1.28 c 990 7263 159596 541172 0 687 50 65 49 1.18/1.29 c 1000 7331 160960 547563 0 692 47 57 49 1.28/1.30 c 1010 7396 161934 552349 0 702 18 56 34 1.28/1.32 c 1020 7445 163694 560416 0 703 35 37 32 1.28/1.33 c 1030 7519 165140 566485 0 709 53 62 50 1.28/1.34 c 1040 7583 166308 570833 0 719 33 55 38 1.28/1.35 c 1050 7646 167478 574570 0 729 50 54 46 1.28/1.36 c 1060 7724 168850 579903 0 737 25 59 44 1.28/1.37 c 1070 7786 170114 584991 0 747 49 51 44 1.38/1.40 c 1080 7864 171910 592696 0 753 53 61 51 1.38/1.42 c 1090 7934 173389 599361 0 763 47 59 50 1.38/1.43 c 1100 7982 174810 603358 0 767 37 38 34 1.38/1.43 c 1110 8030 176139 606033 0 775 36 37 33 1.38/1.44 c 1120 8075 177716 609008 0 785 36 36 32 1.38/1.45 c 1130 8144 179075 613254 0 789 52 56 50 1.38/1.46 c 1140 8213 180171 617487 0 796 11 60 43 1.38/1.46 c 1141 8253 181512 619806 0 797 40 40 20 1.38/1.47 c 1150 8301 183200 625734 0 800 39 39 35 1.48/1.50 c 1160 8387 184710 633074 0 807 49 59 51 1.48/1.51 c 1170 8461 186165 638839 0 813 46 63 51 1.48/1.52 c 1180 8512 187742 643642 0 814 38 40 35 1.48/1.54 c 1190 8568 189597 649220 0 824 38 40 36 1.48/1.55 c 1200 8639 191027 653870 0 830 49 58 49 1.48/1.57 c 1210 8721 193274 662631 0 832 37 46 39 1.48/1.58 c 1220 8805 194791 666647 0 841 52 66 51 1.58/1.60 c 1230 8861 196742 674965 0 850 36 40 33 1.58/1.61 c 1240 8928 198130 681028 0 853 50 56 48 1.58/1.62 c 1250 8996 199587 686436 0 862 56 56 50 1.58/1.63 c 1260 9075 200995 690931 0 872 47 68 52 1.58/1.65 c 1270 9128 202508 695278 0 876 39 41 36 1.58/1.66 c 1280 9198 205316 703548 0 880 41 49 38 1.58/1.67 c 1290 9270 206827 709159 0 886 51 61 50 1.58/1.69 c 1300 9352 208403 715060 0 890 49 57 49 1.68/1.70 c 1310 9422 209824 719982 0 898 40 61 48 1.68/1.71 c 1320 9509 211293 724420 0 907 49 66 50 1.68/1.72 c 1330 9573 212633 728710 0 917 49 55 45 1.68/1.72 c 1340 9648 213909 732635 0 924 46 62 51 1.68/1.73 c 1350 9721 215252 736560 0 932 46 64 49 1.68/1.73 c 1352 9777 216484 739521 0 934 55 55 36 1.68/1.74 c 1360 9840 217778 742687 0 942 49 56 44 1.68/1.74 c 1370 9907 219085 746511 0 952 45 58 48 1.68/1.75 c 1380 9976 220337 749948 0 962 16 60 46 1.68/1.76 c 1390 10056 221778 754209 0 965 48 62 55 1.68/1.76 c 1400 10131 223085 757974 0 970 50 64 54 1.68/1.77 c 1410 10200 224465 762196 0 979 46 58 45 1.68/1.78 c 1420 10274 225953 766032 0 986 48 63 50 1.68/1.79 c 1430 10353 227387 770502 0 988 58 64 57 1.78/1.80 c 1440 10427 228968 776642 0 997 55 63 52 1.78/1.81 c 1450 10507 230539 782243 0 1005 53 65 52 1.78/1.82 c 1460 10588 232112 787469 0 1011 53 66 54 1.78/1.83 c 1470 10634 233408 790062 0 1014 36 36 32 1.78/1.84 c 1480 10706 235990 796276 0 1022 36 49 39 1.78/1.85 c 1490 10768 237344 800417 0 1032 49 53 45 1.78/1.86 c 1500 10848 238599 805208 0 1040 42 62 48 1.78/1.87 c 1510 10916 239806 810423 0 1050 16 59 43 1.78/1.89 c 1520 11016 241650 818967 0 1057 51 67 55 1.88/1.91 c 1530 11086 243097 823765 0 1063 51 53 48 1.88/1.91 c 1540 11163 244545 828751 0 1073 52 64 52 1.88/1.93 c 1550 11234 245891 835977 0 1080 52 58 49 1.88/1.94 c 1560 11305 247149 840492 0 1090 50 62 47 1.88/1.95 c 1570 11378 248538 846623 0 1097 46 62 50 1.88/1.97 c 1580 11452 249957 853276 0 1106 47 61 51 1.88/1.98 c 1585 11519 251125 857699 0 1109 44 57 43 1.88/1.99 c 1590 11591 252416 862080 0 1114 52 68 48 1.88/2.00 c 1600 11662 253666 866674 0 1120 46 60 48 1.99/2.01 c 1610 11740 255240 872665 0 1128 50 60 49 1.99/2.02 c 1620 11818 256650 877384 0 1136 50 68 52 1.99/2.04 c 1630 11915 258470 885640 0 1144 51 67 54 1.99/2.05 c 1640 12017 260193 892143 0 1150 50 68 56 1.99/2.07 c 1650 12100 261767 899170 0 1156 56 62 53 1.99/2.08 c 1660 12153 263279 902635 0 1161 38 40 34 1.99/2.10 c 1670 12229 264974 910505 0 1163 56 60 52 2.09/2.16 c 1680 12297 266437 916444 0 1173 49 57 47 2.09/2.16 c 1690 12362 267420 920210 0 1183 25 56 39 2.09/2.16 c 1700 12452 268964 927218 0 1185 55 63 55 2.09/2.16 c 1710 12550 270645 931929 0 1187 51 71 56 2.09/2.18 c 1720 12630 272247 938451 0 1194 57 67 56 2.18/2.20 c 1730 12682 274544 950446 0 1201 38 40 35 2.18/2.21 c 1740 12742 276075 953595 0 1205 41 46 40 2.18/2.22 c 1750 12812 277230 957166 0 1215 42 61 45 2.18/2.22 c 1760 12888 278394 961603 0 1223 41 58 47 2.18/2.23 c 1770 12958 279858 965729 0 1227 53 57 48 2.18/2.24 c 1780 13031 281335 969925 0 1237 51 64 49 2.18/2.26 c 1790 13118 282892 977017 0 1240 52 64 55 2.18/2.27 c 1800 13192 284388 980904 0 1248 51 62 53 2.18/2.27 c 1810 13265 285896 985626 0 1258 50 64 56 2.18/2.28 c 1820 13313 287278 988859 0 1260 38 38 34 2.18/2.29 c 1830 13361 288681 992204 0 1262 38 38 34 2.28/2.32 c 1840 13435 291400 1001349 0 1265 37 45 38 2.28/2.32 c 1841 13471 292629 1002920 0 1266 36 36 18 2.28/2.33 c 1850 13522 294161 1007833 0 1274 38 42 36 2.28/2.35 c 1860 13576 295714 1011943 0 1278 39 42 36 2.28/2.37 c 1870 13639 298370 1021976 0 1281 41 45 38 2.28/2.38 c 1880 13700 300335 1027063 0 1286 35 43 36 2.38/2.40 c 1890 13778 302057 1036370 0 1288 43 57 49 2.38/2.41 c 1900 13860 303704 1043319 0 1291 51 60 51 2.38/2.43 c 1910 13930 305225 1048216 0 1297 39 56 45 2.38/2.43 c 1920 13992 306340 1051447 0 1307 44 53 42 2.38/2.45 c 1930 14060 307867 1058020 0 1316 49 59 49 2.38/2.46 c 1940 14120 310680 1065094 0 1319 44 44 40 2.38/2.48 c 1950 14199 312158 1071437 0 1327 48 60 49 2.38/2.50 c 1960 14273 313575 1077364 0 1336 53 61 50 2.48/2.51 c 1970 14364 316100 1085290 0 1344 37 53 38 2.48/2.53 c 1980 14446 317757 1094786 0 1347 55 59 52 2.48/2.54 c 1990 14516 319051 1099096 0 1350 48 57 49 2.48/2.55 c 2000 14608 320655 1103679 0 1357 51 71 55 2.48/2.57 c 2010 14672 322960 1110821 0 1363 36 44 37 2.48/2.58 c 2020 14749 324283 1116404 0 1369 46 61 50 2.58/2.60 c 2030 14814 325479 1122949 0 1376 44 52 44 2.58/2.60 c 2040 14891 326721 1126720 0 1384 49 64 53 2.58/2.63 c 2050 14962 328169 1134865 0 1393 48 56 48 2.58/2.65 c 2060 15033 329664 1140916 0 1403 52 58 49 2.58/2.67 c 2070 15085 331995 1151926 0 1405 39 41 35 2.58/2.68 c 2080 15133 333783 1157917 0 1410 38 38 34 2.58/2.69 c 2090 15194 334735 1162550 0 1420 20 52 39 2.68/2.71 c 2100 15267 335883 1169424 0 1425 24 54 41 2.68/2.72 c 2110 15332 338092 1175223 0 1426 46 49 43 2.68/2.73 c 2120 15403 339565 1180991 0 1433 52 60 50 2.68/2.74 c 2122 15455 340611 1183736 0 1435 51 51 34 2.68/2.74 c 2130 15519 341790 1187092 0 1443 52 57 49 2.68/2.75 c 2140 15614 343245 1192029 0 1444 58 68 55 2.68/2.77 c 2150 15682 344479 1199317 0 1449 18 55 44 2.68/2.78 c 2160 15754 345869 1203550 0 1459 51 63 52 2.68/2.79 c 2170 15826 347108 1207429 0 1467 47 61 52 2.78/2.80 c 2180 15899 348326 1212297 0 1473 52 64 53 2.78/2.82 c 2190 15996 350150 1220553 0 1481 51 67 54 2.78/2.84 c 2200 16067 351566 1226705 0 1491 50 60 49 2.78/2.85 c 2210 16142 352980 1230918 0 1496 46 60 52 2.78/2.86 c 2220 16226 354610 1238310 0 1500 52 64 54 2.78/2.88 c 2230 16303 357174 1246023 0 1506 35 48 35 2.78/2.89 c 2240 16381 358415 1251181 0 1513 17 69 51 2.88/2.90 c 2250 16457 360164 1255807 0 1522 47 64 51 2.88/2.91 c 2260 16525 361579 1261185 0 1532 49 57 47 2.88/2.92 c 2270 16613 362985 1265699 0 1539 51 66 56 2.88/2.94 c 2280 16690 364484 1272159 0 1544 52 64 54 2.88/2.95 c 2290 16744 366363 1279127 0 1554 34 36 32 2.88/2.98 c 2300 16804 369241 1289019 0 1558 40 44 38 2.88/2.99 c 2310 16878 370731 1294797 0 1565 51 65 53 2.88/3.00 c 2320 16955 372263 1300186 0 1574 51 64 53 2.99/3.01 c 2330 17021 373492 1304577 0 1579 49 55 48 2.99/3.02 c 2340 17101 375043 1309379 0 1587 45 58 49 2.99/3.03 c 2350 17159 376942 1313876 0 1597 39 49 36 2.99/3.04 c 2360 17224 378240 1318589 0 1607 46 56 48 2.99/3.05 c 2370 17296 379741 1324282 0 1613 51 60 51 2.99/3.06 c 2380 17372 381255 1328147 0 1621 49 64 52 2.99/3.08 c 2390 17458 383004 1334669 0 1628 50 62 51 2.99/3.10 c 2400 17536 385637 1344008 0 1632 42 48 40 3.09/3.11 c 2410 17596 386762 1347624 0 1642 36 51 40 3.09/3.12 c 2420 17674 388082 1353421 0 1645 56 63 55 3.09/3.13 c 2430 17759 389716 1360303 0 1652 55 68 56 3.09/3.14 c 2431 17813 390809 1363142 0 1653 54 54 27 3.09/3.15 c 2440 17886 392007 1366913 0 1660 49 65 49 3.09/3.16 c 2450 17956 393382 1371890 0 1670 47 59 46 3.09/3.17 c 2460 18038 394915 1377456 0 1677 60 68 56 3.09/3.18 c 2470 18084 396269 1381394 0 1681 36 36 32 3.09/3.19 c 2480 18157 398501 1388220 0 1689 36 54 36 3.18/3.20 c 2490 18226 399524 1392840 0 1699 17 60 41 3.18/3.21 c 2500 18334 401157 1398336 0 1705 52 70 58 3.18/3.22 c 2510 18417 402872 1403957 0 1709 47 70 53 3.18/3.24 c 2520 18477 403987 1409413 0 1719 47 51 45 3.18/3.25 c 2530 18581 405478 1414953 0 1725 50 68 59 3.18/3.26 c 2540 18650 406917 1419670 0 1735 47 60 46 3.18/3.28 c 2550 18721 408328 1426070 0 1744 48 62 48 3.18/3.29 c 2560 18824 410318 1432866 0 1748 60 72 58 3.28/3.31 c 2570 18896 411818 1439444 0 1754 53 59 50 3.28/3.32 c 2580 18942 413690 1443173 0 1764 37 37 33 3.28/3.33 c 2590 19014 415047 1449548 0 1771 46 60 48 3.28/3.34 c 2600 19083 416412 1454843 0 1776 56 56 50 3.28/3.36 c 2610 19157 418081 1461521 0 1783 53 61 50 3.28/3.37 c 2620 19232 419461 1466719 0 1787 48 62 53 3.28/3.38 c 2630 19288 421448 1475943 0 1791 32 38 30 3.28/3.40 c 2640 19363 422927 1481546 0 1795 54 58 50 3.38/3.43 c 2650 19438 424532 1489465 0 1798 60 60 54 3.38/3.45 c 2660 19517 426082 1497041 0 1806 48 62 51 3.38/3.45 c 2670 19587 427436 1501243 0 1813 47 58 48 3.38/3.47 c 2680 19671 429098 1509267 0 1820 57 63 54 3.38/3.49 c 2690 19745 430579 1514582 0 1827 51 65 53 3.48/3.50 c 2700 19827 432109 1521037 0 1835 49 63 51 3.48/3.51 c 2710 19903 433566 1526689 0 1840 58 58 52 3.48/3.52 c 2720 19984 435110 1532734 0 1846 59 61 55 3.48/3.53 c 2730 20061 436606 1536466 0 1856 57 68 54 3.48/3.54 c 2740 20149 438193 1542208 0 1857 64 64 58 3.48/3.55 c 2750 20221 439553 1546275 0 1863 51 61 54 3.48/3.56 c 2760 20298 441000 1552128 0 1872 52 64 52 3.48/3.57 c 2770 20371 442376 1557074 0 1880 51 64 51 3.48/3.57 c 2771 20422 443492 1559762 0 1881 51 51 25 3.48/3.58 c 2780 20487 444924 1564600 0 1888 51 56 47 3.48/3.59 c 2790 20582 446524 1568807 0 1897 59 72 60 3.58/3.62 c 2800 20661 448109 1576055 0 1902 46 62 51 3.58/3.63 c 2810 20729 449309 1580359 0 1904 57 57 51 3.58/3.65 c 2820 20779 451462 1587909 0 1908 37 39 34 3.58/3.66 c 2830 20828 453554 1593157 0 1912 38 38 34 3.58/3.67 c 2840 20902 454993 1598840 0 1914 53 61 52 3.58/3.68 c 2850 20978 456376 1603380 0 1924 51 67 51 3.58/3.69 c 2860 21051 457919 1609981 0 1932 52 60 52 3.68/3.70 c 2870 21139 459607 1617594 0 1934 60 64 56 3.68/3.72 c 2880 21210 460949 1624052 0 1941 43 62 50 3.68/3.73 c 2890 21287 462447 1628213 0 1948 54 66 53 3.68/3.74 c 2900 21359 463888 1633821 0 1955 47 61 48 3.68/3.76 c 2910 21445 465643 1640895 0 1960 56 64 55 3.68/3.77 c 2920 21527 467392 1646965 0 1963 53 63 54 3.68/3.78 c 2930 21609 468986 1652016 0 1968 53 57 50 3.68/3.79 c 2940 21677 470367 1656179 0 1973 56 56 50 3.78/3.81 c 2950 21752 471941 1663984 0 1981 48 60 50 3.78/3.82 c 2960 21843 473432 1669415 0 1988 47 67 56 3.78/3.84 c 2970 21911 474843 1674650 0 1998 49 57 47 3.78/3.85 c 2980 21977 476163 1678597 0 2001 48 57 50 3.78/3.86 c 2990 22024 477849 1684561 0 2008 34 35 31 3.78/3.87 c 3000 22093 479174 1689448 0 2018 46 60 44 3.78/3.89 c 3010 22163 480519 1695911 0 2027 49 61 48 3.88/3.90 c 3020 22212 482746 1701977 0 2029 39 39 35 3.88/3.91 c 3030 22283 484013 1707313 0 2033 44 58 49 3.88/3.93 c 3040 22358 485509 1713167 0 2041 48 62 49 3.88/3.94 c 3050 22431 487137 1719574 0 2048 56 62 54 3.88/3.95 c 3060 22497 488278 1724110 0 2051 49 55 47 3.88/3.97 c 3070 22576 489853 1731166 0 2058 54 60 52 3.88/3.98 c 3080 22652 491147 1735274 0 2062 54 61 54 3.88/3.99 c 3090 22729 492570 1740284 0 2069 45 66 48 3.88/4.00 c 3100 22808 494116 1744539 0 2078 54 62 52 3.99/4.01 c 3110 22873 495343 1748040 0 2088 44 56 47 3.99/4.03 c 3120 22939 496580 1754094 0 2098 20 57 45 3.99/4.03 c 3130 23014 497827 1758522 0 2104 52 56 50 3.99/4.05 c 3140 23090 499211 1764531 0 2111 52 58 49 3.99/4.05 c 3142 23141 500619 1767083 0 2113 48 50 32 3.99/4.06 c 3150 23202 501772 1770375 0 2121 50 54 47 3.99/4.07 c 3160 23266 503188 1777159 0 2131 37 53 43 3.99/4.08 c 3170 23342 504661 1782732 0 2140 51 65 56 3.99/4.10 c 3180 23424 506234 1790442 0 2144 55 62 52 4.09/4.11 c 3190 23496 507638 1796051 0 2151 47 61 48 4.09/4.12 c 3200 23570 508789 1799974 0 2158 53 63 52 4.09/4.13 c 3210 23638 510117 1805830 0 2167 43 59 48 4.09/4.14 c 3220 23719 511500 1811358 0 2174 50 64 53 4.09/4.16 c 3230 23790 513008 1819560 0 2179 33 58 47 4.09/4.17 c 3240 23862 514341 1824261 0 2189 43 61 51 4.09/4.19 c 3250 23935 515727 1830030 0 2198 52 62 50 4.09/4.20 c 3260 24003 516983 1834880 0 2203 41 59 50 4.18/4.20 c 3270 24077 518255 1839507 0 2212 49 63 51 4.18/4.21 c 3280 24144 519510 1844733 0 2222 43 58 49 4.18/4.23 c 3290 24215 520920 1851590 0 2231 48 60 50 4.18/4.25 c 3300 24282 522412 1858526 0 2240 40 56 44 4.18/4.26 c 3310 24345 524244 1862761 0 2246 35 48 38 4.18/4.28 c 3320 24429 525751 1869858 0 2255 41 60 51 4.28/4.30 c 3330 24526 527461 1876819 0 2263 59 67 56 4.28/4.31 c 3340 24593 528717 1881499 0 2273 50 58 46 4.28/4.32 c 3350 24671 530007 1886658 0 2280 49 66 53 4.28/4.33 c 3360 24740 531340 1891756 0 2290 46 60 46 4.28/4.35 c 3370 24816 532707 1898194 0 2299 43 57 46 4.28/4.36 c 3380 24886 534169 1904407 0 2307 50 59 49 4.28/4.38 c 3390 24954 535546 1909938 0 2317 49 57 47 4.28/4.38 c 3400 25026 536686 1915283 0 2324 16 63 44 4.38/4.40 c 3410 25109 538432 1922959 0 2332 51 63 52 4.38/4.41 c 3420 25209 540035 1927863 0 2338 10 66 50 4.38/4.43 c 3430 25277 542170 1935400 0 2343 43 55 46 4.38/4.44 c 3440 25346 543481 1941560 0 2349 43 58 48 4.38/4.45 c 3450 25441 545001 1948204 0 2355 49 65 54 4.38/4.47 c 3460 25528 546756 1956259 0 2360 53 59 51 4.38/4.48 c 3470 25624 548209 1961472 0 2365 49 68 57 4.48/4.50 c 3480 25691 549584 1967226 0 2375 48 56 46 4.48/4.52 c 3490 25771 551052 1974401 0 2380 52 64 53 4.48/4.53 c 3500 25851 552727 1981371 0 2383 44 63 53 4.48/4.55 c 3510 25921 554331 1989201 0 2393 55 59 51 4.48/4.56 c 3520 25983 555470 1992532 0 2403 47 53 44 4.48/4.57 c 3530 26046 556802 1996558 0 2413 50 54 46 4.48/4.59 c 3540 26132 558639 2004973 0 2416 57 61 54 4.58/4.61 c 3550 26183 560876 2012518 0 2423 37 39 34 4.58/4.61 c 3551 26218 562263 2015391 0 2424 35 35 17 4.58/4.63 c 3560 26294 563775 2021101 0 2431 52 62 50 4.58/4.64 c 3570 26381 565864 2026822 0 2433 54 62 52 4.58/4.65 c 3580 26458 567606 2032515 0 2437 53 63 54 4.58/4.66 c 3590 26543 569019 2037168 0 2444 47 66 53 4.58/4.68 c 3600 26612 571858 2047328 0 2446 36 46 34 4.68/4.70 c 3610 26682 573860 2053888 0 2454 32 59 44 4.68/4.71 c 3620 26758 575468 2059170 0 2463 54 60 51 4.68/4.73 c 3630 26833 576863 2064703 0 2472 46 62 51 4.68/4.74 c 3640 26923 578393 2070360 0 2474 51 61 53 4.68/4.75 c 3650 26992 580141 2074408 0 2484 33 60 40 4.68/4.76 c 3660 27077 581500 2079036 0 2488 62 62 56 4.68/4.78 c 3670 27158 583022 2084487 0 2495 46 58 48 4.78/4.80 c 3680 27227 584508 2092465 0 2500 44 56 47 4.78/4.81 c 3690 27315 586538 2097836 0 2508 33 68 52 4.78/4.83 c 3700 27388 589060 2105172 0 2513 45 51 44 4.78/4.84 c 3710 27465 590403 2110714 0 2518 40 58 48 4.78/4.86 c 3720 27546 592071 2116247 0 2525 51 63 52 4.78/4.88 c 3730 27616 593448 2124255 0 2534 41 59 46 4.78/4.89 c 3740 27687 595213 2128973 0 2542 32 62 45 4.88/4.91 c 3750 27758 596524 2135002 0 2549 46 58 49 4.88/4.92 c 3760 27800 598168 2137764 0 2559 33 33 30 4.88/4.93 c 3770 27868 599573 2142409 0 2569 41 59 44 4.88/4.93 c 3780 27939 600851 2146957 0 2579 43 60 47 4.88/4.94 c 3790 28016 602132 2151242 0 2583 50 65 55 4.88/4.96 c 3800 28066 603716 2156434 0 2588 39 40 36 4.88/4.96 c 3810 28114 605568 2160268 0 2591 38 38 34 4.88/4.98 c 3820 28182 606819 2167306 0 2595 47 55 46 4.88/4.99 c 3830 28278 609083 2174579 0 2602 34 44 37 4.99/5.01 c 3840 28360 610477 2180513 0 2607 43 61 48 4.99/5.03 c 3850 28436 611737 2186808 0 2609 25 52 44 4.99/5.04 c 3860 28504 613078 2193048 0 2618 43 59 48 4.99/5.05 c 3870 28577 614444 2199688 0 2625 43 62 49 4.99/5.06 c 3880 28648 615833 2205526 0 2631 52 62 52 4.99/5.07 c 3890 28719 617082 2210478 0 2641 43 58 49 4.99/5.08 c 3900 28790 618458 2216303 0 2647 52 62 52 4.99/5.09 c 3910 28858 619796 2222324 0 2653 52 58 50 5.09/5.11 c 3920 28933 621293 2227933 0 2660 52 62 52 5.09/5.12 c 3930 28988 623107 2232873 0 2663 36 46 35 5.09/5.13 c 3940 29059 624522 2238553 0 2669 52 62 52 5.09/5.15 c 3950 29106 626713 2245896 0 2670 36 37 32 5.09/5.16 c 3960 29190 628976 2253636 0 2680 35 43 35 5.09/5.18 c 3970 29267 630436 2259334 0 2690 50 62 51 5.09/5.19 c 3980 29336 631709 2264983 0 2697 48 60 49 5.18/5.20 c 3990 29384 633878 2269994 0 2701 38 38 34 5.18/5.22 c 4000 29462 635261 2276636 0 2705 53 57 50 5.18/5.23 c 4001 29501 636677 2279113 0 2706 39 39 19 5.18/5.25 c 4010 29579 638283 2285810 0 2712 54 64 52 5.18/5.25 c 4020 29629 639882 2289607 0 2717 38 39 34 5.18/5.27 c 4030 29679 641327 2292950 0 2722 40 40 36 5.18/5.28 c 4040 29731 643756 2301333 0 2732 34 34 30 5.18/5.29 c 4050 29805 645007 2305438 0 2736 51 61 54 5.28/5.31 c 4060 29888 646554 2313121 0 2746 48 60 51 5.28/5.31 c 4070 29959 647974 2316969 0 2753 51 58 49 5.28/5.33 c 4080 30036 649459 2324146 0 2757 48 60 50 5.28/5.34 c 4090 30104 650845 2328138 0 2762 56 56 50 5.28/5.35 c 4100 30171 652256 2334031 0 2772 52 56 48 5.28/5.36 c 4110 30240 653529 2339330 0 2779 44 58 50 5.28/5.37 c 4120 30309 654868 2342893 0 2789 46 60 48 5.28/5.37 c 4130 30396 656205 2347644 0 2794 11 64 51 5.28/5.39 c 4140 30469 657854 2358878 0 2796 52 56 50 5.38/5.41 c 4150 30538 659280 2364357 0 2803 50 60 49 5.38/5.43 c 4160 30609 660789 2372754 0 2808 33 58 47 5.38/5.44 c 4170 30685 662423 2379098 0 2813 49 61 49 5.38/5.45 c 4180 30754 663666 2383866 0 2823 42 60 50 5.38/5.46 c 4190 30835 665021 2388877 0 2830 14 59 45 5.38/5.47 c 4200 30904 666272 2393808 0 2840 45 60 50 5.38/5.48 c 4210 30991 667767 2400368 0 2843 44 60 51 5.38/5.49 c 4220 31060 669188 2404943 0 2853 48 56 46 5.48/5.50 c 4230 31126 670592 2409232 0 2863 48 57 45 5.48/5.51 c 4240 31229 672306 2414631 0 2867 52 70 58 5.48/5.52 c 4250 31301 673809 2420325 0 2873 51 60 51 5.48/5.53 c 4260 31373 675087 2425065 0 2880 46 55 49 5.48/5.54 c 4270 31443 676297 2428710 0 2886 49 59 52 5.48/5.55 c 4280 31512 677442 2432215 0 2896 46 60 48 5.48/5.56 c 4290 31573 678430 2436269 0 2900 12 51 41 5.48/5.57 c 4300 31645 679738 2440749 0 2905 49 53 46 5.48/5.59 c 4310 31726 681299 2446754 0 2915 51 64 51 5.58/5.61 c 4320 31793 682767 2453812 0 2924 40 56 44 5.58/5.62 c 4330 31866 684202 2459188 0 2929 49 62 51 5.58/5.63 c 4340 31936 685443 2463226 0 2939 49 59 50 5.58/5.64 c 4350 32005 686673 2467261 0 2945 46 56 48 5.58/5.66 c 4360 32077 688031 2474230 0 2953 51 59 50 5.58/5.67 c 4370 32146 689251 2478256 0 2959 46 56 48 5.58/5.69 c 4380 32222 690733 2486049 0 2963 55 63 52 5.68/5.70 c 4390 32297 692156 2491603 0 2971 46 62 49 5.68/5.71 c 4400 32379 693618 2497663 0 2981 59 63 55 5.68/5.72 c 4410 32459 695232 2504568 0 2989 53 63 54 5.68/5.73 c 4420 32525 696332 2509740 0 2999 43 57 45 5.68/5.74 c 4430 32600 697593 2513653 0 3006 48 63 53 5.68/5.75 c 4440 32664 698715 2516948 0 3016 47 55 48 5.68/5.77 c 4450 32743 700274 2524514 0 3021 54 60 51 5.68/5.79 c 4460 32834 702030 2532082 0 3024 53 63 54 5.78/5.81 c 4470 32902 703423 2537564 0 3034 49 57 47 5.78/5.83 c 4480 32981 705075 2544110 0 3041 53 63 52 5.78/5.84 c 4490 33036 707329 2549356 0 3043 42 45 39 5.78/5.85 c 4493 33095 708643 2553199 0 3046 53 57 40 5.78/5.85 c 4500 33152 709914 2556626 0 3050 47 51 43 5.78/5.87 c 4510 33250 711750 2564801 0 3058 51 68 55 5.78/5.88 c 4520 33327 713296 2570625 0 3063 51 64 53 5.88/5.90 c 4530 33415 715074 2578479 0 3071 51 63 53 5.88/5.91 c 4540 33504 716726 2584502 0 3074 56 64 57 5.88/5.92 c 4550 33608 718387 2589082 0 3079 53 68 60 5.88/5.94 c 4560 33692 720022 2596516 0 3083 52 64 54 5.88/5.95 c 4570 33763 721458 2602182 0 3089 47 59 50 5.88/5.97 c 4580 33850 723132 2609626 0 3094 53 65 53 5.88/5.98 c 4590 33921 724586 2613810 0 3100 50 60 51 5.88/5.99 c 4600 33991 726027 2619830 0 3109 47 59 47 5.99/6.01 c 4610 34074 727527 2626945 0 3115 43 62 52 5.99/6.02 c 4620 34165 729200 2633369 0 3118 58 66 58 5.99/6.03 c 4630 34234 730368 2637322 0 3125 18 56 43 5.99/6.04 c 4640 34305 731572 2640854 0 3131 48 59 50 5.99/6.05 c 4650 34378 733156 2645522 0 3140 47 59 49 5.99/6.06 c 4660 34434 735787 2651245 0 3146 45 45 40 5.99/6.08 c 4670 34508 737136 2657417 0 3155 17 55 43 5.99/6.10 c 4680 34585 738655 2666633 0 3161 54 60 52 6.09/6.11 c 4690 34668 739927 2672096 0 3171 38 60 50 6.09/6.12 c 4700 34714 741452 2675900 0 3176 36 36 32 6.09/6.12 c 4710 34778 742591 2679734 0 3185 46 55 45 6.09/6.13 c 4720 34825 744549 2683731 0 3195 36 37 32 6.09/6.14 c 4730 34884 745583 2686953 0 3205 46 50 44 6.09/6.14 c 4740 34956 746724 2690747 0 3213 48 59 49 6.09/6.16 c 4750 35030 748067 2695466 0 3219 51 57 48 6.09/6.16 c 4760 35089 749344 2699174 0 3229 50 50 45 6.09/6.17 c 4770 35154 750673 2703032 0 3239 52 56 47 6.09/6.18 c 4780 35218 752004 2707036 0 3247 47 51 44 6.18/6.20 c 4790 35298 753706 2715579 0 3252 56 64 53 6.18/6.21 c 4800 35371 755184 2719693 0 3258 61 61 55 6.18/6.22 c 4810 35437 756583 2724425 0 3268 49 57 46 6.18/6.23 c 4820 35505 757979 2729908 0 3278 49 57 47 6.18/6.24 c 4830 35574 759240 2733548 0 3288 51 60 49 6.18/6.25 c 4840 35661 760762 2738526 0 3292 43 62 52 6.18/6.27 c 4850 35738 762208 2744866 0 3298 50 64 53 6.18/6.28 c 4860 35808 763607 2749492 0 3308 46 59 48 6.18/6.29 c 4870 35877 764932 2753609 0 3315 46 60 49 6.28/6.30 c 4880 35950 766236 2759793 0 3323 48 60 51 6.28/6.32 c 4890 36032 767890 2768253 0 3326 54 62 53 6.28/6.34 c 4900 36098 769392 2774299 0 3336 51 57 47 6.28/6.35 c 4910 36178 770745 2778370 0 3345 46 67 53 6.28/6.36 c 4920 36246 772144 2784010 0 3355 49 57 47 6.28/6.37 c 4930 36317 773547 2787912 0 3363 44 62 46 6.28/6.38 c 4940 36396 775070 2794131 0 3372 50 64 52 6.28/6.39 c 4950 36480 776602 2798283 0 3379 59 67 58 6.38/6.41 c 4960 36564 778247 2805717 0 3383 52 64 54 6.38/6.42 c 4970 36642 779673 2809860 0 3388 43 66 52 6.38/6.43 c 4980 36721 781164 2816607 0 3394 50 64 53 6.38/6.45 c 4990 36794 782720 2822987 0 3400 48 58 48 6.38/6.47 c 5035 36904 784247 2829555 0 3414 43 54 52 6.88/6.92 c 5631 38654 809597 3064004 0 3438 46 66 56 7.48/7.59 c 6286 40856 844735 3364946 0 3453 44 68 58 7.88/7.97 c 7006 44432 883771 3559183 0 3485 48 67 63 8.58/8.68 c 7798 47123 914520 3892790 0 3518 39 66 60 9.18/9.28 c 8669 49778 941611 4116185 0 3555 49 67 64 9.78/9.80 c 9627 52557 977285 4445481 0 3582 48 65 57 10.28/10.38 c 10680 55592 1010999 4810269 0 3616 40 67 61 11.28/11.32 c 11838 58525 1063806 5215095 0 3635 50 66 55 12.09/12.18 c 13111 63274 1137468 5637827 0 3662 49 69 59 13.48/13.55 c 14511 67337 1204938 6139134 0 3684 44 63 54 14.48/14.59 c 16051 72728 1266586 6558735 0 3718 49 74 60 16.38/16.43 c 17745 78595 1351857 7348057 0 3746 31 66 56 18.38/18.48 c 19608 85142 1448968 8199337 0 3790 50 66 58 20.09/20.11 c 21657 91607 1542104 9007034 0 3813 44 67 58 22.58/22.68 c 23910 99694 1764586 10164258 0 3860 36 66 47 25.58/25.66 c 26388 108317 1887182 11291942 0 3876 47 63 55 27.88/27.95 c 29113 117843 2022657 12422022 0 3921 44 66 57 30.88/30.95 c 32110 127847 2176837 13723196 0 3940 41 66 57 34.88/35.00 c 35406 138287 2330672 15267344 0 3965 9 64 55 36.88/37.00 c 39031 149802 2509243 16594437 0 4003 49 69 58 40.59/40.61 c 43018 164893 2717899 18095579 0 4034 51 72 62 46.39/46.41 c 47403 179854 3020032 19898419 0 4067 33 70 52 49.69/49.79 c 52226 198862 3246210 21571639 0 4106 52 72 64 53.00/53.06 c 57531 211833 3404186 22972235 0 4124 53 70 63 58.00/58.09 c 63366 231193 3697058 25243397 0 4142 47 66 56 60.39/60.48 c 69784 255217 3903609 26480147 0 4171 47 72 68 66.59/66.62 c 76843 280529 4259111 29265408 0 4192 46 66 56 69.19/69.22 c 84607 294779 4401487 30641789 0 4225 47 65 60 75.10/75.17 c 93147 319890 4746301 33315692 0 4257 49 69 60 83.69/83.70 c 102541 355718 5260592 37107793 0 4308 44 66 58 89.19/89.25 c 112874 383939 6060302 40647994 0 4372 31 61 47 100.79/100.81 c 124240 430410 6733956 45360578 0 4414 16 68 58 112.29/112.38 c 136742 475352 7367700 50369014 0 4450 50 70 59 123.30/123.39 c 150494 521550 8055763 55287429 0 4487 45 74 58 136.90/136.97 c 165621 576370 8859154 61136641 0 4533 16 68 58 150.11/150.18 c 182260 639227 9754660 67352221 0 4579 16 69 58 164.90/164.91 c 200562 699834 10632904 74620415 0 4612 44 68 57 182.70/182.79 c 220694 753319 11405013 82190655 0 4647 42 66 59 202.90/202.95 c 242839 826466 12476793 91113784 0 4674 46 68 57 221.60/221.65 c 267198 896964 13501741 104535707 0 4718 44 67 57 245.20/245.22 c 293992 1015672 15008567 114596162 0 4750 47 69 60 265.70/265.75 c 323465 1120991 16452415 126474485 0 4800 46 70 62 297.51/297.54 c 355885 1233182 18291228 139380502 0 4865 47 68 57 338.51/338.53 c 391547 1350389 21608535 153657668 0 4943 35 71 50 375.41/375.45 c 430775 1492256 23645909 169698147 0 4973 45 70 59 414.12/414.19 c 473925 1625310 25688591 187266306 0 5003 46 68 57 455.81/455.85 c 521390 1784556 28009052 206053668 0 5027 48 72 61 485.92/485.93 c 573601 1936749 29805249 221873182 0 5059 50 72 61 531.62/531.68 c 631033 2140989 32513586 244945450 0 5082 42 68 58 584.03/584.09 c 694208 2354671 35667787 268372398 0 5095 44 69 57 644.73/644.79 c 763700 2602114 39339358 293651710 0 5126 47 70 59 687.43/687.40 c 840141 2885084 42025937 320472653 0 5167 52 74 66 756.53/756.54 c 924226 3181576 45813062 355060269 0 5205 49 69 61 814.14/814.16 c 1016719 3557134 49669700 384811408 0 5247 52 78 69 850.84/850.81 c 1118461 3852936 52457088 403468835 0 5277 44 66 59 915.34/915.39 c 1230377 4200350 56324744 446709791 0 5308 43 66 57 1035.95/1035.92 c 1353484 4548942 67700201 493873209 0 5341 34 69 54 1152.65/1152.61 c 1488901 4994616 73953212 544992761 0 5380 46 71 60 1271.07/1271.01 c 1637859 5475605 80933294 598237469 0 5413 48 71 61 1409.27/1409.20 c 1801712 6053391 89508392 663031945 0 5431 45 68 58 1555.77/1555.76 c 1981950 6721049 98811495 729043413 0 5485 47 72 60 1649.88/1649.83 c 2180211 7285162 104416687 775081746 0 5524 36 69 62 1841.49/1841.44 c 2398298 8038570 114562408 869206687 0 5587 44 68 57 2065.90/2065.88 c 2638193 8905222 127434447 966294157 0 5654 46 70 59 2232.31/2232.23 c 2902077 9803693 139567256 1058334626 0 5696 41 70 56 2508.03/2507.95 c 3192349 10901064 155204717 1173062288 0 5759 46 70 59 2520.03/2519.90 2520.03/2519.90 c *** INTERRUPTED *** 2520.03/2519.90 c restarts : 584 2520.03/2519.90 c conflicts : 3206914 (1273 /sec) 2520.03/2519.90 c decisions : 10950041 (4345 /sec) 2520.03/2519.90 c propagations : 1179020903 (467861 /sec) 2520.03/2519.90 c root propagations : 0 2520.03/2519.90 c filter calls : 155898635 (61864 /sec) 2520.03/2519.90 c useless filter calls : 66717223 (42 %) 2520.03/2519.90 c 2520.03/2519.90 c clauses : 124831 2520.03/2519.90 c SAT propagations : 4533 2520.03/2519.90 c SAT conflicts : 0 (0 learnts) 2520.03/2519.90 c Memory used : 35.20 MB 2520.03/2519.90 c CPU time : 2520.02 s 2520.03/2519.90 2520.03/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 (14873 MiB free)
memory of node 1: 16384 MiB (15546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265978-1502571524/watcher-4265978-1502571524 -o /tmp/evaluation-result-4265978-1502571524/solver-4265978-1502571524 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265978-1502571524.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24903, runsolver pid=24900
[startup+0.100728 s]*
/proc/loadavg: 2.24 2.06 2.10 4/201 24904
/proc/meminfo: memFree=31072232/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35396 memory=10480 CPUtime=0.09 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 2296 0 0 0 9 0 0 0 20 0 1 0 90240750 36245504 2620 33554432000 4194304 5972588 140732466399088 140732466396120 4975230 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8849 2620 836 435 0 2212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35396 KiB
Current children cumulated memory: 10480 KiB
[startup+0.209784 s]*
/proc/loadavg: 2.24 2.06 2.10 3/185 24904
/proc/meminfo: memFree=31711068/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35524 memory=10668 CPUtime=0.2 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 2319 0 0 0 20 0 0 0 20 0 1 0 90240750 36376576 2667 33554432000 4194304 5972588 140732466399088 140732466396392 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8881 2667 836 435 0 2244 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 10668 KiB
[startup+0.309032 s]*
/proc/loadavg: 2.24 2.06 2.10 3/185 24910
/proc/meminfo: memFree=31704372/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35524 memory=10668 CPUtime=0.3 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 2323 0 0 0 30 0 0 0 20 0 1 0 90240750 36376576 2667 33554432000 4194304 5972588 140732466399088 140732466396392 4968783 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8881 2667 836 435 0 2244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 10668 KiB
[startup+0.700287 s]
/proc/loadavg: 2.24 2.06 2.10 3/185 24910
/proc/meminfo: memFree=31704092/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35524 memory=10668 CPUtime=0.68 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 2331 0 0 0 68 0 0 0 20 0 1 0 90240750 36376576 2667 33554432000 4194304 5972588 140732466399088 140732466396392 140568230018144 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8881 2667 836 435 0 2244 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 10668 KiB
[startup+1.50027 s]
/proc/loadavg: 2.24 2.06 2.10 2/182 24921
/proc/meminfo: memFree=31718908/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35524 memory=10668 CPUtime=1.48 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 2339 0 0 0 148 0 0 0 20 0 1 0 90240750 36376576 2667 33554432000 4194304 5972588 140732466399088 140732466396392 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8881 2667 836 435 0 2244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 10668 KiB
[startup+3.10928 s]
/proc/loadavg: 2.22 2.06 2.10 3/188 24997
/proc/meminfo: memFree=31668276/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35672 memory=10780 CPUtime=3.09 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 3430 0 0 0 309 0 0 0 20 0 1 0 90240750 36528128 2695 33554432000 4194304 5972588 140732466399088 140732466396392 4962240 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8918 2695 836 435 0 2281 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 10780 KiB
[startup+6.30027 s]
/proc/loadavg: 2.22 2.06 2.10 3/188 24997
/proc/meminfo: memFree=31668268/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35672 memory=10836 CPUtime=6.28 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 4083 0 0 0 628 0 0 0 20 0 1 0 90240750 36528128 2709 33554432000 4194304 5972588 140732466399088 140732466396392 4972728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8918 2709 836 435 0 2281 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 10836 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.06 2.10 3/188 24997
/proc/meminfo: memFree=31666944/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35672 memory=10880 CPUtime=12.68 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 4692 0 0 0 1268 0 0 0 20 0 1 0 90240750 36528128 2720 33554432000 4194304 5972588 140732466399088 140732466396392 4909635 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8918 2720 836 435 0 2281 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 10880 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.10 3/188 24997
/proc/meminfo: memFree=31649676/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10892 CPUtime=25.48 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 5565 0 0 0 2548 0 0 0 20 0 1 0 90240750 36773888 2723 33554432000 4194304 5972588 140732466399088 140732466396392 4909616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2723 836 435 0 2341 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10892 KiB
[startup+51.1089 s]
/proc/loadavg: 2.11 2.05 2.10 3/187 24997
/proc/meminfo: memFree=31636700/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10904 CPUtime=51.1 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 6403 0 0 0 5109 1 0 0 20 0 1 0 90240750 36773888 2726 33554432000 4194304 5972588 140732466399088 140732466396392 5053069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2726 836 435 0 2341 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10904 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.09 3/187 24998
/proc/meminfo: memFree=31635400/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10912 CPUtime=102.29 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 7042 0 0 0 10228 1 0 0 20 0 1 0 90240750 36773888 2728 33554432000 4194304 5972588 140732466399088 140732466396392 5071744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2728 836 435 0 2341 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10912 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.09 3/187 24999
/proc/meminfo: memFree=31632720/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10924 CPUtime=162.3 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 7634 0 0 0 16229 1 0 0 20 0 1 0 90240750 36773888 2731 33554432000 4194304 5972588 140732466399088 140732466396392 4971615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2731 836 435 0 2341 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10924 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.08 3/187 25000
/proc/meminfo: memFree=31629768/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10928 CPUtime=222.3 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 8249 0 0 0 22229 1 0 0 20 0 1 0 90240750 36773888 2732 33554432000 4194304 5972588 140732466399088 140732466396392 5071785 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2732 836 435 0 2341 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10928 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/187 25001
/proc/meminfo: memFree=31629488/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10928 CPUtime=282.3 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 8263 0 0 0 28229 1 0 0 20 0 1 0 90240750 36773888 2732 33554432000 4194304 5972588 140732466399088 140732466396392 4965560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2732 836 435 0 2341 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10928 KiB
[startup+342.3 s]
/proc/loadavg: 2.34 2.10 2.10 3/187 25009
/proc/meminfo: memFree=31628600/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10940 CPUtime=342.31 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 8819 0 0 0 34230 1 0 0 20 0 1 0 90240750 36773888 2735 33554432000 4194304 5972588 140732466399088 140732466396392 5251432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2735 836 435 0 2341 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10940 KiB
[startup+402.3 s]
/proc/loadavg: 2.27 2.14 2.11 3/187 25010
/proc/meminfo: memFree=31628724/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10944 CPUtime=402.31 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 8872 0 0 0 40230 1 0 0 20 0 1 0 90240750 36773888 2736 33554432000 4194304 5972588 140732466399088 140732466396392 4978783 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2736 836 435 0 2341 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10944 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.12 2.11 3/187 25011
/proc/meminfo: memFree=31628972/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=35912 memory=10944 CPUtime=462.31 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 9376 0 0 0 46230 1 0 0 20 0 1 0 90240750 36773888 2736 33554432000 4194304 5972588 140732466399088 140732466396392 4909702 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 8978 2736 836 435 0 2341 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 10944 KiB
################
# More data... #
################
/proc/24903/statm: 9011 2772 836 435 0 2374 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11088 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25074
/proc/meminfo: memFree=31621696/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11104 CPUtime=1842.39 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 15671 0 0 0 184238 1 0 0 20 0 1 0 90240750 36909056 2776 33554432000 4194304 5972588 140732466399088 140732466396392 4909602 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2776 836 435 0 2374 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11104 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25075
/proc/meminfo: memFree=31620704/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11104 CPUtime=1902.39 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16062 0 0 0 190238 1 0 0 20 0 1 0 90240750 36909056 2776 33554432000 4194304 5972588 140732466399088 140732466396392 4979378 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2776 836 435 0 2374 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11104 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25076
/proc/meminfo: memFree=31620152/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11104 CPUtime=1962.4 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16066 0 0 0 196239 1 0 0 20 0 1 0 90240750 36909056 2776 33554432000 4194304 5972588 140732466399088 140732466396392 4909639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2776 836 435 0 2374 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11104 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25077
/proc/meminfo: memFree=31620292/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11104 CPUtime=2022.4 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16373 0 0 0 202239 1 0 0 20 0 1 0 90240750 36909056 2776 33554432000 4194304 5972588 140732466399088 140732466396392 4975680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2776 836 435 0 2374 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11104 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25078
/proc/meminfo: memFree=31620688/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11116 CPUtime=2082.4 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16555 0 0 0 208239 1 0 0 20 0 1 0 90240750 36909056 2779 33554432000 4194304 5972588 140732466399088 140732466396392 4968815 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2779 836 435 0 2374 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11116 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25087
/proc/meminfo: memFree=31619692/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11116 CPUtime=2142.41 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16931 0 0 0 214240 1 0 0 20 0 1 0 90240750 36909056 2779 33554432000 4194304 5972588 140732466399088 140732466396392 4962376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2779 836 435 0 2374 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11116 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25088
/proc/meminfo: memFree=31620200/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11116 CPUtime=2202.41 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 16932 0 0 0 220240 1 0 0 20 0 1 0 90240750 36909056 2779 33554432000 4194304 5972588 140732466399088 140732466396392 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2779 836 435 0 2374 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11116 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25089
/proc/meminfo: memFree=31620688/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11124 CPUtime=2262.41 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 17491 0 0 0 226240 1 0 0 20 0 1 0 90240750 36909056 2781 33554432000 4194304 5972588 140732466399088 140732466396392 5071058 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2781 836 435 0 2374 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11124 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25090
/proc/meminfo: memFree=31620432/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11124 CPUtime=2322.42 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 17493 0 0 0 232241 1 0 0 20 0 1 0 90240750 36909056 2781 33554432000 4194304 5972588 140732466399088 140732466396392 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2781 836 435 0 2374 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11124 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25091
/proc/meminfo: memFree=31620432/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11124 CPUtime=2382.42 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 17836 0 0 0 238241 1 0 0 20 0 1 0 90240750 36909056 2781 33554432000 4194304 5972588 140732466399088 140732466396392 4972789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2781 836 435 0 2374 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11124 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25093
/proc/meminfo: memFree=31620488/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11124 CPUtime=2442.42 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 17838 0 0 0 244241 1 0 0 20 0 1 0 90240750 36909056 2781 33554432000 4194304 5972588 140732466399088 140732466396392 5071744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2781 836 435 0 2374 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11124 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25094
/proc/meminfo: memFree=31620572/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11124 CPUtime=2502.43 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 18128 0 0 0 250242 1 0 0 20 0 1 0 90240750 36909056 2781 33554432000 4194304 5972588 140732466399088 140732466396392 4970856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2781 836 435 0 2374 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25094
/proc/meminfo: memFree=31620820/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11136 CPUtime=2520.03 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 18351 0 0 0 252002 1 0 0 20 0 1 0 90240750 36909056 2784 33554432000 4194304 5972588 140732466399088 140732466396392 4972046 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2784 836 435 0 2374 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 24903 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.02 s, system=0.016 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 25094
/proc/meminfo: memFree=31620820/32770624 swapFree=67108860/67108860
[pid=24903] ppid=24900 vsize=36044 memory=11136 CPUtime=2520.03 cores=1,3,5,7
/proc/24903/stat : 24903 (cosoco) R 24900 24903 24193 0 -1 4202496 18351 0 0 0 252002 1 0 0 20 0 1 0 90240750 36909056 2784 33554432000 4194304 5972588 140732466399088 140732466396392 4972046 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27058176 140732466406586 140732466406686 140732466406686 140732466409422 0
/proc/24903/statm: 9011 2784 836 435 0 2374 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 36044 KiB
Current children cumulated memory: 11136 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.02
CPU system time (s): 0.016
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 36044
Max. memory (cumulated for all children) (KiB): 11136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.016
maximum resident set size= 11204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18390
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= 11
involuntary context switches= 716
# summary of solver processes directly reported to runsolver:
# pid: 24903
# total CPU time (s): 2520.04
# total CPU user time (s): 2520.02
# total CPU system time (s): 0.016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53005 second user time and 16.1945 second system time
The end
Begin job on node102 at 2017-08-12 22:44:26 IDJOB=4265978 IDBENCH=124119 IDSOLVER=2655 FILE ID=node102/4265978-1502571524 RUNJOBID= node102-1502567256-24277 PBS_JOBID= 20628289 Free space on /tmp= 61904 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-050.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265978-1502571524/watcher-4265978-1502571524 -o /tmp/evaluation-result-4265978-1502571524/solver-4265978-1502571524 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265978-1502571524.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 010bfed6e804a02be5e9f2a754b88433 RANDOM SEED=1957528354 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31162648 kB MemAvailable: 31459252 kB Buffers: 79064 kB Cached: 526000 kB SwapCached: 0 kB Active: 1115200 kB Inactive: 96604 kB Active(anon): 557324 kB Inactive(anon): 77220 kB Active(file): 557876 kB Inactive(file): 19384 kB Unevictable: 6460 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2444 kB Writeback: 0 kB AnonPages: 432772 kB Mapped: 53960 kB Shmem: 25228 kB Slab: 96084 kB SReclaimable: 70356 kB SUnreclaim: 25728 kB KernelStack: 3536 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1670376 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 321536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61908 MiB End job on node102 at 2017-08-12 23:26:26