| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.07 | 2400.5 |
| Name | ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-19.xml |
| MD5SUM | 83a04d869151a5b67f4c27500757dc69 |
| 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 | 361 |
| Number of constraints | 108 |
| Number of domains | 1 |
| Minimum domain size | 19 |
| Maximum domain size | 19 |
| Distribution of domain sizes | [{"size":19,"count":361}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":357}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 19 |
| Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":4},{"arity":16,"count":4},{"arity":17,"count":4},{"arity":18,"count":4},{"arity":19,"count":40}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":108}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.04 c SAT : Variables: 6859 -- Clauses: 62092 0.00/0.04 c root propagations : 0 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 1.0 -- 0.00/0.04 c 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.03 s 0.00/0.04 c | 0.00/0.04 c | Variables: 361 0.00/0.04 c | Domain Sizes: 19..19 0.00/0.04 c | 0.00/0.04 c | Constraints: 108 0.00/0.04 c | Arity: 2..19 -- Binary: 4 -- Ternary: 4 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | All Different: 108 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.06 c 10 200 6663 7123 0 4 163 176 153 0.00/0.09 c 20 409 13769 14106 0 9 138 192 165 0.08/0.11 c 30 603 20177 19861 0 14 150 180 156 0.08/0.14 c 40 813 29028 29605 0 18 167 188 165 0.08/0.15 c 50 1016 35344 35162 0 27 96 186 153 0.08/0.18 c 60 1212 43323 43928 0 32 145 182 153 0.08/0.20 c 70 1415 51675 52179 0 38 164 173 152 0.18/0.22 c 80 1608 59995 60303 0 44 157 170 149 0.18/0.23 c 90 1802 67757 67933 0 48 159 177 153 0.18/0.24 c 100 1999 73394 72446 0 58 73 185 151 0.18/0.25 c 101 2167 77903 75449 0 59 168 168 84 0.18/0.26 c 110 2326 82008 78282 0 62 137 141 125 0.18/0.27 c 120 2528 87975 83280 0 69 96 189 136 0.18/0.29 c 130 2734 94017 88664 0 75 154 181 159 0.28/0.31 c 140 2932 101364 96966 0 79 167 178 158 0.28/0.32 c 150 3142 108805 104779 0 85 174 189 165 0.28/0.34 c 160 3345 115495 111144 0 92 90 182 150 0.28/0.36 c 170 3568 123406 120088 0 99 146 194 160 0.28/0.37 c 180 3786 130442 128112 0 103 167 190 164 0.28/0.39 c 190 3993 137798 135979 0 110 100 185 153 0.38/0.40 c 200 4170 141976 139587 0 113 150 159 139 0.38/0.41 c 210 4380 149431 146217 0 116 169 185 161 0.38/0.42 c 211 4528 152668 148427 0 117 148 148 74 0.38/0.43 c 220 4714 157642 152882 0 124 95 168 121 0.38/0.45 c 230 4899 163680 159621 0 132 148 172 147 0.38/0.46 c 240 5111 171433 167987 0 134 159 188 163 0.38/0.48 c 250 5322 178390 175308 0 140 172 198 170 0.38/0.49 c 260 5510 184223 181133 0 144 158 164 146 0.48/0.51 c 270 5726 190649 187259 0 153 142 196 165 0.48/0.53 c 280 5940 199069 198071 0 157 162 190 161 0.48/0.55 c 290 6154 206595 206542 0 163 109 189 159 0.48/0.56 c 300 6346 211762 211757 0 171 160 178 156 0.48/0.58 c 310 6569 223480 224329 0 178 158 186 154 0.58/0.60 c 320 6792 232147 233653 0 182 168 183 158 0.58/0.62 c 330 6982 239281 241802 0 190 154 173 148 0.58/0.62 c 332 7080 241686 243218 0 192 96 97 64 0.58/0.64 c 340 7279 248217 249382 0 200 138 187 145 0.58/0.65 c 350 7477 254069 254852 0 207 113 174 144 0.58/0.67 c 360 7694 260774 260808 0 214 178 200 176 0.58/0.68 c 370 7882 267014 266507 0 222 152 173 148 0.68/0.70 c 380 8101 274846 273891 0 228 170 195 169 0.68/0.71 c 390 8289 280251 278803 0 237 158 179 157 0.68/0.73 c 400 8495 289925 288556 0 242 155 179 150 0.68/0.74 c 410 8694 295173 293269 0 252 101 186 150 0.68/0.76 c 420 8902 303185 302029 0 257 56 177 142 0.68/0.78 c 430 9123 311587 311627 0 264 144 189 163 0.78/0.80 c 440 9344 318994 319478 0 270 171 194 166 0.78/0.82 c 450 9568 325943 327124 0 274 187 201 176 0.78/0.83 c 460 9750 330579 331433 0 284 149 170 146 0.78/0.83 c 465 9906 334265 334428 0 289 99 151 116 0.78/0.84 c 470 10087 338427 337779 0 293 167 177 143 0.78/0.86 c 480 10286 344167 342716 0 301 165 187 164 0.78/0.87 c 490 10491 350566 349320 0 308 170 190 167 0.78/0.89 c 500 10705 358283 357694 0 315 157 184 154 0.88/0.90 c 510 10897 365269 365260 0 324 139 170 143 0.88/0.92 c 520 11090 370525 370537 0 331 161 171 151 0.88/0.93 c 530 11287 377635 377929 0 339 135 174 149 0.88/0.95 c 540 11481 385466 387563 0 345 160 179 156 0.88/0.98 c 550 11687 395345 399134 0 349 90 177 145 0.88/0.99 c 560 11881 400957 405697 0 355 157 177 155 0.98/1.01 c 570 12089 409204 414199 0 356 160 178 154 0.98/1.02 c 580 12312 416301 421926 0 365 133 195 161 0.98/1.04 c 590 12527 424542 430831 0 371 153 200 165 0.98/1.06 c 600 12745 432206 439281 0 378 159 189 163 0.98/1.08 c 610 12942 439244 447813 0 383 168 186 165 0.98/1.08 c 611 13097 442829 450262 0 384 155 155 77 0.98/1.10 c 620 13295 448934 456172 0 391 141 187 152 1.09/1.11 c 630 13495 455697 462953 0 401 159 191 162 1.09/1.13 c 640 13708 462770 471785 0 405 156 182 158 1.09/1.14 c 650 13908 468336 477378 0 412 139 180 146 1.09/1.17 c 660 14130 477649 487577 0 416 156 186 157 1.09/1.18 c 670 14319 484965 496844 0 423 145 174 151 1.09/1.19 c 680 14520 489845 502160 0 433 171 191 165 1.19/1.21 c 690 14739 496731 509632 0 435 186 191 171 1.19/1.22 c 700 14955 502486 515030 0 444 160 205 172 1.19/1.24 c 710 15156 509255 522483 0 448 167 182 162 1.19/1.25 c 720 15347 514143 527105 0 458 164 180 155 1.19/1.27 c 730 15566 522191 535950 0 462 164 192 167 1.19/1.28 c 740 15762 527414 540978 0 467 138 183 159 1.19/1.29 c 750 15956 532956 546560 0 476 152 185 154 1.28/1.31 c 760 16168 539736 553889 0 479 171 180 159 1.28/1.32 c 770 16379 544908 559453 0 487 129 197 165 1.28/1.33 c 771 16541 548737 562242 0 488 162 162 81 1.28/1.33 c 780 16686 551690 565016 0 492 124 128 114 1.28/1.35 c 790 16891 558914 573121 0 500 163 185 157 1.28/1.37 c 800 17079 566186 582265 0 503 159 162 145 1.28/1.37 c 810 17250 570721 587152 0 510 144 158 140 1.28/1.39 c 820 17474 578012 595002 0 518 167 185 159 1.38/1.41 c 830 17678 584136 600863 0 525 166 182 158 1.38/1.42 c 840 17877 590482 607109 0 528 168 180 160 1.38/1.43 c 850 18086 596448 614181 0 536 163 187 157 1.38/1.45 c 860 18296 604721 624227 0 542 169 190 162 1.38/1.47 c 870 18503 611902 632164 0 546 177 185 165 1.38/1.49 c 880 18717 618760 639644 0 551 163 187 162 1.48/1.50 c 890 18936 625824 646829 0 556 166 182 161 1.48/1.51 c 900 19106 630159 651568 0 564 143 149 133 1.48/1.52 c 910 19326 636574 657679 0 570 152 198 171 1.48/1.54 c 920 19518 642117 662348 0 574 160 167 148 1.48/1.55 c 930 19716 649030 669882 0 581 155 187 159 1.48/1.57 c 940 19909 654825 676899 0 588 146 179 156 1.48/1.58 c 947 20134 662370 684726 0 591 165 190 156 1.48/1.59 c 950 20314 666758 688576 0 594 149 178 125 1.58/1.61 c 960 20514 673299 695214 0 601 159 182 157 1.58/1.62 c 970 20724 680150 702882 0 607 167 188 164 1.58/1.64 c 980 20927 686706 709584 0 613 152 188 159 1.58/1.65 c 990 21117 692353 715544 0 619 159 176 156 1.58/1.66 c 1000 21319 698108 721513 0 627 169 187 162 1.58/1.68 c 1010 21515 704054 728185 0 637 166 182 160 1.58/1.69 c 1020 21705 709609 733693 0 640 156 171 152 1.68/1.70 c 1030 21899 715242 739234 0 650 153 183 153 1.68/1.72 c 1040 22113 721231 746548 0 655 159 194 166 1.68/1.73 c 1050 22315 727382 752434 0 661 171 189 166 1.68/1.75 c 1060 22527 735986 762237 0 665 178 192 167 1.68/1.77 c 1070 22722 742299 768076 0 668 137 183 155 1.68/1.78 c 1080 22910 748574 774150 0 676 164 179 158 1.68/1.79 c 1090 23110 753892 779001 0 686 77 188 153 1.78/1.80 c 1100 23299 759657 784586 0 689 153 169 150 1.78/1.82 c 1110 23489 764630 789273 0 697 151 176 150 1.78/1.83 c 1120 23686 770521 794931 0 707 173 187 164 1.78/1.84 c 1130 23874 775166 799140 0 714 143 167 145 1.78/1.85 c 1140 24061 780668 804621 0 718 129 169 148 1.78/1.85 c 1141 24155 782468 805695 0 719 94 94 47 1.78/1.87 c 1150 24362 788252 810479 0 726 173 191 162 1.78/1.89 c 1160 24585 797592 821008 0 731 166 188 157 1.88/1.91 c 1170 24779 804490 830321 0 737 162 172 154 1.88/1.93 c 1180 24969 813498 842875 0 739 164 172 154 1.88/1.94 c 1190 25175 820713 851086 0 746 131 187 161 1.88/1.96 c 1200 25381 827956 859307 0 750 162 178 155 1.88/1.98 c 1210 25597 835523 867903 0 752 168 185 158 1.88/1.99 c 1220 25790 839817 871885 0 759 158 178 151 1.98/2.00 c 1230 25990 846119 877639 0 766 155 175 149 1.98/2.01 c 1240 26176 851672 883942 0 776 156 175 149 1.98/2.03 c 1250 26389 857207 889104 0 781 144 187 154 1.98/2.04 c 1260 26587 863216 894852 0 790 145 171 141 1.98/2.05 c 1270 26800 868876 901760 0 797 144 190 163 1.98/2.06 c 1280 26988 873800 906148 0 807 146 179 153 1.98/2.08 c 1290 27191 882819 916454 0 812 154 182 158 1.98/2.10 c 1300 27379 887924 921390 0 816 161 167 148 2.08/2.11 c 1310 27574 894855 929209 0 819 159 175 154 2.08/2.13 c 1320 27797 901876 937576 0 825 180 196 170 2.08/2.14 c 1330 27984 906862 942037 0 835 137 177 147 2.08/2.15 c 1340 28189 912619 948022 0 845 158 191 163 2.08/2.17 c 1350 28402 920837 956484 0 850 165 177 155 2.08/2.18 c 1352 28571 925048 959611 0 852 70 168 79 2.08/2.19 c 1360 28768 930153 964481 0 860 133 189 149 2.19/2.20 c 1370 28963 936577 970626 0 868 151 178 152 2.19/2.22 c 1380 29170 942069 977452 0 877 167 182 161 2.19/2.24 c 1390 29386 950268 986383 0 886 172 188 164 2.19/2.25 c 1400 29575 956079 993147 0 891 166 173 154 2.19/2.27 c 1410 29802 965354 1002987 0 894 170 188 162 2.19/2.29 c 1420 30007 974736 1014746 0 900 170 189 165 2.29/2.31 c 1430 30212 981118 1021018 0 902 167 178 156 2.29/2.32 c 1440 30419 987060 1027584 0 907 174 197 171 2.29/2.34 c 1450 30653 995356 1036657 0 912 174 190 165 2.29/2.36 c 1460 30839 1001926 1044504 0 917 156 171 151 2.29/2.36 c 1470 30976 1004981 1047187 0 921 116 120 108 2.29/2.38 c 1480 31180 1010556 1052642 0 925 170 185 163 2.29/2.39 c 1490 31373 1016355 1058142 0 934 159 184 157 2.38/2.40 c 1500 31575 1022829 1065679 0 941 164 184 161 2.38/2.42 c 1510 31755 1028354 1072054 0 943 157 161 143 2.38/2.43 c 1520 31951 1033173 1076924 0 951 151 180 152 2.38/2.44 c 1530 32137 1039547 1084441 0 958 169 176 157 2.38/2.46 c 1540 32346 1045728 1091428 0 965 172 196 168 2.38/2.47 c 1550 32540 1050877 1097354 0 971 150 181 157 2.38/2.48 c 1560 32729 1057830 1105499 0 977 164 177 157 2.38/2.49 c 1570 32916 1062744 1109927 0 983 150 174 143 2.48/2.51 c 1580 33113 1067579 1115358 0 991 158 185 161 2.48/2.51 c 1585 33302 1071836 1119189 0 996 152 179 140 2.48/2.52 c 1590 33478 1076648 1123473 0 1001 152 172 136 2.48/2.54 c 1600 33676 1081958 1128381 0 1007 150 177 152 2.48/2.55 c 1610 33869 1088407 1135030 0 1015 171 180 160 2.48/2.57 c 1620 34068 1095298 1142396 0 1021 167 177 157 2.48/2.59 c 1630 34265 1104441 1152792 0 1024 155 171 151 2.58/2.60 c 1640 34445 1110641 1160203 0 1028 124 161 137 2.58/2.62 c 1650 34655 1116410 1166145 0 1037 63 199 163 2.58/2.64 c 1660 34859 1124898 1176042 0 1040 175 180 162 2.58/2.65 c 1670 35060 1130994 1182292 0 1048 160 190 166 2.58/2.67 c 1680 35289 1139138 1192055 0 1052 160 184 159 2.58/2.69 c 1690 35508 1146954 1200180 0 1060 160 186 158 2.68/2.70 c 1700 35722 1154323 1209613 0 1066 69 190 158 2.68/2.72 c 1710 35940 1160930 1216513 0 1070 192 195 175 2.68/2.73 c 1720 36137 1165254 1220541 0 1080 142 188 157 2.68/2.75 c 1730 36362 1173738 1230796 0 1085 170 186 162 2.68/2.76 c 1740 36564 1179369 1237780 0 1091 75 178 147 2.68/2.77 c 1750 36750 1184449 1243622 0 1098 142 174 149 2.68/2.79 c 1760 36939 1189710 1249695 0 1103 160 173 152 2.78/2.80 c 1770 37146 1195013 1254618 0 1110 40 185 141 2.78/2.81 c 1780 37353 1200509 1260443 0 1118 167 189 163 2.78/2.82 c 1790 37540 1205082 1265059 0 1128 140 177 152 2.78/2.83 c 1800 37716 1208917 1268121 0 1132 153 159 142 2.78/2.85 c 1810 37952 1217526 1277791 0 1137 171 204 171 2.78/2.86 c 1820 38163 1224831 1284739 0 1144 158 189 164 2.78/2.88 c 1830 38376 1231777 1291816 0 1151 173 189 163 2.78/2.89 c 1840 38570 1237452 1296972 0 1154 163 178 155 2.78/2.90 c 1841 38663 1239617 1298243 0 1155 93 93 46 2.88/2.91 c 1850 38854 1245471 1304355 0 1160 36 180 143 2.88/2.92 c 1860 39054 1251297 1310473 0 1169 162 187 157 2.88/2.94 c 1870 39255 1257259 1316532 0 1174 167 186 161 2.88/2.95 c 1880 39461 1264088 1324930 0 1181 91 186 149 2.88/2.97 c 1890 39672 1271311 1333292 0 1187 157 190 163 2.88/2.98 c 1900 39862 1276512 1338671 0 1189 173 179 161 2.88/2.99 c 1910 40061 1282068 1343126 0 1191 35 181 149 2.98/3.01 c 1920 40268 1288172 1348918 0 1198 166 186 161 2.98/3.02 c 1930 40475 1293881 1354472 0 1203 169 184 161 2.98/3.03 c 1940 40668 1300895 1363717 0 1205 170 178 157 2.98/3.05 c 1950 40883 1308859 1373927 0 1211 170 181 160 2.98/3.07 c 1960 41101 1316561 1382138 0 1216 161 190 162 2.98/3.09 c 1970 41308 1323205 1389543 0 1219 166 191 168 3.08/3.10 c 1980 41491 1328162 1394400 0 1226 150 163 138 3.08/3.12 c 1990 41697 1335596 1402730 0 1231 156 178 155 3.08/3.13 c 2000 41897 1341426 1409173 0 1237 163 183 159 3.08/3.14 c 2010 42095 1347146 1416013 0 1246 156 182 154 3.08/3.15 c 2020 42292 1351877 1420624 0 1256 166 186 156 3.08/3.17 c 2030 42511 1358574 1427195 0 1264 109 195 162 3.08/3.18 c 2040 42696 1364950 1434008 0 1269 123 166 145 3.08/3.19 c 2050 42892 1371280 1440986 0 1279 163 184 156 3.18/3.20 c 2060 43076 1375204 1444863 0 1285 144 163 144 3.18/3.22 c 2070 43285 1382345 1452083 0 1289 173 199 170 3.18/3.23 c 2080 43507 1387840 1457147 0 1291 164 179 154 3.18/3.25 c 2090 43713 1393975 1463114 0 1297 157 180 157 3.18/3.26 c 2100 43910 1399752 1468948 0 1307 160 185 158 3.18/3.27 c 2110 44117 1406497 1476235 0 1316 160 192 161 3.18/3.29 c 2120 44309 1412994 1484031 0 1322 39 176 144 3.18/3.30 c 2122 44485 1417888 1487810 0 1324 54 175 76 3.29/3.32 c 2130 44682 1424419 1494134 0 1331 167 190 158 3.29/3.33 c 2140 44865 1430005 1498885 0 1336 95 172 141 3.29/3.34 c 2150 45063 1436455 1504990 0 1344 63 181 133 3.29/3.36 c 2160 45281 1443238 1511534 0 1346 174 202 172 3.29/3.37 c 2170 45494 1449616 1517553 0 1351 171 193 168 3.29/3.38 c 2180 45692 1454626 1522388 0 1361 128 188 159 3.29/3.39 c 2190 45895 1460335 1529263 0 1365 119 185 157 3.38/3.41 c 2200 46107 1468227 1537629 0 1369 161 181 157 3.38/3.43 c 2210 46302 1474064 1543522 0 1371 130 181 159 3.38/3.44 c 2220 46496 1478950 1548437 0 1381 158 184 157 3.38/3.45 c 2230 46686 1484798 1554857 0 1386 173 178 159 3.38/3.46 c 2240 46885 1489291 1558835 0 1389 54 177 149 3.38/3.48 c 2250 47096 1497209 1568285 0 1398 153 179 154 3.38/3.49 c 2260 47284 1502620 1573078 0 1407 55 177 134 3.48/3.50 c 2270 47510 1509313 1579803 0 1412 170 204 176 3.48/3.51 c 2280 47697 1513021 1582983 0 1422 101 170 120 3.48/3.53 c 2290 47905 1519266 1588767 0 1428 164 192 167 3.48/3.55 c 2300 48115 1527358 1597185 0 1432 55 183 153 3.48/3.56 c 2310 48305 1532513 1602258 0 1442 47 180 139 3.48/3.56 c 2320 48491 1536603 1605561 0 1448 142 173 138 3.48/3.58 c 2330 48698 1542924 1611898 0 1454 169 179 157 3.48/3.59 c 2340 48908 1549424 1619188 0 1458 146 191 166 3.58/3.61 c 2350 49120 1556128 1626054 0 1466 172 192 166 3.58/3.62 c 2360 49314 1561749 1631826 0 1469 155 178 157 3.58/3.64 c 2370 49509 1568155 1638079 0 1476 155 180 150 3.58/3.65 c 2380 49703 1574259 1643686 0 1481 165 177 153 3.58/3.66 c 2390 49902 1579761 1649216 0 1488 159 190 163 3.58/3.68 c 2400 50125 1586985 1657609 0 1489 177 202 172 3.58/3.69 c 2410 50332 1593579 1665061 0 1495 166 181 159 3.68/3.71 c 2420 50533 1600162 1671924 0 1504 174 189 167 3.68/3.72 c 2430 50749 1606485 1678156 0 1513 174 205 176 3.68/3.73 c 2431 50890 1609275 1679987 0 1514 141 141 70 3.68/3.74 c 2440 51083 1615810 1686473 0 1521 164 175 151 3.68/3.75 c 2450 51284 1620387 1690732 0 1531 167 191 164 3.68/3.77 c 2460 51472 1626597 1697538 0 1540 163 173 152 3.68/3.78 c 2470 51691 1633229 1705729 0 1547 156 198 172 3.78/3.80 c 2480 51881 1640015 1712347 0 1552 170 174 156 3.78/3.81 c 2490 52080 1646096 1718425 0 1559 80 183 147 3.78/3.82 c 2500 52230 1649796 1722178 0 1562 122 124 112 3.78/3.83 c 2510 52428 1655902 1728837 0 1566 153 171 150 3.78/3.85 c 2520 52634 1663323 1737853 0 1571 167 183 161 3.78/3.87 c 2530 52826 1669714 1744830 0 1579 162 176 155 3.78/3.88 c 2540 53033 1675672 1750754 0 1584 156 189 162 3.78/3.89 c 2550 53232 1681397 1755983 0 1589 72 183 150 3.88/3.90 c 2560 53443 1686916 1760967 0 1598 64 194 156 3.88/3.92 c 2570 53695 1695507 1771860 0 1601 192 206 180 3.88/3.94 c 2580 53901 1701119 1776983 0 1610 154 192 162 3.88/3.95 c 2590 54100 1707301 1782913 0 1612 168 176 155 3.88/3.96 c 2600 54304 1713492 1789374 0 1621 143 179 152 3.88/3.98 c 2610 54518 1720174 1796461 0 1630 164 191 164 3.88/3.99 c 2620 54717 1724932 1800907 0 1640 159 190 162 3.98/4.00 c 2630 54894 1729687 1805791 0 1649 152 164 143 3.98/4.02 c 2640 55099 1737192 1814173 0 1651 143 183 156 3.98/4.03 c 2650 55306 1743959 1820911 0 1661 85 198 151 3.98/4.05 c 2660 55523 1751488 1829480 0 1666 88 186 153 3.98/4.07 c 2670 55721 1757452 1835094 0 1670 127 176 141 3.98/4.09 c 2680 55937 1766315 1845824 0 1673 174 183 162 4.08/4.10 c 2690 56142 1773203 1853760 0 1680 160 188 164 4.08/4.11 c 2700 56328 1778022 1858714 0 1685 154 170 151 4.08/4.13 c 2710 56538 1783991 1864596 0 1693 175 201 172 4.08/4.14 c 2720 56737 1790437 1871572 0 1700 170 180 161 4.08/4.15 c 2730 56943 1795655 1875961 0 1703 165 176 153 4.08/4.17 c 2740 57155 1804879 1887142 0 1707 177 182 163 4.08/4.19 c 2750 57359 1810808 1894023 0 1712 177 191 169 4.18/4.21 c 2760 57600 1819424 1902069 0 1716 165 181 156 4.18/4.22 c 2770 57805 1825801 1908106 0 1724 150 190 162 4.18/4.22 c 2771 57889 1827830 1909253 0 1725 84 84 42 4.18/4.24 c 2780 58076 1834961 1916218 0 1731 159 176 151 4.18/4.25 c 2790 58275 1840422 1921579 0 1734 162 187 166 4.18/4.27 c 2800 58487 1847790 1930322 0 1738 173 191 164 4.18/4.28 c 2810 58693 1852829 1935369 0 1747 159 192 161 4.18/4.29 c 2820 58892 1858936 1941164 0 1752 162 184 159 4.28/4.31 c 2830 59108 1865255 1947090 0 1758 103 196 158 4.28/4.32 c 2840 59287 1870059 1951626 0 1768 136 169 139 4.28/4.33 c 2850 59493 1876339 1958287 0 1772 165 184 163 4.28/4.35 c 2860 59706 1882772 1964473 0 1779 154 183 153 4.28/4.36 c 2870 59888 1888114 1969107 0 1781 143 145 130 4.28/4.38 c 2880 60109 1895596 1976751 0 1783 181 190 169 4.28/4.39 c 2890 60318 1903814 1984565 0 1793 78 192 152 4.38/4.41 c 2900 60514 1910220 1991247 0 1798 155 176 156 4.38/4.43 c 2910 60720 1917714 2000262 0 1804 172 181 162 4.38/4.44 c 2920 60923 1924290 2006420 0 1812 147 177 152 4.38/4.46 c 2930 61130 1931536 2014816 0 1813 167 176 154 4.38/4.47 c 2940 61332 1938064 2021245 0 1817 88 187 145 4.38/4.48 c 2950 61531 1942899 2025854 0 1824 158 183 162 4.38/4.49 c 2960 61730 1948207 2031164 0 1830 160 180 160 4.48/4.50 c 2970 61895 1952141 2034929 0 1831 138 140 126 4.48/4.52 c 2980 62086 1959065 2043032 0 1840 166 179 157 4.48/4.53 c 2990 62290 1965039 2049701 0 1846 157 184 158 4.48/4.54 c 3000 62454 1968723 2053713 0 1849 143 145 130 4.48/4.56 c 3010 62674 1976195 2061453 0 1853 165 186 163 4.48/4.57 c 3020 62865 1982737 2067794 0 1863 59 179 136 4.48/4.58 c 3030 63015 1986165 2071715 0 1873 128 137 121 4.58/4.60 c 3040 63234 1994453 2080159 0 1881 70 184 150 4.58/4.61 c 3050 63425 2000909 2087550 0 1885 170 178 157 4.58/4.62 c 3060 63614 2006106 2092422 0 1892 139 177 146 4.58/4.64 c 3070 63803 2013384 2100208 0 1897 154 171 151 4.58/4.65 c 3080 63992 2019942 2107634 0 1904 158 173 155 4.58/4.67 c 3090 64199 2025872 2114058 0 1910 74 192 159 4.58/4.69 c 3100 64401 2033359 2123270 0 1914 144 177 155 4.68/4.70 c 3110 64612 2038728 2128157 0 1923 177 197 168 4.68/4.71 c 3120 64811 2044041 2133085 0 1928 159 186 162 4.68/4.72 c 3130 65005 2049582 2137998 0 1932 119 175 150 4.68/4.73 c 3140 65203 2055167 2144534 0 1940 150 188 162 4.68/4.75 c 3142 65385 2060417 2149467 0 1942 169 177 115 4.68/4.76 c 3150 65579 2066123 2155377 0 1947 60 182 131 4.68/4.77 c 3160 65776 2071532 2160952 0 1954 153 177 154 4.68/4.78 c 3170 65972 2077155 2167053 0 1960 71 174 145 4.68/4.79 c 3180 66131 2081538 2171961 0 1964 147 147 133 4.78/4.81 c 3190 66392 2089641 2181436 0 1966 182 198 175 4.78/4.82 c 3200 66608 2096208 2188167 0 1974 120 192 155 4.78/4.84 c 3210 66803 2101512 2193436 0 1983 159 183 157 4.78/4.85 c 3220 67012 2107941 2200631 0 1984 188 192 173 4.78/4.86 c 3230 67210 2112624 2204370 0 1992 153 183 149 4.78/4.88 c 3240 67390 2119773 2214174 0 1998 154 166 148 4.88/4.90 c 3250 67614 2127891 2222546 0 2004 161 196 162 4.88/4.91 c 3260 67816 2133175 2227798 0 2014 71 193 158 4.88/4.92 c 3270 68009 2140220 2235584 0 2016 171 175 157 4.88/4.94 c 3280 68217 2146761 2243356 0 2020 132 180 157 4.88/4.95 c 3290 68418 2152571 2249231 0 2028 158 188 161 4.88/4.97 c 3300 68618 2159043 2255546 0 2031 170 182 163 4.88/4.98 c 3310 68830 2166021 2262623 0 2035 160 181 158 4.88/5.00 c 3320 69025 2172027 2268377 0 2044 110 178 145 4.98/5.01 c 3330 69212 2176584 2271914 0 2052 144 170 142 4.98/5.02 c 3340 69442 2182749 2278174 0 2058 166 202 173 4.98/5.04 c 3350 69681 2190820 2286402 0 2062 176 194 172 4.98/5.05 c 3360 69896 2195663 2291008 0 2072 168 204 173 4.98/5.06 c 3370 70093 2201197 2296044 0 2076 152 185 160 4.98/5.08 c 3380 70331 2209249 2304942 0 2079 170 190 166 4.98/5.09 c 3390 70523 2214783 2311131 0 2087 92 179 149 5.08/5.11 c 3400 70730 2221709 2318794 0 2090 174 180 161 5.08/5.12 c 3410 70935 2226797 2324746 0 2093 156 178 155 5.08/5.13 c 3420 71138 2233704 2331678 0 2101 168 183 162 5.08/5.15 c 3430 71345 2241322 2342215 0 2104 169 177 158 5.08/5.17 c 3440 71550 2248802 2350379 0 2113 168 180 159 5.08/5.18 c 3450 71766 2254977 2356789 0 2121 154 173 153 5.18/5.20 c 3460 71974 2261769 2364363 0 2125 148 185 161 5.18/5.21 c 3470 72193 2267987 2370766 0 2129 143 188 159 5.18/5.23 c 3480 72415 2275876 2379554 0 2135 60 191 153 5.18/5.24 c 3490 72627 2281795 2386024 0 2144 168 183 160 5.18/5.26 c 3500 72826 2287450 2392302 0 2154 136 190 163 5.18/5.27 c 3510 73013 2293899 2398700 0 2160 158 170 147 5.18/5.28 c 3520 73212 2299235 2403675 0 2165 173 178 159 5.28/5.30 c 3530 73420 2306917 2412780 0 2169 167 188 163 5.28/5.31 c 3540 73601 2310824 2415780 0 2176 80 158 132 5.28/5.32 c 3550 73784 2315821 2420564 0 2181 130 162 138 5.28/5.33 c 3551 73957 2320448 2424228 0 2182 173 173 86 5.28/5.34 c 3560 74144 2325358 2428436 0 2187 149 170 142 5.28/5.35 c 3570 74358 2331371 2433779 0 2194 162 193 168 5.28/5.37 c 3580 74565 2339662 2443407 0 2199 163 174 153 5.28/5.39 c 3590 74755 2346202 2449461 0 2208 129 175 151 5.38/5.40 c 3600 74950 2351286 2454217 0 2218 156 186 159 5.38/5.41 c 3610 75146 2356799 2459324 0 2226 130 185 152 5.38/5.42 c 3620 75344 2363207 2465996 0 2236 155 185 154 5.38/5.44 c 3630 75569 2368792 2471960 0 2239 169 183 160 5.38/5.45 c 3640 75748 2373290 2476672 0 2247 140 164 138 5.38/5.46 c 3650 75946 2380426 2484664 0 2249 169 176 156 5.38/5.48 c 3660 76141 2388056 2493009 0 2255 133 171 146 5.48/5.50 c 3670 76352 2396745 2502866 0 2260 161 182 160 5.48/5.52 c 3680 76552 2402862 2509210 0 2267 170 184 161 5.48/5.53 c 3690 76758 2408028 2514268 0 2277 153 196 155 5.48/5.54 c 3700 76945 2413592 2520027 0 2283 163 175 154 5.48/5.55 c 3710 77142 2417971 2524231 0 2287 154 180 159 5.48/5.56 c 3720 77361 2423175 2529346 0 2295 92 205 157 5.48/5.58 c 3730 77561 2430405 2538877 0 2301 97 175 149 5.48/5.59 c 3740 77762 2436459 2545032 0 2308 101 189 155 5.58/5.60 c 3750 77962 2441958 2551300 0 2311 171 186 165 5.58/5.61 c 3760 78158 2447201 2556765 0 2321 158 184 159 5.58/5.63 c 3770 78393 2454477 2564232 0 2325 180 199 172 5.58/5.65 c 3780 78611 2461496 2571010 0 2335 70 194 155 5.58/5.67 c 3790 78831 2472736 2584758 0 2337 172 183 161 5.58/5.69 c 3800 79030 2478905 2591197 0 2344 157 183 157 5.68/5.71 c 3810 79233 2487009 2600106 0 2349 169 188 167 5.68/5.73 c 3820 79480 2495639 2609503 0 2355 170 196 167 5.68/5.74 c 3830 79674 2502255 2616552 0 2361 168 176 156 5.68/5.76 c 3840 79870 2508464 2625073 0 2364 167 174 153 5.68/5.78 c 3850 80085 2516263 2633895 0 2371 180 199 168 5.68/5.79 c 3860 80279 2521777 2639458 0 2380 140 182 151 5.78/5.80 c 3870 80493 2527848 2645919 0 2387 127 196 168 5.78/5.82 c 3880 80716 2534610 2653139 0 2392 170 202 175 5.78/5.83 c 3890 80913 2540660 2659250 0 2395 167 175 156 5.78/5.85 c 3900 81126 2547523 2666932 0 2405 156 180 157 5.78/5.86 c 3910 81329 2552804 2672010 0 2410 161 188 162 5.78/5.87 c 3920 81535 2560121 2679486 0 2416 60 175 143 5.78/5.88 c 3930 81725 2564670 2683162 0 2426 159 181 156 5.88/5.90 c 3940 81949 2570644 2689089 0 2431 169 189 167 5.88/5.91 c 3950 82186 2577254 2695656 0 2437 157 222 181 5.88/5.93 c 3960 82433 2584318 2702657 0 2442 149 197 162 5.88/5.94 c 3970 82635 2590788 2710317 0 2446 160 184 161 5.88/5.96 c 3980 82858 2596939 2715756 0 2449 130 200 167 5.88/5.97 c 3990 83066 2603131 2722092 0 2457 69 188 152 5.88/5.99 c 4000 83284 2612098 2732667 0 2462 168 185 159 5.88/5.99 c 4001 83359 2613904 2733606 0 2463 75 75 37 5.98/6.01 c 4010 83561 2620112 2739602 0 2466 151 188 161 5.98/6.02 c 4020 83761 2625215 2744135 0 2474 153 184 158 5.98/6.03 c 4030 83977 2632240 2751115 0 2480 166 186 160 5.98/6.05 c 4040 84190 2638788 2758078 0 2489 168 204 171 5.98/6.06 c 4050 84391 2643931 2763618 0 2498 163 185 160 5.98/6.07 c 4060 84600 2649767 2771159 0 2502 169 185 163 5.98/6.08 c 4070 84792 2654983 2775945 0 2510 153 178 153 5.98/6.10 c 4080 84995 2660085 2780731 0 2519 159 194 163 6.08/6.11 c 4090 85200 2665616 2786896 0 2527 149 184 160 6.08/6.12 c 4100 85393 2670972 2791395 0 2533 155 171 146 6.08/6.13 c 4110 85582 2676065 2796516 0 2537 153 164 145 6.08/6.14 c 4120 85773 2681812 2803104 0 2547 167 180 159 6.08/6.16 c 4130 85978 2687636 2810098 0 2555 156 190 162 6.08/6.17 c 4140 86178 2693106 2815100 0 2564 140 182 151 6.08/6.18 c 4150 86363 2697906 2818868 0 2567 156 161 144 6.08/6.19 c 4160 86560 2703877 2825738 0 2571 161 176 153 6.18/6.20 c 4170 86708 2707311 2828345 0 2575 130 132 119 6.18/6.21 c 4180 86907 2713976 2835357 0 2582 107 188 157 6.18/6.23 c 4190 87130 2721059 2842410 0 2590 153 183 154 6.18/6.24 c 4200 87339 2726628 2848276 0 2599 154 200 164 6.18/6.26 c 4210 87561 2733492 2855560 0 2604 167 176 157 6.18/6.27 c 4220 87768 2739554 2862688 0 2613 171 191 167 6.18/6.29 c 4230 87974 2745948 2870220 0 2620 147 188 161 6.28/6.31 c 4240 88192 2754111 2881288 0 2624 176 191 167 6.28/6.32 c 4250 88412 2760147 2887257 0 2630 180 189 167 6.28/6.34 c 4260 88627 2767225 2895332 0 2636 168 191 166 6.28/6.35 c 4270 88824 2773633 2902570 0 2641 166 180 158 6.28/6.36 c 4280 89024 2778651 2907359 0 2651 169 189 167 6.28/6.38 c 4290 89246 2784871 2914441 0 2661 164 200 168 6.28/6.39 c 4300 89456 2791138 2920324 0 2664 168 182 157 6.38/6.41 c 4310 89655 2798358 2928027 0 2669 170 179 160 6.38/6.42 c 4320 89851 2803993 2933104 0 2679 159 185 160 6.38/6.43 c 4330 90046 2809817 2939260 0 2685 154 176 152 6.38/6.44 c 4340 90250 2815180 2945139 0 2692 163 185 154 6.38/6.46 c 4350 90480 2822702 2953521 0 2699 130 193 164 6.38/6.47 c 4360 90682 2827680 2958092 0 2706 144 191 160 6.38/6.49 c 4370 90888 2834721 2965703 0 2711 162 175 154 6.48/6.50 c 4380 91082 2839384 2970204 0 2720 122 181 143 6.48/6.51 c 4390 91287 2844638 2974878 0 2730 145 196 160 6.48/6.52 c 4400 91481 2851112 2982636 0 2733 121 176 150 6.48/6.54 c 4410 91686 2858141 2991008 0 2741 163 189 163 6.48/6.55 c 4420 91879 2863473 2996516 0 2747 110 180 145 6.48/6.57 c 4430 92075 2869969 3003701 0 2749 169 181 162 6.48/6.58 c 4440 92289 2875991 3010333 0 2752 150 197 172 6.48/6.59 c 4450 92492 2881657 3015864 0 2755 111 185 160 6.58/6.61 c 4460 92708 2888305 3023148 0 2757 176 205 181 6.58/6.63 c 4470 92942 2895558 3031834 0 2763 168 199 173 6.58/6.64 c 4480 93166 2902454 3038874 0 2771 156 191 166 6.58/6.65 c 4490 93357 2908206 3044962 0 2778 147 180 156 6.58/6.66 c 4493 93538 2912795 3048697 0 2781 161 179 127 6.58/6.67 c 4500 93729 2917198 3053249 0 2788 164 177 148 6.58/6.69 c 4510 93936 2923465 3059038 0 2795 154 197 165 6.68/6.70 c 4520 94143 2930466 3068213 0 2804 170 193 163 6.68/6.72 c 4530 94355 2937684 3076234 0 2809 150 183 160 6.68/6.73 c 4540 94582 2943601 3082383 0 2819 160 209 173 6.68/6.75 c 4550 94764 2948948 3088188 0 2825 159 171 152 6.68/6.76 c 4560 94959 2954522 3093275 0 2829 157 168 149 6.68/6.77 c 4570 95179 2960183 3098939 0 2837 173 203 175 6.68/6.78 c 4580 95384 2965748 3104823 0 2842 171 192 169 6.78/6.80 c 4590 95584 2973248 3113883 0 2845 164 175 155 6.78/6.81 c 4600 95780 2978941 3120218 0 2855 154 187 158 6.78/6.83 c 4610 96002 2985612 3127676 0 2860 173 196 167 6.78/6.84 c 4620 96206 2992458 3135170 0 2866 104 181 154 6.78/6.86 c 4630 96420 2999350 3143182 0 2869 182 193 170 6.78/6.88 c 4640 96612 3006459 3151814 0 2878 64 179 143 6.78/6.90 c 4650 96844 3014626 3161575 0 2882 162 182 158 6.88/6.91 c 4660 97071 3022408 3169102 0 2885 168 184 159 6.88/6.93 c 4670 97267 3028248 3175469 0 2886 176 180 162 6.88/6.94 c 4680 97464 3035044 3182993 0 2890 132 178 153 6.88/6.95 c 4690 97661 3040629 3188224 0 2900 139 188 159 6.88/6.97 c 4700 97889 3048220 3196388 0 2904 126 201 166 6.88/6.99 c 4710 98100 3054810 3202844 0 2905 174 186 163 6.98/7.00 c 4720 98284 3059526 3207480 0 2912 154 171 146 6.98/7.01 c 4730 98513 3066067 3213911 0 2919 80 204 161 6.98/7.03 c 4740 98711 3072578 3221006 0 2925 172 182 162 6.98/7.04 c 4750 98923 3078747 3227108 0 2931 42 190 150 6.98/7.05 c 4760 99113 3084527 3232487 0 2935 153 173 151 6.98/7.07 c 4770 99331 3090845 3239258 0 2938 177 178 161 6.98/7.08 c 4780 99524 3097035 3245444 0 2947 49 180 145 7.08/7.10 c 4790 99734 3103723 3253116 0 2951 161 182 155 7.08/7.11 c 4800 99921 3109428 3259664 0 2957 141 175 152 7.08/7.12 c 4810 100121 3115583 3266054 0 2963 102 177 145 7.08/7.14 c 4820 100323 3121686 3272177 0 2969 137 185 160 7.08/7.15 c 4830 100515 3127897 3278981 0 2975 59 181 138 7.08/7.17 c 4840 100720 3134635 3285462 0 2982 158 180 156 7.08/7.18 c 4850 100928 3141506 3292822 0 2989 155 173 150 7.08/7.19 c 4860 101116 3146008 3297037 0 2995 127 171 130 7.18/7.21 c 4870 101319 3152454 3304725 0 2998 135 188 158 7.18/7.23 c 4880 101544 3162095 3316519 0 3003 174 189 162 7.18/7.24 c 4890 101746 3168462 3323729 0 3012 155 189 163 7.18/7.27 c 4900 101976 3177572 3333427 0 3018 170 200 164 7.18/7.28 c 4910 102183 3185102 3342011 0 3021 175 179 161 7.28/7.30 c 4920 102405 3191143 3347741 0 3027 174 187 164 7.28/7.31 c 4930 102611 3197446 3353854 0 3029 165 191 168 7.28/7.32 c 4940 102831 3203971 3359985 0 3039 134 202 165 7.28/7.34 c 4950 103025 3209556 3365751 0 3049 163 183 157 7.28/7.35 c 4960 103238 3217382 3375574 0 3051 176 182 163 7.28/7.37 c 4970 103430 3222694 3380863 0 3061 101 181 149 7.28/7.39 c 4980 103630 3231795 3391829 0 3065 165 184 160 7.38/7.40 c 4990 103847 3239210 3401691 0 3068 150 196 168 7.38/7.45 c 5035 104201 3256042 3424869 0 3071 135 182 170 7.98/8.07 c 5631 106187 3491558 3858281 0 3085 176 201 188 8.58/8.67 c 6286 108428 3715980 4225511 0 3095 166 208 191 9.18/9.27 c 7006 111325 3941621 4578347 0 3104 172 202 187 9.68/9.78 c 7798 113932 4132899 4920091 0 3118 57 212 192 10.28/10.33 c 8669 116313 4346947 5294595 0 3129 155 201 186 10.88/10.91 c 9627 119568 4568447 5647247 0 3140 170 198 184 11.58/11.68 c 10680 123395 4868353 6135372 0 3153 147 190 176 11.98/12.09 c 11838 126103 5023460 6485084 0 3182 136 206 184 13.18/13.25 c 13111 131223 5450698 7233988 0 3190 162 205 182 14.28/14.35 c 14511 135399 5864048 7977301 0 3217 145 198 182 14.97/15.08 c 16051 138887 6139790 8615805 0 3237 157 203 189 16.17/16.29 c 17745 143855 6596927 9320874 0 3260 132 209 186 17.07/17.19 c 19608 148581 6942595 9989717 0 3273 161 211 190 19.17/19.28 c 21657 158544 7726028 11264067 0 3283 151 205 183 20.17/20.21 c 23910 164964 8075091 11986992 0 3294 155 203 186 22.27/22.38 c 26388 173863 8873570 13344154 0 3312 159 209 189 24.47/24.51 c 29113 183331 9685762 14626766 0 3331 140 212 189 26.67/26.74 c 32110 192276 10513007 16147895 0 3345 168 204 185 29.07/29.15 c 35406 202256 11415207 17858104 0 3355 147 218 193 30.57/30.62 c 39031 211483 11965524 18974782 0 3378 168 202 194 32.77/32.89 c 43018 224101 12830659 20487090 0 3402 163 221 191 34.37/34.46 c 47403 233787 13447077 21722348 0 3429 142 202 189 38.77/38.89 c 52226 252438 15110950 24519463 0 3442 153 198 176 41.17/41.28 c 57531 264605 15995259 26401609 0 3457 161 203 191 44.47/44.50 c 63366 281289 17203173 28702378 0 3468 62 212 190 47.77/47.80 c 69784 297589 18463289 30779299 0 3474 170 213 199 52.37/52.40 c 76843 319866 20184810 33583475 0 3493 125 208 187 58.37/58.47 c 84607 349667 22442033 37313285 0 3505 167 215 191 61.26/61.38 c 93147 369213 23523335 39425524 0 3529 131 208 192 68.06/68.11 c 102541 395531 25939770 43623757 0 3542 53 204 184 75.46/75.55 c 112874 428674 28788647 48398193 0 3557 170 217 193 84.36/84.40 c 124240 469953 32073816 54314180 0 3569 164 216 195 91.76/91.80 c 136742 510207 34836210 59352278 0 3588 103 212 194 100.06/100.10 c 150494 556507 37919798 65809625 0 3598 164 215 192 107.36/107.49 c 165621 592413 40695231 70940880 0 3628 162 210 185 118.55/118.64 c 182260 641717 44903601 78280966 0 3648 121 215 195 130.76/130.86 c 200562 701189 49502195 85531637 0 3674 142 210 186 139.86/139.95 c 220694 744668 52889358 92519436 0 3706 156 203 192 158.16/158.25 c 242839 823476 59683423 105006632 0 3737 172 217 194 171.56/171.67 c 267198 876744 64611928 114969938 0 3773 149 216 201 191.45/191.57 c 293992 962041 71958075 127418703 0 3809 133 213 191 215.65/215.73 c 323465 1067690 80861820 142526300 0 3818 160 209 187 229.85/230.00 c 355885 1163859 86050386 154947766 0 3833 93 212 189 249.54/249.67 c 391547 1265932 93550618 169424698 0 3855 140 199 176 270.83/270.99 c 430775 1371132 101649410 185766127 0 3879 163 215 196 292.53/292.66 c 473925 1470263 109787690 202095549 0 3939 154 221 202 321.82/321.95 c 521390 1619029 120945512 221335711 0 3965 117 215 190 359.02/359.12 c 573601 1778418 134829330 247222631 0 3978 163 220 189 387.51/387.63 c 631033 1933055 145559620 266148129 0 4000 153 212 187 424.81/424.92 c 694208 2109736 159391521 293008020 0 4024 142 217 193 457.30/457.47 c 763700 2269574 171835894 316046242 0 4053 150 224 200 493.99/494.16 c 840141 2457092 185767888 343923314 0 4095 161 213 192 547.08/547.27 c 924226 2715966 205303196 379688978 0 4128 156 216 186 594.67/594.84 c 1016719 2958269 223242685 412419229 0 4166 144 217 191 670.66/670.87 c 1118461 3334636 251308615 464825780 0 4191 172 225 198 719.15/719.31 c 1230377 3632312 269134293 504481390 0 4220 138 222 198 776.84/777.06 c 1353484 3934855 290921625 552223097 0 4240 163 215 196 854.43/854.61 c 1488901 4277474 320258133 604751125 0 4269 160 211 186 925.71/925.99 c 1637859 4695265 347219912 652251995 0 4301 58 218 191 1004.00/1004.29 c 1801712 5070695 377063800 711419465 0 4321 160 214 192 1122.78/1123.03 c 1981950 5624624 420471365 793637572 0 4340 162 214 188 1270.46/1270.77 c 2180211 6253062 475010318 895764943 0 4363 153 217 187 1345.15/1345.48 c 2398298 6715835 501978013 966854687 0 4395 169 225 207 1480.82/1481.12 c 2638193 7459566 554530786 1053110538 0 4431 149 207 181 1658.69/1659.06 c 2902077 8306297 619829683 1165029335 0 4449 165 232 193 1812.17/1812.53 c 3192349 9124454 677936787 1275193299 0 4467 165 228 197 2018.33/2018.73 c 3511648 10006489 755760814 1414636655 0 4484 166 228 199 2202.49/2202.97 c 3862876 10868455 824512951 1567922763 0 4525 100 239 214
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239923-1500623785/watcher-4239923-1500623785 -o /tmp/evaluation-result-4239923-1500623785/solver-4239923-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239923-1500623785.xml pid=2968 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.00 0.01 0.05 3/180 2971 /proc/meminfo: memFree=31062152/32770624 swapFree=6176/980700 [pid=2971] ppid=2968 vsize=12316 CPUtime=0 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) D 2968 2971 2920 0 -1 1077936128 183 0 0 0 0 0 0 0 20 0 1 0 15655389 12611584 55 33554432000 4194304 5970956 140720702278288 140720702275384 140572035000007 0 0 4096 0 18446744072101682724 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 3079 55 41 434 0 45 0 [startup+0.1002 s] /proc/loadavg: 0.00 0.01 0.05 3/180 2971 /proc/meminfo: memFree=31062152/32770624 swapFree=6176/980700 [pid=2971] ppid=2968 vsize=35224 CPUtime=0.08 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 2208 0 0 0 8 0 0 0 20 0 1 0 15655389 36069376 2025 33554432000 4194304 5970956 140720702278288 140720702274984 5272816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8806 2025 774 434 0 2170 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 35224 [startup+0.200226 s] /proc/loadavg: 0.00 0.01 0.05 3/180 2971 /proc/meminfo: memFree=31062152/32770624 swapFree=6176/980700 [pid=2971] ppid=2968 vsize=35224 CPUtime=0.18 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 2225 0 0 0 18 0 0 0 20 0 1 0 15655389 36069376 2025 33554432000 4194304 5970956 140720702278288 140720702275624 140572019334240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8806 2025 774 434 0 2170 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 35224 [startup+0.300299 s] /proc/loadavg: 0.00 0.01 0.05 3/180 2971 /proc/meminfo: memFree=31062152/32770624 swapFree=6176/980700 [pid=2971] ppid=2968 vsize=35224 CPUtime=0.28 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 2234 0 0 0 28 0 0 0 20 0 1 0 15655389 36069376 2025 33554432000 4194304 5970956 140720702278288 140720702275624 4975781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8806 2025 774 434 0 2170 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 35224 [startup+0.700276 s] /proc/loadavg: 0.00 0.01 0.05 3/180 2971 /proc/meminfo: memFree=31062152/32770624 swapFree=6176/980700 [pid=2971] ppid=2968 vsize=35352 CPUtime=0.68 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 2249 0 0 0 68 0 0 0 20 0 1 0 15655389 36200448 2589 33554432000 4194304 5970956 140720702278288 140720702275624 4974704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8838 2589 774 434 0 2202 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 35352 [startup+1.50028 s] /proc/loadavg: 0.00 0.01 0.05 2/181 3028 /proc/meminfo: memFree=31055504/32770624 swapFree=6176/979948 [pid=2971] ppid=2968 vsize=35352 CPUtime=1.48 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 2262 0 0 0 148 0 0 0 20 0 1 0 15655389 36200448 2589 33554432000 4194304 5970956 140720702278288 140720702275624 4974720 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8838 2589 774 434 0 2202 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35352 [startup+3.1003 s] /proc/loadavg: 0.00 0.01 0.05 3/182 3033 /proc/meminfo: memFree=31053392/32770624 swapFree=6176/981768 [pid=2971] ppid=2968 vsize=35480 CPUtime=3.08 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 3387 0 0 0 308 0 0 0 20 0 1 0 15655389 36331520 2626 33554432000 4194304 5970956 140720702278288 140720702275624 4970597 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8870 2626 774 434 0 2234 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35480 [startup+6.30028 s] /proc/loadavg: 0.16 0.05 0.06 3/187 3165 /proc/meminfo: memFree=31015848/32770624 swapFree=6176/984868 [pid=2971] ppid=2968 vsize=35480 CPUtime=6.28 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 4534 0 0 0 628 0 0 0 20 0 1 0 15655389 36331520 2639 33554432000 4194304 5970956 140720702278288 140720702275624 4970607 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8870 2639 774 434 0 2234 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35480 [startup+12.7003 s] /proc/loadavg: 0.31 0.08 0.07 3/187 3165 /proc/meminfo: memFree=30924524/32770624 swapFree=6176/984872 [pid=2971] ppid=2968 vsize=35608 CPUtime=12.68 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 5689 0 0 0 1268 0 0 0 20 0 1 0 15655389 36462592 2660 33554432000 4194304 5970956 140720702278288 140720702275624 4978128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2660 774 434 0 2266 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35608 [startup+25.5003 s] /proc/loadavg: 0.60 0.16 0.09 3/187 3229 /proc/meminfo: memFree=30926604/32770624 swapFree=6176/985516 [pid=2971] ppid=2968 vsize=35608 CPUtime=25.47 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 7968 0 0 0 2547 0 0 0 20 0 1 0 15655389 36462592 2693 33554432000 4194304 5970956 140720702278288 140720702275624 4978138 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2693 774 434 0 2266 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 35608 [startup+51.1003 s] /proc/loadavg: 1.08 0.31 0.14 3/187 3293 /proc/meminfo: memFree=22597768/32770624 swapFree=6176/985232 [pid=2971] ppid=2968 vsize=35608 CPUtime=51.07 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 9211 0 0 0 5107 0 0 0 20 0 1 0 15655389 36462592 2716 33554432000 4194304 5970956 140720702278288 140720702275624 4974299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2716 774 434 0 2266 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35608 [startup+102.3 s] /proc/loadavg: 1.60 0.57 0.24 3/187 3295 /proc/meminfo: memFree=21960732/32770624 swapFree=6176/985324 [pid=2971] ppid=2968 vsize=35608 CPUtime=102.26 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 10460 0 0 0 10226 0 0 0 20 0 1 0 15655389 36462592 2735 33554432000 4194304 5970956 140720702278288 140720702275624 4974364 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2735 774 434 0 2266 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35608 [startup+162.3 s] /proc/loadavg: 1.85 0.83 0.35 3/187 3296 /proc/meminfo: memFree=21959236/32770624 swapFree=6176/985404 [pid=2971] ppid=2968 vsize=35608 CPUtime=162.26 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 11707 0 0 0 16225 1 0 0 20 0 1 0 15655389 36462592 2758 33554432000 4194304 5970956 140720702278288 140720702275624 4974343 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2758 774 434 0 2266 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 35608 [startup+222.306 s] /proc/loadavg: 1.95 1.04 0.45 3/188 3305 /proc/meminfo: memFree=21956420/32770624 swapFree=6176/985472 [pid=2971] ppid=2968 vsize=35608 CPUtime=222.25 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 12918 0 0 0 22224 1 0 0 20 0 1 0 15655389 36462592 2783 33554432000 4194304 5970956 140720702278288 140720702275624 4978179 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2783 774 434 0 2266 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 35608 [startup+282.3 s] /proc/loadavg: 2.01 1.23 0.56 3/188 3328 /proc/meminfo: memFree=21955052/32770624 swapFree=6176/985544 [pid=2971] ppid=2968 vsize=35608 CPUtime=282.23 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 14155 0 0 0 28222 1 0 0 20 0 1 0 15655389 36462592 2796 33554432000 4194304 5970956 140720702278288 140720702275624 4974589 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2796 774 434 0 2266 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 35608 [startup+342.3 s] /proc/loadavg: 2.00 1.37 0.65 3/188 3329 /proc/meminfo: memFree=21954168/32770624 swapFree=6176/985604 [pid=2971] ppid=2968 vsize=35608 CPUtime=342.22 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 15376 0 0 0 34221 1 0 0 20 0 1 0 15655389 36462592 2813 33554432000 4194304 5970956 140720702278288 140720702275624 4977082 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2813 774 434 0 2266 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 35608 [startup+402.3 s] /proc/loadavg: 2.00 1.48 0.73 3/188 3330 /proc/meminfo: memFree=21953076/32770624 swapFree=6176/985664 [pid=2971] ppid=2968 vsize=35608 CPUtime=402.21 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 16603 0 0 0 40220 1 0 0 20 0 1 0 15655389 36462592 2815 33554432000 4194304 5970956 140720702278288 140720702275624 4974811 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2815 774 434 0 2266 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 35608 [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.81 3/188 3331 /proc/meminfo: memFree=21953412/32770624 swapFree=6176/985704 [pid=2971] ppid=2968 vsize=35608 CPUtime=462.2 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 17841 0 0 0 46219 1 0 0 20 0 1 0 15655389 36462592 2830 33554432000 4194304 5970956 140720702278288 140720702275624 4975059 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2830 774 434 0 2266 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 35608 [startup+522.3 s] /proc/loadavg: 2.04 1.67 0.89 3/187 3332 /proc/meminfo: memFree=21950728/32770624 swapFree=6176/985744 [pid=2971] ppid=2968 vsize=35608 CPUtime=522.19 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 19039 0 0 0 52218 1 0 0 20 0 1 0 15655389 36462592 2837 33554432000 4194304 5970956 140720702278288 140720702275624 4977600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2837 774 434 0 2266 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 35608 [startup+582.3 s] /proc/loadavg: 2.01 1.73 0.96 3/187 3333 /proc/meminfo: memFree=21948524/32770624 swapFree=6176/985804 [pid=2971] ppid=2968 vsize=35608 CPUtime=582.18 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 20250 0 0 0 58217 1 0 0 20 0 1 0 15655389 36462592 2843 33554432000 4194304 5970956 140720702278288 140720702275624 4975232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2843 774 434 0 2266 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 35608 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.63 3/187 4457 /proc/meminfo: memFree=30686348/32770624 swapFree=6176/1000920 [pid=2971] ppid=2968 vsize=35608 CPUtime=1542.01 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 38423 0 0 0 154199 2 0 0 20 0 1 0 15655389 36462592 2900 33554432000 4194304 5970956 140720702278288 140720702275624 4970584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2900 774 434 0 2266 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 35608 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.66 3/187 4458 /proc/meminfo: memFree=30685260/32770624 swapFree=6176/1001020 [pid=2971] ppid=2968 vsize=35608 CPUtime=1602 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 39398 0 0 0 160198 2 0 0 20 0 1 0 15655389 36462592 2903 33554432000 4194304 5970956 140720702278288 140720702275624 4974124 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2903 774 434 0 2266 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 35608 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.68 3/187 4520 /proc/meminfo: memFree=31011548/32770624 swapFree=6176/1001308 [pid=2971] ppid=2968 vsize=35608 CPUtime=1661.99 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 40603 0 0 0 166197 2 0 0 20 0 1 0 15655389 36462592 2907 33554432000 4194304 5970956 140720702278288 140720702275624 4977807 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2907 774 434 0 2266 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 35608 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.70 3/187 4522 /proc/meminfo: memFree=31010580/32770624 swapFree=6176/1001384 [pid=2971] ppid=2968 vsize=35608 CPUtime=1721.97 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 41648 0 0 0 172195 2 0 0 20 0 1 0 15655389 36462592 2907 33554432000 4194304 5970956 140720702278288 140720702275624 4974634 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2907 774 434 0 2266 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 35608 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.72 3/187 4523 /proc/meminfo: memFree=31010632/32770624 swapFree=6176/1001456 [pid=2971] ppid=2968 vsize=35608 CPUtime=1781.96 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 42619 0 0 0 178194 2 0 0 20 0 1 0 15655389 36462592 2907 33554432000 4194304 5970956 140720702278288 140720702275624 4974152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2907 774 434 0 2266 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 35608 [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.73 3/187 4524 /proc/meminfo: memFree=31010584/32770624 swapFree=6176/1001504 [pid=2971] ppid=2968 vsize=35608 CPUtime=1841.96 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 43838 0 0 0 184193 3 0 0 20 0 1 0 15655389 36462592 2911 33554432000 4194304 5970956 140720702278288 140720702275624 4977781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2911 774 434 0 2266 0 Current children cumulated CPU time (s) 1841.96 Current children cumulated vsize (KiB) 35608 [startup+1902.3 s] /proc/loadavg: 2.08 2.00 1.76 3/187 4526 /proc/meminfo: memFree=31010704/32770624 swapFree=6176/1001568 [pid=2971] ppid=2968 vsize=35608 CPUtime=1901.95 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 44856 0 0 0 190192 3 0 0 20 0 1 0 15655389 36462592 2911 33554432000 4194304 5970956 140720702278288 140720702275624 4977143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2911 774 434 0 2266 0 Current children cumulated CPU time (s) 1901.95 Current children cumulated vsize (KiB) 35608 [startup+1962.3 s] /proc/loadavg: 2.03 2.00 1.77 3/187 4527 /proc/meminfo: memFree=31010740/32770624 swapFree=6176/1001616 [pid=2971] ppid=2968 vsize=35608 CPUtime=1961.94 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 45866 0 0 0 196191 3 0 0 20 0 1 0 15655389 36462592 2911 33554432000 4194304 5970956 140720702278288 140720702275624 4977130 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2911 774 434 0 2266 0 Current children cumulated CPU time (s) 1961.94 Current children cumulated vsize (KiB) 35608 [startup+2022.3 s] /proc/loadavg: 2.15 2.05 1.80 3/187 4595 /proc/meminfo: memFree=30831100/32770624 swapFree=6176/1005552 [pid=2971] ppid=2968 vsize=35608 CPUtime=2021.93 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 47160 0 0 0 202190 3 0 0 20 0 1 0 15655389 36462592 2914 33554432000 4194304 5970956 140720702278288 140720702275624 4977082 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2914 774 434 0 2266 0 Current children cumulated CPU time (s) 2021.93 Current children cumulated vsize (KiB) 35608 [startup+2082.3 s] /proc/loadavg: 2.10 2.04 1.81 3/187 4848 /proc/meminfo: memFree=31017256/32770624 swapFree=6176/1005820 [pid=2971] ppid=2968 vsize=35608 CPUtime=2081.92 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 48020 0 0 0 208189 3 0 0 20 0 1 0 15655389 36462592 2917 33554432000 4194304 5970956 140720702278288 140720702275624 4977863 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2917 774 434 0 2266 0 Current children cumulated CPU time (s) 2081.92 Current children cumulated vsize (KiB) 35608 [startup+2142.3 s] /proc/loadavg: 2.04 2.03 1.83 3/187 4976 /proc/meminfo: memFree=31017684/32770624 swapFree=6176/1006132 [pid=2971] ppid=2968 vsize=35608 CPUtime=2141.9 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 48859 0 0 0 214187 3 0 0 20 0 1 0 15655389 36462592 2917 33554432000 4194304 5970956 140720702278288 140720702275624 4974743 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2917 774 434 0 2266 0 Current children cumulated CPU time (s) 2141.9 Current children cumulated vsize (KiB) 35608 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 1.84 3/187 5041 /proc/meminfo: memFree=31018080/32770624 swapFree=6176/1006292 [pid=2971] ppid=2968 vsize=35608 CPUtime=2201.9 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 49622 0 0 0 220187 3 0 0 20 0 1 0 15655389 36462592 2917 33554432000 4194304 5970956 140720702278288 140720702275624 4971304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2917 774 434 0 2266 0 Current children cumulated CPU time (s) 2201.9 Current children cumulated vsize (KiB) 35608 [startup+2262.3 s] /proc/loadavg: 2.04 2.04 1.85 3/187 5224 /proc/meminfo: memFree=31014388/32770624 swapFree=6176/1006536 [pid=2971] ppid=2968 vsize=35608 CPUtime=2261.88 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 51026 0 0 0 226185 3 0 0 20 0 1 0 15655389 36462592 2927 33554432000 4194304 5970956 140720702278288 140720702275624 4971070 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2927 774 434 0 2266 0 Current children cumulated CPU time (s) 2261.88 Current children cumulated vsize (KiB) 35608 [startup+2322.3 s] /proc/loadavg: 2.02 2.03 1.87 3/187 5225 /proc/meminfo: memFree=31014148/32770624 swapFree=6176/1006612 [pid=2971] ppid=2968 vsize=35608 CPUtime=2321.87 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 51922 0 0 0 232184 3 0 0 20 0 1 0 15655389 36462592 2927 33554432000 4194304 5970956 140720702278288 140720702275624 5093202 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2927 774 434 0 2266 0 Current children cumulated CPU time (s) 2321.87 Current children cumulated vsize (KiB) 35608 [startup+2382.3 s] /proc/loadavg: 2.13 2.06 1.88 3/187 5226 /proc/meminfo: memFree=31013604/32770624 swapFree=6176/1006664 [pid=2971] ppid=2968 vsize=35608 CPUtime=2381.86 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 52925 0 0 0 238183 3 0 0 20 0 1 0 15655389 36462592 2927 33554432000 4194304 5970956 140720702278288 140720702275624 5322597 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2927 774 434 0 2266 0 Current children cumulated CPU time (s) 2381.86 Current children cumulated vsize (KiB) 35608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.09 2.05 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006676 [pid=2971] ppid=2968 vsize=35608 CPUtime=2400.05 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 53832 0 0 0 240002 3 0 0 20 0 1 0 15655389 36462592 2927 33554432000 4194304 5970956 140720702278288 140720702275624 4974728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2927 774 434 0 2266 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 35608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2971 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.09 2.05 1.88 3/187 5226 /proc/meminfo: memFree=31013692/32770624 swapFree=6176/1006676 [pid=2971] ppid=2968 vsize=35608 CPUtime=2400.05 cores=0,2,4,6 /proc/2971/stat : 2971 (cosoco) R 2968 2971 2920 0 -1 4202496 53832 0 0 0 240002 3 0 0 20 0 1 0 15655389 36462592 2927 33554432000 4194304 5970956 140720702278288 140720702275624 4974728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 35909632 140720702280892 140720702281027 140720702281027 140720702283726 0 /proc/2971/statm: 8902 2927 774 434 0 2266 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 35608 Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.07 CPU user time (s): 2400.03 CPU system time (s): 0.040992 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 35608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.040992 maximum resident set size= 11752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53857 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= 123041 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.06043 second user time and 8.03189 second system time The end
Begin job on node125 at 2017-07-21 09:56:25 IDJOB=4239923 IDBENCH=115862 IDSOLVER=2621 FILE ID=node125/4239923-1500623785 RUNJOBID= node125-1500623778-2951 PBS_JOBID= 20623008 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-19.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239923-1500623785/watcher-4239923-1500623785 -o /tmp/evaluation-result-4239923-1500623785/solver-4239923-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239923-1500623785.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69 RANDOM SEED=127381203 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.75 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 : 1600.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.56 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 : 1600.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.75 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 : 1600.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.56 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 : 1600.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.75 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 : 1600.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.56 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 : 1600.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.75 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 : 1600.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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31065176 kB MemAvailable: 32018352 kB Buffers: 153856 kB Cached: 1080004 kB SwapCached: 0 kB Active: 296488 kB Inactive: 988784 kB Active(anon): 54088 kB Inactive(anon): 8864 kB Active(file): 242400 kB Inactive(file): 979920 kB Unevictable: 6176 kB Mlocked: 6176 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 57624 kB Mapped: 31864 kB Shmem: 8848 kB Slab: 117300 kB SReclaimable: 93384 kB SUnreclaim: 23916 kB KernelStack: 3168 kB PageTables: 5084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 10:36:26