| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.02 | 2520.01 |
| Name | QuasiGroups/QuasiGroups-elt-qg4/ QuasiGroup-4-17.xml |
| MD5SUM | 1749ee71f79cc6e37ea59febff668c91 |
| 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 | 100.011 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 578 |
| Number of constraints | 546 |
| Number of domains | 2 |
| Minimum domain size | 17 |
| Maximum domain size | 289 |
| Distribution of domain sizes | [{"size":17,"count":289},{"size":289,"count":272}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 275 |
| Distribution of variable degrees | [{"degree":0,"count":17},{"degree":2,"count":272},{"degree":274,"count":17},{"degree":275,"count":272}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 290 |
| Distribution of constraint arities | [{"arity":3,"count":272},{"arity":17,"count":1},{"arity":289,"count":1},{"arity":290,"count":272}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 272 |
| Distribution of constraint types | [{"type":"intension","count":272},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":272}] |
| Optimization problem | NO |
| Type of objective |
1.10/1.18 c SAT : Variables: 88434 -- Clauses: 12066906 1.10/1.19 c root propagations : 5527 1.10/1.19 c restarts enabled, print stats at every restarts 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c This is cosoco 1.12 -- 1.10/1.19 c 1.10/1.19 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266279-1502583461.xml 1.10/1.19 c ========================================[ Problem Statistics ]=========================================== 1.10/1.19 c | 1.10/1.19 c | Parse time : 1.05 s 1.10/1.19 c | 1.10/1.19 c | Variables: 578 1.10/1.19 c | Domain Sizes: 17..289 1.10/1.19 c | 1.10/1.19 c | Constraints: 595 1.10/1.19 c | Arity: 1..290 -- Unary: 17 -- Ternary: 272 1.10/1.19 c | 1.10/1.19 c | Types: 1.10/1.19 c | All Different: 34 1.10/1.19 c | Element Constant: 272 1.10/1.19 c | Intension: 272 1.10/1.19 c | Unary: 17 1.10/1.19 c | 1.10/1.19 c ========================================================================================================= 1.10/1.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.10/1.20 c remove useless variable y[0][0] 1.10/1.20 c remove useless variable y[1][1] 1.10/1.20 c remove useless variable y[2][2] 1.10/1.20 c remove useless variable y[3][3] 1.10/1.20 c remove useless variable y[4][4] 1.10/1.20 c remove useless variable y[5][5] 1.10/1.20 c remove useless variable y[6][6] 1.10/1.20 c remove useless variable y[7][7] 1.10/1.20 c remove useless variable y[8][8] 1.10/1.20 c remove useless variable y[9][9] 1.10/1.20 c remove useless variable y[10][10] 1.10/1.20 c remove useless variable y[11][11] 1.10/1.20 c remove useless variable y[12][12] 1.10/1.20 c remove useless variable y[13][13] 1.10/1.20 c remove useless variable y[14][14] 1.10/1.20 c remove useless variable y[15][15] 1.10/1.20 c remove useless variable y[16][16] 1.39/1.47 c 10 318 169131 82102 351 10 254 309 268 1.69/1.76 c 20 659 361453 158535 351 20 58 332 83 1.89/1.97 c 30 813 454691 214219 351 24 120 138 118 2.19/2.22 c 40 1005 583423 278090 351 33 39 176 122 2.39/2.47 c 50 1262 720194 345895 351 40 80 235 142 2.69/2.75 c 60 1533 902693 431967 351 46 102 252 196 3.00/3.07 c 70 1787 1133026 534018 351 55 60 233 167 3.28/3.37 c 80 1987 1340181 618982 351 63 136 186 160 3.48/3.51 c 90 2058 1393499 653639 351 66 59 61 53 3.68/3.78 c 100 2216 1550263 737770 351 74 69 141 110 3.88/3.93 c 101 2304 1613926 776483 351 75 88 88 44 3.99/4.10 c 110 2425 1690588 823157 351 79 85 113 96 4.28/4.39 c 120 2637 1889747 906589 351 88 98 190 150 4.58/4.67 c 130 2809 2062006 987756 351 97 73 163 124 4.78/4.87 c 140 2931 2156162 1043735 351 103 66 107 90 5.10/5.18 c 150 3169 2374434 1133269 351 110 66 188 153 5.39/5.45 c 160 3330 2526396 1206088 351 118 42 139 101 5.59/5.67 c 170 3474 2640677 1262810 351 125 102 134 105 6.00/6.04 c 180 3696 2933055 1374281 351 132 77 183 153 6.19/6.29 c 190 3866 3070879 1440488 351 144 45 159 66 6.59/6.61 c 200 4065 3295983 1531089 351 151 54 172 137 6.79/6.89 c 210 4229 3459091 1607049 351 156 45 154 77 6.89/6.99 c 211 4278 3493440 1630631 351 157 49 49 24 7.19/7.21 c 220 4406 3603715 1686019 351 162 89 118 96 7.49/7.53 c 230 4603 3821700 1783970 351 171 41 179 122 7.69/7.78 c 240 4760 3960379 1845754 351 175 85 135 116 8.00/8.07 c 250 4953 4143705 1926136 351 185 82 166 131 8.39/8.40 c 260 5175 4362564 2013902 351 196 63 194 139 8.59/8.68 c 270 5360 4540780 2091065 351 203 41 175 114 8.89/8.97 c 280 5547 4720530 2165577 351 213 63 176 126 9.19/9.25 c 290 5732 4901933 2254026 351 217 41 174 140 9.49/9.53 c 300 5897 5066400 2332046 351 227 41 150 110 9.69/9.78 c 310 6039 5197172 2405020 351 239 42 117 91 10.09/10.15 c 320 6266 5508582 2515530 351 244 66 196 136 10.28/10.35 c 330 6370 5600923 2566569 351 251 54 93 79 10.48/10.54 c 332 6464 5679833 2610658 351 253 70 93 54 10.68/10.72 c 340 6552 5752913 2656649 351 259 61 79 63 10.99/11.05 c 350 6785 6010314 2746246 351 263 86 197 158 11.28/11.38 c 360 6996 6263105 2858939 351 270 167 186 160 11.59/11.66 c 370 7170 6424945 2932668 351 277 79 160 118 11.89/11.98 c 380 7392 6685023 3021632 351 283 101 201 155 12.29/12.35 c 390 7611 6969693 3159484 351 288 162 179 156 12.59/12.63 c 400 7845 7168790 3250944 351 294 65 188 146 12.89/12.95 c 410 8099 7430287 3353210 351 298 124 202 169 13.19/13.27 c 420 8308 7660838 3453880 351 300 169 187 160 13.59/13.60 c 430 8536 7948576 3568865 351 303 181 193 170 13.89/13.92 c 440 8754 8188255 3658739 351 308 76 200 155 14.19/14.28 c 450 8998 8491116 3769261 351 311 189 200 177 14.59/14.63 c 460 9246 8765247 3878860 351 317 107 201 143 14.79/14.89 c 465 9445 8941785 3957471 351 321 102 192 138 15.00/15.06 c 470 9534 9011853 4001052 351 326 85 85 70 15.29/15.34 c 480 9743 9207044 4089744 351 330 113 193 163 15.59/15.64 c 490 9956 9441787 4205010 351 332 168 182 159 15.89/15.97 c 500 10170 9688054 4327657 351 337 162 174 151 16.19/16.27 c 510 10393 9916143 4428465 351 342 170 188 161 16.59/16.60 c 520 10632 10199863 4545462 351 348 70 201 159 16.79/16.89 c 530 10861 10425617 4637450 351 352 122 202 170 17.19/17.20 c 540 11082 10659629 4738512 351 358 72 190 140 17.39/17.47 c 550 11289 10861289 4832797 351 361 118 186 159 17.69/17.79 c 560 11508 11107283 4949002 351 364 163 181 153 17.99/18.09 c 570 11725 11341333 5044613 351 367 155 190 166 18.39/18.43 c 580 11945 11612388 5155184 351 372 129 193 165 18.69/18.72 c 590 12153 11821690 5253767 351 377 130 182 146 18.99/19.02 c 600 12350 12033915 5342614 351 385 69 182 149 19.19/19.24 c 610 12466 12130863 5393620 351 392 48 88 72 19.39/19.43 c 611 12596 12229277 5448706 351 393 130 130 65 19.69/19.73 c 620 12816 12464289 5546431 351 399 188 202 172 19.99/20.03 c 630 13018 12689171 5645301 351 405 56 185 139 20.29/20.35 c 640 13228 12911789 5741276 351 413 63 192 149 20.59/20.68 c 650 13457 13176907 5858572 351 417 173 190 166 20.89/20.98 c 660 13674 13393611 5947196 351 423 168 181 161 21.18/21.24 c 670 13872 13575916 6041881 351 427 165 184 163 21.49/21.57 c 680 14098 13831957 6161124 351 432 43 191 153 21.79/21.89 c 690 14301 14082002 6270861 351 434 162 182 157 22.10/22.18 c 700 14517 14302242 6364762 351 441 120 200 170 22.39/22.48 c 710 14728 14522784 6460387 351 447 160 198 167 22.69/22.79 c 720 14978 14781504 6567578 351 451 168 183 161 23.00/23.10 c 730 15195 15028076 6670807 351 457 59 193 149 23.29/23.38 c 740 15382 15207221 6759799 351 464 152 166 144 23.49/23.58 c 750 15495 15296184 6814000 351 473 46 97 75 23.79/23.88 c 760 15699 15522016 6919012 351 476 138 176 147 24.19/24.22 c 770 15949 15810057 7031213 351 479 162 195 160 24.39/24.46 c 771 16115 15949425 7098738 351 480 166 166 83 24.79/24.82 c 780 16328 16236479 7221144 351 486 172 184 159 25.00/25.10 c 790 16513 16427994 7308810 351 492 149 169 145 25.39/25.41 c 800 16722 16668066 7398804 351 497 176 189 167 25.69/25.75 c 810 16973 16964509 7519973 351 503 177 193 167 26.00/26.05 c 820 17203 17208546 7629387 351 508 139 193 163 26.29/26.39 c 830 17452 17483200 7739322 351 513 122 200 167 26.59/26.67 c 840 17677 17698783 7836457 351 514 185 200 176 26.89/26.97 c 850 17890 17934658 7938208 351 521 177 190 166 27.10/27.14 conflict 28lvl : 120 bt120-3532:0(50553)X48431979 27.10/27.19 c 860 18058 18056022 8007599 351 529 120 133 114 27.49/27.54 c 870 18300 18344717 8128273 351 533 41 187 147 27.79/27.83 c 880 18511 18566912 8226112 351 536 56 188 155 28.10/28.14 c 890 18724 18816834 8322175 351 538 172 188 167 28.29/28.39 c 900 18915 18980725 8408975 351 548 94 172 115 28.69/28.76 c 910 19193 19295489 8528522 351 552 169 194 168 29.00/29.09 c 920 19463 19602170 8634546 351 557 74 204 166 29.29/29.39 c 930 19675 19830606 8726487 351 559 168 188 161 29.69/29.72 c 940 19910 20111140 8829201 351 566 134 196 168 30.00/30.03 c 947 20139 20337104 8926957 351 571 162 188 154 30.19/30.28 c 950 20328 20494307 9000288 351 573 140 187 128 30.49/30.59 c 960 20544 20728226 9100475 351 579 147 180 155 30.79/30.86 c 970 20765 20917830 9190748 351 587 152 184 156 31.10/31.17 c 980 20984 21167205 9290207 351 595 113 191 161 31.39/31.47 c 990 21203 21404641 9388138 351 600 166 200 169 31.69/31.77 c 1000 21417 21626741 9493987 351 604 78 194 158 31.89/31.98 c 1010 21568 21742653 9569810 351 614 127 136 120 32.18/32.28 c 1020 21758 21968170 9663582 351 621 158 176 153 32.48/32.59 c 1030 21993 22198072 9764052 351 627 109 198 151 32.78/32.83 c 1040 22178 22353388 9847379 351 635 124 172 136 33.09/33.11 c 1050 22400 22559705 9937463 351 643 43 194 138 33.38/33.42 c 1060 22600 22781888 10034710 351 646 44 189 153 33.69/33.73 c 1070 22819 23018207 10140192 351 653 165 190 162 34.00/34.03 c 1080 23024 23264151 10251352 351 657 174 182 162 34.29/34.35 c 1090 23241 23486297 10355974 351 661 158 173 148 34.59/34.61 c 1100 23434 23643236 10435987 351 670 44 174 134 34.89/34.95 c 1110 23644 23934140 10551746 351 674 172 187 161 35.19/35.24 c 1120 23857 24139356 10643987 351 677 150 196 166 35.49/35.54 c 1130 24066 24346656 10724572 351 686 42 191 104 35.79/35.83 c 1140 24274 24552766 10816913 351 691 164 178 155 36.00/36.10 c 1141 24451 24719910 10890638 351 692 177 177 88 36.29/36.30 c 1150 24594 24818889 10945818 351 700 119 129 111 36.59/36.63 c 1160 24824 25094126 11051329 351 706 161 191 162 36.89/36.96 c 1170 25049 25350940 11165700 351 713 124 186 154 37.19/37.25 c 1180 25238 25531404 11262078 351 719 139 163 132 37.49/37.54 c 1190 25454 25735586 11351755 351 724 123 195 164 37.79/37.85 c 1200 25698 25990030 11454943 351 729 50 198 157 38.10/38.13 c 1210 25915 26209727 11557100 351 735 50 191 146 38.39/38.43 c 1220 26130 26433802 11647987 351 739 170 190 168 38.69/38.73 c 1230 26364 26663158 11750765 351 743 153 200 166 39.00/39.07 c 1240 26574 26925844 11866227 351 749 173 186 161 39.29/39.35 c 1250 26783 27119480 11962304 351 757 45 167 131 39.59/39.67 c 1260 27007 27369730 12050491 351 760 59 201 162 39.89/40.00 c 1270 27220 27621339 12157566 351 764 81 192 160 40.29/40.34 c 1280 27494 27905548 12272400 351 769 129 193 158 40.59/40.61 c 1290 27695 28082115 12357378 351 777 39 189 100 40.89/40.91 c 1300 27916 28303665 12460480 351 783 147 195 154 41.10/41.19 c 1310 28128 28498202 12552795 351 792 120 197 157 41.39/41.46 c 1320 28323 28671250 12645055 351 797 68 170 139 41.69/41.77 c 1330 28528 28895659 12746080 351 804 38 181 110 42.00/42.09 c 1340 28734 29151039 12853003 351 814 69 177 146 42.39/42.40 c 1350 28941 29376772 12960866 351 822 102 184 140 42.59/42.66 c 1352 29116 29535086 13040529 351 824 168 174 114 42.89/42.90 c 1360 29267 29662968 13123115 351 828 101 108 94 43.19/43.20 c 1370 29481 29909876 13224861 351 832 35 188 149 43.39/43.40 c 1380 29611 30006259 13277836 351 836 95 115 91 43.69/43.72 c 1390 29856 30295796 13380332 351 841 180 207 174 44.00/44.02 c 1400 30067 30503870 13480372 351 845 116 176 149 44.29/44.36 c 1410 30291 30785500 13591472 351 848 115 184 149 44.59/44.65 c 1420 30502 31005874 13686323 351 853 138 194 168 44.89/44.94 c 1430 30715 31215945 13787069 351 858 162 190 156 45.19/45.24 c 1440 30915 31424825 13898938 351 863 44 175 137 45.49/45.57 c 1450 31143 31710384 14018652 351 865 180 196 169 45.89/45.93 c 1460 31364 32004486 14149330 351 869 78 181 149 46.10/46.18 c 1470 31563 32168802 14230416 351 873 62 176 139 46.39/46.40 c 1480 31698 32273067 14289399 351 879 81 101 82 46.69/46.70 c 1490 31911 32509243 14390735 351 884 140 189 163 47.00/47.04 c 1500 32143 32768786 14500325 351 889 162 181 157 47.29/47.34 c 1510 32360 32994863 14597001 351 897 98 198 161 47.59/47.66 c 1520 32591 33253606 14698898 351 905 42 191 150 47.89/47.99 c 1530 32833 33530924 14809924 351 908 185 204 175 48.29/48.31 c 1540 33032 33780563 14919371 351 911 74 182 150 48.59/48.66 c 1550 33246 34069477 15040890 351 913 172 193 162 48.89/48.97 c 1560 33479 34315931 15133714 351 916 187 192 172 49.29/49.30 c 1570 33734 34589729 15242162 351 922 164 194 165 49.49/49.58 c 1580 33946 34792853 15328155 351 930 44 196 157 49.79/49.86 c 1585 34149 34979478 15406366 351 934 169 183 147 50.09/50.11 c 1590 34314 35123171 15482628 351 937 44 161 100 50.38/50.40 c 1600 34535 35352268 15581779 351 940 44 191 150 50.68/50.71 c 1610 34778 35597486 15680865 351 948 102 198 156 50.88/50.95 c 1620 34930 35728177 15769555 351 953 64 107 90 51.18/51.27 c 1630 35164 36000574 15877479 351 957 186 194 172 51.38/51.43 c 1640 35263 36074373 15920713 351 958 88 90 80 51.58/51.63 c 1650 35407 36178136 15976002 351 963 103 114 99 51.88/51.94 c 1660 35653 36436236 16087655 351 970 123 194 163 52.09/52.16 c 1670 35801 36553902 16159569 351 982 103 109 96 52.28/52.39 c 1680 35983 36693528 16233460 351 988 128 165 141 52.58/52.67 c 1690 36203 36917788 16327056 351 991 187 193 172 52.88/52.96 c 1700 36416 37131275 16423045 351 997 164 178 156 53.18/53.25 c 1710 36653 37343102 16522386 351 1003 124 185 148 53.38/53.44 c 1720 36781 37435250 16591833 351 1010 44 90 72 53.68/53.74 c 1730 37031 37700621 16691129 351 1014 156 200 171 53.99/54.02 c 1740 37242 37892593 16783575 351 1019 151 178 148 54.18/54.29 c 1750 37442 38101204 16878087 351 1026 178 185 165 54.48/54.57 c 1760 37637 38308425 16979355 351 1029 124 182 153 54.78/54.84 c 1770 37841 38511473 17071580 351 1037 159 184 156 54.99/55.06 c 1780 37993 38629157 17139409 351 1045 42 118 85 55.28/55.33 c 1790 38206 38841642 17235946 351 1050 176 182 162 55.58/55.65 c 1800 38419 39134485 17357297 351 1057 40 186 149 55.78/55.83 c 1810 38519 39212425 17408187 351 1063 57 85 61 55.99/56.10 c 1820 38722 39425048 17515070 351 1066 40 179 138 56.28/56.32 c 1830 38859 39542893 17598740 351 1072 109 114 101 56.58/56.60 c 1840 39068 39756752 17700148 351 1076 92 187 110 56.68/56.79 c 1841 39228 39863218 17761715 351 1077 160 160 80 56.88/57.00 c 1850 39382 39979643 17830316 351 1085 106 143 117 57.09/57.16 c 1860 39483 40054402 17874260 351 1091 54 92 72 57.38/57.42 c 1870 39683 40239610 17956338 351 1100 166 184 159 57.68/57.76 c 1880 39899 40529538 18066229 351 1102 160 189 165 57.99/58.06 c 1890 40146 40810767 18176432 351 1105 181 202 174 58.28/58.32 c 1900 40349 40993692 18261709 351 1114 42 194 136 58.48/58.58 c 1910 40546 41161583 18343440 351 1117 44 172 142 58.68/58.78 c 1920 40688 41266410 18407123 351 1118 90 94 83 58.88/58.92 c 1930 40766 41320717 18444913 351 1121 54 65 51 59.18/59.20 c 1940 40961 41525323 18539678 351 1125 98 177 122 59.38/59.50 c 1950 41188 41757470 18639530 351 1127 169 192 163 59.78/59.84 c 1960 41403 42023944 18769873 351 1131 42 162 133 60.08/60.12 c 1970 41602 42222643 18856180 351 1138 57 182 131 60.38/60.43 c 1980 41829 42496636 18955943 351 1142 160 204 176 60.58/60.62 c 1990 41968 42598730 19025965 351 1151 56 127 104 60.78/60.88 c 2000 42166 42778225 19111077 351 1161 41 180 111 61.09/61.19 c 2010 42355 42999170 19228771 351 1168 163 172 150 61.38/61.44 c 2020 42543 43166162 19311491 351 1174 157 173 149 61.68/61.73 c 2030 42734 43391455 19405256 351 1180 154 175 152 61.88/61.97 c 2040 42941 43554008 19489856 351 1185 43 166 116 62.18/62.29 c 2050 43190 43846825 19598622 351 1189 41 200 146 62.38/62.49 c 2060 43323 43946239 19672745 351 1193 84 93 81 62.68/62.77 c 2070 43520 44159909 19785285 351 1199 162 176 152 62.99/63.05 c 2080 43729 44370848 19882873 351 1209 71 182 127 63.28/63.33 c 2090 43956 44576902 19969339 351 1214 96 193 149 63.58/63.63 c 2100 44156 44801568 20063336 351 1221 164 178 155 63.88/63.93 c 2110 44413 45081680 20165047 351 1225 143 203 165 64.18/64.21 c 2120 44618 45294165 20256752 351 1230 51 184 153 64.38/64.44 c 2122 44796 45447003 20325407 351 1232 155 177 110 64.58/64.69 c 2130 44988 45625343 20422130 351 1238 157 174 146 64.88/64.98 c 2140 45206 45867503 20532442 351 1241 110 192 163 65.09/65.12 c 2150 45298 45926044 20572974 351 1246 59 74 59 65.28/65.38 c 2160 45493 46106001 20655695 351 1250 89 185 105 65.58/65.67 c 2170 45710 46331862 20759760 351 1259 117 189 143 65.88/65.95 c 2180 45928 46541935 20844170 351 1267 70 196 136 66.18/66.24 c 2190 46128 46743660 20932499 351 1275 60 168 131 66.38/66.43 c 2200 46249 46841139 20989346 351 1280 82 108 94 66.58/66.69 c 2210 46444 47027965 21089746 351 1288 155 178 155 66.88/67.00 c 2220 46673 47285365 21202533 351 1292 104 193 164 67.09/67.15 c 2230 46760 47346923 21244067 351 1298 66 75 66 67.28/67.38 c 2240 46931 47491410 21319091 351 1302 134 156 125 67.58/67.65 c 2250 47131 47681804 21411226 351 1312 114 182 142 67.88/67.94 c 2260 47364 47918252 21512089 351 1315 176 185 164 68.18/68.23 c 2270 47586 48141870 21613954 351 1320 157 187 155 68.38/68.47 c 2280 47765 48300659 21698842 351 1328 155 164 143 68.68/68.75 c 2290 47978 48508730 21797415 351 1335 182 196 170 68.99/69.06 c 2300 48217 48753869 21929474 351 1337 149 174 154 69.38/69.40 c 2310 48446 49038929 22038016 351 1343 149 187 159 69.58/69.68 c 2320 48670 49288388 22128273 351 1348 161 199 174 69.88/69.96 c 2330 48875 49498271 22223288 351 1355 70 183 140 70.18/70.28 c 2340 49121 49776621 22326227 351 1359 90 201 159 70.58/70.62 c 2350 49351 50061600 22445012 351 1365 156 192 163 70.88/70.92 c 2360 49569 50287516 22547391 351 1374 73 185 140 71.09/71.13 c 2370 49700 50388239 22623501 351 1376 81 83 74 71.38/71.42 c 2380 49907 50612164 22712340 351 1384 39 190 138 71.68/71.71 c 2390 50112 50845951 22807996 351 1391 122 183 150 71.88/71.96 c 2400 50304 51014063 22885644 351 1397 156 179 155 72.18/72.24 c 2410 50520 51228784 22978163 351 1401 39 199 149 72.38/72.40 c 2420 50624 51302018 23041738 351 1407 68 75 65 72.68/72.72 c 2430 50859 51550910 23149289 351 1414 43 186 140 72.88/72.93 c 2431 51008 51671694 23214101 351 1415 149 149 74 73.09/73.16 c 2440 51168 51816343 23293623 351 1420 99 150 111 73.38/73.46 c 2450 51393 52048258 23397820 351 1429 113 199 156 73.58/73.67 c 2460 51555 52167704 23462516 351 1436 41 150 114 73.88/73.94 c 2470 51756 52373835 23552271 351 1443 43 186 149 74.18/74.21 c 2480 51951 52563418 23632986 351 1445 163 186 161 74.38/74.47 c 2490 52159 52760979 23736765 351 1454 123 188 149 74.68/74.74 c 2500 52378 52959177 23821383 351 1460 162 183 160 74.99/75.04 c 2510 52591 53194199 23927138 351 1466 88 186 145 75.28/75.31 c 2520 52801 53414879 24026308 351 1471 151 195 161 75.48/75.57 c 2530 53001 53587273 24111112 351 1474 163 170 151 75.78/75.84 c 2540 53193 53771002 24188476 351 1483 89 177 111 76.09/76.11 c 2550 53399 53969169 24276251 351 1493 59 196 127 76.28/76.36 c 2560 53596 54140284 24359288 351 1502 122 184 122 76.58/76.63 c 2570 53815 54351876 24454400 351 1504 176 189 167 76.88/76.93 c 2580 54034 54589828 24548891 351 1509 155 195 167 77.18/77.22 c 2590 54232 54800601 24653419 351 1515 125 175 142 77.48/77.52 c 2600 54434 55034166 24747892 351 1523 57 188 144 77.78/77.83 c 2610 54644 55292523 24844411 351 1528 175 185 164 77.99/78.09 c 2620 54859 55486163 24939620 351 1530 187 194 173 78.38/78.42 c 2630 55108 55790833 25049598 351 1535 147 200 170 78.68/78.71 c 2640 55311 56017925 25166533 351 1540 63 182 140 78.99/79.03 c 2650 55514 56264652 25280291 351 1545 135 179 150 79.28/79.33 c 2660 55715 56492589 25373321 351 1553 84 188 158 79.58/79.67 c 2670 55942 56764011 25485337 351 1560 150 169 143 79.88/79.95 c 2680 56133 56953867 25588786 351 1563 114 172 144 80.18/80.25 c 2690 56341 57192501 25699362 351 1568 84 182 149 80.28/80.37 c 2700 56405 57236490 25726182 351 1570 51 52 46 80.68/80.70 c 2710 56651 57525663 25844009 351 1575 166 200 164 80.88/80.94 c 2720 56832 57676973 25921284 351 1580 100 169 119 81.09/81.14 c 2730 56960 57781361 25980444 351 1590 58 119 88 81.38/81.42 c 2740 57164 57971768 26075775 351 1598 153 172 143 81.58/81.66 c 2750 57341 58122336 26162893 351 1605 136 156 133 81.78/81.88 conflict 29lvl : 159 bt156-2270:0(60646)X48574684 81.88/81.95 c 2760 57557 58331688 26242282 351 1613 157 187 158 82.09/82.17 c 2770 57698 58446133 26317453 351 1616 84 92 80 82.28/82.36 c 2771 57827 58539727 26371405 351 1617 129 129 64 82.58/82.63 c 2780 58032 58737105 26470847 351 1626 50 186 134 82.88/82.95 c 2790 58259 59016500 26585004 351 1628 171 181 159 83.18/83.26 c 2800 58487 59255661 26682014 351 1635 66 185 138 83.48/83.57 c 2810 58714 59483321 26791236 351 1641 63 179 147 83.78/83.82 c 2820 58917 59658954 26883210 351 1647 56 186 147 84.09/84.13 c 2830 59127 59902937 26989570 351 1652 85 175 141 84.38/84.44 c 2840 59349 60150448 27096137 351 1656 116 184 156 84.68/84.74 c 2850 59578 60363772 27207409 351 1664 132 180 135 84.99/85.03 c 2860 59792 60587604 27308747 351 1669 46 188 151 85.18/85.29 c 2870 59988 60761381 27394561 351 1676 47 184 115 85.48/85.56 c 2880 60206 60965496 27491166 351 1680 120 194 149 85.68/85.72 c 2890 60305 61039095 27538308 351 1686 40 90 76 85.99/86.05 c 2900 60558 61327736 27650654 351 1691 157 195 165 86.28/86.32 c 2910 60771 61539918 27740718 351 1695 101 193 157 86.48/86.58 c 2920 60956 61729157 27834719 351 1703 92 173 141 86.78/86.84 c 2930 61156 61920783 27925489 351 1707 106 183 151 87.09/87.13 c 2940 61353 62139983 28021903 351 1714 153 175 152 87.38/87.44 c 2950 61600 62390613 28136442 351 1721 73 197 155 87.68/87.72 c 2960 61810 62606377 28237151 351 1730 130 186 156 87.88/87.98 c 2970 62024 62820794 28335445 351 1735 138 187 159 88.18/88.26 c 2980 62256 63037156 28431568 351 1741 55 203 141 88.48/88.55 c 2990 62451 63231656 28530651 351 1746 159 173 150 88.68/88.79 c 3000 62617 63370737 28602324 351 1751 60 156 85 88.99/89.07 c 3010 62833 63611995 28699571 351 1755 118 199 168 89.28/89.35 c 3020 63040 63848844 28810297 351 1761 165 180 157 89.58/89.64 c 3030 63233 64070208 28925869 351 1766 123 176 146 89.88/89.94 c 3040 63446 64316763 29026753 351 1770 49 188 148 90.18/90.23 c 3050 63660 64538833 29120966 351 1775 155 186 154 90.48/90.52 c 3060 63850 64734897 29209295 351 1781 51 173 125 90.78/90.83 c 3070 64065 64983393 29308855 351 1783 170 192 168 91.09/91.14 c 3080 64301 65273778 29415206 351 1785 187 200 175 91.28/91.30 c 3090 64403 65346193 29470764 351 1788 61 81 62 91.48/91.56 c 3100 64589 65510751 29559129 351 1795 142 163 138 91.78/91.85 c 3110 64805 65726096 29667221 351 1798 135 176 143 91.99/92.04 c 3120 64951 65828573 29738830 351 1801 121 127 113 92.28/92.34 c 3130 65177 66090424 29832749 351 1805 184 194 171 92.48/92.55 c 3140 65335 66210857 29913027 351 1815 110 142 119 92.68/92.79 c 3142 65519 66371248 29986071 351 1817 166 183 116 92.99/93.03 c 3150 65711 66518815 30058929 351 1820 171 176 154 93.28/93.31 c 3160 65904 66701445 30167032 351 1824 74 159 128 93.58/93.61 c 3170 66123 66957499 30282708 351 1829 124 194 154 93.88/93.95 c 3180 66368 67258979 30390822 351 1833 138 202 168 94.28/94.30 c 3190 66651 67584071 30507109 351 1838 175 201 173 94.58/94.60 c 3200 66861 67807842 30613343 351 1846 155 189 157 94.78/94.85 c 3210 67046 67976245 30711143 351 1850 151 160 142 95.09/95.12 c 3220 67259 68192427 30801551 351 1852 168 192 169 95.28/95.39 c 3230 67467 68406244 30893028 351 1859 161 194 164 95.68/95.70 c 3240 67691 68641229 31004223 351 1865 165 179 155 95.99/96.02 c 3250 67924 68933910 31131371 351 1871 161 193 165 96.19/96.27 c 3260 68133 69101637 31218951 351 1879 128 182 146 96.39/96.44 c 3270 68263 69187002 31270096 351 1883 115 119 105 96.59/96.69 c 3280 68449 69347798 31344768 351 1887 133 157 140 96.99/97.02 c 3290 68693 69641493 31459799 351 1895 168 195 169 97.28/97.31 c 3300 68910 69865770 31556289 351 1898 122 194 159 97.58/97.62 c 3310 69163 70135018 31664087 351 1905 41 201 145 97.89/97.92 c 3320 69368 70374974 31767648 351 1910 169 178 156 98.19/98.22 c 3330 69571 70604262 31880947 351 1917 158 184 154 98.49/98.58 c 3340 69831 70915076 31999079 351 1923 71 200 140 98.89/98.94 c 3350 70065 71225570 32113725 351 1931 171 191 168 99.19/99.23 c 3360 70296 71464970 32219485 351 1934 130 191 158 99.49/99.55 c 3370 70530 71732216 32326009 351 1939 92 196 160 99.78/99.82 c 3380 70744 71937484 32418733 351 1943 183 202 176 100.09/100.13 c 3390 70988 72250704 32534684 351 1947 190 201 177 100.38/100.44 c 3400 71202 72485122 32671591 351 1953 68 164 132 100.68/100.72 c 3410 71426 72727504 32772865 351 1959 190 202 176 100.99/101.08 c 3420 71689 73036451 32933955 351 1963 158 179 155 101.38/101.43 c 3430 71943 73340182 33048497 351 1966 174 190 163 101.68/101.72 c 3440 72168 73574739 33150533 351 1970 179 203 172 101.99/102.05 c 3450 72395 73835908 33277167 351 1973 149 184 154 102.28/102.34 c 3460 72609 74051074 33373222 351 1976 38 178 143 102.58/102.68 c 3470 72828 74337305 33509093 351 1982 123 182 145 102.88/102.97 c 3480 73047 74569550 33614401 351 1987 169 187 162 103.18/103.24 c 3490 73253 74776689 33707769 351 1995 175 185 163 103.48/103.56 c 3500 73499 75065406 33814084 351 1998 186 202 173 103.78/103.86 c 3510 73706 75292814 33908852 351 2006 103 189 146 103.99/104.10 c 3520 73895 75439370 33984333 351 2009 51 179 70 104.28/104.37 c 3530 74090 75639493 34079350 351 2017 153 186 155 104.58/104.66 c 3540 74294 75878393 34190304 351 2018 179 186 166 104.88/104.91 c 3550 74468 76030843 34275270 351 2026 133 162 136 104.99/105.02 c 3551 74542 76074782 34306071 351 2027 74 74 37 105.28/105.32 c 3560 74772 76327395 34403011 351 2032 125 199 155 105.58/105.63 c 3570 74986 76575070 34521563 351 2038 126 182 154 105.78/105.81 c 3580 75120 76664147 34584518 351 2040 48 122 50 105.99/106.10 c 3590 75326 76895968 34685276 351 2047 121 183 149 106.28/106.37 c 3600 75529 77104116 34778432 351 2051 41 191 136 106.58/106.67 c 3610 75739 77342279 34876303 351 2057 172 186 163 106.88/106.95 c 3620 75934 77539831 34969187 351 2065 117 174 139 107.18/107.24 c 3630 76141 77759576 35082640 351 2067 153 180 148 107.48/107.54 c 3640 76374 78018540 35182678 351 2070 116 204 168 107.78/107.85 c 3650 76618 78300909 35289588 351 2073 183 194 172 108.09/108.12 c 3660 76821 78489217 35385658 351 2078 41 175 134 108.28/108.39 c 3670 77014 78689759 35477140 351 2087 40 179 125 108.58/108.60 c 3680 77174 78811941 35547231 351 2091 120 142 123 108.78/108.89 c 3690 77376 79018618 35640656 351 2098 135 181 153 109.18/109.20 c 3700 77588 79287243 35762417 351 2105 172 192 166 109.48/109.50 c 3710 77800 79540175 35873410 351 2112 38 183 148 109.68/109.71 c 3720 77951 79660704 35950770 351 2118 74 137 114 109.88/110.00 c 3730 78188 79905088 36050173 351 2120 176 210 176 110.28/110.31 c 3740 78392 80159853 36158830 351 2125 156 183 154 110.38/110.49 c 3750 78528 80250237 36211749 351 2132 96 123 99 110.68/110.77 c 3760 78751 80472742 36306586 351 2136 180 197 170 111.09/111.11 c 3770 78990 80796824 36441885 351 2142 156 196 167 111.38/111.41 c 3780 79200 81031523 36539405 351 2149 68 200 153 111.68/111.75 c 3790 79484 81349283 36662439 351 2153 176 198 172 111.99/112.01 c 3800 79689 81545551 36754000 351 2159 119 192 160 112.28/112.30 c 3810 79906 81775164 36848355 351 2164 172 194 168 112.48/112.59 c 3820 80136 82020378 36947082 351 2169 113 197 163 112.78/112.85 c 3830 80324 82196601 37036757 351 2174 145 167 145 113.09/113.12 c 3840 80535 82389247 37142022 351 2182 162 188 156 113.38/113.44 c 3850 80775 82664791 37253564 351 2185 107 200 165 113.68/113.70 c 3860 80973 82850377 37343529 351 2192 56 181 142 113.88/113.99 c 3870 81172 83068807 37453960 351 2200 138 166 143 114.18/114.25 c 3880 81363 83256781 37539282 351 2209 93 182 130 114.47/114.53 c 3890 81578 83490686 37640073 351 2214 170 190 166 114.77/114.83 c 3900 81819 83757013 37744339 351 2217 107 199 168 114.98/115.01 c 3910 81935 83841580 37801094 351 2221 80 103 79 115.27/115.32 c 3920 82174 84136388 37912633 351 2226 186 210 178 115.57/115.62 c 3930 82392 84369987 38017994 351 2232 48 194 150 115.87/115.98 c 3940 82659 84682243 38137683 351 2241 161 199 166 116.17/116.29 c 3950 82881 84931123 38233659 351 2246 170 198 169 116.57/116.60 c 3960 83114 85171473 38334752 351 2252 54 191 138 116.77/116.89 c 3970 83323 85405455 38434056 351 2260 101 189 156 117.08/117.14 c 3980 83511 85567579 38520543 351 2261 152 163 144 117.37/117.45 c 3990 83752 85841402 38618917 351 2264 101 205 164 117.67/117.78 c 4000 83996 86169153 38743558 351 2267 187 197 175 117.77/117.85 c 4001 84032 86191191 38759354 351 2268 36 36 18 118.08/118.12 c 4010 84250 86406619 38848611 351 2273 159 195 169 118.37/118.40 c 4020 84444 86612530 38944225 351 2279 171 176 156 118.67/118.74 c 4030 84707 86905507 39054462 351 2286 164 193 169 118.98/119.06 c 4040 84950 87173366 39175937 351 2293 64 185 143 119.37/119.40 c 4050 85199 87451914 39280942 351 2296 168 198 165 119.57/119.67 c 4060 85404 87654295 39378276 351 2300 161 173 150 119.87/119.96 c 4070 85613 87868916 39465620 351 2309 173 193 169 120.17/120.27 c 4080 85821 88125574 39584494 351 2313 164 188 164 120.47/120.55 c 4090 86030 88366169 39678212 351 2318 121 188 151 120.77/120.84 c 4100 86262 88601917 39785081 351 2322 171 189 161 120.98/121.10 c 4110 86473 88809010 39891798 351 2323 173 184 163 121.37/121.41 c 4120 86696 89083244 40001064 351 2325 187 196 175 121.57/121.68 c 4130 86907 89296952 40090368 351 2328 160 195 169 121.87/121.98 c 4140 87127 89518897 40179683 351 2337 110 185 148 122.27/122.30 c 4150 87345 89795670 40294331 351 2342 175 187 162 122.47/122.59 c 4160 87572 90012855 40395446 351 2353 101 192 152 122.77/122.86 c 4170 87786 90237312 40502110 351 2358 107 188 162 123.08/123.15 c 4180 88004 90462731 40602899 351 2366 175 190 164 123.37/123.45 c 4190 88234 90698533 40702902 351 2371 175 192 168 123.67/123.77 c 4200 88431 90943506 40806964 351 2378 112 174 135 123.98/124.07 c 4210 88654 91184568 40923340 351 2386 174 193 164 124.27/124.38 c 4220 88862 91412861 41021423 351 2395 69 184 147 124.47/124.59 c 4230 89010 91528588 41083598 351 2403 54 131 106 124.77/124.84 c 4240 89218 91698224 41167226 351 2406 149 171 148 124.98/125.09 c 4250 89439 91899096 41253060 351 2410 133 190 165 125.27/125.37 c 4260 89649 92123803 41351274 351 2413 43 190 153 125.67/125.73 c 4270 89903 92453129 41484507 351 2416 156 190 157 125.87/125.99 c 4280 90125 92659756 41577877 351 2420 43 194 153 126.27/126.31 c 4290 90356 92927691 41695586 351 2425 121 194 148 126.47/126.56 c 4300 90555 93109578 41787805 351 2427 161 170 149 126.77/126.83 c 4310 90767 93336423 41884021 351 2435 169 193 170 127.08/127.14 c 4320 90989 93586065 41993622 351 2440 71 189 148 127.37/127.41 c 4330 91202 93774134 42094776 351 2445 172 175 157 127.67/127.73 c 4340 91433 94049944 42208439 351 2450 177 190 166 127.98/128.04 c 4350 91659 94306142 42322623 351 2452 168 185 159 128.27/128.30 c 4360 91870 94500993 42411205 351 2457 46 190 146 128.57/128.61 c 4370 92112 94797909 42507987 351 2462 175 202 174 128.87/128.94 c 4380 92360 95097289 42627788 351 2467 162 195 162 129.17/129.22 c 4390 92578 95334343 42723771 351 2470 163 200 174 129.47/129.55 c 4400 92827 95623811 42833608 351 2472 167 192 163 129.77/129.87 c 4410 93068 95901917 42938263 351 2475 167 194 171 130.08/130.12 c 4420 93263 96066571 43011370 351 2485 87 186 115 130.37/130.40 c 4430 93501 96313185 43107795 351 2491 152 207 178 130.67/130.70 c 4440 93702 96536967 43201768 351 2498 54 178 144 130.98/131.02 c 4450 93941 96808856 43311245 351 2504 161 195 157 131.27/131.34 c 4460 94165 97057510 43401087 351 2510 54 196 136 131.47/131.58 c 4470 94362 97231338 43482716 351 2517 87 187 115 131.77/131.89 c 4480 94576 97471376 43593701 351 2527 81 191 134 132.08/132.18 c 4490 94779 97682937 43702007 351 2534 161 182 158 132.37/132.42 c 4493 94977 97849691 43780151 351 2536 190 196 144 132.57/132.69 c 4500 95190 98059899 43865306 351 2540 183 188 162 132.87/132.99 c 4510 95402 98305541 43968512 351 2543 95 185 155 133.27/133.31 c 4520 95618 98558467 44078629 351 2546 99 176 150 133.47/133.58 c 4530 95825 98764421 44174885 351 2548 171 184 160 133.77/133.86 c 4540 96036 98968325 44268559 351 2554 176 185 163 134.17/134.21 c 4550 96265 99279615 44395075 351 2561 175 187 164 134.47/134.51 c 4560 96485 99519389 44491158 351 2565 144 191 150 134.67/134.79 c 4570 96691 99736599 44588913 351 2569 172 185 165 134.98/135.10 c 4580 96924 99979567 44693552 351 2574 119 186 158 135.27/135.37 c 4590 97142 100185033 44789039 351 2577 76 187 148 135.57/135.64 c 4600 97353 100396292 44889889 351 2579 159 186 161 135.77/135.89 c 4610 97520 100538527 44965478 351 2589 91 141 108 136.08/136.12 c 4620 97705 100691600 45043449 351 2599 45 175 132 136.27/136.30 c 4630 97805 100772229 45107972 351 2609 60 87 74 136.57/136.60 c 4640 98018 101021012 45217891 351 2612 154 193 167 136.87/136.91 c 4650 98262 101292424 45337103 351 2617 169 200 173 137.17/137.20 c 4660 98491 101535229 45439907 351 2622 179 198 172 137.37/137.49 c 4670 98733 101797716 45562459 351 2624 180 201 171 137.67/137.78 c 4680 98942 102018132 45658105 351 2629 155 193 162 137.98/138.05 c 4690 99147 102218146 45744302 351 2633 178 191 170 138.27/138.36 c 4700 99382 102491311 45858307 351 2639 172 187 163 138.57/138.64 c 4710 99596 102725216 45959351 351 2646 163 189 163 138.87/138.90 c 4720 99784 102897692 46055532 351 2651 71 165 125 139.17/139.21 c 4730 100003 103155737 46157899 351 2655 163 193 166 139.37/139.46 c 4740 100191 103321924 46233034 351 2661 91 173 118 139.67/139.77 c 4750 100401 103566329 46338899 351 2666 119 194 156 140.08/140.13 c 4760 100691 103892159 46470481 351 2671 135 190 155 140.37/140.48 c 4770 100943 104182177 46582365 351 2674 90 193 157 140.67/140.74 c 4780 101147 104364118 46676916 351 2682 125 189 143 140.99/141.02 c 4790 101342 104565980 46765607 351 2690 91 173 130 141.28/141.31 c 4800 101555 104799349 46863792 351 2695 167 196 168 141.58/141.65 c 4810 101806 105118111 46974526 351 2700 188 210 176 141.88/141.97 c 4820 102022 105372275 47093811 351 2704 166 183 159 142.18/142.28 c 4830 102239 105618286 47204510 351 2711 181 192 167 142.58/142.65 c 4840 102513 105973173 47339193 351 2717 165 199 170 142.88/142.94 c 4850 102719 106183155 47440339 351 2723 46 168 129 143.18/143.22 c 4860 102921 106384718 47527516 351 2729 134 177 154 143.48/143.52 c 4870 103138 106629240 47628630 351 2734 163 193 165 143.78/143.82 c 4880 103360 106875100 47739903 351 2741 116 185 158 143.98/144.02 c 4890 103521 106987039 47817790 351 2745 116 126 110 144.28/144.35 c 4900 103757 107299231 47924953 351 2750 184 198 175 144.58/144.63 c 4910 103970 107508202 48029660 351 2753 165 185 157 144.88/144.90 c 4920 104178 107716045 48113925 351 2757 78 187 153 145.18/145.22 c 4930 104412 107957695 48216043 351 2761 170 188 162 145.48/145.56 c 4940 104670 108268472 48335270 351 2767 174 195 167 145.78/145.86 c 4950 104894 108521575 48433151 351 2773 45 201 154 146.08/146.15 c 4960 105098 108751082 48536690 351 2779 166 183 160 146.38/146.47 c 4970 105327 109006947 48639570 351 2785 162 182 156 146.68/146.74 c 4980 105547 109240551 48736119 351 2791 184 194 173 146.98/147.01 c 4990 105753 109427975 48831966 351 2797 128 184 136 147.57/147.64 c 5035 106104 110209347 49109731 351 2809 47 185 171 151.57/151.69 c 5631 109500 113191839 51336475 351 2844 70 149 97 155.98/156.09 c 6286 112765 120742486 53730699 351 2852 169 203 187 161.67/161.72 c 7006 116143 128541882 56839780 351 2864 46 189 173 167.77/167.86 c 7798 119341 136698123 60142270 351 2876 39 192 176 173.37/173.43 c 8669 123219 146094620 63069123 351 2891 38 207 192 180.08/180.18 c 9627 127069 155455257 66957690 351 2914 101 194 176 187.27/187.30 c 10680 132259 167598532 70705470 351 2926 70 204 187 195.08/195.17 c 11838 138250 180120059 74848833 351 2939 162 194 176 204.67/204.71 c 13111 144648 194353668 79962707 351 2962 39 201 175 214.87/214.90 c 14511 151137 208896250 85036897 351 2970 156 193 175 226.57/226.67 c 16051 159002 227190334 92071666 351 2978 132 213 179 239.47/239.53 c 17745 166508 245140281 99344528 351 2997 67 194 168 254.47/254.58 c 19608 175078 266331396 106128049 351 3014 161 196 177 268.67/268.72 c 21657 185527 287952881 113069265 351 3026 159 208 179 287.57/287.67 c 23910 196891 315506633 123324551 351 3047 38 199 178 307.67/307.78 c 26388 210077 347443772 134250361 351 3058 161 208 182 326.77/326.87 c 29113 222999 377321591 143352061 351 3078 88 203 181 343.27/343.38 c 32110 235402 401723451 150673739 351 3089 113 204 180 367.08/367.14 c 35406 251595 443986641 162082370 351 3110 159 212 193 393.67/393.74 c 39031 267902 483899940 175919520 351 3125 137 196 175 422.27/422.36 c 43018 287607 530960442 190667557 351 3152 109 208 186 450.17/450.21 c 47403 309767 584017495 205406594 351 3161 35 215 192 489.37/489.49 c 52226 333881 647686019 224856102 351 3173 120 211 182 522.27/522.33 c 57531 354725 693672832 242391077 351 3188 79 198 170 559.38/559.41 c 63366 386148 743330674 262551897 351 3203 97 189 161 608.48/608.52 c 69784 417432 817820409 287955425 351 3218 47 206 179 660.48/660.51 c 76843 453208 898444910 314203501 351 3235 68 202 178 703.57/703.68 c 84607 488624 938846073 335559494 351 3280 62 157 119 763.98/764.09 c 93147 526637 1026357285 367405380 351 3297 159 196 178 806.08/806.11 c 102541 563715 1083520802 390770676 351 3329 77 182 153 886.98/887.08 c 112874 620166 1209121458 433883659 351 3345 43 205 179 965.68/965.79 c 124240 678365 1335093899 473966385 351 3367 93 212 179 1033.28/1033.34 c 136742 739897 1430852613 504033878 351 3409 54 191 157 1120.68/1120.72 c 150494 805373 1544285627 544680371 351 3463 80 190 150 1218.38/1218.43 c 165621 868702 1680990616 590614332 351 3482 86 196 165 1334.58/1334.66 c 182260 951211 1862650202 656593335 351 3496 37 212 177 1435.38/1435.46 c 200562 1028358 2014145138 714229451 351 3520 139 202 172 1560.18/1560.24 c 220694 1125409 2198433099 772832578 351 3548 78 196 169 1719.79/1719.89 c 242839 1231487 2445118159 860675802 351 3557 47 205 178 1909.39/1909.41 c 267198 1348911 2719494787 960136680 351 3580 47 204 176 2136.11/2136.18 c 293992 1486646 3033630153 1087747718 351 3604 151 197 171 2314.10/2314.12 c 323465 1641617 3249893796 1161214932 351 3643 64 172 134 2520.01/2520.00 2520.01/2520.00 c *** INTERRUPTED *** 2520.01/2520.00 c restarts : 560 2520.01/2520.00 c conflicts : 347976 (138 /sec) 2520.01/2520.00 c decisions : 1754488 (696 /sec) 2520.01/2520.00 c propagations : 1271698960 (504687 /sec) 2520.01/2520.00 c root propagations : 5527 2520.01/2520.00 c filter calls : 3533086892 (1402142 /sec) 2520.01/2520.00 c useless filter calls : 3161281398 (89 %) 2520.01/2520.00 c 2520.01/2520.00 c clauses : 12071127 2520.01/2520.00 c SAT propagations : 7322 2520.01/2520.00 c SAT conflicts : 7 (2 learnts) 2520.01/2520.00 c Memory used : 589.99 MB 2520.01/2520.00 c CPU time : 2519.78 s 2520.01/2520.00 2520.01/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14262 MiB free)
memory of node 1: 16384 MiB (14872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266279-1502583461/watcher-4266279-1502583461 -o /tmp/evaluation-result-4266279-1502583461/solver-4266279-1502583461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24253 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266279-1502583461.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=26445, runsolver pid=26442
[startup+0.100067 s]*
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29830044/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=31320 memory=7824 CPUtime=0.1 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 2143 0 0 0 10 0 0 0 20 0 1 0 91434343 32071680 1956 33554432000 4194304 5972588 140737229034432 140737229031080 139838235941861 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 7830 1956 801 435 0 1193 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31320 KiB
Current children cumulated memory: 7824 KiB
[startup+0.209699 s]*
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29828556/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=32572 memory=9076 CPUtime=0.21 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 2434 0 0 0 21 0 0 0 20 0 1 0 91434343 33353728 2269 33554432000 4194304 5972588 140737229034432 140737229031080 139838235941861 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 8143 2269 801 435 0 1506 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32572 KiB
Current children cumulated memory: 9076 KiB
[startup+0.309087 s]*
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29827440/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=33592 memory=10100 CPUtime=0.31 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 2699 0 0 0 31 0 0 0 20 0 1 0 91434343 34398208 2525 33554432000 4194304 5972588 140737229034432 140737229031080 5172816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 8398 2525 801 435 0 1761 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33592 KiB
Current children cumulated memory: 10100 KiB
[startup+0.700375 s]
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29713764/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=319796 memory=240356 CPUtime=0.69 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 41352 0 0 0 63 6 0 0 20 0 1 0 91434343 327471104 60089 33554432000 4194304 5972588 140737229034432 140737229031224 139838235941861 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 79949 60089 830 435 0 73312 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 319796 KiB
Current children cumulated memory: 240356 KiB
[startup+1.50035 s]
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29410028/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=599912 memory=538536 CPUtime=1.49 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 84276 0 0 0 137 12 0 0 20 0 1 0 91434343 614309888 134634 33554432000 4194304 5972588 140737229034432 140737229031224 4995556 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 149978 134634 847 435 0 143341 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 599912 KiB
Current children cumulated memory: 538536 KiB
[startup+3.10964 s]
/proc/loadavg: 1.92 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29296956/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=600572 memory=539464 CPUtime=3.1 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 90762 0 0 0 298 12 0 0 20 0 1 0 91434343 614985728 134866 33554432000 4194304 5972588 140737229034432 140737229031224 4995572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150143 134866 847 435 0 143506 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 600572 KiB
Current children cumulated memory: 539464 KiB
[startup+6.30031 s]
/proc/loadavg: 1.93 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29296100/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=601232 memory=540144 CPUtime=6.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 97431 0 0 0 616 13 0 0 20 0 1 0 91434343 615661568 135036 33554432000 4194304 5972588 140737229034432 140737229031736 4909211 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150308 135036 847 435 0 143671 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 601232 KiB
Current children cumulated memory: 540144 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29295368/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=601928 memory=540836 CPUtime=12.69 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 107215 0 0 0 1255 14 0 0 20 0 1 0 91434343 616374272 135209 33554432000 4194304 5972588 140737229034432 140737229031736 4995517 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150482 135209 847 435 0 143845 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 601928 KiB
Current children cumulated memory: 540836 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29294452/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=602984 memory=541908 CPUtime=25.49 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 119761 0 0 0 2534 15 0 0 20 0 1 0 91434343 617455616 135477 33554432000 4194304 5972588 140737229034432 140737229031736 5099616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150746 135477 847 435 0 144109 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 602984 KiB
Current children cumulated memory: 541908 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.01 2.04 3/189 26446
/proc/meminfo: memFree=29291616/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=603508 memory=544568 CPUtime=51.09 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 138045 0 0 0 5093 16 0 0 20 0 1 0 91434343 617992192 136142 33554432000 4194304 5972588 140737229034432 140737229031736 4995525 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150877 136142 852 435 0 144240 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 603508 KiB
Current children cumulated memory: 544568 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/189 26447
/proc/meminfo: memFree=29291688/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=603892 memory=544976 CPUtime=102.28 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 159794 0 0 0 10210 18 0 0 20 0 1 0 91434343 618385408 136244 33554432000 4194304 5972588 140737229034432 140737229031736 4909657 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 150973 136244 852 435 0 144336 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 603892 KiB
Current children cumulated memory: 544976 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 26448
/proc/meminfo: memFree=29291516/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545180 CPUtime=162.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 173207 0 0 0 16208 19 0 0 20 0 1 0 91434343 618643456 136295 33554432000 4194304 5972588 140737229034432 140737229031736 4962352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136295 852 435 0 144399 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545180 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26449
/proc/meminfo: memFree=29291276/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545332 CPUtime=222.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 176964 0 0 0 22208 19 0 0 20 0 1 0 91434343 618643456 136333 33554432000 4194304 5972588 140737229034432 140737229031736 5321355 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136333 852 435 0 144399 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545332 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26450
/proc/meminfo: memFree=29291172/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545384 CPUtime=282.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 179600 0 0 0 28208 19 0 0 20 0 1 0 91434343 618643456 136346 33554432000 4194304 5972588 140737229034432 140737229031736 4965500 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136346 852 435 0 144399 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545384 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26451
/proc/meminfo: memFree=29291232/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545384 CPUtime=342.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 181630 0 0 0 34208 19 0 0 20 0 1 0 91434343 618643456 136346 33554432000 4194304 5972588 140737229034432 140737229031736 5070688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136346 852 435 0 144399 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26459
/proc/meminfo: memFree=29289700/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545504 CPUtime=402.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 184857 0 0 0 40208 19 0 0 20 0 1 0 91434343 618643456 136376 33554432000 4194304 5972588 140737229034432 140737229031736 4995434 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136376 852 435 0 144399 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545504 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26521
/proc/meminfo: memFree=29287644/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545504 CPUtime=462.27 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 186988 0 0 0 46208 19 0 0 20 0 1 0 91434343 618643456 136376 33554432000 4194304 5972588 140737229034432 140737229031736 4909660 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136376 852 435 0 144399 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545504 KiB
################
# More data... #
################
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26561
/proc/meminfo: memFree=29285104/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=1782.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 232368 0 0 0 178207 22 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26562
/proc/meminfo: memFree=29285228/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=1842.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 233814 0 0 0 184207 22 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 5071456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26563
/proc/meminfo: memFree=29285204/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=1902.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 236473 0 0 0 190207 22 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 5250981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26564
/proc/meminfo: memFree=29284356/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=1962.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 238784 0 0 0 196207 22 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 5099623 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26565
/proc/meminfo: memFree=29285032/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=2022.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 240286 0 0 0 202207 22 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 4978783 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26566
/proc/meminfo: memFree=29285228/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545520 CPUtime=2082.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 243097 0 0 0 208207 23 0 0 20 0 1 0 91434343 618643456 136380 33554432000 4194304 5972588 140737229034432 140737229031736 5071806 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136380 852 435 0 144399 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545520 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26567
/proc/meminfo: memFree=29285320/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2142.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 245201 0 0 0 214207 23 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 4995590 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26576
/proc/meminfo: memFree=29284064/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2202.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 246858 0 0 0 220207 23 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26577
/proc/meminfo: memFree=29284660/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2262.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 250049 0 0 0 226207 23 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 4995521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26578
/proc/meminfo: memFree=29284916/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2322.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 252301 0 0 0 232206 23 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 5071395 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26579
/proc/meminfo: memFree=29285040/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2382.29 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 253741 0 0 0 238206 23 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 4978055 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26580
/proc/meminfo: memFree=29285040/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2442.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 256550 0 0 0 244206 24 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 5071744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26581
/proc/meminfo: memFree=29284420/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2502.3 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 258076 0 0 0 250206 24 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 4968812 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26581
/proc/meminfo: memFree=29284428/32770624 swapFree=67108860/67108860
[pid=26445] ppid=26442 vsize=604144 memory=545524 CPUtime=2520.01 cores=1,3,5,7
/proc/26445/stat : 26445 (cosoco) R 26442 26445 24168 0 -1 4202496 259439 0 0 0 251977 24 0 0 20 0 1 0 91434343 618643456 136381 33554432000 4194304 5972588 140737229034432 140737229031736 4995434 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14430208 140737229042874 140737229042974 140737229042974 140737229045710 0
/proc/26445/statm: 151036 136381 852 435 0 144399 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 604144 KiB
Current children cumulated memory: 545524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.78 s, system=0.243002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.02
CPU user time (s): 2519.78
CPU system time (s): 0.243002
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 604144
Max. memory (cumulated for all children) (KiB): 545524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.243002
maximum resident set size= 545596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259490
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= 31
involuntary context switches= 741
# summary of solver processes directly reported to runsolver:
# pid: 26445
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.78
# total CPU system time (s): 0.243002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.82403 second user time and 17.3288 second system time
The end
Begin job on node103 at 2017-08-13 02:03:23 IDJOB=4266279 IDBENCH=133764 IDSOLVER=2655 FILE ID=node103/4266279-1502583461 RUNJOBID= node103-1502567255-24253 PBS_JOBID= 20628288 Free space on /tmp= 61792 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266279-1502583461/watcher-4266279-1502583461 -o /tmp/evaluation-result-4266279-1502583461/solver-4266279-1502583461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24253 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266279-1502583461.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91 RANDOM SEED=1079839519 node103.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.56 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.56 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.56 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.56 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: 29834728 kB MemAvailable: 31995272 kB Buffers: 126456 kB Cached: 2329768 kB SwapCached: 0 kB Active: 501472 kB Inactive: 2011140 kB Active(anon): 59096 kB Inactive(anon): 25212 kB Active(file): 442376 kB Inactive(file): 1985928 kB Unevictable: 6344 kB Mlocked: 6344 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2328 kB Writeback: 0 kB AnonPages: 83168 kB Mapped: 44348 kB Shmem: 25228 kB Slab: 121108 kB SReclaimable: 96152 kB SUnreclaim: 24956 kB KernelStack: 3392 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 02:45:23